WikiDer > Закон идентичности

Law of identity
В этой статье используются формы логичный обозначение. Краткое описание символов, используемых в этих обозначениях, см. Список логических символов.

В логика, то закон личности утверждает, что каждая вещь идентична самой себе. Это первый из три закона мысли, вместе с закон непротиворечивости, а закон исключенного среднего. Однако ни одна система логики не построена только на этих законах, и ни один из этих законов не предусматривает правила вывода, Такие как modus ponens или же Законы ДеМоргана.

В своем формальный представительство, закон личности записан "а = а"или" Для всех Икс: Икс = Икс", где a или x относятся к срок а не предложение, и, следовательно, закон тождества не используется в логика высказываний. Это то, что выражается знаком равенства "=", понятие личность или же равенство. Его также можно записать менее формально, так как A есть A. Одно из утверждений такого принципа: "Роза - это роза - это роза."

В логическом дискурсе нарушения закона идентичности приводят к неформальная логическая ошибка известный как двусмысленность.[1] Иными словами, мы не можем использовать один и тот же термин в одном и том же дискурсе, когда он означает разные смыслы или значения, не вводя двусмысленность в дискурс - даже если этому термину обычно приписываются разные значения. Закон идентичности также допускает замена, и является тавтология.

История

Античная философия

Самое раннее зарегистрированное использование закона, по-видимому, произошло в Платондиалог Theaetetus (185a), при этом Сократ пытается установить, что то, что мы называем «звуками» и «цветами», - это два разных класса вещей:

Сократ. Что касается звука и цвета, в первую очередь, как вы думаете об обоих: существуют ли они?
Теэтет: Да.
Сократ: Значит, вы думаете, что каждый отличается от другого, и идентичен самому себе?
Теэтет: Конечно.
Сократ. И что обоих двое, и каждый по одному?
Теэтет: Да, и это тоже.

Он используется явно только один раз у Аристотеля, в доказательстве в Предварительная аналитика:[2][3]

Когда A принадлежит всему B и C и не утверждается ни из чего другого, а B также принадлежит всему C, необходимо, чтобы A и B были конвертируемыми, поскольку, поскольку A говорится только о B и C, а B является подтвердил оба самого себя а о С ясно, что В будет сказано обо всем, о чем говорится в А, кроме самого А.

— Аристотель, Предварительная аналитика, Книга II, Часть 22, 68a

Средневековая философия

Аристотель считал закон непротиворечивости наиболее фундаментальным законом. Обе Фома Аквинский (Встретились. IV, лекция. 6) и Дунс Скот (Квест. Как дела. Встретились. IV, Q.3) следуют в этом отношении Аристотелю. Антониус Андреас, испанский ученик Скота (ум. 1320), утверждает, что первое место должно принадлежать закону «Каждое существо есть существо» (Omne Ens est Ens, Qq. в Met. IV, Q.4), но поздний схоластический писатель Франсиско Суарес (Дисп. Встретились. III, § 3) не согласился, также предпочитая следовать Аристотелю.

Другой возможный намек на тот же принцип можно найти в трудах Николай Кузанский (1431–1464), где он говорит:

... не может быть нескольких абсолютно одинаковых вещей, потому что в этом случае было бы не несколько вещей, а само одно и то же. Следовательно, все вещи и согласуются, и отличаются друг от друга.[4]

Современная философия

Готфрид Вильгельм Лейбниц утверждал, что закон тождества, который он выражает как «Все есть то, что есть», является первой примитивной истиной разума, которая является утвердительной, а закон непротиворечивости - первой отрицательной истиной (Nouv. Ess. IV, 2, § i), утверждая, что «утверждение, что вещь есть то, что она есть, предшествует утверждению, что это не другая вещь» (Nouv. Ess. IV, 7, § 9). Вильгельм Вундт кредиты Готфрид Лейбниц с символической формулировкой «А есть А».[5] Закон Лейбница Подобный принцип заключается в том, что если два объекта имеют одинаковые свойства, они фактически являются одним и тем же: Fx и Fy тогда и только тогда, когда x = y.

Джон Локк (Эссе о человеческом понимании IV. vii. iv. ("Из максим") говорит:

[...] всякий раз, когда ум со вниманием рассматривает какое-либо предложение, чтобы воспринимать две идеи, обозначенные терминами, и подтверждать или отвергать одну из других как одинаковые или разные; в настоящее время он безошибочно уверен в истинности такого предложения; и это в равной степени независимо от того, выражаются ли эти предложения в терминах, обозначающих более общие идеи, или такие, которые менее таковы: например, утверждается ли общая идея Бытия сама по себе, как в этом предложении, «все, что есть, есть»; или утверждать о себе более конкретную идею, как «мужчина есть мужчина»; или, «все белое, то белое» [...]

Гамильтон был одним из последних, кто много посвятил «трем законам»

Африканский спирт провозглашает закон тождества фундаментальным законом познания, который противостоит изменяющемуся виду эмпирической реальности.[6]

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

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

Объективизм, философия, основанная писателем Айн Рэнд, основано на законе тождества: «А есть А».

Современная философия

Аналитический

в Основы арифметики, Готтлоб Фреге связал номер один со свойством быть самотождественным. Работа Фреге "О смысле и референции"начинается с обсуждения равенства и смысл. Фреге интересовался, как истинное утверждение формы «а = а», тривиальный пример закона тождества, может отличаться от истинного утверждения формы «а = Ь», подлинного расширения знания, если значение термин был его референтом.

Бертран Рассел в "Об обозначении"имеет аналогичную загадку:" Если a идентично b, все, что верно для одного, верно для другого, и любое из них может быть заменено другим без изменения истинности или ложности этого утверждения. Сейчас же Георг IV хотел знать, есть ли Скотт был автором Уэверли; и на самом деле Скотт был автором Уэверли. Следовательно, мы можем заменить «Скотт» на «автора Уэверли»И тем самым доказать, что Георг IV хотел знать, был ли Скотт Скоттом. И все же интерес к закону личности вряд ли можно отнести к первому джентльмену Европы ».

Континентальный

Мартин Хайдеггер в 1957 г. провел доклад под названием "Der Satz der Identität", где он связывает закон тождества" A = A "с фрагментом Парменида" gar auto estin noien te kai einai "(... ибо одно и то же можно мыслить и может существовать). Таким образом, Хайдеггер понимает идентичность начиная с отношения Мышления и Бытия и с принадлежности Мышления и Бытия. Жиль Делёз написал это "Разница и повторение"предшествует любой концепции идентичности.

Отказ от принципа идентичности

Логика Шредингера

Логики Шредингера - это логические системы, в которых принцип тождества вообще не верен. Интуитивная мотивация этой логики заключается в том, что Эрвин Шредингертезис (который был выдвинут другими авторами) о том, что идентичность не имеет смысла для элементарных частиц современной физики, и способ, которым физики рассматривают эту концепцию; обычно они понимают идентичность как значение неразличимости (согласия относительно атрибутов).

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

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

  1. ^ Говорят, что вещи называются «двусмысленно», когда, хотя у них есть общее имя, определение, соответствующее названию, для каждого разное.
  2. ^ Ван, Хао (2016). «От математики к философии (Routledge Revivals)». Рутледж - через Google Книги.
  3. ^ Томас, Иво (1 апреля 1974 г.). «По отрывку Аристотеля». Нотр-Дам Дж. Формальная логика. 15 (2): 347–348. Дои:10.1305 / ndjfl / 1093891315 - через Project Euclid.
  4. ^ De Venatione Sapientiae, 23.
  5. ^ Керли, Э. М. (октябрь 1971 г.). «Разве Лейбниц утверждал« Закон Лейбница »?». Философский обзор. 8 (4): 497–501.
  6. ^ Forschung nach der Gewissheit in der Erkenntniss der Wirklichkeit, Лейпциг, J.G. Финдел, 1869 и Denken und Wirklichkeit: Versuch einer Erneuerung der kritischen Philosophie, Лейпциг, Дж. Г. Финдел, 1873.

внешняя ссылка