A bizzare situation with laws of logics
Вантажиться...
Дата
2024
Науковий керівник
Укладач
Редактор
Назва журналу
ISSN
E-ISSN
Назва тому
Видавець
Одеський національний університет імені І. І. Мечникова
Анотація
In January 2024, “The Journal of Symbolic Logic” published a paper by Benjamin M. Bumpus and Zoltan A. Kocsis, “Degree of Satisfiability in Heyting Algebras” [1]. Here, the authors prove that for finite Heyting algebras, more than two-thirds of all statements satisfy the law of the excluded third. The paper by Bumpus and Kocsis may prove to be sensational, as it may indicate either a crisis in current formal logic or a revolution in current formal logic. Why the paper should be sensational, I will show in these talking points.
Опис
Ключові слова
bizzare situation, laws of logics, logic
Бібліографічний опис
Raikhert K. A bizzare situation with laws of logics / K. Raikhert // ІV Верниковські читання (2024) : Матеріали Наук. читань пам’яті Марата Верникова / відп. ред. В. Л. Левченко. – Одеса : Одес. нац. ун-т ім. І. І. Мечникова, 2024. – С. 88–89.