Простая беспарадоксальная формальная логика (ВаБ-логика)

Предлагается вниманию читателей «Простая беспарадоксальная формальная логика (ВаБ-логика)», разработанная собственно мной. Это логическая система, которая гарантирует (в рамках гипотезы):

Бинарность (только Истина/Ложь)
Конечную вычислимость
Сохранение классической логики для обычных утверждений
Однозначное разрешение парадоксов  Однозначное присвоение значения даже парадоксальным конструкциям на основе алгоритма

27441-prostaya_besparadoksalnaya_formalnaya_logika_vab-logika.pdf

 После анализа замечаний (по всем форумам, где выгладывал) немного пересмотрел теорию логики — в итоге выпустил вторую версию системы:

27441-prostaya_besparadoksalnaya_formalnaya_logika_uluchshennaya_vab-logika_ver._2.0.pdf

Создал третью (улучшенную) версию ВаБ-логики вер. 3.0

27441-prostaya_besparadoksalnaya_formalnaya_logika_uluchshennaya_vab-logika_ver._3.0.pdf

Предлагается для обсуждения и критики (обоснованной).

Эта филофская теория не имеет отношения к физике, к природе, как и медитация.Зачем она нам нужна на форуме? 

Я поделился системой, которая имеет прямое отношение к Логике — науке в том числе лежащей в основе физики и многих прикладных задач. Я не претендую на новизну или научность, но поделился своей идеей в доступной (в том числе для меня) форме. Возможно кому-то это будет интересно и полезно. Также для меня важна конкретная конструктивная критика системы, возможные подсказки для улучшения.

Никого задеть как-либо не хотел. Эта тема по интресам (возможно тут есть читатели или форумчане интересующиеся логикой).

P.S.: на остальной офф-топ предпочитаю не реагировать — как не имеющей значения в обсуждаемой парадигме (не имеющего отношение к науке). 

#70265 Владимир Е.Липатов :

См:

https://ru.wikipedia.org/wiki/Логический_квадрат

 

Благодарю за комментарий! Но… не совсем понял намек. Логический квадрат — это схема отношений между суждениями (A, E, I, O) в классической логике, а ВаБ-логика — алгоритм для разрешения парадоксов через проверочное метаутверждение. Механизмы разные. Если речь именно о работе с парадоксами. 

#70296 legacy :

#70195 marsdmitri 

без парадоксов мир не бывает.
Если я скажу: все жители Канады лжецы, то это правда или ложь, если я сам живу в Канаде?

Ровно наоборот в нашем мире нет парадоксов совсем. Любой парадокс результат непонимания или мутной воды. 

Данный тип парадоксов опирается на неточное определение лжеца. Если мы определяем лжеца как человека всегда дающего ложную картину то такой человек в принципе не может сказать истину потому как это нарушает правила.

Если по условию возможно 1 или 0 то почему в ответе должен быть или 1 или 0. В ответе будет так же два варианта потому что нет условия отсекающего один из них.

 

Это интересный и по сути здравый взгляд на проблему парадоксов. Но задача формальных систем (на которых и строится все наши вычислительные технологии, ключая современные ИИ) — давать однозначные ответы на такие парадоксы...