| dbo:abstract
|
- S'anomena identitat dels indiscernibles , o de vegades també llei de Leibniz , a una varietat de principis filosòfics, principalment: 1.
* Si dos objectes a i b comparteixen totes les seves propietats, llavors a i b són idèntics, és a dir, són el mateix objecte. 2.
* Si dos objectes a i b comparteixen totes les seves propietats qualitatives, llavors a i b són idèntics. 3.
* Si dos objectes a i b comparteixen totes les seves propietats qualitatives no relacionals, llavors a i b són idèntics. Intuïtivament, una propietat qualitativa és una propietat intrínseca als objectes, que pot ser instanciada per més d'un objecte i que no involucra una relació amb cap altre objecte particular. Per exemple, la propietat de ser blanc. No obstant això, no tota propietat qualitativa és no relacional, perquè algunes propietats relacionals no impliquen una relació amb un objecte particular . Per exemple, la propietat d'estar sobre una taula qualsevol. El primer d'aquests principis és trivialment veritable i necessari. Donat el principi d'identitat, se sap que l'objecte b té la propietat de ser idèntic a si mateix, és a dir a b . Després, si suposem que a i b comparteixen totes seves propietats, llavors a també tindrà la propietat de ser idèntic a b , que és el que es volia demostrar. El segon i el tercer principi ja són menys trivials, i hi ha un debat sobre si són principis veritables i si són necessàriament veritables. Normalment es restringeix l'abast del principi d'identitat dels indiscernibles als objectes concrets. El principi d'identitat dels indiscernibles pot formular en la lògica de segon ordre, així: (ca)
- تطابق الهوية هو مبدأ وجودي ينص على أنه لا يمكن أن يكون هناك شيئان أو كيانان منفصلان عن بعضهما البعض ويشتركان بجميع الخصائص. وهو، يكون الكيانان X و Y متطابقين إذا امتلك X كل المحمولات (predicate نسبة الحدث لصاحبه-_ المسند) التي يمتلكها Y والعكس بالعكس.لنفترض أن شيئين لا نميزهما هما فرضاً الشيء نفسه تحت مسميين مختلفين. وهو ينص على أنه لا يوجد شيئان مستقلان عن بعضهما البعض (كحبات الثلج) ممكن أن يتطابقا تماماً، لكن الغرض منه أنه مبدأ ميتافيزيقي (غيبي) بدلاً من كونه من علوم الطبيعة. والمبدأ ذو الصلة: indiscernibility of identical (إمكانية التطابق) الموضح أدناه. تعزى صياغة المبدأ للفيلسوف الألماني . وهو أحد مبدأيه العظيمين في الميتافيزيقيا (علم ما وراء الطبيعة), أما المبدأ الآخر فهو مبدأ السبب الكافي. كلاهما على حد سواء اشتهرا بحججه مع نيوتن وكلارك في مراسلات بين ليبنز وكلارك.بسب ارتباطه بليبنتز. يعرف هذا المبدأ أحياناً باسم «قانون ليبنز». إلا أن مصطلح «قانون ليبنز» يستخدم عادةً بشكل معاكس للمبدأ. (إمكانية التطابق) the indiscernibility of identical (الموضح أدناه) والذي يختلف منطقياً وعدم الخلط بينه وبين تطابق الهوية..... وقد قرر بعض الفلاسفة، مع ذلك، أنه من المهم استبعاد بعض الفرضيات (أو الفرضيات المزعومة) من المبدأ بغية تجنب أي أمور تافهة أو تناقض. على سبيل المثال (المفصل أدناه) دالة التقييم التي تظهر ما إن كان كائن يساوي x (غالباً تعتبر فرضية جيدة). ونتيجة لذلك، هناك عدة نصوص مختلفة من المبدأ في الكتابات الفلسفية، متفاوتة من حيث قوتها المنطقية – بعضها يدعى 'مبدأ قوي' أو 'مبدأ ضعف' من قبل مؤلفين معينين، للتمييز بينها. يعتقد ويلارد فان أورمان كواين أن فشل الاستبدالية ((substitutivety في الحالات المتعلقة بالشدة (مثلاً 'سالي تعتقد أن p' أو 'هو بالضرورة واقع q') يبرهن أن المنطق الشكلي مشروع مستحيل.يرى ساول كريبك هذا الفشل كنتيجة لاستخدام مبدأ disquotational (غير التقديري) الضمني في هذه البراهين، وليس فشلاً للاستبدالية substitutivety على هذا النحو. يرتبط هذا المبدأ أيضاً بمسألة كونه مبدأً منطقياً أم أنه مجرد مبدأ تجريبي. (ar)
- Identeco de nediferencigeblaj aĵoj (latine principium identitas indiscernibilium) estas ontologia rulo, laŭ kiu objektoj, aroj ktp. estas identaj (fakte samaj) tiam kaj nur tiam, kiam ĉiuj ecoj de ili estas komunaj. Tiu rulo estas uzata por pruvi multajn teoremojn pri identeco. Ĝin verkis la germana filozofo Gottfried Wilhelm Leibniz. (eo)
- En filosofía se llama identidad de los indiscernibles, o a veces también ley de Leibniz, a una variedad de principios ontológicos, a saber: 1.
* Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, en referencia, son el mismo objeto. 2.
* Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos. 3.
* Si dos objetos a y b comparten todas sus propiedades cualitativas no relacionales, entonces a y b son idénticos. Algunos dicen a que la versión escrita por Leibniz es solo la indiscernibilidad de los idénticos, mientras que otros dicen que es como la conjunción de la identidad de los indiscernibles y la indiscernibilidad de los idénticos. Este se considera como uno de los grandes principios metafísicos de Leibniz (que a la vez se cuestiona si es un principio lógico o simplemente un principio empírico), así como el principio de no contradicción y el principio de razón suficiente. Intuitivamente, una propiedad cualitativa es una propiedad intrínseca a los objetos, que puede ser instanciada por más de un objeto y que no involucra una relación con ningún otro objeto particular. Por ejemplo, la propiedad de ser blanco. Sin embargo, no toda propiedad cualitativa es no relacional, porque algunas propiedades relacionales no implican una relación con un objeto particular. Por ejemplo, la propiedad de estar sobre una mesa cualquiera. El primero de estos principios es trivialmente verdadero y necesario. Dado el principio de identidad, se sabe que el objeto b tiene la propiedad de ser idéntico a sí mismo, es decir a b. Luego, si suponemos que a y b comparten todas sus propiedades, entonces a también tendrá la propiedad de ser idéntico a b, que es lo que se quería demostrar. El segundo y el tercer principio ya son menos triviales, y existe un debate sobre si son principios verdaderos y si son necesariamente verdaderos. Usualmente se restringe el alcance del principio de identidad de los indiscernibles a los objetos concretos. El principio de identidad de los indiscernibles puede formularse en la lógica de segundo orden, así (principio controvertido): La cual dice que si x y y tienen todas las mismas propiedades, entonces x es idéntico a y. (es)
- Principium identitatis indiscernibilium (lateinisch, häufig abgekürzt als pii) bezeichnet den „Satz der Identität des Ununterscheidbaren“. Dieser Satz zur logischen Identität sagt aus, dass zwei reale Objekte, wenn sie nicht ein und dasselbe sind, sich in mindestens einer beobachtbaren Eigenschaft (Qualität) voneinander unterscheiden müssen. Es gibt damit keine zwei qualitativ absolut identischen, aber real verschiedenen Dinge in der realen Wirklichkeit. Für eine genauere Darstellung siehe Identität (Logik). Schon Cicero berichtete, dass dieses Prinzip den Stoikern bekannt gewesen ist. Auch Seneca vertrat es. Ebenso ist dieses Prinzip bei Athanasius zu finden. Im Mittelalter haben davon Nikolaus von Kues, in der Renaissance Giordano Bruno, Giovanni Pico della Mirandola und Nicolas Malebranche Kenntnis. Bei Leibniz findet man die Aussage, dass es niemals vollkommen gleiche Dinge geben würde, sonst könnte man keine Individuen unterscheiden. Die Monaden sind bei ihm alle qualitativ in ihrem Inneren unterschiedlich. Es gibt keine Substanzen, die einander vollkommen gleichen. Auch Christian Wolff erörtert dieses Prinzip. Bei Immanuel Kant gibt es die Einschränkung bezüglich metaphysischer Folgerungen, die aus dem Prinzip abgeleitet werden könnten. Nach seiner Auffassung spielt die örtliche Beziehung eine Hauptrolle. Wenn mehrere Dinge auch noch so als Inneres übereinstimmen, so sind sie doch nicht identisch, wenn sie an verschiedenen Orten aufzufinden sind. In der Kritik der reinen Vernunft führt er dazu aus: „Der Satz des Nichtzuunterscheidenden gründete sich eigentlich auf die Voraussetzung: daß, wenn in dem Begriffe von einem Dinge überhaupt eine gewisse Unterscheidung nicht angetroffen wird, so sei sie auch nicht in den Dingen selbst anzutreffen; folglich seien alle Dinge völlig einerlei (numero eadem), die sich nicht schon ihrem Begriffe (der Qualität oder Quantität nach) voneinander unterscheiden.“ (A 281/B 337) – Das würde aber nur dann zutreffen, wenn die „Dinge“ nicht bloße Erscheinungen wären.„Inneres“ und „Äußeres“ gelten bei ihm nur als „Reflexionsbegriffe“. Auch ohne die Monadologie von Leibniz wären die Vielheit und numerische Verschiedenheit – „schon durch den Raum selbst, als die Bedingung der äußeren Erscheinung, angegeben. Denn ein Teil des Raums, ob er zwar einem anderen völlig ähnlich und gleich sein mag, ist doch außer ihm, und eben dadurch ein vom ersteren verschiedener Teil.“ (Kritik der reinen Vernunft A 264/B 320) ... „Die Verschiedenheit der Örter macht die Vielheit und Unterscheidung der Gegenstände, als Erscheinungen, ohne weitere Bedingungen, schon für sich nicht allein möglich, sondern auch notwendig“ (A 272/B 328). Der Geltungsbereich des Satzes pii wird seit den 1950er Jahren in Zweifel gezogen, weil 1927 in der Atomphysik entdeckt wurde, dass man die Elektronen eines Atoms als absolut ununterscheidbar ansehen muss, es gleichwohl aber mehr als eins davon gibt. Zum physikalischen Gehalt dieser Entdeckung siehe Ununterscheidbare Teilchen.Viele Wissenschaftstheoretiker (wie u. a. Erwin Schrödinger, Henry Margenau, , Peter Mittelstaedt) halten pii durch diese Entdeckung für widerlegt. Andere (wie u. a. Bas van Fraassen, ) halten pii, mit Präzisierungen, für gültig, jedenfalls soweit es die Quantenmechanik betrifft, die nur Zustände mit feststehender Teilchenzahl kennt. Für den Bereich der Quantenfeldtheorie, in der die Teilchenzahl variieren kann, weil alle Arten Teilchen als quantenhafte Anregungen eines entsprechenden Feldes betrachtet werden (wie z. B. das Photon als Quant des elektromagnetischen Feldes), steht die genauere Analyse noch aus; die Diskussion dauert an. (de)
- The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities x and y are identical if every predicate possessed by x is also possessed by y and vice versa. It states that no two distinct things (such as snowflakes) can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below. A form of the principle is attributed to the German philosopher Gottfried Wilhelm Leibniz. While some think that Leibniz's version of the principle is meant to be only the indiscernibility of identicals, others have interpreted it as the conjunction of the identity of indiscernibles and the indiscernibility of identicals (the converse principle). Because of its association with Leibniz, the indiscernibility of identicals is sometimes known as Leibniz's law. It is considered to be one of his great metaphysical principles, the other being the principle of noncontradiction and the principle of sufficient reason (famously been used in his disputes with Newton and Clarke in the Leibniz–Clarke correspondence). Some philosophers have decided, however, that it is important to exclude certain predicates (or purported predicates) from the principle in order to avoid either triviality or contradiction. An example (detailed below) is the predicate that denotes whether an object is equal to x (often considered a valid predicate). As a consequence, there are a few different versions of the principle in the philosophical literature, of varying logical strength—and some of them are termed "the strong principle" or "the weak principle" by particular authors, in order to distinguish between them. Willard Van Orman Quine thought that the failure of substitution in intensional contexts (e.g., "Sally believes that p" or "It is necessarily the case that q") shows that modal logic is an impossible project. Saul Kripke holds that this failure may be the result of the use of the disquotational principle implicit in these proofs, and not a failure of substitutivity as such. The identity of indiscernibles has been used to motivate notions of noncontextuality within quantum mechanics. Associated with this principle is also the question as to whether it is a logical principle, or merely an empirical principle. (en)
- Le principe d'identité des indiscernables (ou principe des indiscernables) est un principe qui stipule que si deux particuliers possèdent les mêmes propriétés, alors ils sont identiques. Ce principe a d'abord été posé par Leibniz et est hautement controversé. Il ne doit pas être confondu avec sa converse, beaucoup plus largement acceptée : le principe d'indiscernabilité des identiques. Le principe d'identité des indiscernables s'exprime symboliquement : (x)(y) [(P)(Px ↔ Py) → (x = y)]. Ce qu'on peut lire : pour tout x, pour tout y, si pour tout P, Px est équivalent à Py, alors x est identique à y. (fr)
- 식별불가능자의 동일성 원리(識別不可能者同一性原理, Identity of indiscernibles)는 그 지닌 성질이 완전히 동일한 대상들은 서로 같다는 존재론적 원칙이다. 이에 따르면 세계에 존재하는 서로 다른 것은 그 가진 성질이 완전히 동일할 수 없으며, 만약 완전히 동일한 성질을 가지면 그것은 본디 서로 다른 것이 아니다. 독일의 철학자 라이프니츠가 처음 주장한 것으로 알려져 있으며, 따라서 라이프니츠의 원칙(Leibniz's law)라고 불리기도 한다. 충족이유율 등과 함께 형이상학의 주요한 원칙 중 하나이다. 이러한 원리를 논리학적으로 재서술하면 'x에 대해 성립하는 모든 술어(성질)가 y에 대해서 성립하는 모든 술어와 일치할 때 x = y이다' (즉, (x)(y) [x=y → (F)(Fx ↔ Fy)]) 라는 진술이 되는데, 일부 철학자들은 모호성이나 모순을 피하기 위해 일부 술어는 원리에서 제외할 필요가 있다고 주장한다. 한편 그 역으로 'x = y 일 때 서로에 대한 모든 술어가 일치한다' ((x)(y) [(F )(Fx ↔ Fy) → x=y]) 라는 진술은 동일자의 식별불가능성 원리(indiscernibility of identicals)이라 부르기도 한다. 윌러드 밴 오먼 콰인은 이 원칙에 대한 내포적 문장("S는 p라는 것을 믿는다", "q임이 필연적이다")의 대입에서 오류가 발생하는 것, 즉 내포적 실패(intensional fallacy)가 양상 논리의 근본적 한계를 보여주는 것이라고 여겼다. 솔 크립키는 내포적 실패는 증명과정에서 암묵적으로 사용된 인용해제(disquotation)에 의한 것이지 양상 논리의 오류를 함의하는 것은 아니라고 지적한다. (ko)
- Il principio degli indiscernibili o meglio il principio di identità degli indiscernibili è un principio ontologico che dice che se non c'è modo di distinguere due enti, allora sono in verità un solo e identico ente. Cioè vale a dire che le entità "x" e "y" sono identiche se e solo se ogni predicato valido per "x" è pure valido per "y".Il principio è conosciuto anche come "Legge di Leibniz", visto che la formulazione meglio conosciuta proviene dal filosofo tedesco Gottfried Wilhelm Leibniz: Eadem sunt, quorum unum potest substitui alteri salva veritate (le cose delle quali l'una può essere sostituita dall'altra mantenendone intatta la verità, sono le stesse). Questo principio postula l'idea che in natura non esistano due enti differenti solo numero, in quanto, se così fosse, non ci sarebbe una ragione sufficiente tale da giustificarne l'esistenza. Come esempio, Leibniz citava le foglie, di cui non ne esistono di identiche sul medesimo albero. Un altro esempio potrebbe essere quello delle impronte digitali. Per questo possiamo vedere il principio degli indiscernibili come un corollario del principio di ragion sufficiente che così recita: nihil est sine ratione sufficiente, cur potius sit quam non sit (nulla è senza ragione sufficiente perché sia piuttosto che non sia). Nel suo trattato Progressione Dyadica pubblicato nel 1679, Leibniz fu il primo pensatore occidentale a enunciare i fondamenti matematici e le principali applicazioni del moderno sistema numerico binario, alla base dell'informatica. L'opera, ignorata dai contemporanei, fu ripresa soltanto nell' '800 da George Boole. Leibniz, che fra l'altro era un bibliotecario, entrò in corrispondenza con il gesuita missionario in Cina, padre Joachim Bouvet, e tramite essi venne a conoscere la tavola binaria dello yin e yang diffusa da tremila anni. (it)
- Zasada identyczności przedmiotów nierozróżnialnych (łac. principium identitatis indiscernibilium) – teza ontologiczna stwierdzająca, że jeśli dane obiekty, indywidua, zbiory, etc. mają wszystkie własności wspólne, to są one identyczne (stanowią ten sam obiekt, indywiduum, zbiór, etc.). Zasada ta przyczynia się do dowodzenia szeregu twierdzeń o identyczności. Za twórcę zasady identyczności przedmiotów nierozróżnialnych uważa się filozofa niemieckiego Gottfrieda Wilhelma Leibniza. (pl)
- Тождество неразличимых — это онтологический принцип, который утверждает, что не может быть раздельных объектов или сущностей, которые имеют общие свойства. То есть сущности «x» и «y» идентичны, если каждый предикат, которым обладает x, также принадлежит y, и наоборот: предполагать две неразличимые вещи — значит предполагать одно и то же под двумя именами. Тождество утверждает, что никакие две разные вещи (например, снежинки) не могут быть совершенно одинаковыми; оно предназначено в качестве метафизического принципа, а не в качестве принципа естествознания. Связанный с этим принцип — неразличимость идентичностей, обсуждается ниже. Форма принципа приписывается немецкому философу Готфриду Вильгельму Лейбницу. В то время как некоторые думают, что версия закона Лейбница предназначена только для неразличимости идентичностей, другие интерпретируют его как сочетание тождества неразличимых и неразличимости идентичностей (обратный закон). Из-за своей связи с Лейбницем неразличимость идентичностей иногда называют законом Лейбница. Он считается одним из главных великих метафизических законов Лейбница, другим является закон противоречия и закон достаточного основания (широко использовавшийся в его спорах с Ньютоном и Кларком в переписке Лейбница-Кларка). Однако некоторые философы решили, что важно исключить определенные предикаты (или предполагаемые предикаты) из принципа, чтобы избежать тривиальности или противоречия. Примером (подробно описанным ниже) является предикат, который указывает, равен ли объект x (часто считается допустимым предикатом). Как следствие, в философской литературе существует несколько различных версий этого закона, различающихся по логической силе, и некоторые из них определенные авторы называют «сильным законом» или «слабым законом». Уиллард Ван Орман Куайн считал, что нарушение замены в содержательных контекстах (например, «Салли считает, что p» или «Это обязательно так, что q») показывает, что модальная логика — невозможный проект. Сол Крипке считает, что это отсутствие может быть результатом использования , подразумеваемого в этих доказательствах, а не нарушение замены как таковой. Тождество неразличимых использовалось для мотивации представлений о неконтекстуальности в квантовой механике. С этим принципом также связан вопрос о том, является ли он логическим принципом или просто эмпирическим принципом. (ru)
- Leibniz lag eller principen om identiska storheters oskiljaktighet är den logiska princip som säger att om a och b är identiska objekt så har a och b samma egenskaper. Allt som är sant om a är också sant om b. Principen kan också uttryckas som att om x = y så Fx ⇔ Fy, där F är en godtyckligt vald egenskap. Principen förknippas med den tyske filosofen Gottfried Leibniz, som har givit namn åt den. Principens giltighet har ifrågasatts, bland annat av Gottlob Frege, som påpekade att identiteten inte gäller i intentionala kontexter, t.ex. där personer har vissa eventuellt felaktiga trosföreställningar. Jämför följande resonemang: 1.
* Olle Carle och kåsören "Cello" är samma person (de är identiska). 2.
* Olle Carles granne herr Granlund läser Expressen varje dag, utan att veta om att Carle och Cello är samma person. 3.
* Granlund tycker att Cello är en mycket rolig person. 4.
* Granlund anser däremot att Olle Carle är en sur och trist gubbe. 5.
* Alltså har Cello en egenskap som Olle Carle saknar, nämligen att vara ansedd som rolig av herr Granlund. 6.
* Alltså kan de, om Leibniz lag gäller, inte vara identiska, vilket motsäger 1. Den omvända principen, att två objekt med samma egenskaper måste vara identiska, kallade Leibniz för principen om oskiljaktiga storheters identitet (latin principium identitatis indiscernibilium). (sv)
- Princípio da identidade dos indiscerníveis é uma das leis de Leibniz que afirma que, se x e y compartilham todas suas propriedades, x e y são idênticos. Em lógica de segunda ordem, o princípio da identidade dos indiscerníveis é expresso da seguinte forma: ∀x ∀y ∀Φ ((Φx → Φy) → x=y). O que, em filosofia, chama-se de Lei de Leibniz é um princípio mais forte, que inclui a identidade dos indicerníveis: ∀x ∀y ∀Φ ((Φx → Φy) ⇔ x=y). Lido no sentido inverso (∀x ∀y ∀Φ (x=y → (Φx → Φy))) a Lei de Leibniz indica a indicernibilidade dos idênticos. (pt)
- 不可分者同一性原理，也称不可区分之同一性等（英語：identity of indiscernibles），是一条本体论的原理（principle），它是指如果两个实体或客体有完全相同的性质，那么它们必然不可区分。用符号语言表达为：实体 x 与 y 等同，仅当 x 的所有，同样是 y的所有述词，且反之亦然。所谓两样事物不可区分，即指两个名字下指涉同一样事物。所以有可能，没有完全等同的两样东西（比如两片雪花的形状并不相同）。但这仅仅是形而上学的一条原理，而非自然科学的。它的逆命题是同一者不可分性原理，讨论如下。 德国哲学家戈特弗里德·莱布尼茨为不可分者同一性原理提供了一种形式。但是，后人对他的解释不同：有人说，莱布尼茨只认为同一者有不可分性，即同一者不可分性原理；也有人说，莱布尼茨强调的是同一者不可分性和不可分者同一性两者。但无论如何，这些原理与莱布尼茨密切相关，所以被一并称作莱布尼茨法则（英語：Leibniz's law）。这是他诸多伟大的形而上学原理之一，其他的则是无矛盾律和充足理由律（在牛顿与莱布尼茨的争辩中很著名地得到使用，也在和中和克拉克有过讨论。 但是，有哲学家认为有必要排除一些谓词，避免平凡性或矛盾。这样的谓词有例子（见下），它可以表示一个对象是否为 x （经常被认为是有效的谓词）。这一做法的结果就是，在哲学意义下，本原理有很多不同版本，不同版本有不同的逻辑强度。有作者为了区分，采用“强-不可分者同一性原理”和“弱-不可分者同一性原理”等术语。 威拉德·范奥曼·蒯因认为，在特定语境下（如“张三相信 p”或“必然有 q 的情况”）的失败，就预示着模态逻辑本身是不可能的。 索尔·阿伦·克里普克则认为，这种失败可能是由于在这些证明中不清晰地使用了，而不是代替本身地问题。 不可分者同一性原理得到量子力学的使用，作为的动力概念（motivate notions）存在。与不可分者同一性原理相关的问题是，它是个逻辑的原理，还是仅作为原理存在。 目前，中文还没有对不可分者同一性原理统一的译法，identity通常指同一性，indiscernibles有不可辨认之物的意思。韩语界有统一译法“识别不可能者同一性原理”。 (zh)
|
| rdfs:comment
|
- Identeco de nediferencigeblaj aĵoj (latine principium identitas indiscernibilium) estas ontologia rulo, laŭ kiu objektoj, aroj ktp. estas identaj (fakte samaj) tiam kaj nur tiam, kiam ĉiuj ecoj de ili estas komunaj. Tiu rulo estas uzata por pruvi multajn teoremojn pri identeco. Ĝin verkis la germana filozofo Gottfried Wilhelm Leibniz. (eo)
- Zasada identyczności przedmiotów nierozróżnialnych (łac. principium identitatis indiscernibilium) – teza ontologiczna stwierdzająca, że jeśli dane obiekty, indywidua, zbiory, etc. mają wszystkie własności wspólne, to są one identyczne (stanowią ten sam obiekt, indywiduum, zbiór, etc.). Zasada ta przyczynia się do dowodzenia szeregu twierdzeń o identyczności. Za twórcę zasady identyczności przedmiotów nierozróżnialnych uważa się filozofa niemieckiego Gottfrieda Wilhelma Leibniza. (pl)
- Princípio da identidade dos indiscerníveis é uma das leis de Leibniz que afirma que, se x e y compartilham todas suas propriedades, x e y são idênticos. Em lógica de segunda ordem, o princípio da identidade dos indiscerníveis é expresso da seguinte forma: ∀x ∀y ∀Φ ((Φx → Φy) → x=y). O que, em filosofia, chama-se de Lei de Leibniz é um princípio mais forte, que inclui a identidade dos indicerníveis: ∀x ∀y ∀Φ ((Φx → Φy) ⇔ x=y). Lido no sentido inverso (∀x ∀y ∀Φ (x=y → (Φx → Φy))) a Lei de Leibniz indica a indicernibilidade dos idênticos. (pt)
- تطابق الهوية هو مبدأ وجودي ينص على أنه لا يمكن أن يكون هناك شيئان أو كيانان منفصلان عن بعضهما البعض ويشتركان بجميع الخصائص. وهو، يكون الكيانان X و Y متطابقين إذا امتلك X كل المحمولات (predicate نسبة الحدث لصاحبه-_ المسند) التي يمتلكها Y والعكس بالعكس.لنفترض أن شيئين لا نميزهما هما فرضاً الشيء نفسه تحت مسميين مختلفين. وهو ينص على أنه لا يوجد شيئان مستقلان عن بعضهما البعض (كحبات الثلج) ممكن أن يتطابقا تماماً، لكن الغرض منه أنه مبدأ ميتافيزيقي (غيبي) بدلاً من كونه من علوم الطبيعة. والمبدأ ذو الصلة: indiscernibility of identical (إمكانية التطابق) الموضح أدناه. (ar)
- S'anomena identitat dels indiscernibles , o de vegades també llei de Leibniz , a una varietat de principis filosòfics, principalment: 1.
* Si dos objectes a i b comparteixen totes les seves propietats, llavors a i b són idèntics, és a dir, són el mateix objecte. 2.
* Si dos objectes a i b comparteixen totes les seves propietats qualitatives, llavors a i b són idèntics. 3.
* Si dos objectes a i b comparteixen totes les seves propietats qualitatives no relacionals, llavors a i b són idèntics. (ca)
- Principium identitatis indiscernibilium (lateinisch, häufig abgekürzt als pii) bezeichnet den „Satz der Identität des Ununterscheidbaren“. Dieser Satz zur logischen Identität sagt aus, dass zwei reale Objekte, wenn sie nicht ein und dasselbe sind, sich in mindestens einer beobachtbaren Eigenschaft (Qualität) voneinander unterscheiden müssen. Es gibt damit keine zwei qualitativ absolut identischen, aber real verschiedenen Dinge in der realen Wirklichkeit. Für eine genauere Darstellung siehe Identität (Logik). (de)
- The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities x and y are identical if every predicate possessed by x is also possessed by y and vice versa. It states that no two distinct things (such as snowflakes) can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below. (en)
- En filosofía se llama identidad de los indiscernibles, o a veces también ley de Leibniz, a una variedad de principios ontológicos, a saber: 1.
* Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, en referencia, son el mismo objeto. 2.
* Si dos objetos a y b comparten todas sus propiedades cualitativas, entonces a y b son idénticos. 3.
* Si dos objetos a y b comparten todas sus propiedades cualitativas no relacionales, entonces a y b son idénticos. La cual dice que si x y y tienen todas las mismas propiedades, entonces x es idéntico a y. (es)
- Le principe d'identité des indiscernables (ou principe des indiscernables) est un principe qui stipule que si deux particuliers possèdent les mêmes propriétés, alors ils sont identiques. Ce principe a d'abord été posé par Leibniz et est hautement controversé. Il ne doit pas être confondu avec sa converse, beaucoup plus largement acceptée : le principe d'indiscernabilité des identiques. (fr)
- 식별불가능자의 동일성 원리(識別不可能者同一性原理, Identity of indiscernibles)는 그 지닌 성질이 완전히 동일한 대상들은 서로 같다는 존재론적 원칙이다. 이에 따르면 세계에 존재하는 서로 다른 것은 그 가진 성질이 완전히 동일할 수 없으며, 만약 완전히 동일한 성질을 가지면 그것은 본디 서로 다른 것이 아니다. 독일의 철학자 라이프니츠가 처음 주장한 것으로 알려져 있으며, 따라서 라이프니츠의 원칙(Leibniz's law)라고 불리기도 한다. 충족이유율 등과 함께 형이상학의 주요한 원칙 중 하나이다. 윌러드 밴 오먼 콰인은 이 원칙에 대한 내포적 문장("S는 p라는 것을 믿는다", "q임이 필연적이다")의 대입에서 오류가 발생하는 것, 즉 내포적 실패(intensional fallacy)가 양상 논리의 근본적 한계를 보여주는 것이라고 여겼다. 솔 크립키는 내포적 실패는 증명과정에서 암묵적으로 사용된 인용해제(disquotation)에 의한 것이지 양상 논리의 오류를 함의하는 것은 아니라고 지적한다. (ko)
- Il principio degli indiscernibili o meglio il principio di identità degli indiscernibili è un principio ontologico che dice che se non c'è modo di distinguere due enti, allora sono in verità un solo e identico ente. Cioè vale a dire che le entità "x" e "y" sono identiche se e solo se ogni predicato valido per "x" è pure valido per "y".Il principio è conosciuto anche come "Legge di Leibniz", visto che la formulazione meglio conosciuta proviene dal filosofo tedesco Gottfried Wilhelm Leibniz: Eadem sunt, quorum unum potest substitui alteri salva veritate (le cose delle quali l'una può essere sostituita dall'altra mantenendone intatta la verità, sono le stesse). (it)
- Тождество неразличимых — это онтологический принцип, который утверждает, что не может быть раздельных объектов или сущностей, которые имеют общие свойства. То есть сущности «x» и «y» идентичны, если каждый предикат, которым обладает x, также принадлежит y, и наоборот: предполагать две неразличимые вещи — значит предполагать одно и то же под двумя именами. Тождество утверждает, что никакие две разные вещи (например, снежинки) не могут быть совершенно одинаковыми; оно предназначено в качестве метафизического принципа, а не в качестве принципа естествознания. Связанный с этим принцип — неразличимость идентичностей, обсуждается ниже. (ru)
- Leibniz lag eller principen om identiska storheters oskiljaktighet är den logiska princip som säger att om a och b är identiska objekt så har a och b samma egenskaper. Allt som är sant om a är också sant om b. Principen kan också uttryckas som att om x = y så Fx ⇔ Fy, där F är en godtyckligt vald egenskap. Principen förknippas med den tyske filosofen Gottfried Leibniz, som har givit namn åt den. Principens giltighet har ifrågasatts, bland annat av Gottlob Frege, som påpekade att identiteten inte gäller i intentionala kontexter, t.ex. där personer har vissa eventuellt felaktiga trosföreställningar. Jämför följande resonemang: (sv)
- 不可分者同一性原理，也称不可区分之同一性等（英語：identity of indiscernibles），是一条本体论的原理（principle），它是指如果两个实体或客体有完全相同的性质，那么它们必然不可区分。用符号语言表达为：实体 x 与 y 等同，仅当 x 的所有，同样是 y的所有述词，且反之亦然。所谓两样事物不可区分，即指两个名字下指涉同一样事物。所以有可能，没有完全等同的两样东西（比如两片雪花的形状并不相同）。但这仅仅是形而上学的一条原理，而非自然科学的。它的逆命题是同一者不可分性原理，讨论如下。 德国哲学家戈特弗里德·莱布尼茨为不可分者同一性原理提供了一种形式。但是，后人对他的解释不同：有人说，莱布尼茨只认为同一者有不可分性，即同一者不可分性原理；也有人说，莱布尼茨强调的是同一者不可分性和不可分者同一性两者。但无论如何，这些原理与莱布尼茨密切相关，所以被一并称作莱布尼茨法则（英語：Leibniz's law）。这是他诸多伟大的形而上学原理之一，其他的则是无矛盾律和充足理由律（在牛顿与莱布尼茨的争辩中很著名地得到使用，也在和中和克拉克有过讨论。 威拉德·范奥曼·蒯因认为，在特定语境下（如“张三相信 p”或“必然有 q 的情况”）的失败，就预示着模态逻辑本身是不可能的。 索尔·阿伦·克里普克则认为，这种失败可能是由于在这些证明中不清晰地使用了，而不是代替本身地问题。 (zh)
|
