Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Моделирование античного софистического «Парадокса крокодила» в рамках современной классической формальной логики нулевого порядка
Автор: Ахвледиани А.Н.
Аннотация:
В настоящей работе исследуется известный софистический «Парадокс крокодила» и предлагается вариант его решения на основе современной классической формальной логики нулевого порядка. Формализация представленного решения проверена вычислительной логической программой математического пакета MATCAD 12.