Самоопровергающая идея или самоопровергающая идея — это идея или утверждение, ложность которых является логическим следствием действия или ситуации, когда они считаются истинными. Многие идеи их критики называют самоопровергающими, и поэтому такие обвинения почти всегда вызывают споры, а защитники заявляют, что идея неправильно понимается или что аргумент недействителен. По этим причинам ни одна из представленных ниже идей не является однозначно или неопровержимо самоопровергаемой. Эти идеи часто используются в качестве аксиом , то есть определений, принимаемых за истину ( тавтологические допущения), и не могут быть использованы для проверки самих себя, поскольку это привело бы только к двум последствиям: непротиворечивость( круговое рассуждение ) или исключение (внутреннее противоречие ). Важно знать, что заключение самоопровергающего аргумента не обязательно ложно, поскольку его можно подкрепить другим, более обоснованным аргументом.
Парадокс Эпименида — это утверждение в форме «это утверждение ложно». Подобные утверждения беспокоили философов, особенно когда была предпринята серьезная попытка формализовать основы логики. Бертран Рассел разработал свою « Теорию типов », чтобы формализовать набор правил, которые предотвращали бы такие утверждения (более формально парадокс Рассела ) в символической логике. [1] Эта работа привела к современной формулировке аксиоматической теории множеств . Хотя формализация Рассела не содержала таких парадоксов, Курт Гёдель показал, что она должна содержать независимые утверждения. Любая логическая системакоторая достаточно богата, чтобы содержать элементарную арифметику, содержит по крайней мере одно предложение, интерпретация которого состоит в том, что это предложение недоказуемо (изнутри рассматриваемой логической системы), и, следовательно, никакая такая система не может быть одновременно полной и непротиворечивой .
Объективисты определяют ошибочность украденного понятия: акт использования понятия при игнорировании, противоречии или отрицании достоверности понятий, от которых оно логически и генетически зависит. Примером заблуждения об украденной концепции является заявление анархиста Пьера-Жозефа Прудона : «Всякая собственность — кража» .
Обсуждая иерархическую природу знаний, Натаниэль Бранден заявляет, что «кража» - это концепция, которая логически и генетически зависит от предшествующей концепции «собственности, принадлежащей по праву», и относится к акту захвата этой собственности без согласия владельца. Если никакая собственность не находится в законной собственности, то есть если ничто не является собственностью, не может быть такого понятия, как «воровство». Таким образом, утверждение «Всякое имущество есть кража» имеет внутреннее противоречие: использовать понятие «воровство» при отрицании обоснованности понятия «имущество» означает использовать «воровство» как понятие, на которое не имеете логического права. — то есть как украденное понятие. [2]