Общая характеристика логическихпарадоксов
Определение 1
Логическиепарадоксы – это рассуждения... В более узком (особом, логическом) смысле парадокс – это пара несовместимых, противоположных утверждений... или менее острый логическийпарадокс или даже логическая антиномия, указывающая на внутренние противоречия... Этим объясняется значимость логическихпарадоксов.... Парадокс Рассела (парадокс брадобрея)
Часто формально-логическиепарадоксы называют теоретико-множественными
В статье рассмотрены сложившиеся подходы к рассмотрению парадокса близнецов. Показано: хотя формулировка этого парадокса связана со специальной теорией относительности, но к большинству попыток его объяснения привлекается общая теория относительности, что не является методологически корректным. Автор обосновывает положение о том, что сама формулировка «парадокса близнецов» изначально некорректна, ибо описывает событие, невозможное в рамках специальной теории относительности.
Общая характеристика парадокса
Определение 1
Логические и семантические парадоксы – это противоречия... Классификация парадоксовПарадоксы могут быть разделены на три категории:
Логическиепарадоксы.... При этом к парадоксам относят только правильные (отвечающие требованиям логических норм) умозаключения... В качестве классического примера логическогопарадокса можно привести парадокс Рассела.... Семантические парадоксы тесно связаны с логическими и прагматическими.
Даётся краткое изложение существа и истории вопроса о роли логических парадоксов, а также значения противоречивых моделей в оптимизации и классификации. Рассмотрены парадоксы в теории множеств, причина которых в использовании понятия актуальной бесконечности и в перенесении методов, пригодных для конечных множеств, на множества бесконечные. Некоторые логические парадоксы связываются с несобственными системами предикатов, т. е. такими несовместными системами предикатов, поставить которым в соответствие можно лишь несобственный объект. Рассматривается путь анализа таких парадоксов, состоящий в расширении имеющихся представлений об объектах, в ослаблении накладываемых при определении объекта требований, в расширении смысла понятия «существование». Рассматривается моделирование объектов с помощью несовместных систем линейных неравенств. Разрешение противоречивых систем предлагается на пути введения «размытых» понятий и коллективных решений (это можно считать моделированием консилиума). ...
методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: «Сущности не следует умножать без необходимости». У. Оккам, средневековый англ. философ и логик, направлял этот принцип против распространенных в то время попыток объяснить новые явления введением разного рода «скрытых качеств», ненаблюдаемых «сущностей», таинственных «сил» и т. п. «Б. О.» может рассматриваться как одна из первых ясных формулировок принципа простоты, требующего использовать при объяснении определенного круга эмпирических фактов возможно меньшее количество независимых теоретических допущений. Принцип простоты проходит через всю историю естественных наук. Многие крупнейшие естествоиспытатели указывали, что он неоднократно играл руководящую роль в их исследованиях. В частности, Ньютон выдвигал особое методологическое требование «не излишествовать» в причинах при объяснении явлений.
