- order indiscernibles
- мат. упорядоченно неразличимые элементы
Большой англо-русский и русско-английский словарь. 2001.
order indiscernibles
Смотреть что такое "order 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… … Wikipedia
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
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
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
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
Gottfried Leibniz — Infobox Philosopher region = Western Philosophy era = 18th century philosophy color = #B0C4DE |250px image caption = Gottfried Wilhelm Leibniz name = Gottfried Wilhelm Leibniz birth = 1 July (21 June Old Style) 1646, Leipzig, Electorate of Saxony … Wikipedia
Lógica de segundo orden — Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.[1] Así se expande el poder expresivo del… … Wikipedia Español
Difference (philosophy) — Difference is a key concept of continental philosophy, denoting the process or set of properties by which one entity is distinguished from another within a relational field or a given conceptual system. In the Western philosophical system,… … Wikipedia
Solipsism — (Latin: solus , alone + ipse , self) is the philosophical idea that My mind is the only thing that I know exists. Solipsism is an epistemological or metaphysical position that knowledge of anything outside the mind is unjustified. The external… … Wikipedia
Law of thought — The laws of thought are fundamental logical rules, with a long tradition in the history of philosophy, which collectively prescribe how a rational mind must think. To break any of the laws of thought (for example, to contradict oneself) is to be… … Wikipedia
