7.2 Immediate Inferences and Square of Opposition
3 min read•july 22, 2024
Immediate inferences allow us to draw quick conclusions from single proposition. By manipulating subject and predicate terms, we can derive new statements through , , , and .
The square of opposition shows relationships between categorical propositions. It helps us understand how the truth or falsity of one statement affects others, using concepts like contradictories, contraries, subcontraries, and .
Immediate Inferences
Types of immediate inferences
Top images from around the web for Types of immediate inferences
Immediate Inferences | Introduction to Philosophy View original
Is this image relevant?
Conversion, Obversion, and Contraposition | Justin Strahan | Flickr View original
Is this image relevant?
Immediate Inferences | Introduction to Philosophy View original
Is this image relevant?
Conversion, Obversion, and Contraposition | Justin Strahan | Flickr View original
Is this image relevant?
1 of 2
Top images from around the web for Types of immediate inferences
Immediate Inferences | Introduction to Philosophy View original
Is this image relevant?
Conversion, Obversion, and Contraposition | Justin Strahan | Flickr View original
Is this image relevant?
Immediate Inferences | Introduction to Philosophy View original
Is this image relevant?
Conversion, Obversion, and Contraposition | Justin Strahan | Flickr View original
Is this image relevant?
1 of 2
- Conversion involves switching the subject and predicate terms of a proposition while the quantity may change
- "No dogs are cats" becomes "No cats are dogs" (no dogs, no cats)
- "Some apples are red" becomes "Some red things are apples" (some apples, some red things)
- Obversion changes the quality of a proposition and replaces the predicate term with its complement while the quantity remains the same
- "All students are learners" becomes "No students are non-learners" (all students, no non-learners)
- "Some cars are not electric" becomes "Some cars are non-electric" (some non-electric cars)
- Contraposition switches the subject and predicate terms and replaces both with their complements while the quality remains the same
- "All mammals are animals" becomes "All non-animals are non-mammals" (all non-animals)
- "No birds are mammals" becomes "No non-mammals are non-birds" (no non-birds)
- Obverted conversion performs obversion followed by conversion
- "All roses are flowers" becomes "Some non-flowers are not roses" (some non-roses)
- "No lizards are mammals" becomes "Some mammals are not non-lizards" (some non-lizards)
Rules for immediate inference validity
- Conversion is valid for and propositions but invalid for A and propositions
- "No S is P" and "Some S is P" can be converted validly
- "All S is P" and "Some S is not P" cannot be converted validly
- Obversion is valid for all four types of categorical propositions (A, E, I, O)
- Any proposition can be obverted to change its quality
- Contraposition is valid for A and O propositions but invalid for E and I propositions
- "All S is P" and "Some S is not P" can be contraposed validly
- "No S is P" and "Some S is P" cannot be contraposed validly
- Obverted conversion is valid for A and E propositions but invalid for I and O propositions
- "All S is P" and "No S is P" can undergo obverted conversion
- "Some S is P" and "Some S is not P" cannot undergo obverted conversion
Square of Opposition
Relationships in square of opposition
- Contradictories are propositions that cannot both be true and cannot both be false
- A and O propositions are contradictories (all vs some not)
- E and I propositions are contradictories (no vs some)
- Contraries are propositions that cannot both be true but can both be false
- A and E propositions are contraries (all vs no)
- Subcontraries are propositions that cannot both be false but can both be true
- I and O propositions are subcontraries (some vs some not)
- Subalternation is a relation where the truth of one proposition (the superaltern) implies the truth of another (the subaltern) but not vice versa
- A proposition is the superaltern of I proposition (all implies some)
- E proposition is the superaltern of O proposition (no implies some not)
Truth values in categorical propositions
- If an A proposition is true, then:
- E is false ()
- I is true (subalternation)
- O is false (contradictory)
- If an E proposition is true, then:
- A is false (contrary)
- I is false (contradictory)
- O is true (subalternation)
- If an I proposition is true, then:
- A is undetermined (subalternation)
- E is false (contradictory)
- O is undetermined ()
- If an O proposition is true, then:
- A is false (contradictory)
- E is undetermined (subalternation)
- I is undetermined (subcontrary)
Key Terms to Review (31)
A: In logic, 'A' refers to one of the standard categorical propositions that expresses a universal affirmative statement. It asserts that all members of a certain category, called the subject, are included in another category, called the predicate. Understanding the 'A' proposition is essential for making immediate inferences and analyzing relationships between different statements using tools like the Square of Opposition.
A-proposition: An a-proposition is a type of categorical statement that asserts a universal affirmative relationship between two classes. Specifically, it follows the form 'All S are P,' where S represents the subject class and P represents the predicate class. This statement affirms that every member of the subject class is also a member of the predicate class, establishing a clear connection in terms of logical relationships and immediate inferences.
A: all s are p: The statement 'a: all s are p' represents a universal affirmative proposition in logic, indicating that every member of set S is also a member of set P. This type of proposition plays a crucial role in immediate inferences and the Square of Opposition, as it allows for the establishment of relationships between different categorical statements and facilitates reasoning about their validity.
All mammals are animals; therefore, some mammals are animals.: This statement exemplifies a basic logical inference where the universal premise 'all mammals are animals' leads to the particular conclusion 'some mammals are animals.' It highlights the process of deducing specific truths from general statements and showcases how immediate inferences can be drawn from categorical propositions.
Aristotle: Aristotle was an ancient Greek philosopher whose work laid the foundation for much of Western philosophy and logic. He developed a systematic approach to understanding reasoning, categorization, and scientific inquiry, which continues to influence various fields including mathematics, ethics, and natural sciences.
Contraposition: Contraposition is a logical rule that states if a conditional statement is true, then its contrapositive is also true. Specifically, if we have a statement in the form 'If P, then Q' (P → Q), the contrapositive would be 'If not Q, then not P' (¬Q → ¬P). This concept helps in understanding relationships between premises and conclusions, especially when evaluating the validity of arguments and making immediate inferences.
Contrary: In logic, a contrary refers to a pair of propositions that cannot both be true at the same time but can both be false. This concept is significant in understanding the relationships between statements in logical reasoning, particularly in evaluating the validity of arguments. Contraries help to illustrate the boundaries of truth and falsehood within logical structures, making them essential for immediate inferences and the framework of opposition.
Conversion: Conversion is a logical operation that involves switching the subject and predicate of a categorical proposition to create a new proposition. This process is crucial in understanding the relationships between different categorical statements, particularly in the context of immediate inferences and logical structures such as the Square of Opposition. Conversion allows us to derive valid conclusions from existing propositions, which is key for evaluating arguments effectively.
E: In the context of logic and reasoning, 'e' represents the particular negative proposition, specifically stating that some subjects do not belong to a certain category. This proposition is critical in understanding immediate inferences, particularly when analyzing the relationships between different categorical propositions within the Square of Opposition. The 'e' statement serves as a vital tool for making deductions about truth values and logical relationships.
E-proposition: An e-proposition, or existential proposition, asserts the existence of at least one member of a specified category that satisfies a given condition. This type of statement is crucial for understanding relationships between subjects and predicates in logical reasoning, especially within immediate inferences and how these inferences relate to the Square of Opposition.
E: no s are p: The statement 'e: no s are p' is a categorical proposition that asserts that there is no overlap between the subjects represented by 's' and the predicates represented by 'p'. This means that every member of the class of 's' is excluded from being a member of the class of 'p'. This proposition is crucial for making immediate inferences and plays a vital role in understanding relationships in logical reasoning, particularly within the Square of Opposition framework.
Exclusion: Exclusion is a logical concept that refers to the idea of denying or ruling out certain propositions or statements in reasoning. This concept is crucial in understanding how immediate inferences work, particularly when determining the relationships between different categorical propositions in formal logic. Exclusion highlights the way some statements can negate or contradict others, making it a key component in analyzing arguments and drawing conclusions.
Georg Cantor: Georg Cantor was a German mathematician best known for creating set theory and introducing the concept of different sizes of infinity. His work laid the foundation for modern mathematics and has profound implications in logic, particularly in understanding immediate inferences and the relationships depicted in the Square of Opposition.
Gottlob Frege: Gottlob Frege was a German philosopher, logician, and mathematician, often considered the father of modern logic and analytic philosophy. His work laid the foundation for understanding the relationship between language, thought, and meaning, influencing various areas such as logic, mathematics, and the philosophy of language.
I: In logic, 'i' represents the particular affirmative proposition, which asserts that some members of a category possess a certain property. This form of proposition is essential for understanding relationships between different categories and how they interact within the framework of the Square of Opposition, providing insights into immediate inferences.
I-proposition: An i-proposition is a type of categorical statement that expresses a particular affirmative claim about a subject. Specifically, it asserts that some members of a category belong to another category, often structured as 'Some S are P.' This type of proposition is crucial in understanding how immediate inferences are drawn and how they relate to the broader Square of Opposition framework, which showcases the logical relationships between different categorical propositions.
I: some s are p: The statement 'i: some s are p' is an existential assertion that indicates at least one member of the subject class 's' is also a member of the predicate class 'p'. This type of proposition is crucial in the study of logical reasoning, as it introduces a relationship of inclusion between two categories and is a key element in immediate inferences and the Square of Opposition, helping to visualize how different logical statements relate to each other.
Inclusion: Inclusion refers to a logical relationship where one category or proposition is wholly contained within another, indicating that all members of the included category are also members of the larger category. This concept plays a crucial role in understanding syllogistic reasoning and the relationships between different types of statements, especially in diagrams such as the Square of Opposition, which visually represent these logical connections.
Law of Excluded Middle: The law of excluded middle is a fundamental principle in classical logic stating that for any proposition, either that proposition is true or its negation is true. This principle asserts that there are no middle values between truth and falsehood, emphasizing a binary view of truth in logical reasoning.
Law of Non-Contradiction: The Law of Non-Contradiction states that contradictory statements cannot both be true at the same time and in the same sense. This principle is foundational in logic and reasoning, as it helps establish clear distinctions between truth and falsehood, enabling logical deductions and arguments to be formulated effectively.
O: In logic, 'o' represents the logical connective 'or', specifically the inclusive disjunction. It indicates that at least one of the statements it connects is true, allowing for the possibility that both statements could also be true. This connective is crucial for making immediate inferences, as it helps clarify the relationships between different propositions and how they interact within logical arguments.
O-proposition: An o-proposition is a type of categorical statement that asserts the non-existence of a relationship between a subject and a predicate, typically expressed in the form 'Some S are not P.' This form is crucial for making immediate inferences and understanding the logical relationships illustrated in the Square of Opposition, as it highlights how certain terms relate or do not relate within logical structures.
O: some s are not p: The term 'o: some s are not p' represents a particular type of categorical proposition indicating that there is at least one member of the subject class (s) that does not belong to the predicate class (p). This proposition is significant in logical reasoning as it helps to identify relationships and exclusions between different sets, forming part of the foundation for making immediate inferences and understanding the Square of Opposition.
Obversion: Obversion is a logical operation that transforms a categorical statement into another by changing its quality while maintaining its truth value. This process involves replacing the original statement with its corresponding negative form, specifically by converting an affirmative statement into a negative one and vice versa. It is essential for understanding immediate inferences and plays a critical role in the Square of Opposition, showcasing how different types of categorical statements interact with each other.
Obverted Conversion: Obverted conversion is a logical process that involves transforming a categorical statement into its obverse by negating the predicate and changing the quality of the statement. This process helps in understanding relationships between different statements and is crucial for making immediate inferences within logical reasoning. By applying obverted conversion, one can clarify the implications of categorical propositions and navigate through the complexities of logical relationships effectively.
Rules of Inference: Rules of inference are logical principles that dictate the valid steps that can be taken when deriving conclusions from premises. They provide a structured framework for reasoning, ensuring that arguments follow a logical progression. These rules play a critical role in different methods of proof and logical reasoning, facilitating the transition from assumptions to conclusions while maintaining validity.
Subalternation: Subalternation is a type of immediate inference that occurs within the framework of categorical logic, where the truth of a universal proposition guarantees the truth of its corresponding particular proposition, but not vice versa. It demonstrates a relationship between statements in the Square of Opposition, particularly showing how the truth of an A proposition (universal affirmative) leads to the truth of an I proposition (particular affirmative), while the falsity of the particular does not imply the falsity of the universal. Understanding subalternation is crucial for analyzing logical relationships and deriving conclusions from categorical propositions.
Subcontrary: Subcontrary refers to a relationship between two propositions in formal logic where both can be true at the same time, but cannot both be false. This concept is critical in understanding the square of opposition, where subcontrary pairs represent the more flexible relationships between categorical statements. These propositions help illustrate how certain truths can coexist while also highlighting the limitations of certain logical deductions.
Truth Value: Truth value refers to the attribute assigned to a statement or proposition that indicates whether it is true or false. This concept is crucial in evaluating logical expressions and arguments, helping to determine their validity and consistency. Understanding truth values allows one to analyze relationships between statements, such as implications and equivalences, and assess their logical coherence.
Validity: Validity refers to the property of an argument wherein if the premises are true, the conclusion must also be true. This concept is crucial in assessing the strength of arguments, as it determines whether an argument logically follows from its premises, linking directly to methods of analysis and various logical tools.
Venn Diagrams: Venn diagrams are visual representations that show the relationships between different sets. They use overlapping circles to illustrate how these sets intersect, helping to clarify concepts such as union, intersection, and complement. This tool is particularly useful in formal reasoning and immediate inferences, as it allows individuals to visually assess logical relationships and draw conclusions based on the information presented.