Запись - Дмитрий Бояркин

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-10. Изъяны логики высказываний

Изъяны ЛОГИКИ ВЫСКАЗЫВАНИЙ

Механизм работы "логических рассуждений" в "логике высказываний" на первый взгляд может показаться безупречным, - ведь он всегда даёт абсолютно точный результат (в виде "значений истинности" высказываний-заключений), - однако, это вовсе не так, - к сожалению, далеко не всё тут обстоит так благополучно. При всех своих достоинствах "логика высказываний" имеет тем не менее несколько слабых сторон.

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-7. ТРИ компоненты одного высказывания. ИСТОЧНИКИ "значений истинностей"

ТРИ КОМПОНЕНТЫ ЛОГИЧЕСКОГО ВЫСКАЗЫВАНИЯ

Начнём с основных определений:

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-6. Логические системы из ОДНОГО высказывания. Что следует из одной посылки "А"?

Если просто рассматривать отдельное утверждение А (или его отрицание -А) само по себе, - то, разумеется, никакой "логической системы" оно образовать не может, поскольку "логическая система" обязательно предполагает какую-то СВЯЗЬ со ВТОРЫМ высказыванием, которое в логических рассуждениях (логических сессиях) будет играть роль "логического заключения".

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-5. Обманчивое отрицание

Как известно, операция логического "отрицания" является унарной – то есть применяется к ОДНОМУ высказыванию. Исходя из этого создаётся представление, будто бы, применяя "операцию отрицания" к некоему ОДНОМУ высказыванию А, мы тем самым меняем "значение истинности" у этого самого исходного высказывания А. Скажем, было начальное высказывание А ("лампочка горит"), а после применения операции отрицания получилось высказывание "-А" ("лампочка НЕ горит") (т.е.

Аватар пользователя Дмитрий Бояркин

Теория ПРАВА

Мы сталкиваемся с вопросами ПРАВА всякий раз, когда кто-то заявляет: "Я (он, она, они) имеют на это ПРАВО!" или "У меня (у него, у них) нет на это ПРАВА!". - Давайте разберёмся, что же означает это таинственное слово "ПРАВО".

Вначале построим модель "субъект-объектных отношений". В модели всего три начальных понятия, которые взаимоопределяют друг друга.

Первичные понятия:

Аватар пользователя Дмитрий Бояркин

Происхождение (возникновение) ПРАВА

Начнём с определения:

ПРАВО – это область [границы] свобод Субъекта.

Подробнее о самом ПРАВЕ поговорим в следующей новой статье - "теория ПРАВА", - а сейчас обсудим только всевозможные "представления о ПРАВЕ" - т.е. его источники, происхождение.

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-4. Проблемная импликация

ПРОБЛЕМНОЕ "из А следует В"

Всё было бы хорошо с "логическими операциями" (т.е. с типами "логических систем"), если бы не одно досадное обстоятельство. Три из четырёх базовых бинарных логических операций имеют всем понятный очевидный смысл:

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-3. Логические системы из ТРЁХ высказываний

ЛОГИЧЕСКИЕ СИСТЕМЫ ИЗ ТРЁХ ВЫСКАЗЫВАНИЙ

Чтобы разобраться с тем, что собой представляют известные бинарные логические операции, как то: конъюнкция, дизъюнкция, импликация и равнозначность (эквиваленция), - нам следует рассмотреть все комбинации "логических систем", состоящих уже из ТРЁХ разных высказываний А, В и С. Пусть для наглядности это будут:

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-2. Логические системы из ДВУХ высказываний

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

Давайте разберёмся, каким образом появляются и что собой представляют всем нам известные классические "логические операции" и почему никаких других (новых) "логических операций" нет и не может быть вообще.

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-1. Логические системы

Поговорим об основах Математической Логики, - о том, как устроен механизм "строгого логического доказательства" и о том, как следует строить научные ТЕОРИИ. Но прежде чем перейти к разбору устройства этого чудесного механизма "строгого логического доказательства" (или короче - "логического доказательства", или ещё короче -"доказательства"), следует разобраться с самым начальным понятием, - что такое ЛОГИКА (логические рассуждения) вообще.

RSS-материал