excluded middle
121List of basic topics in logic — For a more comprehensive list, see the List of logic topics. Logic, a branch of both philosophy and mathematics, is the study of criteria for the evaluation of arguments. The task of the logician is to advance an account of valid and fallacious… …
122Troisième genre — Troisième sexe Pour les articles homonymes, voir Troisième sexe (homonymie). Anna P., qui vécut de nombreuses années sous une identité d homme, prise en photo pour le livre de Magnus Hirschfeld, Sexual Interme …
123Troisième sexe — Pour les articles homonymes, voir Troisième sexe (homonymie). Anna P., qui vécut de nombreuses années sous une identité d homme, prise en photo pour le livre de Magnus Hirschfeld, Sexual Intermediates, en 1922. Aujourd hui, Anna serait… …
124Contradiction — Con tra*dic tion, n. [L. contradictio answer, objection: cf. F. contradiction.] 1. An assertion of the contrary to what has been said or affirmed; denial of the truth of a statement or assertion; contrary declaration; gainsaying. [1913 Webster]… …
125Principle of contradiction — Contradiction Con tra*dic tion, n. [L. contradictio answer, objection: cf. F. contradiction.] 1. An assertion of the contrary to what has been said or affirmed; denial of the truth of a statement or assertion; contrary declaration; gainsaying.… …
126Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …
127Anti-realism — In philosophy, the term anti realism is used to describe anyposition involving either the denial of an objective reality of entities of a certain type or the denial that verification transcendent statements about a type of entity are either true… …
128Cauchy sequence — In mathematics, a Cauchy sequence, named after Augustin Cauchy, is a sequence whose elements become arbitrarily close to each other as the sequence progresses. To be more precise, by dropping enough (but still only a finite number of) terms from… …
