Введение в неклассические логики, лекция 8. Логика в computer science

preview_player
Показать описание
Факультатив ФКН ВШЭ. 26 марта 2021.
Рекомендации по теме
Комментарии
Автор

Наличие множества логик – точная калька с притчи о слепых мудрецах (или об исследователях с завязанными глазами), ощупывающих слона. Один мудрец будет кричать о модальной логике, другой – о философской, третий – о трансцедентальной и т.д. – об иллокутивной, непрерывной, неформальной, содержательной и т.п. Однако, всё богатство их плюралистических мнений порождено архаичной, ошибочной аксиоматикой именно классической логики, 23 века назад принятой за неукоснительную научную истину. Просто современная наука ещё не осознала, что у логиков в работе уже новое, современное и правильное (признанное госэкспертами) описание силлогистики. См:

Syllogist