Вещи, которым следовало бы быть
Парадокс Зенона—Шейнфинкеля—Тарского
Парадокс Зенона—Шейнфинкеля—Тарского — недостаточно известный логический парадокс, которому подвержены логики бесконечного порядка. Он заключается в том, что в них можно сформулировать утверждение о том, что этому парадоксу подвержена логика любого конечного порядка, включая нулевой (логика высказываний). Точная формулировка занимает несколько страниц в совместной монографии Шейнфинкеля и Тарского «Логические исчисления: IX», где открытие приписывается Зенону.
Большинство современников считало, что это мистификация, поскольку никаких оснований для парадокса не видно.
Комментариев нет:
Отправить комментарий