The Jonathan Dolhenty Archive

Homepage

Formal Logic

Main Page & Index


Academy Resources

Glossary of Philosophical Terms

Timeline of Philosophy

A Timeline of American Philosophy

Diagram:
Development of Philosophic Thought

Diagram: Divisions of Philosophy

The Philosophy Resource Center

The Religion Resource Center

Books about Philosophy in The Radical Academy Bookstore

Books about Religion in The Radical Academy Bookstore


Click Here for New & Used College Textbooks at Discount Prices

Click Here for College Education Information & Study Resources



Shop Amazon Stores in the Radical Academy

Bookstore
Magazine Outlet
Music Store
Classical Music Store
Video Store
DVD Store
Computer Store
Camera & Photo Store
Computer/Video Games
Software Store
Musical Instruments
Outlet Store
Cellular Phones
Toys & Games
Tools & Hardware
Automotive Store
Outdoor Living
Consumer Electronics
Home & Garden
Kitchen & Housewares
Baby Superstore
Apparel & Accessories
Gourmet Food
Grocery Store
Sporting Goods
Jewelry & Watches
Health & Personal Care
Beauty Store




Academy
Showcase
Specials

INTRODUCTION: Part 6 - Page 2

The Opposition of Propositions

by Jonathan Dolhenty, Ph.D.

 

Logical Opposition of Modals

The Square of Opposition refers solely to categorical propositions which do not contain a mode affecting the copula. The way we treat modal propositions is similar to ordinary categorical propositions, but the logical opposition affects the mode itself. (Remember there are four modes we learned about.)

  • The necessary mode resembles the A proposition. "Man must be moral."
  • The impossible mode resembles the E proposition. "Man cannot be moral."
  • The possible mode resembles the I proposition. "Man can be moral."
  • The contingent mode resembles the O proposition. "Man need not be moral."

Obviously, the subject of the modal proposition may be either a universal term or a particular term (all, no, or some).

The opposition becomes more complicated thereby, but the general scheme must be carried out according to the logical opposition intended.

If the logical opposition intended affects both the quantity and the mode of the propositions, the Square of Opposition would be as it appears here. Thus,

 

On the other hand, if the logical opposition affects only the mode, but not the quantity, of the propositions, the quantity (all or some) will remain the same and only the mode will change.

 

Or,

 

From these relations of opposites it will be clear that we are often entitled to conclude from the truth or falsity of one proposition to the truth or falsity of another. This method of concluding from the truth or falisty of one statement to the truth or falsity of another is called immediate inference; it is called immediate because we can pass directly from the one to the other, without the necessity of adducing any other idea or judgment as proof.

The Square of Opposition and the Three Laws of Thought are sufficient to make their truth or falsity evident, provided we know beforehand that one of these opposites is true or false.

The Square of Opposition (with its relations of subalternation, contradiction, contrariety, subcontrariety) will act as a powerful aid toward correct thinking.

 

Equivalent Sentences

Besides the immediate inference of logical opposition, we have the immediate inference of eduction.

Eduction is a mental process whereby, from any proposition taken as true, we derive another proposition implied in it, though differing from the first proposition in subject or predicate or both. There are three main forms of eduction: obversion, conversion, and contraposition.

The purpose of this technique is to transform certain sentences into other sentences which are equivalent in meaning, but may have a different logical form. The advantage of this is that an argument which may not be in strict syllogistic form can be transformed into a syllogism.

Consider the following argument:

  • No unwise people are trustworthy,
  • All wise people are unaggressive,
  • Therefore, no trustworthy people are aggressive.

This argument appears to be valid but we can't test it by the rules already discussed because it contains more than three terms. It appears, in fact, to have five terms: unwise people, trustworthy people, wise people, unaggressive people, and aggressive people.

But look at the second premise. It means the same thing as "All aggressive people are unwise." So, if we substitute this latter sentence for the original sentence, we get the following argument:

  • No unwise people are trustworthy,
  • All aggressive are unwise,
  • Therefore, no trustworthy people are aggressive.

The argument now contains only three terms (unwise, trustworthy, aggressive) and is a syllogism. It can now be tested using the standard rules for testing the validity of syllogisms. We can then see that the argument is valid.

Main Forms of Eduction

Obversion

Obversion is an eduction in which the inferred judgment, while retaining the original subject, has for its predicate the contradictory of the original predicate.

The original proposition is called the obvertend and the inferred proposition is called the obverse.

In obverting a given sentence we do two things:

  • We change the quality of the sentence. If it's negative, we make it affirmative. If it's affirmative, we make it negative.
  • We then negate the predicate.

Example: Consider the sentence "All men are mortal." First, we change the quality, and the sentence becomes "No men are mortal." Then we negate the predicate and the sentence becomes "No men are non-mortal." The sentence "No men are non-mortal" is equivalent to the sentence "All men are mortal."

Every A, E, I, and O sentence can be obverted. Study the following diagram:

Type of
Sentence

Original
Obverse
A

All men are mortal.

No men are non-mortal.

E

No men are mortal.

All men are immortal.

I

Some men are mortal.

Some men are not immortal.

O

Some men are not mortal.

Some men are immortal.

Care must be exercised in obverting sentences in ordinary language since some negative English terms can be confusing and some terms, which may appear to negate, do not negate at all. For instance, "large" is not the negation of "small." Certain prefixes ("im," "un," "in") do not always express negation. Logicians prefer, therefore, to use the prefix "non" in order to negate the predicate. Therefore, the negation of "rich" is not "poor," but "non-rich."

When obverting, there must be a change in the quality of the sentence only. Do not change the quantity. Then a universal sentence remains a universal sentence and a particular sentence remains a particular sentence.

Conversion

Conversion is an eduction in which the inferred judgment takes the subject of the original proposition for its predicate, and the predicate of the original proposition for its subject. In other words, when we convert we merely interchange subject and predicate.

The original proposition we call the convertend and the inferred proposition we call the converse.

Example: Consider the sentence "No dogs are horses." This sentence is equivalent to the sentence "No horses are dogs."

Conversion is unlike obversion because not every standard sentence has an equivalent converse. Only the E and the I sentences can be converted.

Example: The O sentence cannot be converted. From "Some woman are not nuns," we cannot infer "Some nuns are not woman."

Example: The A sentence cannot be converted simply. From "All dogs are animals," we cannot infer that "All animals are dogs." It is possible, however, to partially convert the A sentence, using a technique logicians call Conversion by Limitation. When we convert a true A sentence, we can transform it into a true I sentence. The sentence "All dogs are animals" can be partially converted into "Some animals are dogs." Partial conversion, however, does not give us a sentence which is exactly equivalent in meaning to the original. This is because the quantity of the original sentence is changed.

Study this diagram of permissible conversions:

Type of
Sentence

Original
Converse
E

No men are mortal.

No mortals are men.

I

Some men are mortal.

Some mortals are men.

A

All men are mortal.

Some mortals are men. (Partial Converse)

Contraposition

Contraposition is an eduction in which the subject of the inferred proposition is the contradictory of the predicate of the original proposition. It is (read carefully!) the obverse of a converted obverse.

In order to obtain the contraposition of a sentence, three operations must be performed:

  • First we obvert.
  • Then we convert.
  • Then we obvert once again.

Example: Consider the sentence "All dogs are animals."

  • Step 1: Obvert - "All dogs are non-animals."
  • Step 2: Convert - "No non-animals are dogs."
  • Step 3: Obvert - "All non-animals are non-dogs."

Contraposition cannot be applied to all four standard sentences. The A sentence and the O sentence have contrapositives. The I sentence has no contrapositive and the E sentence has only a partial contrapositive. Usually, contraposition is only applied to A sentences.

You should now be able to transform large parts of ordinary language into arguments of a syllogistic form, making it possible to test the validity of the argument.

The chart below will help you see how to form equivalent sentences.

Type
Form
Obverse
Converse
Contrapositive
A

All S is P

No S is non-P

Some P is S

All non-P is non-S

E

No S is P

All S is non-P

No P is S

Some non-P is not non-S

I

Some S is P

Some S is not non-P

Some P is S

None

O

Some S is not P

Some S is non-P

None

Some non-P is not non-S


Enrich Your Life With a Philosophy Book...


Main Page & Index


-- Top of Page --

[Homepage] [Newsletter] [Search] [Support the Academy] [Link to Us] [Contact the Academy] [Citing Articles from Our Website] [Privacy Policy & Disclaimer]

Copyright 1998-99, 2000-01, & 2002-03 by The Radical Academy. All Rights Reserved.