Просмотр кода страницы Тождество неразличимых

'''Тождество неразличимых''' — это [[Онтология|онтологический]] принцип, который утверждает, что не может быть раздельных [[Объект (философия)|объектов]] или [[wikt:entity|сущностей]], которые имеют общие [[Свойство|свойства]]. То есть сущности «''x»'' и «''y»'' идентичны, если каждый [[предикат]], которым обладает ''x'', также принадлежит ''y'', и наоборот: предполагать две неразличимые вещи — значит предполагать одно и то же под двумя именами. Тождество утверждает, что никакие две разные вещи (например, [[Снежинка|снежинки]]) не могут быть совершенно одинаковыми; оно предназначено в качестве [[Метафизика|метафизического]] принципа, а не в качестве принципа [[Естествознание|естествознания]]. Связанный с этим принцип — неразличимость идентичностей, обсуждается ниже.

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

Однако некоторые философы решили, что важно исключить определенные предикаты (или предполагаемые предикаты) из принципа, чтобы избежать тривиальности или противоречия. Примером (подробно описанным ниже) является предикат, который указывает, равен ли объект x (часто считается допустимым предикатом). Как следствие, в философской литературе существует несколько различных версий этого закона, различающихся по логической силе, и некоторые из них определенные авторы называют «сильным законом» или «слабым законом».<ref name=Forrest2008>{{cite encyclopedia | last=Forrest | first=Peter | title=The Identity of Indiscernibles | encyclopedia=The Stanford Encyclopedia of Philosophy | date=Fall 2008 | editor=Edward N. Zalta | url=http://plato.stanford.edu/archives/fall2008/entries/identity-indiscernible/ | access-date=2012-04-12{{ref-en}} | archive-date=2019-03-18 | archive-url=https://web.archive.org/web/20190318093337/http://plato.stanford.edu/archives/fall2008/entries/identity-indiscernible/ | url-status=dead }}</ref>

[[Куайн, Уиллард Ван Орман|Уиллард Ван Орман Куайн]] считал, что нарушение замены в содержательных контекстах (например, «Салли считает, что ''p''» или «Это обязательно так, что ''q''») показывает, что [[модальная логика]] — невозможный проект.<ref>Quine, W. V. O. «Notes on Existence and Necessity.» ''The Journal of Philosophy'', Vol. 40, No. 5 (March 4, 1943), pp. 113—127{{ref-en}}</ref> [[Крипке, Сол|Сол Крипке]] считает, что это отсутствие может быть результатом использования {{нп1|дисквотационного принципа|||Disquotational principle}}, подразумеваемого в этих доказательствах, а не нарушение замены как таковой.<ref name="belief">Kripke, Saul. «A Puzzle about Belief». Впервые появился в ''Meaning and Use''. ed., A. Margalit. Dordrecht: D. Reidel, 1979. pp. 239—283{{ref-en}}</ref>

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

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

== Тождество и неразличимость ==
Закон Лейбница может быть выражен как <math>\forall x \, \forall y \, [x=y \rightarrow \forall F \, (Fx \leftrightarrow Fy)]</math>, что может быть прочитано как «для каждого <math>x</math> и для каждого <math>y</math>, если <math>x</math> идентичен <math>y</math>, то каждое свойство <math>F</math>, которым обладает <math>x</math>, также принадлежит <math>y</math>, и каждое свойство <math>F</math>, которым обладает <math>y</math>, также принадлежит <math>x</math>»(неразличимость идентичностей), и наоборот, как <math>\forall x \, \forall y \, [\forall F(Fx \leftrightarrow Fy) \rightarrow x=y]</math>, что может быть прочитано как «для каждого <math>x</math> и для каждого <math>y</math>, если каждое свойство <math>F</math>, которым обладает <math>x</math>, также принадлежит <math>y</math>, и каждое свойство <math>F</math>, которым обладает <math>y</math>, также принадлежит <math>x</math>, тогда <math>x</math> идентично <math>y</math>»(тождество неразличимых).

«<math>=</math>» в законе Лейбница означает «количественное тождество», а не просто качественное тождество. «Идентичный» не просто имеет равное значение, или эквивалентен, или изоморфен, но скорее означает, что «<math>x</math> — тот же объект, что и <math>y</math>».

Здесь необходимо различать два закона (эквивалентные версии каждого из них даются на языке анализа предикатов).<ref name=Forrest2008/> Обратите внимание, что это все выражения второго порядка. Ни один из этих законов не может быть выражен в логике первого порядка (не подлежат первому порядку).

# Неразличимость идентичностей
#* Для любых <math>x</math> и <math>y</math>, если <math>x</math> идентичен <math>y</math>, то <math>x</math> и <math>y</math> имеют одинаковые свойства.
#*: <math>\forall x \, \forall y \, [x=y \rightarrow \forall F(Fx \leftrightarrow Fy)]</math>
# Тождество неразличимых
#* Для любых <math>x</math> и <math>y</math>, если <math>x</math> и <math>y</math> имеют одинаковые свойства, тогда <math>x</math> идентичен <math>y</math>.
#*: <math>\forall x \, \forall y \, [\forall F(Fx \leftrightarrow Fy) \rightarrow x=y]</math>

{| align="right" class="wikitable collapsible collapsed"
|-
! colspan=3 | Доказательство
|-
|
{|
|-
| colspan=3 | Сокращения:
|-
| '''Indsc''': || align=right | ∀''x'',''y''. || (''xRy'' → ∀''F'' (''Fx''→''Fy''))
|-
| '''Refl''': || align=right | ∀''x''. || ''xRx''
|-
| '''Symm''': || align=right | ∀''x'',''y''. ||  (''xRy'' → ''yRx'')
|-
| '''Trans''': || align=right | ∀''x'',''y'',''z''. || (''xRy'' ∧ ''yRz'' → ''xRz'')
|}
|-
| colspan=2 |
{| class="collapsible collapsed"
|-
! colspan=3 | '''Indsc''' ∧ '''Refl''' → '''Symm'''
|-
| colspan=3 | '''Доказательство:'''
|-
| colspan=3 | Учитывая ''x'', ''y'' такие, что ''xRy'',
|-
| colspan=3 | определим ''F''(''v'') = ''vRx'', тогда
|-
| || ''xRx'' || по '''Refl'''
|-
| → || ''Fx'' || по определению ''F''
|-
| → || ''Fy'' || по '''Indsc''', поскольку ''xRy''
|-
| → || ''yRx'' || по определению ''F''
|}
|-
| colspan=2 |
{| class="collapsible collapsed"
|-
! colspan=3 | '''Indsc''' ∧ '''Refl''' → '''Trans'''
|-
| colspan=3 | '''Доказательство:'''
|-
| colspan=3 | Учитывая ''x'', ''y'', ''z'' такие, что ''xRy'' и ''yRz'',
|-
| colspan=3 | определим ''F''(''v'') = ''vRz'', тогда
|-
| || ''yRz'' || предполагается
|-
| → || ''Fy'' || по определению ''F''
|-
| → || ''Fx'' || по '''Indsc''', поскольку ''yRx'' (от ''xRy'' и '''Symm''', см. выше)
|-
| → || ''xRz'' || по определению ''F''
|}
|-
| colspan=2 |
{| class="collapsible collapsed"
|-
! colspan=3 | '''Indsc''' ⇸ '''Refl'''
|-
| colspan=3 | '''Доказательство:'''
|-
| colspan=3 | Пустое отношение удовлетворяет '''Indsc''',
|-
| colspan=3 | но не '''Refl'''.
|}
|}

Первый закон не влечет за собой [[Рефлексивное отношение|рефлексивности]] = (или любого другого отношения R, заменяющего его), но оба свойства вместе влекут за собой [[Симметричное отношение|симметрию]] и [[транзитивность]] (см. Доказательство). Поэтому принцип 1 и рефлексивность иногда используются как аксиоматизация (второго порядка) для отношения равенства.

Первый закон считается логической истиной и (по большей части) бесспорным.<ref name=Forrest2008/> Второй закон, с другой стороны, вызывает споры; [[Блэк, Макс|Макс Блэк]] возражал против него.<ref>{{cite journal |last1=Black |first1=Max |title=The Identity of Indiscernibles |journal=Mind |date=1952 |volume=61 |issue=242 |pages=153–64 |doi=10.1093/mind/LXI.242.153 |jstor=2252291|language=en}}</ref>

Однако приведенные выше формулировки неудовлетворительны: второй закон следует читать как имеющий неявное побочное условие, исключающее любые предикаты, которые эквивалентны (в некотором смысле) любому из следующего:
# «идентичен ''x''»
# «идентичен ''y''»
# «не идентичен ''x''»
# «не идентичен ''y''»
Если все предикаты ∀F включены, то второй закон, как сформулировано выше, может быть тривиально и неоспоримо показан в качестве [[Тавтология (логика)|логической тавтологии]]: если ''x'' не идентичен ''y'', то всегда будет предполагаемое «свойство F», которое их отличает, а именно «быть идентичным ''x''».

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

== Критика ==

=== Симметричная вселенная ===
[[Блэк, Макс|Макс Блэк]] выступил против тождества неразличимого с помощью контрпримера. Чтобы показать, что идентичность неразличимых объектов ложна, достаточно предоставить [[Теория моделей|модель]], в которой есть две различные (численно неидентичные) вещи, обладающие одинаковыми свойствами. Он утверждал, что в симметричной вселенной, где существуют только две симметричные сферы, две сферы — это два разных объекта, хотя все они имеют общие свойства.<ref>''Metaphysics: An Anthology''. eds. J. Kim and E. Sosa, Blackwell Publishing, 1999{{ref-en}}</ref>

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

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

Этот аргумент подвергается критике некоторыми современными философами на том основании, что он якобы делает вывод о том, что является истинным, из предпосылки о том, что люди знают. Они утверждают, что то, что люди знают или верят о сущности, на самом деле не является характеристикой этой сущности. Ответ может заключаться в том, что аргумент в «[[Размышления о первой философии|Размышлениях о первой философии]]» состоит в том, что неспособность Декарта сомневаться в существовании своего разума является частью его [[Сущность|сущности]]. Тогда можно утверждать, что идентичные вещи должны иметь идентичную сущность.<ref>{{cite book | url=https://books.google.com/books?id=8sN_sdfBpGIC | title=Between Two Worlds: A Reading of Descartes's Meditations | first=John Peter | last=Carriero | publisher=Princeton University Press | year=2008 | isbn=978-1400833191 | language=en }} {{Wayback|url=https://books.google.com/books?id=8sN_sdfBpGIC |date=20210122090420 }}</ref>

Приводятся многочисленные контрпримеры, чтобы опровергнуть рассуждения Декарта с помощью [[Доведение до абсурда|reductio ad absurdum]], например следующий аргумент, основанный на секретной идентичности:
# Сущности ''x'' и ''y'' идентичны тогда и только тогда, когда любой предикат, принадлежащий ''x'', также принадлежит ''y'' и наоборот.
# [[Кларк Кент]] — секретная личность [[Супермен]]а; то есть они одно и то же лицо (идентичны), но люди этого факта не знают.
# [[Лоис Лейн]] думает, что Кларк Кент не умеет летать.
# Лоис Лейн считает, что [[Супермен]] умеет летать..
# Следовательно, у Супермена есть свойство, которого нет у Кларка Кента, а именно то, что Лоис Лейн думает, что он может летать.
# Следовательно, Супермен не идентичен Кларку Кенту.<ref>{{citation | url=http://www.calstatela.edu/faculty/dpitt/Egos.pdf | title=Alter Egos and Their Names | first=David | last=Pitt | journal=The Journal of Philosophy | volume=98 | issue=10 | date=October 2001 | pages=531–552, 550 | doi=10.2307/3649468 | jstor=3649468 | archive-url=https://web.archive.org/web/20060508170350/http://www.calstatela.edu/faculty/dpitt/Egos.pdf | archive-date=2006-05-08{{ref-en}} }} {{Wayback|url=http://www.calstatela.edu/faculty/dpitt/Egos.pdf |date=20060508170350 }}</ref>
# Поскольку в предложении 6 мы приходим к противоречию с предложением 2, мы заключаем, что по крайней мере одно из предположений неверно. Либо:
#* Закон Лейбница неверен; Либо
#* Знание человека о ''x'' не является предикатом ''x''; Либо
#* Применение закона Лейбница ошибочно; закон применим только в случаях монадических, а не полиадических свойств; Либо
#* Люди думают не о самих объектах; Либо
#* Человек способен придерживаться противоречивых убеждений.
::: Любой из них ниспровергает аргумент Декарта.<ref name="belief"/>

== См. также ==
* [[Тождественные частицы]]
* [[Ошибка про человека в маске]]
* [[Тождество (философия)|Тождество]]
* [[Корабль Тесея]]

== Примечания ==
{{Примечания}}

== Ссылки ==
* [http://www.consciousentities.com/tactics.htm Закон Лейбница]{{ref-en}}
* [http://plato.stanford.edu/entries/identity-indiscernible/ Статья Стэнфордской энциклопедии философии]{{ref-en}}

{{ВС}}
{{Готфрид Вильгельм Лейбниц}}

[[Категория:Понятия_метафизики]]
[[Категория:Готфрид Вильгельм Лейбниц]]
[[Категория:История идей]]
[[Категория:История_логики]]
[[Категория:История философии]]
[[Категория:Логика]]
[[Категория:Метафизика]]
[[Категория:Онтология]]
[[Категория:Философские понятия]]
[[Категория:Нерешённые проблемы философии]]
[[Категория:Философские теории]]
[[Категория:Философская логика]]