- formal contradiction
- мат. формальное противоречие
Большой англо-русский и русско-английский словарь. 2001.
formal contradiction
Смотреть что такое "formal contradiction" в других словарях:
Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… … Wikipedia
Reductio ad absurdum — (Latin for reduction to the absurd ), also known as an apagogical argument, reductio ad impossibile, or proof by contradiction, is a type of logical argument where one assumes a claim for the sake of argument and derives an absurd or ridiculous… … Wikipedia
Subjunctive possibility — (also called alethic possibility or metaphysical possibility) is the form of modality most frequently studied in modal logic. Subjunctive possibilities are the sorts of possibilities we consider when we conceive of counterfactual situations;… … Wikipedia
Wigner-d'Espagnat inequality — The Wigner d Espagnat inequality is a basic result of set theory.It is named for Eugene Wigner and Bernard d Espagnat who (as pointed out by Bell) both employed it in their popularizations of quantum mechanics.Given a set S with three subsets, J … Wikipedia
Saint Gall (Gallus) — St. Gall † Catholic Encyclopedia ► St. Gall (GALLUS; in the most ancient manuscript he is called GALLO, GALLONUS, GALLUNUS, and sometimes also CALLO, CHELLEH, GILLIANUS, etc.). An Irishman by birth, he was one of the twelve… … Catholic encyclopedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Dialetheism — is the view that some statements can be both true and false simultaneously. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called true contradictions , or dialetheia.… … 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
Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… … History of philosophy
Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy
