Indiscernibles

Indiscernibles

In mathematical logic, indiscernibles are objects which cannot be distinguished by any property or relation defined by a formula. Usually only first-order formulas are considered. For example, if {A, B, C} is indiscernible, then for each 2-ary formula K, we must have K(A, B) if and only if K(B, A) if and only if K(C, A) if and only if K(A, C) if and only if K(B, C) if and only if K(C, B).

It is also common to consider "order-indiscernibles", which possess a total ordering, and satisfy relations dependent only on the relative order of the arguments. If the set above were only order-indiscernible (and ordered alphabetically), we would have K(A, B) if and only if K(A, C) if and only if K(B, C), but not K(A, B) if and only if K(B, A).

Order-indiscernibles feature prominently in the theory of Ramsey cardinals, Erdős cardinals, and Zero sharp.

Historically, the identity of indiscernibles was one of the laws of thought of Gottfried Leibniz.

See also

*Rough set


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Identidad de los indiscernibles — Se llama identidad de los indiscernibles, o a veces también ley de Leibniz, a una variedad de principios filosóficos,[1] principalmente: Si dos objetos a y b comparten todas sus propiedades, entonces a y b son idénticos, es decir, son el mismo… …   Wikipedia Español

  • Identity of indiscernibles — The identity of indiscernibles is an ontological principle which states that two or more objects or entities are identical (are one and the same entity), if they have all their properties in common. That is, entities x and y are identical if any… …   Wikipedia

  • identity of indiscernibles — Principle enunciated by G.W. Leibniz that denies the possibility of two objects being numerically distinct while sharing all their non relational properties in common, where a relational property is one that involves bearing a relation to another …   Universalium

  • identity of indiscernibles — noun The principle that if two objects are indistinguishable from one another with respect to all of their properties then they are identical. Syn: Leibnizs law …   Wiktionary

  • identity of indiscernibles — The principle associated with Leibniz, that if A and B have exactly the same properties, then they are identical. See also the converse principle, the indiscernibility of identicals …   Philosophy dictionary

  • identidad de los indiscernibles — Principio enunciado por G.W. Leibniz que niega la posibilidad de que dos objetos sean numéricamente distintos si comparten todas sus propiedades no relacionales, donde una propiedad relacional es una que implica establecer una relación con otro… …   Enciclopedia Universal

  • Leibniz: truth, knowledge and metaphysics — Nicholas Jolley Leibniz is in important respects the exception among the great philosophers of the seventeenth century. The major thinkers of the period characteristically proclaim the need to reject the philosophical tradition; in their… …   History of philosophy

  • Substance theory — Substance theory, or substance attribute theory, is an ontological theory about objecthood, positing that a substance is distinct from its properties. Substance is a core concept of ontology and metaphysics. Indeed, philosophies may be divided… …   Wikipedia

  • Covering lemma — See also: Jensen s covering theorem In mathematics, under various anti large cardinal assumptions, one can prove the existence of the canonical inner model, called the Core Model, that is, in a sense, maximal and approximates the structure of V.… …   Wikipedia

  • Filosofía del espacio y el tiempo — Saltar a navegación, búsqueda La filosofía del espacio y el tiempo es la rama de la filosofía que trata de los aspectos referidos a la ontología, la epistemología y la naturaleza del espacio y el tiempo, lo que se conoce también como cosmología.… …   Wikipedia Español

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”