Obversion Totally Explained

Everything about Obversion totally explained

In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is equivalent to the original proposition. The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types (A, E, I, O) of categorical propositions.
In a universal affirmative and a universal negative proposition the subject term and the predicate term are both replaced by their complements:
The universal affirmative ("A" proposition) is obverted to a universal negative ("E" proposition). "All S is P" and "No S is non-P" "All cats are animals" and "No cats are non-animals" The universal negative ("E" proposition) is obverted to a universal affirmative ("A" proposition). "No S is P" and "All S is non-P" "No cats are friendly" and "All cats are unfriendly" In the particular affirmative the quantity of the subject term remains unchanged, but the predicate term of the inferred proposition negates the complement of the predicate term of the original proposition. The particular affirmative ("I" proposition) is obverted to a particular negative ("O" proposition). "Some S are P" and "Some S are not non-P" "Some animals are friendly creatures" and "Some animals are not unfriendly creatures." In the obversion of a particular negative to a particular affirmative the quantity of the subject also remains unchanged, and the predicate term is changed from simple negation to a term of the complementary class. The particular negative ("O") proposition is obverted to a particular affirmative ("I" proposition). "Some S isn't P" and "Some S is non-P" "Some animals are not friendly creatures" and "Some animals are unfriendly creatures." Note that the truth-value of an original statement is preserved in its resulting obverse form. Because of this, obversion can be used to determine the immediate inferences of all categorical propositions, regardless of quality or quantity.
In addition, obversion allows us to navigate through the traditional square of logical opposition by providing a means for us to proceed from "A" Propositions to "E" Propositions, as well as from "I" Propositions to "O" Propositions, and vice versa. However, it must be noted that although the resulting propositions from obversion are logically equivalent to the original statements in terms of truth-value, they're not semantically equivalent to their original statements in their standard form.

Bibliography

Brody, Bobuch A. "Glossary of Logical Terms". Encyclopedia of Philosophy. Vol. 5-6. Macmillan, 1973.
Copi, Irving. Introduction to Logic. MacMillan, 1953.
Copi, Irving. Symbolic Logic. MacMillan, 1979, fifth edition.
Stebbing, Susan. A Modern Introduction to Logic. Cromwell Company, 1931.

Footnotes

Further Information

Get more info on 'Obversion'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://obversion.totallyexplained.com">Obversion Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.