7.1 Structure of Arguments, Deductive vs. Inductive Reasoning, Syllogisms

Structure of Arguments, Deductive vs. Inductive Reasoning, Syllogisms

Quick Answer: An argument consists of premises structured to support a conclusion. Deductive reasoning aims for absolute certainty (validity and soundness), whereas inductive reasoning establishes probabilistic likelihood (strength and cogency). A standard categorical syllogism contains exactly three terms—Major, Minor, and Middle—and must adhere to strict distribution rules to avoid formal fallacies.

---

1. The Anatomy of an Argument

In formal logic, an argument is not an emotional dispute or disagreement; it is a structured group of statements (propositions) in which one proposition (the conclusion) is claimed to follow from, or be supported by, the other propositions (the premises).

               ┌───────────────────────────────┐
               │    Premise 1 (Evidence)       │
               │    Premise 2 (Evidence)       │
               └──────────────┬────────────────┘
                              │ (Inference / Support)
                              ▼
               ┌───────────────────────────────┐
               │    Conclusion (Claim)         │
               └───────────────────────────────┘

Propositions vs. Sentences

• A sentence is a grammatical unit of language (declarative, interrogative, imperative, or exclamatory).
• A proposition (or statement) is the underlying cognitive assertion or truth-claim expressed by a declarative sentence that is either true or false.
• Questions ("Is logic difficult?"), commands ("Study the syllogisms!"), and exclamations ("What a brilliant proof!") do not possess truth-values and cannot function as premises or conclusions.

Premise and Conclusion Indicators

Identifying the inferential structure of an argument requires recognizing indicator words that signal the logical direction of thought:

[!NOTE] Indicator words are helpful signposts, but some arguments contain implicit conclusions or unstated premises (enthymemes) where inferential flow must be deduced from context.

2. Deductive vs. Inductive Reasoning

The fundamental distinction between deductive and inductive logic lies in the strength of the inferential claim made regarding the relationship between premises and conclusion.

Deductive Arguments (Certainty and Structure)

• Nature: A deductive argument claims that if all premises are true, it is strictly impossible for the conclusion to be false. The inferential movement is truth-preserving (frequently moving from general principles to specific cases).
• Validity: A structural property of the argument form. An argument is valid if the truth of its premises logically forces the truth of its conclusion. Validity is entirely independent of whether the premises are factually true in the empirical world.
• Soundness: A deductive argument is sound if and only if: $\text{Soundness} = \text{Valid Logical Form} + \text{Factually True Premises}$
• Monotonicity: Deductive reasoning is monotonic. If an argument is valid, adding new premises to the argument can never invalidate it.

Inductive Arguments (Probability and Expansion)

• Nature: An inductive argument claims that the premises provide probable, but not conclusive, grounds for the truth of the conclusion. It is ampliative: the conclusion asserts content that goes beyond the premises (frequently moving from specific observations to universal generalizations).
• Strength: An inductive argument is strong if the premises make the conclusion highly probable; it is weak if the probability is low.
• Cogency: An inductive argument is cogent if and only if: $\text{Cogency} = \text{Inductively Strong Form} + \text{Factually True Premises}$
• Non-Monotonicity: Inductive reasoning is defeasible/non-monotonic. Discovering a single new observation can strengthen, weaken, or completely overturn the argument.

Comparative Summary Matrix

---

3. Analogical Reasoning and Evaluation Criteria

An argument from analogy is an inductive inference where two or more entities are shown to share several observed attributes, leading to the conclusion that they also share an unobserved attribute.

$\text{Entity } A \text{ has attributes } x, y, z, w$ $\text{Entity } B \text{ has attributes } x, y, z$ $\therefore \text{Entity } B \text{ probably has attribute } w$

Irving Copi's Six Criteria for Evaluating Analogical Arguments

1. Number of Entities: The greater the number of instances or entities in the premises exhibiting the shared attributes, the stronger the inference.
2. Variety of Instances: If the entities in the premises come from widely diverse backgrounds but consistently share the property, the analogy is more robust.
3. Number of Shared Respects: The greater the number of relevant similarities established between the entities, the higher the probability.
4. Relevance of Similarities: Similarities must be causally or conceptually relevant to the inferred conclusion. A single highly relevant similarity carries more weight than ten superficial ones.
5. Number and Importance of Disanalogies: Differences (disanalogies) between the compared entities weaken the argument if they bear upon the inferred conclusion.
6. Modesty of the Conclusion: A modest, cautious conclusion relative to the premises strengthens the argument; a bold, sweeping conclusion weakens it.

---

4. Standard-Form Categorical Syllogisms

A categorical syllogism is a deductive argument consisting of exactly two premises and one conclusion, constructed entirely from categorical propositions and containing exactly three distinct terms, each occurring in exactly two constituent propositions.

Anatomy of Syllogistic Terms

• Major Term ($P$): The predicate term of the conclusion. The premise containing this term is the Major Premise (conventionally written first).
• Minor Term ($S$): The subject term of the conclusion. The premise containing this term is the Minor Premise (written second).
• Middle Term ($M$): The term that appears in both premises but never appears in the conclusion. Its function is to mediate the logical relationship between $S$ and $P$.

\text{Major Premise:} & \quad \text{All } M \text{ are } P \\ \text{Minor Premise:} & \quad \text{All } S \text{ are } M \\ \hline \text{Conclusion:} & \quad \text{All } S \text{ are } P \end{aligned}$$ ### Six Fundamental Rules of Syllogistic Validity To be formally valid, a categorical syllogism must satisfy all six standard rules. Violating any rule commits a corresponding formal fallacy: 1. **Rule of Three Terms:** Must contain exactly three distinct terms used unambiguously throughout. *(Violation: Fallacy of Four Terms / Quaternio Terminorum)*. 2. **Distribution of the Middle Term:** The middle term ($M$) must be distributed in at least one premise. *(Violation: Fallacy of Undistributed Middle)*. 3. **Distribution in the Conclusion:** If a term is distributed in the conclusion, it **must** be distributed in the premise in which it occurs. *(Violation: Fallacy of Illicit Major if $P$ is illicitly distributed; Fallacy of Illicit Minor if $S$ is illicitly distributed)*. 4. **Rule of Negative Premises:** No syllogism is valid if both premises are negative. At least one premise must be affirmative. *(Violation: Fallacy of Exclusive Premises)*. 5. **Rule of a Negative Premise:** If either premise is negative, the conclusion must be negative; conversely, an affirmative conclusion requires two affirmative premises. *(Violation: Fallacy of Drawing an Affirmative Conclusion from a Negative Premise)*. 6. **Existential Rule (Modern/Boolean Logic):** If both premises are universal ($A$ or $E$), the conclusion cannot be particular ($I$ or $O$). *(Violation: Existential Fallacy)*.