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