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

бинарная логическая система, решающая любые парадоксы
Автор
Сообщение
petvablogic
#70180 2025-06-06 23:57 GMT

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

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

27441-prostaya_besparadoksalnaya_formalnaya_logika_vab-logika.pdf

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