Components of a proposition

# Components of a proposition ## Structure of a Proposition ### Introduction Welcome to this lesson on the Structure of a Proposition! In logic, we deal with statements that can be either true or false. These statements are called propositions. Understanding the different parts that make up a proposition is crucial for analyzing arguments and reasoning effectively. By the end of this lesson, you will be able to identify and explain the core components of any given proposition. ### Key Concepts #### What is a Proposition? A proposition is a declarative sentence that asserts or denies something, and it must be capable of being judged as either true or false. It is important to distinguish propositions from questions (e.g., "Are you happy?"), commands (e.g., "Close the door!"), or exclamations (e.g., "What a beautiful day!"), none of which can be true or false. #### Components of a Proposition Every standard categorical proposition is composed of four essential parts: ##### 1. Quantifier The quantifier specifies the scope or extent of the subject term. It tells us how many individuals or items are being referred to. There are two main types: * **Universal Quantifiers:** Refer to all members of a class. Examples: "All", "No", "Every", "Each". * **Particular Quantifiers:** Refer to some members of a class. Examples: "Some", "Most", "A few", "Many". ##### 2. Subject Term The subject term is the part of the proposition about which something is affirmed or denied. It is typically a noun or a noun phrase that identifies the class or individual being discussed. ##### 3. Copula The copula is the linking verb that connects the subject term to the predicate term. It expresses the relationship between them, either affirming or denying that the subject belongs to the class described by the predicate. Common copulas include "is", "are", "was", "were", "will be", etc. ##### 4. Predicate Term The predicate term is the part of the proposition that affirms or denies something about the subject term. It describes a quality, characteristic, or class that the subject either possesses or does not possess. It is typically an adjective, an adverb, or a noun phrase. #### Standard Form Categorical Propositions Propositions are often classified based on their quantity (universal or particular) and quality (affirmative or negative). This leads to four standard forms: * **A-type (Universal Affirmative):** All S are P (e.g., All students are learners.) * **E-type (Universal Negative):** No S are P (e.g., No birds are mammals.) * **I-type (Particular Affirmative):** Some S are P (e.g., Some fruits are sweet.) * **O-type (Particular Negative):** Some S are not P (e.g., Some politicians are not honest.) ### Vocabulary * **Proposition:** A declarative statement that is either true or false. * **Quantifier:** A word (e.g., All, Some, No) that indicates the quantity of the subject term. * **Subject Term:** The part of a proposition about which something is stated. * **Copula:** The linking verb (e.g., is, are) that connects the subject and predicate. * **Predicate Term:** The part of a proposition that describes or characterizes the subject. * **Universal:** Referring to every member of a group or class. * **Particular:** Referring to at least one, but not all, members of a group or class. * **Affirmative:** Stating that something is true or exists. * **Negative:** Stating that something is false or does not exist. * **Categorical Proposition:** A proposition that relates two classes (the subject class and the predicate class). ### Examples Let's break down some propositions into their components: 1. **Proposition:** "All dogs are loyal animals." * **Quantifier:** All * **Subject Term:** dogs * **Copula:** are * **Predicate Term:** loyal animals 2. **Proposition:** "No fish can fly." * **Quantifier:** No * **Subject Term:** fish * **Copula:** can (can be interpreted as 'are' or 'is' in logical form) * **Predicate Term:** creatures that can fly 3. **Proposition:** "Some students are hardworking." * **Quantifier:** Some * **Subject Term:** students * **Copula:** are * **Predicate Term:** hardworking (individuals) 4. **Proposition:** "Some teachers are not strict." * **Quantifier:** Some * **Subject Term:** teachers * **Copula:** are not * **Predicate Term:** strict (individuals) ### Exercises 1. Identify the quantifier, subject term, copula, and predicate term in each of the following propositions: a. All triangles are three-sided figures. b. Some fruits are not sweet. c. No doctors are illiterate. d. Some books are interesting. 2. For each proposition in Exercise 1, state whether it is Universal or Particular, and Affirmative or Negative. 3. Rewrite the following ordinary sentences into standard categorical propositions, then identify their components: a. Birds have feathers. b. Not all cars are expensive. c. Only brave people win. ### Assignment 1. Construct one proposition for each of the four standard forms (A, E, I, O) and clearly label its four components. 2. Analyze the following propositions by identifying their quantifier, subject term, copula, and predicate term: a. Every human being is mortal. b. Most politicians are eloquent speakers. c. A few students did not pass the exam. d. None of the athletes were tired. ### Summary In this lesson, we explored the fundamental structure of a proposition, which is a statement that can be true or false. We learned that every standard categorical proposition consists of four key components: the **Quantifier** (specifying scope), the **Subject Term** (what the proposition is about), the **Copula** (the linking verb), and the **Predicate Term** (what is affirmed or denied about the subject). Understanding these components is essential for constructing clear, logical arguments and for accurately analyzing the statements we encounter in everyday life and in more advanced logical studies. ## Categorical Proposition ### Introduction Welcome to our lesson on Categorical Propositions! In logic, we analyze statements to understand their truth and validity. A proposition is a statement that can be either true or false. Today, we will focus on a specific and fundamental type of proposition called a **categorical proposition**. These propositions are about categories or classes of things and describe the relationship between them. Understanding their structure is crucial for formal logical analysis. ### Key Concepts #### What is a Proposition? A proposition is a declarative statement that is capable of being true or false. It is not a question, a command, or an exclamation. For example, "The sky is blue" is a proposition because it can be true or false, but "What time is it?" is not. #### Categorical Proposition A categorical proposition is a statement that asserts or denies something about the relationship between two categories (or classes). It specifies how much of one class is included in or excluded from another class. These propositions form the building blocks of many logical arguments. #### Components of a Categorical Proposition Every standard-form categorical proposition consists of exactly four parts: ##### 1. Quantifier The quantifier indicates the quantity of the subject term, telling us how many members of the subject class are being referred to. There are two main types: * **Universal Quantifiers**: These refer to *all* members of a class. Examples include "All" and "No." * **Particular Quantifiers**: These refer to *at least one* member of a class, but not necessarily all. The primary example is "Some." ##### 2. Subject Term The subject term is the class or category about which the statement is made. It is typically a noun or a noun phrase. For example, in "All students are learners," 'students' is the subject term. ##### 3. Copula The copula is the connecting verb that links the subject term and the predicate term. In standard-form categorical propositions, the copula is always a form of the verb "to be," specifically "are" or "are not." ##### 4. Predicate Term The predicate term is the class or category that is affirmed or denied of the subject term. It tells us something about the subject. Like the subject term, it is typically a noun or a noun phrase. For example, in "All students are learners," 'learners' is the predicate term. The general structure of a standard-form categorical proposition is: \( \text{Quantifier} \) \( \text{Subject Term} \) \( \text{Copula} \) \( \text{Predicate Term} \). ### Vocabulary * **Proposition**: A statement that is either true or false. * **Categorical Proposition**: A proposition that relates two classes or categories, asserting or denying that one class is included in or excluded from the other. * **Quantifier**: The part of a categorical proposition that indicates the quantity (universal or particular) of the subject term. * **Subject Term**: The class or category about which the proposition makes a statement. * **Copula**: The connecting verb (e.g., "are," "are not") that links the subject and predicate terms. * **Predicate Term**: The class or category that is affirmed or denied of the subject term. ### Examples Let's break down some categorical propositions into their components: 1. **"All birds are animals."** * **Quantifier**: All * **Subject Term**: birds * **Copula**: are * **Predicate Term**: animals 2. **"No fish are mammals."** * **Quantifier**: No * **Subject Term**: fish * **Copula**: are * **Predicate Term**: mammals 3. **"Some students are athletes."** * **Quantifier**: Some * **Subject Term**: students * **Copula**: are * **Predicate Term**: athletes 4. **"Some politicians are not honest people."** * **Quantifier**: Some * **Subject Term**: politicians * **Copula**: are not * **Predicate Term**: honest people ### Exercises Identify the Quantifier, Subject Term, Copula, and Predicate Term in each of the following categorical propositions: 1. All teachers are educated professionals. * Quantifier: _________ * Subject Term: _________ * Copula: _________ * Predicate Term: _________ 2. No criminals are law-abiding citizens. * Quantifier: _________ * Subject Term: _________ * Copula: _________ * Predicate Term: _________ 3. Some books are fiction novels. * Quantifier: _________ * Subject Term: _________ * Copula: _________ * Predicate Term: _________ 4. Some vegetables are not leafy greens. * Quantifier: _________ * Subject Term: _________ * Copula: _________ * Predicate Term: _________ ### Assignment 1. Construct three original standard-form categorical propositions. For each, identify its four components. 2. Explain in your own words why it is important to identify the components of a categorical proposition in logic. 3. Consider the statement: "Every dog has its day." Can this be easily rewritten into a standard-form categorical proposition? If so, write it down and identify its components. If not, explain why. ### Summary Today, we've explored the fundamental concept of a **categorical proposition**. We learned that these are statements about the relationship between two categories, asserting or denying inclusion or exclusion. Crucially, every standard-form categorical proposition has four distinct components: the **Quantifier** (All, No, Some), the **Subject Term**, the **Copula** (are, are not), and the **Predicate Term**. Understanding these components is the first step towards analyzing the validity of arguments in formal logic. Keep practicing to master identifying these parts! ## Properties of Categorical Proposition ### Introduction This lesson will build on our understanding of propositions by exploring categorical propositions in more detail. We will learn about their essential properties: quality, quantity, and distribution. Understanding these properties is crucial for analyzing and evaluating arguments in logic. ### Key Concepts #### What is a Categorical Proposition? A categorical proposition is a statement that affirms or denies something about a category (or class) of things. It relates two classes, the subject class and the predicate class. #### Standard Form of Categorical Propositions Categorical propositions typically follow a standard form: **Quantifier + Subject Term + Copula + Predicate Term** * **Quantifier:** Indicates the quantity (how many) of the subject class being referred to (e.g., "All," "No," "Some"). * **Subject Term (S):** The class of things about which something is being said. * **Copula:** The linking verb (e.g., "is," "are," "is not," "are not") that connects the subject and predicate terms. * **Predicate Term (P):** The class of things that is affirmed or denied of the subject term. ### The Four Types of Categorical Propositions Based on their quality and quantity, there are four standard types of categorical propositions: 1. **A-Proposition (Universal Affirmative):** "All S are P" * Example: All dogs are mammals. 2. **E-Proposition (Universal Negative):** "No S are P" * Example: No fish are birds. 3. **I-Proposition (Particular Affirmative):** "Some S are P" * Example: Some students are athletes. 4. **O-Proposition (Particular Negative):** "Some S are not P" * Example: Some fruits are not sweet. ### Properties of Categorical Propositions #### 1. Quality The quality of a categorical proposition tells us whether the proposition *affirms* or *denies* something about the relationship between the subject and predicate terms. * **Affirmative Propositions:** These propositions assert that the subject class is included in the predicate class (fully or partially). * Types: A (All S are P) and I (Some S are P) * Keywords: "is," "are" * **Negative Propositions:** These propositions assert that the subject class is excluded from the predicate class (fully or partially). * Types: E (No S are P) and O (Some S are not P) * Keywords: "is not," "are not," "no" #### 2. Quantity The quantity of a categorical proposition tells us whether the proposition refers to *all* members or *some* members of the subject class. * **Universal Propositions:** These propositions refer to every member of the subject class. * Types: A (All S are P) and E (No S are P) * Keywords: "All," "No" * **Particular Propositions:** These propositions refer to at least one member (some) of the subject class. "Some" in logic means "at least one," and possibly all. * Types: I (Some S are P) and O (Some S are not P) * Keywords: "Some" #### 3. Distribution Distribution refers to whether a term (Subject or Predicate) in a categorical proposition refers to *all* members of the class it denotes. A term is *distributed* if the proposition makes an assertion about every member of that term's class. A term is *undistributed* if the proposition does not make an assertion about every member of that term's class. Understanding distribution is crucial for evaluating the validity of syllogisms. ##### Rules of Distribution: * **A-Proposition (All S are P):** * **Subject Term (S):** Distributed (Because "All S" refers to every member of S). * **Predicate Term (P):** Undistributed (We don't know about *all* P's; some P's might not be S). * *Example:* "All dogs are mammals." We speak of every dog, but not every mammal. * **E-Proposition (No S are P):** * **Subject Term (S):** Distributed (Because "No S" means every S is excluded from P). * **Predicate Term (P):** Distributed (Because "No S are P" also means "No P are S"; every P is excluded from S). * *Example:* "No fish are birds." Every fish is not a bird, and every bird is not a fish. * **I-Proposition (Some S are P):** * **Subject Term (S):** Undistributed (Because "Some S" does not refer to every member of S). * **Predicate Term (P):** Undistributed (We don't know about *all* P's; some P's might not be S). * *Example:* "Some students are athletes." We don't speak of all students, nor all athletes. * **O-Proposition (Some S are not P):** * **Subject Term (S):** Undistributed (Because "Some S" does not refer to every member of S). * **Predicate Term (P):** Distributed (Because the proposition says *some* S are excluded from the *entire* class of P. If even one S is not a P, then it stands apart from the whole group of P's). * *Example:* "Some fruits are not sweet." We don't speak of all fruits, but we say that some fruits are definitely *not* part of the *entire* class of sweet things. ##### Mnemonic for Distribution: * Universals distribute their **S**ubject. * Negatives distribute their **P**redicate. * (A-proposition: S distributed. E-proposition: S & P distributed. I-proposition: neither distributed. O-proposition: P distributed.) ### Vocabulary * **Proposition:** A statement that is either true or false. * **Categorical Proposition:** A proposition that relates two classes (subject and predicate terms). * **Quantifier:** A word (e.g., All, No, Some) that specifies the quantity of the subject term. * **Subject Term (S):** The class being talked about in a proposition. * **Predicate Term (P):** The class attributed to or denied of the subject term. * **Copula:** The linking verb in a proposition (is, are, is not, are not). * **Quality:** Whether a proposition is affirmative or negative. * **Quantity:** Whether a proposition is universal or particular. * **Distribution:** Refers to whether a term refers to all members of its class. * **Universal Affirmative (A):** All S are P. * **Universal Negative (E):** No S are P. * **Particular Affirmative (I):** Some S are P. * **Particular Negative (O):** Some S are not P. ### Examples Let's analyze the properties of the following categorical propositions: 1. **"All birds have wings."** * Type: A (Universal Affirmative) * Quality: Affirmative * Quantity: Universal * Distribution: Subject term "birds" is distributed. Predicate term "wings" is undistributed. 2. **"No reptiles are warm-blooded."** * Type: E (Universal Negative) * Quality: Negative * Quantity: Universal * Distribution: Subject term "reptiles" is distributed. Predicate term "warm-blooded" is distributed. 3. **"Some politicians are honest."** * Type: I (Particular Affirmative) * Quality: Affirmative * Quantity: Particular * Distribution: Subject term "politicians" is undistributed. Predicate term "honest" is undistributed. 4. **"Some students are not diligent."** * Type: O (Particular Negative) * Quality: Negative * Quantity: Particular * Distribution: Subject term "students" is undistributed. Predicate term "diligent" is distributed. ### Exercises For each of the following categorical propositions, identify its type (A, E, I, O), quality, quantity, and state whether the Subject (S) and Predicate (P) terms are distributed or undistributed. 1. All teachers are educated professionals. 2. No philosophers are illogical. 3. Some books are thrillers. 4. Some vegetables are not green. 5. All squares are rectangles. 6. Some animals are not predators. ### Assignment 1. Define in your own words what is meant by the "quality," "quantity," and "distribution" of a categorical proposition. 2. Provide two original examples for each of the four types of categorical propositions (A, E, I, O). For each example, identify its quality, quantity, and the distribution of both its subject and predicate terms. 3. Explain why the predicate term is distributed in an O-proposition but undistributed in an A-proposition. 4. Translate the following statements into standard form categorical propositions and then identify their type, quality, quantity, and term distribution: * Only honest people are trustworthy. * Not all wealthy people are happy. * There are some dogs that are friendly. * Every cat is an animal. ### Summary In this lesson, we delved into the crucial properties of categorical propositions. We learned that every standard-form categorical proposition has a specific **quality** (affirmative or negative) and **quantity** (universal or particular), leading to four main types: A, E, I, and O. Most importantly, we understood the concept of **distribution**, which indicates whether a term refers to *all* members of its class. Universal propositions distribute their subject terms, and negative propositions distribute their predicate terms. Mastering these properties is fundamental for advanced logical analysis, such as evaluating the validity of arguments. ## Types (Classification) of Standard Form Categorical ### Introduction Welcome to this lesson on the types of standard form categorical propositions! In logic, propositions are statements that can be either true or false. Categorical propositions are a specific kind of proposition that relates two categories or classes. Understanding these types is fundamental to analyzing arguments and mastering logical reasoning. We will explore the structure, quantity, and quality of these propositions and learn how to classify them into their four main types: A, E, I, and O. ### Key Concepts #### What is a Standard Form Categorical Proposition? A standard form categorical proposition is a statement that clearly relates two categories (or classes) of things: a **subject term (S)** and a **predicate term (P)**. It asserts that either all, some, or no members of the subject class are members of the predicate class. Its general structure is: **Quantifier + Subject Term + Copula + Predicate Term.** * **Quantifier:** Indicates the quantity (how many members of S are involved). Examples: "All," "No," "Some." * **Subject Term (S):** The class or category that the proposition is primarily about. * **Copula:** The linking verb that connects the subject and predicate terms. Examples: "are," "are not." * **Predicate Term (P):** The class or category that is affirmed or denied of the subject term. #### The Four Types of Standard Form Categorical Propositions Categorical propositions are classified based on two important properties: * **Quantity:** This refers to whether the proposition makes a claim about *all* members of the subject class (making it **Universal**) or only *some* members (making it **Particular**). * **Quality:** This refers to whether the proposition affirms (asserts inclusion) or denies (asserts exclusion) the relationship between the subject and predicate classes (making it **Affirmative** or **Negative**). Combining these two properties gives us four distinct types, traditionally represented by the vowels A, E, I, and O. ##### 1. Type A: Universal Affirmative * **Name:** Universal Affirmative * **Structure/Form:** All S are P * **Quantity:** Universal * **Quality:** Affirmative * **Description:** This type asserts that every single member of the subject class (S) is also a member of the predicate class (P). It implies that the entire subject class is completely included within the predicate class. * **Example:** All dogs are mammals. (Here, S = dogs, P = mammals) ##### 2. Type E: Universal Negative * **Name:** Universal Negative * **Structure/Form:** No S are P * **Quantity:** Universal * **Quality:** Negative * **Description:** This type asserts that there is absolutely no overlap between the subject class (S) and the predicate class (P). It completely excludes the entire subject class from the predicate class. * **Example:** No fish are birds. (Here, S = fish, P = birds) ##### 3. Type I: Particular Affirmative * **Name:** Particular Affirmative * **Structure/Form:** Some S are P * **Quantity:** Particular * **Quality:** Affirmative * **Description:** This type asserts that at least one member (some) of the subject class (S) is also a member of the predicate class (P). It indicates that there is at least one instance where S and P overlap. Remember, "some" in logic means "at least one, and possibly all." * **Example:** Some students are athletes. (Here, S = students, P = athletes) ##### 4. Type O: Particular Negative * **Name:** Particular Negative * **Structure/Form:** Some S are not P * **Quantity:** Particular * **Quality:** Negative * **Description:** This type asserts that at least one member (some) of the subject class (S) is *not* a member of the predicate class (P). It implies that there is at least one subject that is excluded from the predicate class. * **Example:** Some cars are not electric. (Here, S = cars, P = electric vehicles) #### Summary Table of Categorical Proposition Types | Type | Name | Form | Quantity | Quality | | :--- | :--------------------- | :---------------- | :--------- | :---------- | | A | Universal Affirmative | All S are P | Universal | Affirmative | | E | Universal Negative | No S are P | Universal | Negative | | I | Particular Affirmative | Some S are P | Particular | Affirmative | | O | Particular Negative | Some S are not P | Particular | Negative | ### Vocabulary * **Proposition:** A declarative statement that is either true or false, but not both. * **Categorical Proposition:** A proposition that makes a statement about the relationship between two categories or classes. * **Standard Form Categorical Proposition:** A categorical proposition expressed precisely in one of the four standard forms (All S are P, No S are P, Some S are P, Some S are not P). * **Quantity:** Refers to the scope of the proposition – whether it refers to all (Universal) or only some (Particular) members of the subject class. * **Quality:** Refers to whether the proposition affirms (asserts inclusion) or denies (asserts exclusion) the relationship between the subject and predicate terms. * **Subject Term (S):** The class or category that the proposition is making a statement about. * **Predicate Term (P):** The class or category that is being affirmed or denied of the subject term. * **Copula:** The linking verb (e.g., "are," "are not") that connects the subject and predicate terms in a standard form categorical proposition. * **Quantifier:** A word (e.g., "All," "No," "Some") that indicates the quantity of the proposition. * **Universal:** Refers to every single member of a class. * **Particular:** Refers to at least one member of a class; not necessarily all. * **Affirmative:** States that the subject term is included in the predicate term. * **Negative:** States that the subject term is excluded from the predicate term. ### Examples Classify the following standard form categorical propositions by type (A, E, I, O), and identify their quantity, quality, subject term, and predicate term. 1. **All teachers are educators.** * **Type:** A (Universal Affirmative) * **Quantity:** Universal * **Quality:** Affirmative * **Subject Term (S):** teachers * **Predicate Term (P):** educators 2. **No politicians are entirely honest people.** * **Type:** E (Universal Negative) * **Quantity:** Universal * **Quality:** Negative * **Subject Term (S):** politicians * **Predicate Term (P):** entirely honest people 3. **Some books are challenging reads.** * **Type:** I (Particular Affirmative) * **Quantity:** Particular * **Quality:** Affirmative * **Subject Term (S):** books * **Predicate Term (P):** challenging reads 4. **Some fruits are not sweet.** * **Type:** O (Particular Negative) * **Quantity:** Particular * **Quality:** Negative * **Subject Term (S):** fruits * **Predicate Term (P):** sweet things ### Exercises Identify the type (A, E, I, O), quantity, quality, subject term, and predicate term for each of the following standard form categorical propositions: 1. All lions are carnivores. * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: 2. No robots are humans. * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: 3. Some lessons are difficult. * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: 4. Some athletes are not professional. * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: 5. All rectangles are quadrilaterals. * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: ### Assignment For each of the following sentences, first convert it into a standard form categorical proposition if necessary, and then identify its type (A, E, I, O), quantity, quality, subject term, and predicate term. Present your answers clearly. 1. Every cat is an animal. * Standard Form: * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: 2. Lions are not vegetarian. * Standard Form: * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: 3. A few students enjoy mathematics. * Standard Form: * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: 4. There are some cars that are not electric. * Standard Form: * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: 5. Only the brave deserve the fair. (Hint: "Only" often indicates an A-type proposition where the order of subject and predicate is reversed from a typical "All P are S" statement. Rephrase to "All who deserve the fair are brave.") * Standard Form: * Type: * Quantity: * Quality: * Subject Term: * Predicate Term: ### Summary In this lesson, we have gained a comprehensive understanding of the four types of standard form categorical propositions: A, E, I, and O. These types are essential for clear and precise logical reasoning. * **Type A (Universal Affirmative - All S are P)** asserts complete inclusion. * **Type E (Universal Negative - No S are P)** asserts complete exclusion. * **Type I (Particular Affirmative - Some S are P)** asserts partial inclusion (at least one). * **Type O (Particular Negative - Some S are not P)** asserts partial exclusion (at least one). These classifications are based on the **quantity** (universal or particular) and **quality** (affirmative or negative) of the proposition. By mastering these distinctions, you are building a strong foundation for more advanced topics in logic, such as syllogisms and Venn diagrams. ## Distribution of terms in Categorical Propositions ### Introduction Welcome to this lesson on the distribution of terms in categorical propositions. Understanding term distribution is a fundamental concept in traditional logic, especially when you start studying syllogisms and determining their validity. It helps us to precisely understand what a statement is claiming about the classes of things it refers to. ### Key Concepts #### What is Term Distribution? In a categorical proposition, a term (either the subject or the predicate) is said to be **distributed** when it refers to *every single member* of the class it denotes. If a term refers to only *some* members of its class, or an *unspecified* portion, then it is **undistributed**. Think of it this way: when a term is distributed, you are making a claim about *all* of the things that fall into that category. #### Subject and Predicate Terms Every standard form categorical proposition has two main terms: * **Subject Term (S):** The term about which something is being affirmed or denied. * **Predicate Term (P):** The term that is affirmed or denied of the subject term. We need to determine whether the subject term, the predicate term, or both, or neither, are distributed in each type of categorical proposition. #### Types of Categorical Propositions and Term Distribution There are four standard forms of categorical propositions, often represented by the vowels A, E, I, O. ##### A-Propositions (Universal Affirmative) * **Form:** All S are P. * **Example:** "All dogs are mammals." * **Subject Term (S):** "dogs" is **distributed**. The statement makes a claim about *every single dog* (they are all mammals). * **Predicate Term (P):** "mammals" is **undistributed**. The statement does *not* claim that all mammals are dogs. It only claims that dogs are *some* of the mammals. * **Summary:** Subject distributed, Predicate undistributed. ##### E-Propositions (Universal Negative) * **Form:** No S are P. * **Example:** "No fish are birds." * **Subject Term (S):** "fish" is **distributed**. The statement makes a claim about *every single fish* (they are not birds). * **Predicate Term (P):** "birds" is **distributed**. The statement claims that *every single bird* is excluded from the class of fish. If no fish are birds, then no birds are fish. Therefore, it makes a claim about *every single bird*. * **Summary:** Subject distributed, Predicate distributed. ##### I-Propositions (Particular Affirmative) * **Form:** Some S are P. * **Example:** "Some students are athletes." * **Subject Term (S):** "students" is **undistributed**. The statement only refers to *some* students, not all. * **Predicate Term (P):** "athletes" is **undistributed**. The statement only refers to *some* athletes (those who are students), not all athletes. * **Summary:** Subject undistributed, Predicate undistributed. ##### O-Propositions (Particular Negative) * **Form:** Some S are not P. * **Example:** "Some cars are not sedans." * **Subject Term (S):** "cars" is **undistributed**. The statement only refers to *some* cars, not all. * **Predicate Term (P):** "sedans" is **distributed**. The statement claims that the *entire class* of sedans is excluded from the *some* cars being referred to. For example, if some cars are not sedans, it means that certain cars are definitely *outside* the entire class of sedans. * **Summary:** Subject undistributed, Predicate distributed. #### Summary Table of Distribution | Proposition Type | Subject (S) | Predicate (P) | | :--------------- | :---------- | :------------ | | **A** (All S are P) | Distributed | Undistributed | | **E** (No S are P) | Distributed | Distributed | | **I** (Some S are P) | Undistributed | Undistributed | | **O** (Some S are not P) | Undistributed | Distributed | ### Vocabulary * **Categorical Proposition:** A statement that relates two classes (or categories) of things, either by affirming or denying that all or part of one class is included in the other. * **Term:** In a categorical proposition, the subject or predicate; a word or group of words that stands for a class of things. * **Distributed Term:** A term that refers to every member of the class it denotes. * **Undistributed Term:** A term that refers to only some members of the class it denotes, or an indefinite portion of it. * **Universal:** Refers to all members of a class (e.g., "All" or "No"). * **Particular:** Refers to some members of a class (e.g., "Some"). * **Affirmative:** States that something is the case (e.g., "are"). * **Negative:** States that something is not the case (e.g., "are not"). ### Examples 1. **Proposition:** "All triangles are three-sided polygons." * **Type:** A-Proposition * **Subject:** "triangles" (Distributed) * **Predicate:** "three-sided polygons" (Undistributed) * **Explanation:** We are talking about *all* triangles. We are not saying that *all* three-sided polygons are triangles (e.g., some other shapes could be three-sided polygons, though in this case it's a unique definition). 2. **Proposition:** "No doctors are illiterates." * **Type:** E-Proposition * **Subject:** "doctors" (Distributed) * **Predicate:** "illiterates" (Distributed) * **Explanation:** We are talking about *all* doctors and excluding them from the class of illiterates. We are also implicitly saying that *all* illiterates are excluded from the class of doctors. 3. **Proposition:** "Some fruits are sweet." * **Type:** I-Proposition * **Subject:** "fruits" (Undistributed) * **Predicate:** "sweet" (Undistributed) * **Explanation:** We are only talking about *some* fruits, and only *some* sweet things (those that are fruits). 4. **Proposition:** "Some animals are not carnivores." * **Type:** O-Proposition * **Subject:** "animals" (Undistributed) * **Predicate:** "carnivores" (Distributed) * **Explanation:** We are only talking about *some* animals. However, we are making a claim about the *entire class* of carnivores: that *those particular animals* are definitely *not* part of the carnivore class. ### Exercises For each of the following categorical propositions, identify the subject term, the predicate term, and state whether each term is distributed or undistributed. 1. All humans are mortal. 2. No trees are sentient beings. 3. Some books are historical novels. 4. Some vegetables are not green. 5. All birds have wings. 6. No planets are flat. 7. Some politicians are honest. 8. Some students are not diligent. ### Assignment 1. Define "distributed term" in your own words and provide an example of a proposition where both terms are distributed. 2. Explain why the predicate term of an A-proposition is always undistributed, using an example. 3. For each of the following propositions, write out its standard form, identify its type (A, E, I, O), and determine the distribution of both its subject and predicate terms: a. Every cat is a feline. b. Not all metals are magnetic. c. There are no perfect squares that are prime numbers. d. Some athletes are not professional. e. A few flowers are red. ### Summary In this lesson, we explored the crucial concept of term distribution in categorical propositions. A term is **distributed** when it refers to every member of its class, and **undistributed** when it refers to only some. We learned that: * In **A-propositions** ("All S are P"), S is distributed, P is undistributed. * In **E-propositions** ("No S are P"), both S and P are distributed. * In **I-propositions** ("Some S are P"), both S and P are undistributed. * In **O-propositions** ("Some S are not P"), S is undistributed, P is distributed. Mastering term distribution is essential for analyzing the structure and validity of arguments in logic.