Rules of categorical syllogism

## Introduction Welcome to our lesson on the Rules of Categorical Syllogism! In logic, a categorical syllogism is a type of deductive argument that consists of three categorical propositions: two premises and a conclusion. These arguments are powerful tools for reasoning, but only if they are structured correctly. Just like a building needs a strong foundation and proper construction to stand, a syllogism needs to follow specific rules to be considered *valid*. Validity means that if the premises are true, the conclusion *must* also be true. In this lesson, we will explore the six essential rules that govern the validity of categorical syllogisms, helping you identify sound arguments and common logical fallacies. ## Key Concepts ### What is a Categorical Syllogism? A categorical syllogism is a deductive argument containing three categorical propositions (two premises and one conclusion), and exactly three distinct terms, each of which appears in exactly two of the propositions. * **Components:** * **Major Premise:** The first premise, usually containing the predicate of the conclusion (the **Major Term**). * **Minor Premise:** The second premise, usually containing the subject of the conclusion (the **Minor Term**). * **Conclusion:** The proposition that is affirmed on the basis of the two premises. * **Terms:** * **Major Term (P):** The predicate of the conclusion. It appears in the major premise. * **Minor Term (S):** The subject of the conclusion. It appears in the minor premise. * **Middle Term (M):** The term that appears in both premises but not in the conclusion. Its role is to link the major and minor terms. ### Distribution of Terms Understanding 'distribution' is crucial for applying the rules. A term is **distributed** in a proposition if the proposition makes an assertion about *every member* of the class denoted by that term. A term is **undistributed** if the proposition only refers to *some members* of the class. Here's how terms are distributed in the four standard forms of categorical propositions: * **A-Proposition (Universal Affirmative - All S are P):** The subject (S) is distributed; the predicate (P) is undistributed. * **E-Proposition (Universal Negative - No S are P):** The subject (S) is distributed; the predicate (P) is distributed. * **I-Proposition (Particular Affirmative - Some S are P):** The subject (S) is undistributed; the predicate (P) is undistributed. * **O-Proposition (Particular Negative - Some S are not P):** The subject (S) is undistributed; the predicate (P) is distributed. ### The Six Rules of Validity for Categorical Syllogisms These rules must all be followed for a categorical syllogism to be valid. Breaking even one rule results in an invalid syllogism. #### Rule 1: There Must Be Exactly Three Terms. A categorical syllogism must contain exactly three distinct categorical terms, each used in the same sense throughout the argument. Each term must appear twice. * **Fallacy:** **Four-Term Fallacy** (or Ambiguous Middle). * Occurs when there are more than three terms, or when one of the three terms is used in two different senses (equivocation), effectively creating a fourth term. #### Rule 2: The Middle Term Must Be Distributed At Least Once. For the middle term to connect the major and minor terms effectively, it must refer to all members of its class in at least one of the premises. If the middle term is never distributed, it cannot provide a link between the major and minor terms. * **Fallacy:** **Undistributed Middle**. * Occurs when the middle term is not distributed in either the major or minor premise. #### Rule 3: Any Term Distributed in the Conclusion Must Be Distributed in Its Premise. You cannot make a claim about *all* members of a class in the conclusion if the premise dealing with that term only made a claim about *some* members of that class. This applies to both the major and minor terms. * **Fallacies:** * **Illicit Major:** The major term is distributed in the conclusion but not in the major premise. * **Illicit Minor:** The minor term is distributed in the conclusion but not in the minor premise. #### Rule 4: No Two Negative Premises. If both premises are negative (E or O propositions), no valid conclusion can be drawn. Two negative premises simply state what things *are not* related to the middle term, without establishing any positive connection between the major and minor terms. * **Fallacy:** **Exclusive Premises**. #### Rule 5: If One Premise is Negative, the Conclusion Must Be Negative. If one premise asserts a separation (is negative), the conclusion must reflect that separation. You cannot draw an affirmative conclusion from premises where a negative relationship is established. * **Fallacy:** **Affirmative Conclusion from a Negative Premise**. #### Rule 6: From Two Universal Premises, No Particular Conclusion May Be Drawn. If both premises are universal (A or E propositions), and they imply the existence of something, the conclusion must also be universal. Drawing a particular conclusion (I or O proposition) from two universal premises is often considered a fallacy in traditional logic because universal statements do not necessarily imply the existence of their subjects, while particular statements do. * **Fallacy:** **Existential Fallacy**. ## Vocabulary * **Categorical Syllogism:** A deductive argument with three categorical propositions and three terms. * **Premise:** A statement in an argument that provides support for the conclusion. * **Major Premise:** The premise containing the major term. * **Minor Premise:** The premise containing the minor term. * **Conclusion:** The statement that an argument is trying to prove. * **Major Term (P):** The predicate of the conclusion. * **Minor Term (S):** The subject of the conclusion. * **Middle Term (M):** The term that links the major and minor terms, appearing in both premises but not the conclusion. * **Distributed Term:** A term that refers to every member of its class within a proposition. * **Undistributed Term:** A term that refers to only some members of its class within a proposition. * **Validity:** A characteristic of an argument where, if the premises are true, the conclusion must necessarily be true. * **Fallacy:** An error in reasoning or argument construction, leading to an invalid argument. * **Four-Term Fallacy:** Using more than three distinct terms or an ambiguous term. * **Undistributed Middle:** The middle term is not distributed in either premise. * **Illicit Major:** The major term is distributed in the conclusion but not in the major premise. * **Illicit Minor:** The minor term is distributed in the conclusion but not in the minor premise. * **Exclusive Premises:** Both premises are negative. * **Affirmative Conclusion from a Negative Premise:** Drawing an affirmative conclusion when one premise is negative. * **Existential Fallacy:** Drawing a particular conclusion from two universal premises. ## Examples ### Rule 1: Three Terms Only * **Valid:** * All **men** are **mortal**. (Major: mortal, Minor: --, Middle: men) * All **Socrates** is a **man**. (Major: --, Minor: Socrates, Middle: man) * Therefore, All **Socrates** is **mortal**. (Terms: men, mortal, Socrates - exactly three, used consistently) * **Invalid (Four-Term Fallacy):** * All **rivers** have **banks**. (Term 1: rivers, Term 2: river banks) * All **financial institutions** are **banks**. (Term 3: financial institutions, Term 4: financial institution banks) * Therefore, all **rivers** are **financial institutions**. (The term "banks" is used ambiguously, creating effectively four terms.) ### Rule 2: Middle Term Must Be Distributed At Least Once * **Valid:** * All **dogs** are **mammals**. (M is distributed: dogs) * All **terriers** are **dogs**. (M is distributed: terriers) * Therefore, All **terriers** are **mammals**. (Middle Term 'dogs' is distributed in the minor premise.) * **Invalid (Undistributed Middle):** * All **dogs** are **mammals**. (M: mammals, undistributed) * All **cats** are **mammals**. (M: mammals, undistributed) * Therefore, All **cats** are **dogs**. (The middle term 'mammals' is the predicate of two A-propositions and is therefore undistributed in both premises. It fails to connect 'cats' and 'dogs'.) ### Rule 3: Any Term Distributed in the Conclusion Must Be Distributed in Its Premise * **Valid:** * No **fish** are **mammals**. (P: mammals, distributed) * All **whales** are **mammals**. (S: whales, distributed) * Therefore, No **whales** are **fish**. (Both 'whales' and 'fish' are distributed in the conclusion and their respective premises.) * **Invalid (Illicit Major):** * All **tigers** are **mammals**. (Major Premise: 'mammals' is undistributed) * No **cats** are **tigers**. * Therefore, No **cats** are **mammals**. (Conclusion: 'mammals' is distributed, but it was undistributed in the major premise.) * **Invalid (Illicit Minor):** * All **flowers** are **plants**. * All **roses** are **flowers**. (Minor Premise: 'roses' is distributed) * Therefore, All **plants** are **roses**. (Conclusion: 'plants' is distributed, but 'plants' was undistributed in the major premise) * *Correction for Illicit Minor Example:* Let's use 'S' as 'plants' and 'P' as 'roses'. So the minor term is 'plants'. * All **M** are **P**. (All roses are flowers.) * All **M** are **S**. (All roses are plants.) * Therefore, All **S** are **P**. (Therefore, All plants are roses.) * The minor term 'plants' is distributed in the conclusion, but it is the predicate of an A-proposition ('All roses are plants') and therefore undistributed in the minor premise. ### Rule 4: No Two Negative Premises * **Invalid (Exclusive Premises):** * No **birds** are **fish**. * No **fish** are **mammals**. * Therefore, No **birds** are **mammals**. (Incorrect. We cannot establish a connection.) ### Rule 5: If One Premise is Negative, the Conclusion Must Be Negative * **Valid:** * No **students** are **lazy**. * All **diligent people** are **students**. * Therefore, No **diligent people** are **lazy**. * **Invalid (Affirmative Conclusion from a Negative Premise):** * No **dogs** are **cats**. * All **terriers** are **dogs**. * Therefore, All **terriers** are **cats**. (Incorrect, conclusion must be negative) ### Rule 6: From Two Universal Premises, No Particular Conclusion May Be Drawn * **Invalid (Existential Fallacy):** * All **unicorns** are **magical creatures**. * All **magical creatures** are **beautiful**. * Therefore, Some **unicorns** are **beautiful**. (If unicorns do not exist, the conclusion implying their existence is invalid even if the premises are structured universally.) ## Exercises Determine whether the following syllogisms are valid or invalid. If invalid, identify the fallacy committed. 1. All mathematicians are logical thinkers. Some professors are logical thinkers. Therefore, Some professors are mathematicians. 2. No cats are dogs. No dogs are birds. Therefore, No cats are birds. 3. All students are learners. No robots are students. Therefore, No robots are learners. 4. All birds have wings. All eagles are birds. Therefore, Some eagles have wings. 5. All doctors are intelligent. Some intelligent people are wealthy. Therefore, Some doctors are wealthy. 6. No criminals are trustworthy. All politicians are trustworthy. Therefore, No politicians are criminals. ## Assignment Analyze the following syllogisms. For each, clearly state if it is valid or invalid. If invalid, explain which rule(s) it violates and name the specific fallacy. 1. Some fruits are sweet. All apples are fruits. Therefore, Some apples are sweet. 2. All honest people tell the truth. No liars tell the truth. Therefore, All honest people are liars. 3. All good students study hard. All who study hard pass their exams. Therefore, All good students pass their exams. 4. No fish can fly. Some birds can fly. Therefore, Some birds are not fish. 5. All horses are animals. Some animals are pets. Therefore, Some horses are pets. 6. All citizens have rights. All voters are citizens. Therefore, All voters have rights. ## Summary Today, we've explored the foundational rules for determining the validity of categorical syllogisms. These six rules are essential tools for logical reasoning: ensuring exactly three terms, proper distribution of the middle term, avoiding illicit distribution of major and minor terms, preventing two negative premises, maintaining negative conclusions from negative premises, and avoiding drawing particular conclusions from two universal premises. By diligently applying these rules, you can confidently evaluate the soundness of deductive arguments and construct valid syllogisms, strengthening your critical thinking skills.