Welcome to HSLC GURU. This study guide covers Class 11 Logic and Philosophy Chapter 6 – Modern Classification of Propositions, prepared strictly for the ASSEB (Assam State School Education Board) syllabus, English Medium. The chapter explains how modern logicians, beginning with George Boole, departed from the Aristotelian classification of propositions and re-organised propositions on the basis of structure, elements and existential commitment. You will learn the difference between Aristotelian and Boolean interpretations, the meaning of existential import, the symbolic representation of A, E, I, O propositions in modern logic, the partial collapse of the traditional Square of Opposition under the Boolean reading, and the existential fallacy. The lesson is presented through a clean Summary, complete Textbook Q&A, Additional Questions, a Glossary and a comparison table for quick revision before exams.
Summary – Modern Classification of Propositions
In traditional or Aristotelian logic, propositions are classified on the combined basis of quality (affirmative / negative) and quantity (universal / particular), giving the four well-known forms A, E, I and O. Modern logicians, however, hold that this fourfold scheme rests on an unsound assumption – that every term used in a proposition refers to actually existing things. To remove this defect, modern logicians re-classify propositions on the basis of their structure and elements.
According to the modern classification, propositions are first divided into simple and compound. A simple proposition contains only one subject-predicate relation; a compound (molecular) proposition is built up of two or more simple propositions joined by logical connectives such as “and”, “or”, “if-then”, “if and only if”. Simple propositions are further divided into subjectless propositions, subject-predicate propositions, relational propositions and class-membership propositions. Apart from these, modern logic recognises a separate group called general propositions, which are not about particular individuals but about classes – including existential propositions and one-predicate universal propositions.
The deepest difference between the two systems concerns existential import – whether a proposition implies that the things named by its subject term actually exist. The Aristotelian view holds that all four categorical propositions (A, E, I, O) carry existential import. The Boolean (modern) view denies existential import to the universal forms A and E and grants it only to the particulars I and O. Universals are read hypothetically: “All S is P” means “If anything is S, then it is P”, while particulars are read existentially: “Some S is P” means “There is at least one thing that is both S and P”. This shift collapses parts of the traditional Square of Opposition and gives rise to the existential fallacy whenever an inference assumes that a class has members without independent justification.
The symbolic forms used in modern logic are:
- A: All S is P → ∀x (Sx → Px)
- E: No S is P → ∀x (Sx → ¬Px)
- I: Some S is P → ∃x (Sx ∧ Px)
- O: Some S is not P → ∃x (Sx ∧ ¬Px)
Textbook Question Answers
A. Very Short Answer Type Questions (1 mark)
1. On what basis do modern logicians classify propositions?
Answer: Modern logicians classify propositions on the basis of their structure and the nature of their elements, not on the combined basis of quality and quantity.
2. Who is the founder of modern symbolic logic?
Answer: George Boole is regarded as the founder of modern symbolic logic.
3. What is a simple proposition?
Answer: A simple proposition is one that contains only a single subject-predicate relationship and cannot be broken down into other propositions.
4. What is a compound proposition?
Answer: A compound proposition is a proposition that contains two or more simple propositions joined together by logical connectives such as “and”, “or”, “if-then”.
5. Why is a compound proposition also called a molecular proposition?
Answer: Because, like a molecule built up from atoms, a compound proposition is built up from simple (atomic) propositions joined by logical connectives.
6. How many kinds of simple propositions are there in modern logic?
Answer: Four kinds – subjectless, subject-predicate, relational and class-membership propositions.
7. What is a class-membership proposition?
Answer: A proposition in which an individual is asserted to be a member of a class, e.g. “Socrates is a philosopher”.
8. What is a general proposition?
Answer: A general proposition is one that makes an assertion about a whole class rather than about any particular individual.
9. Give an example of an existential proposition.
Answer: “There are black swans” / “Tigers exist”.
10. What is existential import?
Answer: A proposition is said to have existential import when it implies that the things denoted by its subject term actually exist.
11. Which propositions have existential import in the Boolean interpretation?
Answer: Only the particular propositions I and O have existential import in the Boolean interpretation.
12. Which propositions have existential import in the Aristotelian interpretation?
Answer: All four categorical propositions – A, E, I and O – have existential import in the Aristotelian interpretation.
13. Write the symbolic form of “All men are mortal”.
Answer: ∀x (Mx → Tx), where Mx = x is a man and Tx = x is mortal.
14. Write the symbolic form of “Some students are intelligent”.
Answer: ∃x (Sx ∧ Ix).
15. What is the existential fallacy?
Answer: The existential fallacy is the mistake of inferring a particular proposition (which asserts existence) from universal premises that, in modern logic, do not assert existence.
16. In what sense is “or” used in modern disjunctive propositions?
Answer: In modern logic, “or” is generally used in the inclusive sense – at least one (and possibly both) of the alternatives is true.
17. State whether True or False: “All A is B” implies that A exists, in modern logic.
Answer: False. In modern (Boolean) logic, “All A is B” does not imply that any A exists.
18. What is a hypothetical proposition?
Answer: A compound proposition of the form “If P, then Q”, in which Q is asserted on the condition that P is true.
B. Short Answer Type Questions (2-3 marks)
1. Distinguish between traditional and modern classification of propositions.
Answer: Traditional (Aristotelian) classification arranges propositions on the joint basis of quality and quantity, yielding four forms – A, E, I and O. Modern classification is based on the structure and elements of propositions, dividing them first into simple and compound, and further into subjectless, subject-predicate, relational, class-membership and general propositions. The traditional view assumes that every term in a proposition refers to actually existing things; the modern view denies this assumption for universal propositions.
2. Distinguish between simple and compound propositions.
Answer: A simple proposition contains only one subject-predicate relationship, e.g. “Ram is a teacher”. A compound proposition is built out of two or more simple propositions joined by logical connectives such as “and”, “or”, “if-then”, e.g. “Ram is a teacher and Hari is a doctor”. Simple propositions are atomic; compound propositions are molecular.
3. Distinguish between class-membership and general propositions.
Answer: In a class-membership proposition only the predicate is a class term, while the subject is an individual, e.g. “Socrates is a philosopher”. In a general proposition both subject and predicate refer to classes, and the assertion is about classes as wholes, e.g. “All philosophers are wise”.
4. What is meant by existential import? Illustrate.
Answer: A proposition has existential import when its truth presupposes the existence of the objects referred to by the subject term. For example, “Some politicians are honest” cannot be true unless some politicians actually exist – so the I proposition has existential import. By contrast, in modern logic, “All trespassers will be prosecuted” can be true even if there are no trespassers.
5. Compare Aristotelian and Boolean views on existential import.
Answer: The Aristotelian view holds that all four standard categorical propositions – A, E, I, O – carry existential import; that is, each presupposes that members of the subject class exist. The Boolean view denies existential import to the universal propositions A and E and grants it only to the particular propositions I and O. Hence, in modern logic, A and E are read as hypothetical or conditional statements, while I and O are read as genuine assertions of existence.
6. Write the modern symbolic forms of A, E, I, O propositions.
Answer:
- A: All S is P → ∀x (Sx → Px)
- E: No S is P → ∀x (Sx → ¬Px)
- I: Some S is P → ∃x (Sx ∧ Px)
- O: Some S is not P → ∃x (Sx ∧ ¬Px)
7. Why is the universal proposition treated as hypothetical in modern logic?
Answer: Because, in the Boolean reading, “All S is P” makes no commitment to the existence of any S. It only says that if something is S, then that thing is also P. This is exactly the structure of a hypothetical (conditional) statement, which is why a universal proposition is treated as hypothetical in modern logic.
8. What is the existential fallacy?
Answer: The existential fallacy is committed when an argument validly drawn from universal premises in traditional logic is taken to yield a particular conclusion in modern logic, even though the universal premises (under the Boolean reading) do not imply that the subject class has members. Inferring “Some S is P” from “All S is P” is a typical example of this fallacy.
9. Mention the four kinds of simple propositions in modern logic.
Answer: (i) Subjectless propositions, e.g. “It is raining”; (ii) Subject-predicate propositions, e.g. “Roses are red”; (iii) Relational propositions, e.g. “Ram is taller than Hari”; (iv) Class-membership propositions, e.g. “Socrates is a man”.
10. What are general propositions? Mention their kinds.
Answer: General propositions are propositions which assert something about a class as a whole. They are of three kinds – (i) Existential propositions, e.g. “Tigers exist”; (ii) One-predicate universal propositions, e.g. “All men are mortal”; (iii) Propositions asserting a relation between two classes, e.g. “All students are learners”.
11. Give two examples of relational propositions.
Answer: “Delhi is to the north of Chennai”; “Ram is the father of Lava”.
12. Give two examples of class-membership propositions.
Answer: “Aristotle is a philosopher”; “Mount Everest is a mountain”.
C. Long Answer Type Questions (5-8 marks)
1. Explain in detail the modern classification of propositions.
Answer: Modern logicians, beginning with George Boole, found the Aristotelian classification (A, E, I, O) inadequate, since it depended on the unjustified assumption that every term refers to existing things. They therefore re-classified propositions on the basis of structure and elements.
The basic division is into simple and compound propositions.
A simple proposition contains only one subject-predicate relation and cannot be analysed into other propositions. It is of four kinds:
- Subjectless propositions – which have no explicit grammatical subject, e.g. “It is raining”.
- Subject-predicate propositions – in which a property is ascribed to a subject, e.g. “Roses are red”.
- Relational propositions – which assert a relation between two or more terms, e.g. “Ram is taller than Hari”.
- Class-membership propositions – in which an individual is asserted to belong to a class, e.g. “Socrates is a philosopher”.
A compound proposition (also called molecular) consists of two or more simple propositions linked by logical connectives. Its main forms are conjunctive (“p and q”), disjunctive (“p or q”), hypothetical (“if p, then q”) and bi-conditional (“p if and only if q”).
Modern logic also recognises general propositions, which are not about particular individuals but about classes. They include existential propositions (“Tigers exist”), one-predicate universal propositions (“All men are mortal”) and propositions asserting a relation between two classes (“All students are learners”). This three-fold scheme – simple, compound and general – replaces the four-fold Aristotelian classification.
2. Compare and contrast the Aristotelian and Boolean interpretations of categorical propositions.
Answer: The Aristotelian and Boolean systems both recognise the four categorical forms A, E, I and O, but interpret them very differently.
(i) Existential import: In the Aristotelian view, all four propositions presuppose that members of the subject class exist. In the Boolean view, only the particulars I and O carry existential import; the universals A and E are read hypothetically and make no existential commitment.
(ii) Logical form: Aristotle reads “All S is P” as a categorical assertion about an existing class S. Boole reads it as the conditional “For every x, if x is S, then x is P”, symbolically ∀x (Sx → Px). Similarly, “Some S is P” is the existential statement ∃x (Sx ∧ Px).
(iii) Square of Opposition: Under the Aristotelian reading, the full traditional Square holds – contradictories, contraries, sub-contraries and sub-alternation are all valid. Under the Boolean reading, only contradictories survive; contraries, sub-contraries and sub-alternation collapse, because they all depend on existential assumptions about the subject class.
(iv) Application: The Aristotelian system is well suited to natural-language reasoning about everyday objects which clearly exist. The Boolean system is needed in mathematics and science, where we often reason about empty or merely possible classes (e.g. “All trespassers will be prosecuted”, “All unicorns are one-horned”).
(v) Fallacies: The Boolean system identifies the existential fallacy, which is invisible in the Aristotelian framework, because the latter automatically grants existence to subject classes.
Thus, while the Aristotelian system is intuitive and conservative, the Boolean system is more rigorous and is the foundation of modern symbolic logic.
3. What is existential import? Discuss the partial collapse of the traditional Square of Opposition under the Boolean interpretation.
Answer: A proposition has existential import when its truth requires that the things referred to by its subject term actually exist. For example, “Some students are present” can be true only if at least one student exists; so it carries existential import. The question raised by Boole and modern logicians is whether the universal propositions A (“All S is P”) and E (“No S is P”) also carry such import.
In the traditional Square of Opposition, the four propositions A, E, I, O are related by:
- Contradictories: A ↔ O, E ↔ I (cannot both be true; cannot both be false).
- Contraries: A ↔ E (cannot both be true).
- Sub-contraries: I ↔ O (cannot both be false).
- Sub-alternation: A → I, E → O (truth of universal implies truth of particular).
All these relations rest on the assumption that the subject class is non-empty, i.e. on existential import. When Boole denies existential import to A and E, the following consequences follow:
- Sub-alternation collapses – because A makes no existential commitment, it cannot guarantee the truth of I, which does.
- Contrariety collapses – because A and E can both be vacuously true when the subject class is empty.
- Sub-contrariety collapses – because I and O can both be false when the subject class is empty.
- Only contradiction survives – the diagonal relations A ↔ O and E ↔ I remain valid.
Thus the rich traditional Square is reduced, in the Boolean interpretation, to two pairs of contradictories. This partial collapse is the price paid for the gain in generality and rigour offered by modern symbolic logic.
4. Explain the existential fallacy with examples.
Answer: The existential fallacy is committed in modern logic whenever a particular conclusion (which asserts existence) is drawn from purely universal premises (which, in the Boolean reading, do not assert existence).
Example 1 (Sub-alternation):
Premise: All trespassers will be prosecuted (A)
Conclusion: Some trespassers will be prosecuted (I)
This inference is valid in Aristotelian logic but a fallacy in modern logic, because the universal premise does not guarantee that any trespasser exists.
Example 2 (From two universals):
Premise 1: All unicorns are one-horned animals.
Premise 2: All one-horned animals are mythical.
Conclusion: Some unicorn is mythical.
The conclusion implies the existence of unicorns, which the premises do not establish. Hence the existential fallacy.
The lesson is that, in modern logic, we may not slip from a universal “All S is P” to a particular “Some S is P” without an independent premise asserting that S has members. This stricter standard is one of the great virtues of the Boolean system.
5. Write notes on (a) class-membership proposition (b) general proposition (c) compound proposition.
Answer:
(a) Class-membership proposition: This is a kind of simple proposition in which an individual is asserted to be a member of a class. The subject is a singular term denoting an individual, and the predicate is a class term, e.g. “Socrates is a philosopher”, “Mount Everest is a mountain”. Since only one element (the predicate) is a class, it is distinguished from a general proposition where both subject and predicate are classes.
(b) General proposition: A general proposition makes an assertion about a class as a whole and not about any particular individual. It has three sub-kinds: existential (“Tigers exist”), one-predicate universal (“All men are mortal”) and class-relational (“All teachers are learners”). General propositions form the heart of modern quantification theory.
(c) Compound proposition: Also called molecular, a compound proposition consists of two or more simple propositions joined by logical connectives. Its main types are conjunctive (“Ram is at home and Hari is at school”), disjunctive (“It will rain or it will be sunny”), hypothetical (“If it rains, the match will be cancelled”) and bi-conditional (“A triangle is equilateral if and only if its three sides are equal”).
6. Why did modern logicians reject the traditional classification of propositions?
Answer: Modern logicians rejected the traditional classification chiefly for the following reasons:
- Mixed basis: The traditional fourfold classification rests on a mixture of two different principles – quality (affirmative/negative) and quantity (universal/particular). Modern logic prefers a uniform basis grounded in structure and elements.
- Existential assumption: The traditional system tacitly assumes that every term in a proposition refers to actually existing things. This assumption fails for empty classes (“unicorns”, “round squares”), so a logic that depends on it cannot be fully general.
- Inadequate coverage: The fourfold scheme cannot accommodate relational propositions (“Ram is taller than Hari”), subjectless propositions (“It is raining”) and many compound propositions, which are central to mathematical and scientific reasoning.
- Hidden fallacies: Because the traditional system grants existential import freely, it conceals the existential fallacy and produces unsound inferences when applied to empty subject classes.
- Need for symbolic precision: Modern science and mathematics require an exact, symbolic representation of propositions. The traditional verbal scheme is too informal for this purpose.
For these reasons modern logicians, following Boole, Frege and Russell, replaced the fourfold scheme with a structural classification supplemented by the apparatus of quantifiers and propositional connectives.
Additional Questions
Multiple Choice Questions (MCQ)
1. Modern logicians classify propositions on the basis of –
(a) Quality alone (b) Quantity alone (c) Structure and elements (d) Subject and predicate
Answer: (c) Structure and elements.
2. Simple propositions are of –
(a) Two kinds (b) Three kinds (c) Four kinds (d) Five kinds
Answer: (c) Four kinds.
3. A compound proposition is also called –
(a) Atomic (b) Molecular (c) Universal (d) Particular
Answer: (b) Molecular.
4. In the Boolean interpretation, existential import is carried by –
(a) A and E (b) I and O (c) A and I (d) E and O
Answer: (b) I and O.
5. The symbolic form of “All S is P” in modern logic is –
(a) ∃x (Sx ∧ Px) (b) ∀x (Sx → Px) (c) ∀x (Sx ∧ Px) (d) ∃x (Sx → Px)
Answer: (b) ∀x (Sx → Px).
6. The symbolic form of “Some S is not P” is –
(a) ∀x (Sx → ¬Px) (b) ∃x (Sx ∧ ¬Px) (c) ¬∃x (Sx ∧ Px) (d) ∀x ¬(Sx ∧ Px)
Answer: (b) ∃x (Sx ∧ ¬Px).
7. The founder of modern symbolic logic is –
(a) Aristotle (b) George Boole (c) Mill (d) Bacon
Answer: (b) George Boole.
8. “Socrates is a philosopher” is an example of –
(a) General proposition (b) Class-membership proposition (c) Relational proposition (d) Compound proposition
Answer: (b) Class-membership proposition.
9. “Ram is taller than Hari” is an example of –
(a) Class-membership (b) Relational (c) Subjectless (d) Compound
Answer: (b) Relational.
10. “Tigers exist” is an example of –
(a) Existential proposition (b) Hypothetical (c) Disjunctive (d) Conjunctive
Answer: (a) Existential proposition.
11. The existential fallacy arises when –
(a) Existence is assumed without warrant (b) Quality is mistaken for quantity (c) A is read as I (d) Both (a) and (c)
Answer: (d) Both (a) and (c).
12. Under the Boolean interpretation, the only relation in the Square of Opposition that survives is –
(a) Contrariety (b) Sub-contrariety (c) Sub-alternation (d) Contradiction
Answer: (d) Contradiction.
13. “It is raining” is an example of –
(a) Subjectless proposition (b) Subject-predicate proposition (c) Relational proposition (d) Class-membership proposition
Answer: (a) Subjectless proposition.
14. In modern disjunctive propositions “or” is generally taken in the –
(a) Exclusive sense (b) Inclusive sense (c) Hypothetical sense (d) Conjunctive sense
Answer: (b) Inclusive sense.
15. A bi-conditional proposition has the form –
(a) p and q (b) p or q (c) if p then q (d) p if and only if q
Answer: (d) p if and only if q.
Fill in the Blanks
1. Modern classification of propositions is based on _____ and elements.
Answer: structure.
2. A compound proposition is also called a _____ proposition.
Answer: molecular.
3. In the Boolean reading, only _____ and _____ propositions carry existential import.
Answer: I, O.
4. The Aristotelian view holds that _____ four propositions A, E, I, O have existential import.
Answer: all.
5. The symbol ∀ stands for the _____ quantifier.
Answer: universal.
6. The symbol ∃ stands for the _____ quantifier.
Answer: existential.
7. “All men are mortal” is symbolised as _____.
Answer: ∀x (Mx → Tx).
8. The founder of modern symbolic logic is _____.
Answer: George Boole.
9. The fallacy of inferring “Some S is P” from “All S is P” in modern logic is called the _____.
Answer: existential fallacy.
10. Under the Boolean interpretation, only _____ relations of the Square of Opposition survive.
Answer: contradictory.
True / False
1. In modern logic, “All S is P” implies the existence of S.
Answer: False.
2. In Aristotelian logic, “Some S is P” implies the existence of S.
Answer: True.
3. A relational proposition is a kind of simple proposition.
Answer: True.
4. A compound proposition is a kind of simple proposition.
Answer: False.
5. The Square of Opposition retains all its relations under the Boolean reading.
Answer: False.
6. Modern logic uses quantifiers and connectives to express propositions symbolically.
Answer: True.
7. “Tigers exist” is a class-membership proposition.
Answer: False – it is an existential (general) proposition.
8. The existential fallacy can be committed in Aristotelian logic.
Answer: False – it is recognised only in modern logic.
Very Short Additional Questions
1. Who is regarded as the father of modern symbolic logic?
Answer: George Boole.
2. Mention any two philosophers, after Boole, who developed modern logic.
Answer: Gottlob Frege and Bertrand Russell.
3. Give one example of a subjectless proposition.
Answer: “It is snowing”.
4. Give one example of a hypothetical proposition.
Answer: “If it rains, the ground will be wet”.
5. What is the symbolic form of “No S is P”?
Answer: ∀x (Sx → ¬Px).
6. Name the four kinds of compound propositions.
Answer: Conjunctive, disjunctive, hypothetical and bi-conditional.
7. What does the Boolean reading of A propositions say in plain English?
Answer: “If anything is S, then it is P” – with no commitment to S having members.
8. Why do modern logicians use symbols rather than ordinary words?
Answer: To eliminate ambiguity and to display the logical form of a proposition with mathematical precision.
Glossary
| Proposition | A declarative sentence that is either true or false. |
| Simple proposition | A proposition with a single subject-predicate relation. |
| Compound (molecular) proposition | A proposition built out of two or more simple propositions joined by connectives. |
| General proposition | A proposition that asserts something about a class as a whole. |
| Class-membership proposition | A simple proposition that asserts an individual to be a member of a class. |
| Relational proposition | A simple proposition that asserts a relation between two or more terms. |
| Subjectless proposition | A proposition without an explicit grammatical subject, e.g. “It is raining”. |
| Existential import | The property of a proposition by which its truth presupposes that members of the subject class actually exist. |
| Aristotelian interpretation | The traditional view that all four categorical propositions (A, E, I, O) carry existential import. |
| Boolean interpretation | The modern view that only I and O carry existential import; A and E are read hypothetically. |
| Quantifier | A logical symbol such as ∀ (universal) or ∃ (existential) used to express the quantity of a proposition. |
| Connective | A logical operator such as ∧ (and), ∨ (or), → (if-then) used to join propositions. |
| Square of Opposition | A diagram showing the logical relations – contradiction, contrariety, sub-contrariety and sub-alternation – between A, E, I and O propositions. |
| Existential fallacy | The fallacy of inferring an existential conclusion from purely universal premises in modern logic. |
| Hypothetical proposition | A compound proposition of the form “If p, then q”. |
| Bi-conditional | A compound proposition of the form “p if and only if q”. |
Comparison Table – Traditional vs Modern Treatment of A, E, I, O
| Form | Verbal Reading | Aristotelian (Traditional) Interpretation | Boolean (Modern) Interpretation | Existential Import | Symbolic Form |
| A | All S is P | Categorical universal affirmative; assumes S exists. | Hypothetical: if anything is S, then it is P; no commitment that S exists. | Yes (Aristotle); No (Boole) | ∀x (Sx → Px) |
| E | No S is P | Categorical universal negative; assumes S exists. | Hypothetical: if anything is S, then it is not P; no commitment that S exists. | Yes (Aristotle); No (Boole) | ∀x (Sx → ¬Px) |
| I | Some S is P | Particular affirmative; asserts existence of S that is P. | Existential: at least one thing is both S and P. | Yes (both) | ∃x (Sx ∧ Px) |
| O | Some S is not P | Particular negative; asserts existence of S that is not P. | Existential: at least one thing is S but not P. | Yes (both) | ∃x (Sx ∧ ¬Px) |
Comparison Table – Aristotelian vs Boolean Logic
| Point of Difference | Aristotelian Logic | Boolean (Modern) Logic |
| Basis of classification | Quality and quantity | Structure and elements |
| Existential import of A, E | Yes | No |
| Existential import of I, O | Yes | Yes |
| Reading of universal propositions | Categorical | Hypothetical / conditional |
| Square of Opposition | Fully valid | Only contradictories valid |
| Sub-alternation | Valid (A → I, E → O) | Invalid |
| Existential fallacy | Not recognised | Recognised |
| Symbolic apparatus | Verbal categorical forms | Quantifiers and propositional connectives |
| Coverage | Limited to subject-predicate forms | Includes relational, subjectless, compound and general propositions |
| Handling of empty classes | Problematic | Smooth and systematic |
Key Points to Remember
- Modern classification divides propositions on the basis of structure and elements – simple, compound and general.
- Simple propositions are of four kinds – subjectless, subject-predicate, relational and class-membership.
- Compound (molecular) propositions are conjunctive, disjunctive, hypothetical and bi-conditional.
- General propositions are existential, one-predicate universal and class-relational.
- Aristotelian logic grants existential import to all four forms A, E, I, O.
- Boolean logic grants existential import only to I and O; A and E are read hypothetically.
- Modern symbolic forms – A: ∀x (Sx → Px); E: ∀x (Sx → ¬Px); I: ∃x (Sx ∧ Px); O: ∃x (Sx ∧ ¬Px).
- In the Boolean reading, only the contradictory relation of the Square of Opposition survives.
- The existential fallacy is committed when an existential conclusion is drawn from purely universal premises.
- The shift from Aristotelian to Boolean logic gave logic the rigour required for modern mathematics and science.
More Practice – Long Answer Type Questions
7. Discuss in detail the structure of a compound proposition with examples of each type.
Answer: A compound proposition is a proposition built up out of two or more simple propositions joined by logical connectives. Because, like a molecule, it is composed of atomic constituents (the simple propositions), it is also called a molecular proposition. Modern logic recognises four chief kinds:
- Conjunctive proposition (p ∧ q): Asserts the truth of both component propositions. Example: “Ram is a teacher and Hari is a doctor”. A conjunctive proposition is true only when both conjuncts are true.
- Disjunctive proposition (p ∨ q): Asserts that at least one of the components is true. In modern logic the connective “or” is normally taken in the inclusive sense: p or q (or both). Example: “Either it will rain or it will be cloudy”. A disjunction is false only when both disjuncts are false.
- Hypothetical or conditional proposition (p → q): Asserts that if the antecedent (p) is true, the consequent (q) is also true. Example: “If it rains, the match will be cancelled”. A conditional is false only when its antecedent is true and its consequent false.
- Bi-conditional proposition (p ↔ q): Asserts that p and q have the same truth-value. Example: “A triangle is equilateral if and only if its three sides are equal”. A bi-conditional is true when both components are true or both are false.
Because a compound proposition is treated as a function of the truth-values of its components, modern logicians use truth tables to give a precise definition of each connective. This algebraic treatment of propositions, due originally to Boole, is what enables modern logic to handle complex inferences with mathematical rigour.
8. Bring out the philosophical significance of the shift from Aristotelian to Boolean interpretation.
Answer: The move from Aristotelian to Boolean interpretation is more than a technical adjustment – it carries deep philosophical significance.
(i) Separation of logic from metaphysics: Aristotle’s logic was tied to a metaphysical view in which every general term was thought to refer to an existing kind. Boole separates logical form from existence claims, allowing logic to be studied as a purely formal discipline.
(ii) Treatment of empty classes: Modern science continually deals with empty classes (e.g. “frictionless surfaces”, “absolutely rigid bodies”, “ideal gases”). The Boolean reading allows us to reason about such idealised entities without contradiction.
(iii) Foundation for mathematics: Universal mathematical claims like “Every prime greater than 2 is odd” do not depend on listing the primes; they are conditional in form. The Boolean reading captures this exactly, making logic the foundation of mathematics.
(iv) Recognition of new fallacies: By separating existence from universality, Boole made it possible to identify the existential fallacy and similar mistakes that lay hidden inside the traditional system.
(v) Symbolic precision: The use of quantifiers and connectives gives propositions a precise symbolic form, paving the way for the great achievements of Frege, Russell, Whitehead, Tarski and modern computer science.
Thus the Boolean shift is at once a logical refinement, a methodological liberation and a philosophical re-orientation – in effect, a new birth for the science of inference.
9. Show by examples how the same A proposition behaves differently under the Aristotelian and Boolean readings.
Answer: Consider the proposition “All trespassers will be prosecuted”.
Aristotelian reading: Treats the statement categorically and assumes the existence of trespassers. From it, we may validly infer “Some trespassers will be prosecuted” by sub-alternation. The Square of Opposition is fully active.
Boolean reading: Treats the statement hypothetically: “For every x, if x is a trespasser, then x will be prosecuted” – ∀x (Tx → Px). It is true even if no trespasser exists. From it we cannot infer “Some trespasser will be prosecuted”; that would require an extra premise asserting that trespassers exist.
Now consider “All unicorns are one-horned”. On the Aristotelian reading the proposition would presuppose the existence of unicorns, which is false, so the proposition itself is judged unsuitable. On the Boolean reading the proposition is simply vacuously true: “If anything is a unicorn, then it is one-horned” is true because there are no unicorns to falsify it.
This contrast shows why the Boolean reading is preferred whenever we wish to reason about idealisations, empty classes or merely possible kinds – and why the Aristotelian reading still works smoothly for everyday propositions about clearly existing classes.
10. Examine which inferences of the traditional Square of Opposition remain valid in modern logic and which fail.
Answer: The traditional Square recognises four relations: contradiction, contrariety, sub-contrariety and sub-alternation. Under the Boolean reading the situation is as follows:
- Contradiction (A ↔ O, E ↔ I) – VALID. A and O always have opposite truth-values; the same is true of E and I. This relation does not depend on existential assumptions.
- Contrariety (A ↔ E) – INVALID. If the subject class is empty, both A and E are vacuously true, so they cannot always be incompatible.
- Sub-contrariety (I ↔ O) – INVALID. If the subject class is empty, both I and O are false, contradicting the rule that they cannot both be false.
- Sub-alternation (A → I, E → O) – INVALID. The truth of A does not entail the truth of I when the subject class is empty.
Hence, of the four relations, only the diagonal contradictory relations survive in modern logic. This is what is meant by the “partial collapse” of the Square of Opposition under the Boolean interpretation.
11. Translate the following propositions into modern symbolic form: (a) All birds fly. (b) No fish breathes air. (c) Some politicians are honest. (d) Some students are not lazy.
Answer:
- (a) “All birds fly” – ∀x (Bx → Fx), where Bx = x is a bird, Fx = x flies.
- (b) “No fish breathes air” – ∀x (Fx → ¬Ax), where Fx = x is a fish, Ax = x breathes air.
- (c) “Some politicians are honest” – ∃x (Px ∧ Hx), where Px = x is a politician, Hx = x is honest.
- (d) “Some students are not lazy” – ∃x (Sx ∧ ¬Lx), where Sx = x is a student, Lx = x is lazy.
These translations make the underlying logical form perfectly explicit and enable mechanical assessment of validity.
Quick Revision – Two-Line Notes
| Topic | Two-Line Note |
| Modern classification | Based on structure and elements; gives simple, compound and general propositions. |
| Simple proposition | One subject-predicate relation; four kinds – subjectless, subject-predicate, relational, class-membership. |
| Compound proposition | Built from simple propositions with connectives; called molecular; four kinds – conjunctive, disjunctive, hypothetical, bi-conditional. |
| General proposition | About classes; existential, one-predicate universal, or class-relational. |
| Existential import | A proposition has existential import when its truth presupposes the existence of members of the subject class. |
| Aristotelian view | All A, E, I, O carry existential import; Square of Opposition fully valid. |
| Boolean view | Only I and O carry existential import; A and E hypothetical; only contradictories survive. |
| Existential fallacy | Drawing an existential conclusion from purely universal premises in modern logic. |
| A in symbols | ∀x (Sx → Px) – universal conditional with no existential commitment. |
| I in symbols | ∃x (Sx ∧ Px) – existential conjunction asserting existence of an S that is P. |
This brings us to the end of the Class 11 Logic and Philosophy Chapter 6 – Modern Classification of Propositions question-answer guide for the ASSEB English-Medium syllabus. Revise the comparison tables and the symbolic forms of A, E, I, O before the examination, and practise writing two-mark distinctions between simple and compound propositions, and between Aristotelian and Boolean readings. Stay with HSLC GURU for more chapter-wise solutions.