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

Предлагается вниманию читателей «Простая беспарадоксальная формальная логика (ВаБ-логика)», разработанная собственно мной. Это логическая система, которая гарантирует (в рамках гипотезы):
Бинарность (только Истина/Ложь)
Конечную вычислимость
Сохранение классической логики для обычных утверждений
Однозначное разрешение парадоксов
27441-prostaya_besparadoksalnaya_formalnaya_logika_vab-logika.pdf
Предлагается для обсуждения и критики (обоснованной).