|
|
В.Ф. Коротких
Аннотация
В данной статье осуществляется попытка раскрытия смысла логических парадоксов самореференции методами формальной логики с учетом существенного содержания парадоксальных суждений и понятий. В рамках расширенной логики парадокс рассматривается как нормальная логическая форма.
Оглавление
Аннотация.
Общие замечания и понятия.
Парадоксы самореференции.
1.Парадокс Лжеца.
2.Парадокс лжецов.
3.Парадокс абсолютной истинности.
4.Парадокс брадобрея.
5.Парадокс всемогущего.
6.Парадокс Рассела.
7. Парадокс осужденного
8. Парадокс Греллинга — Нельсона
9. Парадокс свойств
10. Парадокс самоприменения
Заключение
Литература
Общие замечания и понятия
Определение 1о
Логический парадокс
— это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса в отличие от паралогизма и софизма не обнаружена пока из-за несовершенства существующих методов логики.Парадоксы различают истинные, в основе которых посылки, разрешенные правилами и псевдопарадоксы, которые сформулированы фактически с ошибкой, но и в них есть парадоксальная ситуация.
Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения.
Типовой ошибкой является использование сокращенных понятий. В любом учебнике формальной логики указывается, что понятие определяется своими признаками, временем и отношениями с другими понятиями. Обычно время и отношения (обстоятельство, что высказывание находится во множестве других с ним связанных) не учитываются. Понятие или высказывание назовем полным, если имеется его достаточное обоснование (4-й закон логики). Хотя как "само собой разумеется" или в контексте всегда считается, что используемые суждения истинные.
Псевдопарадоксы получаются из нечетких исходных посылок или когда одна уже заранее явно или скрытно противоречит другой, что не соответствует положению дел в реальности, т
ипа "масло немасляное" или "сделать то, не знаю что"Надо полагать, что парадоксы - абстрактные построения аналогичные реально существующим противоречиям в природе. Законы диалектики слабо формализованы, но закон отрицания отрицания применяется однозначно, на его основе и возникают логические парадоксы. Из самой формулы закона
А =¬(¬А) видно, что положительная форма приравнена к отрицательной, при создании условий и выполнении определенных операций происходит парадоксальное превращение отрицательного понятия ¬А в положительное и наоборот.Из разрешенных правилами посылок по верным законам должны получаться правильные выводы. Т.е. в принципе парадоксальные выводы просто не вписываются в современную теорию. Логических парадоксов как противоречий в природе нет, естественные противоречия возникают и успешно разрешаются в виде движения материи. Логическое противоречие в природе - катастрофа, нарушение законов, разрушение объектов, это не логика, а хаос. Например в парадоксе "Осужденного" можно и повесить и отрубить субъекту голову, парадокса не будет, но и правил никаких тоже не будет. Конкретные примеры указывают на то, что логические парадоксы возникают в абстрактной сфере или виртуальной, псевдопарадоксы связаны с ошибочным описанием действий реальных объектов.
Здесь рассматриваются только стандартные парадоксы самореференции, кроме абстрактных конструкций типа парадокса Карри, нарушающих логические правила и очевидно не имеющих смысла. [Л-4]
Полный текст доступен в формате PDF (827Кб)
В.Ф. Коротких, Анализ логических парадоксов // «Академия Тринитаризма», М.,
 |