Принцип замкнутого круга - Vicious circle principle
Принцип порочного круга - это принцип, который был одобрен многими математиками- предикативистами в начале 20-го века для предотвращения противоречий. Принцип гласит, что никакой объект или свойство не может быть введено определением, которое зависит от самого этого объекта или свойства. В дополнение к исключению определений, которые являются явно циклическими (например, «объект имеет свойство P, если он не находится рядом с чем-либо, имеющим свойство P »), этот принцип исключает определения, которые количественно определяют по доменам, которые включают определяемую сущность. Таким образом, он блокирует парадокс Рассела , который определяет множество R , содержащее все множества, не содержащие самих себя. Это определение заблокировано, потому что оно определяет новый набор в терминах совокупности всех наборов, членом которых будет сам этот новый набор.
Однако он также блокирует одно стандартное определение натуральных чисел . Во-первых, мы определяем свойство как « наследственное », если, когда число n обладает этим свойством, то же самое делает и n +1. Тогда мы говорим, что x обладает свойством быть натуральным числом тогда и только тогда, когда он обладает всеми наследственными свойствами, которыми обладает 0. Это определение заблокировано, потому что оно определяет «натуральное число» в терминах совокупности всех наследственных свойств, но само «натуральное число» было бы таким наследственным свойством, поэтому определение в этом смысле является круговым.
Большинство современных математиков и философов математики считают, что это конкретное определение не является круговым в каком-либо проблемном смысле, и поэтому они отвергают принцип порочного круга. Но его одобрили многие исследователи начала 20 века, включая Бертрана Рассела и Анри Пуанкаре . С другой стороны, Фрэнк П. Рэмси и Рудольф Карнап приняли запрет на явную циркулярность, но выступили против запрета на круговую количественную оценку. В конце концов, определение «пусть Т будет самым высоким человеком в комнате» определяет Т посредством количественной оценки по области (люди в комнате), членом которой является Т. Но это не проблема, считают они, потому что определение на самом деле не создает человека, а просто показывает, как выделить его из целого. Точно так же они предполагают, что определения на самом деле не создают наборы, свойства или объекты, а просто предоставляют один способ выбора уже существующей сущности из коллекции, частью которой она является. Таким образом, подобная замкнутость в количественной оценке не может вызвать никаких проблем.
Этот принцип стал причиной развития Расселом разветвленной теории типов, а не теории простых типов . (См. «Разветвленная иерархия и импредикативные принципы».)
Анализ парадоксов, которых следует избегать, показывает, что все они являются результатом своего рода порочного круга. Рассматриваемые порочные круги возникают из-за предположения, что набор объектов может содержать члены, которые могут быть определены только посредством коллекции в целом. Таким образом, например, предполагается, что набор предложений содержит предложение, утверждающее, что «все предложения истинны или ложны». Однако может показаться, что такое утверждение не может быть легитимным, если «все предложения» не относятся к некоторому уже определенному набору, чего не может быть, если новые предложения создаются утверждениями обо «всех предложениях». Поэтому нам придется сказать, что утверждения о «всех предложениях» бессмысленны… Принцип, который позволяет нам избегать незаконных тотальностей, может быть сформулирован следующим образом: «Все, что включает в себя всю коллекцию, не должно быть одной из коллекций»; или, наоборот: «Если бы при условии, что определенная коллекция имела общую сумму, в ней были бы члены, определяемые только в терминах этой суммы, тогда указанная коллекция не имеет общей суммы». Мы будем называть это «принципом порочного круга», потому что он позволяет нам избегать порочных кругов, связанных с допущением незаконных целостностей. (Уайтхед и Рассел 1910, 37) (цитируется в Стэнфордской энциклопедии философии, статья о парадоксе Рассела )
Смотрите также
- Самостоятельная ссылка
- Круговое определение (например, закон Хофштадтера )