Моделирование решения античного софистического «Парадокса крокодила» в рамках современной классической формальной логики нулевого порядка
Автор: Ахвледиани Александр
Журнал: Schole. Философское антиковедение и классическая традиция @classics-nsu-schole
Рубрика: Статьи
Статья в выпуске: 1 т.5, 2011 года.
Бесплатный доступ
В настоящей работе исследуется известный софистический «Парадокс крокодила» и предлагается вариант его решения на основе современной классической формальной логики нулевого порядка. Формализация представленного решения проверена вычислительной логической программой математического пакета MATCAD 12.
Парадокс, формальная логика, логика нулевого порядка
Короткий адрес: https://sciup.org/147103318
IDR: 147103318
Статья научная
