Личность неразличимых

Невозможность для отдельных объектов иметь все свои свойства общими.

Тождество неразличимого — это онтологический принцип, который гласит, что не может быть отдельных объектов или сущностей, которые имели бы все свои общие свойства . То есть сущности x и y идентичны, если каждый предикат , принадлежащий x , также принадлежит y , и наоборот. В нем говорится, что никакие две разные вещи (например, снежинки ) не могут быть абсолютно одинаковыми, но это задумано как метафизический принцип, а не принцип естествознания. Связанный с этим принцип — неразличимость идентичностей, обсуждаемый ниже.

Форма принципа приписывается немецкому философу Готфриду Вильгельму Лейбницу . В то время как некоторые думают, что версия принципа Лейбница подразумевает только неразличимость тождеств, другие интерпретируют ее как соединение тождества неразличимых и неразличимости тождеств (обратный принцип). Из-за связи с Лейбницем неразличимость тождеств иногда называют законом Лейбница . Это считается одним из его величайших метафизических принципов, вторым является принцип непротиворечия и принцип достаточного основания (известно использованный в его спорах с Ньютоном и Кларком в переписке Лейбница-Кларка ).

Однако некоторые философы решили, что важно исключить определенные предикаты (или предполагаемые предикаты) из принципа, чтобы избежать тривиальности или противоречия. Примером (подробно описанным ниже) является предикат, который обозначает, равен ли объект x (часто считается допустимым предикатом). Как следствие, в философской литературе существует несколько различных версий этого принципа, различной логической силы, и некоторые из них отдельные авторы называют «сильным принципом» или «слабым принципом», чтобы различать их. . ^[1]

Тождество неразличимого использовалось для мотивации понятий неконтекстуальности в квантовой механике.

С этим принципом связан также вопрос о том, является ли он логическим принципом или просто эмпирическим принципом.

Личность и неразличимость

И тождество , и неразличимость выражаются словом «тот же». ^{[2] [3]} Идентичность заключается в числовом сходстве и выражается знаком равенства («="). Это отношение, которое каждый объект имеет только к самому себе. ^[4] Неразличимость , с другой стороны, касается качественного сходства : два объекта неразличимы, если все их свойства являются общими. ^[1] Формально это можно выразить как " ". Два смысла тождества связаны двумя принципами: принципом неразличимости тождественного и принципом тождества неразличимого . Принцип неразличимости идентичностей не вызывает противоречий и гласит, что если два объекта идентичны друг другу, то они обладают одинаковыми свойствами. ^[3] С другой стороны, принцип идентичности неразличимых предметов является более спорным, поскольку он утверждает обратное: если две сущности обладают одинаковыми свойствами, то они должны быть идентичными. ^[3] Это означает, что «не существует двух разных вещей, которые были бы в точности похожи друг на друга». ^[1] Обратите внимание, что все это выражения второго порядка . Ни один из этих принципов не может быть выражен в логике первого порядка ( не упорядочивается ). В совокупности их иногда называют законом Лейбница . Формально два принципа можно выразить следующим образом: ${\displaystyle \forall F(Fx\leftrightarrow Fy)}$

1. Неразличимость тождеств: ${\displaystyle \forall x\,\forall y\,[x=y\rightarrow \forall F(Fx\leftrightarrow Fy)]}$

   Для любого и , если тождественен , то и имеют все те же свойства. ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle x}$ ${\displaystyle y}$

2. Личность неразличимых: ${\displaystyle \forall x\,\forall y\,[\forall F(Fx\leftrightarrow Fy)\rightarrow x=y]}$

   Для любого и , если и имеют все одинаковые свойства, то идентичен . ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle x}$ ${\displaystyle y}$

Принцип 1 обычно рассматривается как априорная логическая истина . ^[1] Принцип 2, с другой стороны, является спорным; Макс Блэк, как известно, выступал против этого. ^[5]

Во вселенной двух различных объектов A и B все предикаты F материально эквивалентны одному из следующих свойств:

• IsA — свойство, принадлежащее A, но не свойственное B;
• IsB — свойство, которое принадлежит B, но не принадлежит A;
• IsAorB — свойство, которое принадлежит как A, так и B;
• IsNotAorB — свойство, которое не содержит ни A, ни B.

Если ∀F применимо ко всем таким предикатам, то второй принцип, сформулированный выше, тривиально и бесспорно сводится к логической тавтологии . В этом случае объекты различаются по IsA, IsB и всем предикатам, которые материально эквивалентны любому из них. Этот аргумент можно комбинаторно распространить на вселенные, содержащие любое количество различных объектов.

Отношение равенства, выраженное знаком «=", является отношением эквивалентности , поскольку оно рефлексивно (все равно самому себе), симметрично (если x равно y , то y равно x ) и транзитивно (если x равно y и y равен z , тогда x равен z ). Неразличимость тождеств и тождество неразличимого могут совместно использоваться для определения отношения равенства. Симметрия и транзитивность равенства следуют из первого принципа, тогда как рефлексивность вытекает из второго. Оба принципа можно объединить в одну аксиому, используя двуусловный оператор ( ) вместо материальной импликации ( ). ^{[6] [ нужна ссылка ]} ${\displaystyle \leftrightarrow }$ ${\displaystyle \rightarrow }$

Неразличимость и представления о свойствах

Неразличимость обычно определяется с точки зрения общих свойств: два объекта неразличимы, если все их свойства являются общими. ^[7] Правдоподобность и сила принципа идентичности неразличимого зависят от концепции свойств , используемых для определения неразличимости. ^{[7] [8]}

Одним из важных различий в этом отношении является различие между чистыми и нечистыми свойствами. Нечистые свойства — это свойства, которые, в отличие от чистых свойств , включают в себя ссылку на определенное вещество в своем определении. ^[7] Так, например, быть женой — это чистая собственность, а быть женой Сократа — нечистая собственность из-за ссылки на конкретного «Сократа». ^[9] Иногда вместо терминов «чистый» и «нечистый» используются термины « качественный » и « некачественный ». ^[10] Различимость обычно определяется только с точки зрения чистых свойств. Причина этого в том, что принятие во внимание нечистых свойств приведет к тому, что этот принцип будет тривиально верным, поскольку любая сущность обладает нечистым свойством идентичности самой себе, которое она не разделяет ни с одной другой сущностью. ^{[7] [8]}

Другое важное различие касается разницы между внутренними и внешними свойствами . ^[8] Свойство является внешним по отношению к объекту, если наличие этого свойства зависит от других объектов (со ссылкой на определенные объекты или без них), в противном случае оно является внутренним . Например, свойство быть тетей является внешним, а свойство иметь массу 60 кг — внутренним. ^{[11] [12]} Если идентичность неразличимых вещей определяется только с точки зрения внутренних чистых свойств, нельзя считать две книги, лежащие на столе, разными, если они по своей сути идентичны . Но если принять во внимание также внешние и нечистые свойства, одни и те же книги станут отличными, пока они различимы через последние свойства. ^{[7] [8]}

Критика

Симметричная вселенная

Макс Блэк выступил против идентичности неразличимых с помощью контрпримеров. Обратите внимание: чтобы показать, что тождество неразличимых вещей ложно, достаточно предоставить модель, в которой существуют две различные (число неидентичные) вещи, обладающие одинаковыми свойствами. Он утверждал, что в симметричной вселенной, где существуют только две симметричные сферы, эти две сферы представляют собой два разных объекта, даже если они имеют все свои общие свойства. ^[13]

Блэк утверждает, что даже реляционные свойства (свойства, определяющие расстояния между объектами в пространстве-времени) не могут отличить два идентичных объекта в симметричной вселенной. Согласно его аргументам, два объекта есть и останутся на равном расстоянии от плоскости симметрии Вселенной и друг от друга. Даже привлечение внешнего наблюдателя для четкого обозначения двух сфер не решает проблему, поскольку нарушает симметрию Вселенной.

Неразличимость идентичностей

Как говорилось выше, принцип неразличимости идентичностей — что, если два объекта на самом деле являются одним и тем же, они обладают всеми одинаковыми свойствами — в основном не вызывает сомнений. Однако одно известное применение неразличимости тождеств было сделано Рене Декартом в его «Размышлениях о первой философии» . Декарт пришел к выводу, что он не может сомневаться в существовании самого себя (знаменитый аргумент cogito ), но может сомневаться в существовании своего тела.

Этот аргумент подвергается критике со стороны некоторых современных философов на том основании, что он якобы выводит заключение о том, что истинно, из предпосылки о том, что люди знают. Они утверждают, что то, что люди знают или верят о сущности, на самом деле не является характеристикой этой сущности. Ответом может быть то, что аргумент в « Размышлениях о первой философии» заключается в том, что неспособность Декарта сомневаться в существовании своего разума является частью сущности его разума . Тогда можно утверждать, что одинаковые вещи должны иметь одинаковую сущность. ^[14]

Для разоблачения рассуждений Декарта посредством доведения до абсурда приводятся многочисленные контрпримеры , такие как следующий аргумент, основанный на тайной идентичности :

1. Сущности x и y идентичны тогда и только тогда, когда любой предикат, принадлежащий x , также принадлежит y , и наоборот.
2. Кларк Кент - тайная личность Супермена; то есть это один и тот же человек (идентичный), но люди этого факта не знают.
3. Лоис Лейн думает, что Кларк Кент не умеет летать.
4. Лоис Лейн думает, что Супермен может летать.
5. Следовательно, у Супермена есть свойство, которого нет у Кларка Кента, а именно то, что Лоис Лейн думает, что он может летать.
6. Следовательно, Супермен не идентичен Кларку Кенту. ^[15]
7. Поскольку в предложении 6 мы приходим к противоречию с предложением 2, заключаем, что хотя бы одна из посылок неверна. Или:
   • Закон Лейбница неверен; или
   • Знания человека о x не являются предикатом x ; или
   • Применение закона Лейбница ошибочно; закон применим только в случаях монадических, а не полиадических свойств; или
   • Люди думают не о самих объектах; или
   • Человек способен придерживаться противоречивых убеждений.

Любое из этих утверждений подорвет аргумент Декарта. ^[16]

Смотрите также

• 1-я аксиома метрики
• Дисквотационный принцип  - Философское утверждение о рациональном мышлении.
• Утиный тест  - классификация, основанная на наблюдаемых данных.
• Неотличимые частицы  - концепция в квантовой механике идеально заменяемых частиц, аналогичная идея в квантовой механике.
• Идентичность (философия)  - Отношение каждой вещи только к самой себе.
• Заблуждение человека в маске  - формальная ошибка, когда кто-то незаконно использует закон Лейбница в аргументации, ошибочное использование этого принципа.
• Корабль Тесея  – мысленный эксперимент об идентичности во времени
• Система структурных типов  - класс систем типов, аналогичная идея в информатике.
• Логика первого порядка § Равенство и его аксиомы

Рекомендации

1. Форрест, Питер (осень 2008 г.). «Личность неразличимых». В Эдварде Н. Залте (ред.). Стэнфордская энциклопедия философии . Проверено 12 апреля 2012 г.
2. Сандкюлер, Ханс Йорг (2010). «Онтология: 4 Aktuelle Debatten und Gesamtentwürfe». Энциклопедическая философия. Майнер. Архивировано из оригинала 11 марта 2021 г. Проверено 27 января 2021 г.
3. Нунан, Гарольд; Кертис, Бен (2018). "Личность". Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Проверено 4 января 2021 г.
4. Ауди, Роберт (1999). "личность". Кембриджский философский словарь. Издательство Кембриджского университета.
5. Блэк, Макс (1952). «Личность неразличимых». Разум . 61 (242): 153–64. дои : 10.1093/mind/LXI.242.153. JSTOR  2252291.
6. Альфред Норт Уайтхед и Бертран Рассел (1910). Принципы математики. Том. 1. Кембридж: Университетское издательство.Здесь: Раздел 13 Личность , Определ. 13.01, Лем.13.16.,17., с.176,178
7. Форрест, Питер (2020). «Тождество неразличимого: 1. Формулировка принципа». Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Проверено 25 января 2021 г.
8. Хондерих, Тед (2005). «идентичность неразличимого». Оксфордский справочник по философии. Издательство Оксфордского университета.
9. Розенкранц, Гэри С. (1979). «Чистое и нечистое». Логика и анализ . 22 (88): 515–523. ISSN  0024-5836. JSTOR  44085165.
10. Коулинг, Сэм (2015). «Некачественные свойства». Эркеннтнис . 80 (2): 275–301. дои : 10.1007/s10670-014-9626-9. S2CID  122265064.
11. Маршалл, Дэн; Уэзерсон, Брайан (2018). «Внутренние и внешние свойства». Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Проверено 25 января 2021 г.
12. Аллен, Софи. «Свойства: 7а. Внутренние и внешние свойства». Интернет-энциклопедия философии . Проверено 25 января 2021 г.
13. Метафизика: Антология . ред. Дж. Ким и Э. Соса, Blackwell Publishing, 1999 г.
14. Каррьеро, Джон Питер (2008). Между двумя мирами: чтение размышлений Декарта. Издательство Принстонского университета. ISBN 978-1400833191.
15. Питт, Дэвид (октябрь 2001 г.), «Альтер Эго и их имена» (PDF) , The Journal of Philosophy , 98 (10): 531–552, 550, doi : 10.2307/3649468, JSTOR  3649468, заархивировано из оригинала ( PDF) от 8 мая 2006 г.
16. Крипке, Саул. «Загадка о вере». Впервые появился в «Значение и использование» . ред., А. Маргалит. Дордрехт: Д. Рейдель, 1979. стр. 239–283.

Внешние ссылки

• Закон Лейбница
• Статья в Стэнфордской энциклопедии философии