(principle of contradiction), one of the fundamental general logical principles, according to which no contradiction is “admissible” (“acceptable”) as a formally logical criterion of a “text” (a statement, reasoning, or entire theory) or as an objective characteristic of the reality of which the text may be a description. The second, or “ontological,” aspect of the law of contradiction is historically the older aspect. It dates from the Sophists and was known to Socrates, who used it frequently, according to Plato. Aristotle formulated the law of contradiction as follows: “The same can and cannot belong to the same in the same reference” (Metafizika, Moscow-Leningrad, 1934). Even in Aristotle, however, the law of contradiction is encountered as a logical thesis (more precisely, as a methodological or, in contemporary terminology, a metalogical thesis). According to this thesis, every word (and therefore every sentence or every assertion) has a unique meaning in every case and in every specific context.

The first complete modern formulation of the law of contradiction was provided by G. W. von Leibniz: no proposition can be at the same time true and false (Nouveaux Essais sur l’entendement humain; Russian translation, Novye opyty o chelovecheskom razume, Moscow-Leningrad, 1936). Therefore, if an argument leads to a contradiction, the premises of the argument are inconsistent (contradictory), or errors have been admitted to the argument, or the logical system providing a framework for the argument is not useful (or is inadmissible).

The clearest and simplest formulation and explanation of the law of contradiction is found in mathematical logic. In the propositional calculus (or, at the semantic level, in sentential, or propositional logic) this formulation is expressed in the provable (identically true) formula ┐ (A &A), in which A is a propositional variable that designates an arbitrary proposition. On the methodological level, the law of contradiction is expressed in the assertion that this formula is provable or true, or that it is a tautology. In the predicate calculus the law of contradiction has an infinite number of formulations, which differ depending on the number of argument places used in the formulation of the predicates. For example, for one-place predicates the law of contradiction is formulated in the following way: no object can simultaneously possess and not possess the same property, or ∀x ┐ (A(x) & ┐ A(x)). For two-place predicates, it is formulated as follows: no two objects can simultaneously be and not be in the same relation or ∀xy(B(x, y) &B(x, y)).