Логические парадоксы: основы

Коротко: Логические парадоксы — это утверждения или ситуации, которые кажутся сформулированными без противоречий, но приводят к неразрешимым логическим противоречиям. Они раскрывают границы и слепые зоны в формальных системах логики и языка.

Подробнее: Многие парадоксы возникают через самоссылку, когда утверждение прямо или косвенно относится к самому себе.

Подробности

• Парадокс лжеца: Предложение «Это предложение ложно» не может быть ни истинным, ни ложным без противоречия самому себе.
• Парадокс Рассела: Вопрос о том, содержит ли себя множество всех множеств, не содержащих себя, привёл к глубокому кризису в теории множеств.
• Парадокс соритес (парадокс кучи): Если удаление одной песчинки из кучи песка никогда не превращает её в не-кучу, то когда именно куча перестаёт быть кучей?
• Парадоксы Зенона: Античные мысленные эксперименты, такие как парадокс Ахиллеса и черепахи, ставили под вопрос саму возможность движения.
• Парадокс Греллинга-Нельсона: Вопрос о том, является ли слово «гетерологическое» (не применимое к самому себе) само гетерологическим, приводит к логическому противоречию.
• Реакции логиков: Различные подходы, такие как теории типов или многозначная логика, пытаются формально обойти такие парадоксы.
• Практическая ценность: Парадоксы — не просто курьёзы, они стимулировали важную фундаментальную работу в математике, информатике и философии языка (erkenntnistheorie-wissen-und-glauben, trolley-problem-gedankenexperiment).