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

Коротко: Логічні парадокси — це твердження або ситуації, що здаються сформульованими без протиріч, але призводять до нерозв’язних логічних протирічь. Вони розкривають межі й сліпі зони у формальних системах логіки й мови.

Детальніше: Багато парадоксів виникають через самопосилання, коли твердження прямо чи непрямо стосується самого себе.

Детальніше

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