Knowlet

Unit 3: Immediate Inference

Table of Contents

What is Immediate Inference?

An inference is the logical process of drawing a conclusion from premises.
In Aristotelian logic, inferences are divided into two types:

  1. Mediate Inference: An inference where the conclusion is drawn from two or more premises. (e.g., a Categorical Syllogism, covered in Unit 4).
  2. Immediate Inference: An inference where the conclusion is drawn from only one premise.

This unit deals with the three most important types of immediate inference: Conversion, Obversion, and Contraposition. These are "truth-preserving" operations, meaning if the original premise is true, the (validly inferred) conclusion must also be true. They are ways of creating a new, logically equivalent proposition.

Key Concept: Logical Equivalence. Two statements are logically equivalent if they *always* have the same truth value. They mean the same thing, just expressed in a different form. Our goal is to find valid operations that produce equivalent statements.

Conversion

Conversion is an immediate inference that proceeds by swapping the Subject (S) and Predicate (P) terms of the original proposition.

The original proposition is the Convertend. The inferred conclusion is the Converse.

Rule: The quality (Affirmative/Negative) must stay the same. Crucially, no term can be distributed in the converse if it was not distributed in the convertend.

Proposition Convertend (Premise) Distribution Converse (Conclusion) Validity
A All S are P S (D), P (U) All P are S INVALID
(This is called Conversion by Limitation)

Explanation: In "All S are P," P is undistributed. If we swap them to "All P are S," we are now distributing P (Rule: A-prop distributes its subject). This violates the main rule.
Example: "All dogs are mammals" (True) → "All mammals are dogs" (False).
Valid Conversion by Limitation: We can *validly* infer an I proposition: "All S are P" → "Some P are S". (If "All dogs are mammals," then "Some mammals are dogs").
E No S are P S (D), P (D) No P are S VALID (Simple Conversion)

Explanation: Both terms are distributed, so swapping them is perfectly fine.
Example: "No dogs are reptiles" (True) → "No reptiles are dogs" (True).
I Some S are P S (U), P (U) Some P are S VALID (Simple Conversion)

Explanation: No terms are distributed, so no risk of violating the rule.
Example: "Some students are athletes" (True) → "Some athletes are students" (True).
O Some S are not P S (U), P (D) Some P are not S INVALID

Explanation: In "Some S are not P," S is undistributed. When we swap them to "Some P are not S," the S term moves to the predicate position, where it becomes distributed (Rule: O-prop distributes its predicate). This violates the main rule.
Conclusion: The O-proposition has no valid conversion.

Did this resource help you study?

Share feedback or report issues to help improve this resource.