(redirected from obvert)
Also found in: Dictionary.



an immediate inference within the formalism of traditional logic, usually used in conjunction with the conversion of judgments. In an obversion, the quality of a premise is changed at the same time the predicate term is replaced by its opposite, as in “The book is new, therefore it is not old.” The semantic basis of obversion is the dichotomous division of attributes, and its logical basis is the law of the excluded middle and the law of double negation. The rules of obversion for what are known as categorical syllogistic premises are as follows: (1) “All S are P” (“Some S are P”) implies “No S are not-P” (“Some S are not not-P”), and conversely; (2) “No S are P” (“Some S are not P”) implies “All S are not-P” (“Some S are not-P”), and conversely.

Obversion, like other types of immediate inferences, was of special interest to medieval philosophers, who undertook a logical and grammatical analysis of the position of negation in a sentence in dealing with the equipollence of propositions. Although obversion has no independent value within the formalism of mathematical logic, this does not lessen its usefulness in meaningful thought. In particular, obversion is used—usually implicitly—in the “language of the researcher” to translate the traditional symbolism of categorical judgments into the symbolic language of modern predicate logic.


Logika. Moscow, 1956. Pages 130–31.


Mentioned in ?
References in periodicals archive ?
[It was] not to read Plato and obvert Aristotle's sophisms, or to undertake an interminable course of study that never leads to the apprehension of truth.
Perhaps one way to think about this is to obvert George Santayana's famous saying about learning from history by changing our perception of things that are yet to come, by suggesting that "those who do not learn from the future are destined to make mistakes in it." To be able to understand that future, we have to have a "mental map" flexible enough to consider plausible alternatives and possibilities we might not otherwise consider.
The accumulated indentation energy for various spacings and indentation depths shows that indentation energy was approximately linear to the indentation depth (Figure 10), and similar results were obverted in laboratory tests.
Only microcracks greater than 300 [micro]m were obverted to cause failure [7].
However, legal proceedings were obverted after King intervened on a recommendation from Carl Goldenberg, who had successfully conciliated the strike.