# 4.9: Immediate Inferences

- Page ID
- 86861

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)### Immediate Inferences

If we expand the scope of our investigation to include shared terms and their complements, we can identify logical relationships of three additional varieties. Since each of these new cases involves a pair of categorical propositions that are logically equivalent to each other—that is, either both of them are true or both are false—they enable us to draw an immediate inference from the truth (or falsity) of either member of the pair to the truth (or falsity) the other.

#### HomeConversion

The converse of any categorical proposition is the new categorical proposition that results from putting the predicate term of the original proposition in the subject place of the new proposition and the subject term of the original in the predicate place of the new. Thus, for example, the converse of “No dogs are felines” is “No felines are dogs,” and the converse of “Some snakes are poisonous animals” is “Some poisonous animals are snakes.”

Conversion grounds an immediate inference for both * E* and

*propositions That is, the converse of any*

**I***or*

**E***proposition is true if and only if the original proposition was true. Thus, in each of the pairs noted as examples in the previous paragraph, either both propositions are true or both are false.*

**I**In addition, if we first perform a subalternation and then convert our result, then the truth of an * A*proposition may be said, in “conversion by limitation,” to entail the truth of an

*proposition with subject and predicate terms reversed: If “All singers are performers” then “Some performers are singers.” But this will work only if there really is at least one singer.*

**I**Generally speaking, however, conversion doesn’t hold for * A* and

*propositions: it is entirely possible for “All dogs are mammals” to be true while “All mammals are dogs” is false, for example, and for “Some females are not mothers” to be true while “Some mothers are not females” is false. Thus, conversion does not warrant a reliable immediate inference with respect to*

**O***and*

**A***propositions.*

**O**#### HomeObversion

In order to form the obverse of a categorical proposition, we replace the predicate term of the proposition with its complement and reverse the quality of the proposition, either from affirmative to negative or from negative to affirmative. Thus, for example, the obverse of “All ants are insects” is “No ants are non-insects“; the obverse of “No fish are mammals” is “All fish are non-mammals“; the obverse of “Some musicians are males” is “Some musicians are not non-males“; and the obverse of “Some cars are not sedans” is “Some cars are non-sedans.”

Obversion is the only immediate inference that is valid for categorical propositions of every form. In each of the instances cited above, the original proposition and its obverse must have exactly the same truth-value, whether it turns out to be true or false.

#### HomeContraposition

The contrapositive of any categorical proposition is the new categorical proposition that results from putting the complement of the predicate term of the original proposition in the subject place of the new proposition and the complement of the subject term of the original in the predicate place of the new. Thus, for example, the contrapositive of “All crows are birds” is “All non-birds are non-crows,” and the contrapositive of “Some carnivores are not mammals” is “Some non-mammals are not non-carnivores.”

Contraposition is a reliable immediate inference for both * A* and

*propositions; that is, the contrapositive of any*

**O***or*

**A***proposition is true if and only if the original proposition was true. Thus, in each of the pairs in the paragraph above, both propositions have exactly the same truth-value.*

**O**In addition, if we form the contrapositive of our result after performing subalternation, then an * E*proposition, in “contraposition by limitation,” entails the truth of a related

*proposition: If “No bandits are biologists” then “Some non-biologists are not non-bandits,” provided that there is at least one member of the class designated by “bandits.”*

**O**In general, however, contraposition is not valid for * E* and

*propositions: “No birds are plants” and “No non-plants are non-birds” need not have the same truth-value, nor do “Some spiders are insects” and “Some non-insects are non-spiders.” Thus, contraposition does not hold as an immediate inference for*

**I***and*

**E***propositions.*

**I**HomeOmitting the troublesome cases of conversion and contraposition “by limitation,” then, there are exactly two reliable operations that can be performed on a categorical proposition of any form:

A | proposition: | All S are P. | |
---|---|---|---|

Obverse | No S are non-P. | ||

Contrapositive | All non-P are non-S. | ||

E | proposition: | No S are P. | |

Converse | No P are S. | ||

Obverse | All S are non-P. | ||

I | proposition: | Some S are P. | |

Converse | Some P are S. | ||

Obverse | Some S are not non-P. | ||

O | proposition: | Some S are not P. | |

Obverse | Some S are non-P. | ||

Contrapositive | Some non-P are not non-S. | ||

#### HomeExistential Import

It is time to express more explicitly an important qualification regarding the logical relationships among categorical propositions. You may have noticed that at several points in these two lessons we declared that there must be some things a certain kind. This special assumption, that the class designated by the subject term of a universal proposition has at least one member, is called existential import. Classical logicians typically presupposed that universal propositions do have existential import.

But modern logicians have pointed that the system of categorical logic is more useful if we deny the existential import of universal propositions while granting, of course, that particular propositions do presuppose the existence of at least one member of their subject classes. It is sometimes very handy, even for non-philosophers, to make a general statement about things that don’t exist. A sign that reads, “All shoplifters are prosecuted to the full extent of the law,” for example, is presumably intended to make sure that the class designated by its subject term remains entirely empty. In the remainder of our discussion of categorical logic, we will exclusively employ this modern interpretation of universal propositions.

Although it has many advantages, the denial of existential import does undermine the reliability of some of the truth-relations we’ve considered so far. In the traditional square of opposition, only the contradictories survive intact; the relationships of the contraries, the subcontraries, and subalternation no longer hold when we do not suppose that the classes designated by the subject terms of * A* and

*propositions have members. (And since conversion and contraposition “by limitation” derive from subalternation, they too must be forsworn.) From now on, therefore, we will rely only upon the immediate inferences in the table at the end of the previous section of this lesson and suppose that*

**E***and*

**A***propositions and*

**O***and*

**E***propositions are genuinely contradictory.*

**I**#### HomeDiagramming Propositions

The modern interepretation of categorical logic also permits a more convenient way of assessing the truth-conditions of categorical propositions, by drawing Venn diagrams, topological representations of the logical relationships among the classes designated by categorical terms. The basic idea is fairly straightforward:

Each categorical term is represented by a labelled circle. The area inside the circle represents the extension of the categorical term, and the area outside the circle its complement. Thus, members of the class designated by the categorical term would be located within the circle, and everything else in the world would be located outside it.

We indicate that there is at least one member of a specific class by placing an × inside the circle; an × outside the circle would indicate that there is at least one member of the complementary class.

To show that there are no members of a specific class, we shade the entire area inside the circle; shading everything outside the circle would indicate that there are no members of the complementary class.

Notice that diagrams of these two sorts are incompatible: no area of a Venn diagram can both be shaded and contain an × ; either there is at least one member of the represented class, or there are none.

In order to represent a categorical proposition, we must draw two overlapping circles, creating four distinct areas corresponding to four kinds of things: those that are members of the class designated by the subject term but not of that designated by the predicate term; those that are members of both classes; those that are members of the class designated by the predicate term but not of that designated by the subject term; and those that are not members of either class.

Categorical propositions of each of the four varieties may then be diagrammed by shading or placing an × in the appropriate area:

The universal negative (* E*) proposition asserts that nothing is a member of both classes designated by its terms, so its diagram shades the area in which the two circles overlap.

The particular affirmative (* I*) proposition asserts that there is at least one thing that is a member of both classes, so its diagram places an × in the area where the two circles overlap.

Notice that the incompatibility of these two diagrams models the contradictory relationship between * E* and

*propositions; one of them must be true and the other false, since either there is at least one member that the two classes have in common or there are none.*

**I**The particular negative (* O*) proposition asserts that there is at least one thing that is a member of the class designated by its subject term but not of the class designated by its predicate term, so its diagram places an × in the area inside the circle that represents the subject term but outside the circle that represents the predicate term.

Finally, the universal affirmative (* A*) proposition asserts that every member of the subject class is also a member of the predicate class. Since this entails that there is nothing that is a member of the subject class that is not a member of the predicate class, an

*proposition can be diagrammed by shading the area inside the subject circle but outside the predicate circle.*

**A**Again, the incompatibility of the diagrams for * A* and

*propositions represents the fact that they are logically contradictory; one of them must be true and the other false.*

**O**- The Philosophy Pages.
**Authored by**: Garth Kemerling.**Located at**: http://www.philosophypages.com/lg/e07b.htm.**License**:*CC BY-SA: Attribution-ShareAlike*