Structure of Arguments

Understanding the structure of arguments is fundamental to logical reasoning. An argument, in logic, is a set of statements, one of which (the conclusion) is claimed to follow from the others (the premises). The premises provide support for the conclusion.

Argument Forms

Argument forms are abstract patterns of reasoning. They show how the conclusion is supposed to follow from the premises, regardless of the specific content of the statements. By analyzing argument forms, we can determine if an argument is valid.

Deductive vs. Inductive Arguments

Arguments are broadly classified into deductive and inductive types. In a deductive argument, the premises, if true, guarantee the truth of the conclusion. In an inductive argument, the premises, if true, provide probable support for the conclusion, but not certainty.

Valid and Invalid Deductive Arguments

A deductive argument is valid if and only if it is impossible for all its premises to be true and its conclusion false. If a deductive argument is valid and its premises are true, then it is called a sound argument.

An invalid deductive argument is one where it is possible for the premises to be true and the conclusion false.

Strong and Weak Inductive Arguments

An inductive argument is strong if its premises, if true, make the conclusion highly probable. It is weak if its premises, even if true, do not make the conclusion highly probable.

A strong inductive argument with true premises is called a cogent argument.

Categorical Propositions

Categorical propositions are statements that relate two classes or categories. They are the building blocks of many deductive arguments, particularly those involving syllogisms. These propositions form the basis of the classical square of opposition.

Four Types of Categorical Propositions

There are four standard forms of categorical propositions, each characterized by a specific quantity (universal or particular) and quality (affirmative or negative).

1. Universal Affirmative (A proposition): All S are P.

   Example: All dogs are mammals.

   Here, 'dogs' is the subject class (S) and 'mammals' is the predicate class (P). This proposition asserts that the entire class of dogs is included in the class of mammals.

2. Universal Negative (E proposition): No S are P.

   Example: No cats are dogs.

   This proposition asserts that the class of cats and the class of dogs are entirely separate; there is no overlap between them.

3. Particular Affirmative (I proposition): Some S are P.

   Example: Some students are athletes.

   This proposition asserts that at least one member of the class S is also a member of the class P. It does not say anything about all members of S.

4. Particular Negative (O proposition): Some S are not P.

   Example: Some politicians are not honest.

   This proposition asserts that at least one member of the class S is not a member of the class P.

Terms in Categorical Propositions

Each categorical proposition has a subject term (S) and a predicate term (P).

• The subject term is the term that is distributed in the proposition.
• The predicate term is the term that is undistributed in the proposition.

Distribution of Terms

A term is said to be distributed in a proposition if the proposition makes a claim about every member of the class designated by that term. Otherwise, the term is undistributed.

Proposition Type	Subject Term	Predicate Term
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

Mood and Figure

Mood and Figure are used to classify categorical syllogisms. A categorical syllogism is a deductive argument consisting of three categorical propositions: two premises and a conclusion. Each proposition is one of the four standard forms (A, E, I, O).

Mood

The mood of a syllogism is determined by the types of the three propositions (major premise, minor premise, and conclusion) in the order they appear. For example, a syllogism with an A-type major premise, an E-type minor premise, and an I-type conclusion has the mood AEI.

Figure

The figure of a syllogism is determined by the position of the middle term (the term that appears in both premises but not in the conclusion) in the two premises.

There are four possible figures:

Figure	Major Premise	Minor Premise	Middle Term Position
1	M - P	S - M	Subject-Predicate
2	P - M	S - M	Predicate-Predicate
3	M - P	M - S	Subject-Subject
4	P - M	M - S	Predicate-Subject

Where 'M' is the middle term, 'P' is the major term (predicate of the conclusion), and 'S' is the minor term (subject of the conclusion).

Examples of Syllogisms with Mood and Figure

Consider the following syllogism:

Major Premise: All M are P. (A)

Minor Premise: All S are M. (A)

Conclusion: All S are P. (A)

This syllogism has the mood AAA. The middle term (M) is the subject of the major premise and the predicate of the minor premise. This corresponds to Figure 1. Therefore, the syllogism is AAA-1.

Consider another syllogism:

Major Premise: No P are M. (E)

Minor Premise: All S are M. (A)

Conclusion: No S are P. (E)

This syllogism has the mood EAE. The middle term (M) is the predicate of both premises. This corresponds to Figure 2. Therefore, the syllogism is EAE-2.

Formal and Informal Fallacies

Fallacies are errors in reasoning that make an argument invalid or unsound. They can be formal (errors in the structure or form of the argument) or informal (errors in the content or reasoning process).

Formal Fallacies

Formal fallacies occur when the argument's structure is flawed, regardless of the truth of the premises. These often arise from incorrect application of logical rules, particularly in deductive reasoning.

Common Formal Fallacies

1. Affirming the Consequent: This fallacy occurs in conditional arguments. The form is: If P, then Q. Q. Therefore, P.

   Example: If it is raining, the ground is wet. The ground is wet. Therefore, it is raining. (The ground could be wet for other reasons, like a sprinkler.)

   Symbolically: P → Q, Q ⊢ P

2. Denying the Antecedent: This fallacy also occurs in conditional arguments. The form is: If P, then Q. Not P. Therefore, not Q.

   Example: If you study hard, you will pass the exam. You did not study hard. Therefore, you will not pass the exam. (You might pass through luck or prior knowledge.)

   Symbolically: P → Q, ¬P ⊢ ¬Q

3. Undistributed Middle: This fallacy occurs in categorical syllogisms when the middle term is not distributed in either premise.

   Example: All dogs are animals. All cats are animals. Therefore, all cats are dogs. (The middle term 'animals' is undistributed in both premises.)

4. Illicit Major/Minor: These fallacies occur when a term is distributed in the conclusion but not in its corresponding premise.

   Example (Illicit Major): All A are B. Some C are not A. Therefore, Some C are not B. (Here, 'B' is distributed in the conclusion but not in the major premise.)

Informal Fallacies

Informal fallacies are errors in reasoning that do not stem from the argument's logical structure but rather from its content, language, or context. They are often persuasive but logically unsound.

Fallacies of Relevance

These fallacies occur when the premises are logically irrelevant to the conclusion, even though they may seem psychologically relevant.

1. Argumentum ad Hominem (Personal Attack): Attacking the person making the argument rather than the argument itself.

   Example: "You can't trust Dr. Smith's economic theories; he cheated on his taxes!"

2. Appeal to Force (Argumentum ad Baculum): Threatening the opponent to accept the conclusion.

   Example: "If you don't agree that this policy is the best, you'll lose your job."

3. Appeal to Pity (Argumentum ad Misericordiam): Attempting to evoke pity or sympathy to get a conclusion accepted.

   Example: "Please give me an 'A' in this course. I've had a really tough semester, and my dog is sick."

4. Appeal to Popularity (Argumentum ad Populum / Bandwagon Fallacy): Arguing that a proposition must be true because many people believe it.

   Example: "Millions of people use this brand of toothpaste, so it must be the best."

5. Appeal to Authority (Argumentum ad Verecundiam): Citing an authority who is not an expert on the issue, or when experts disagree.

   Example: "My favorite actor endorses this diet plan, so it must be effective."

6. Straw Man Fallacy: Misrepresenting an opponent's argument to make it easier to attack.

   Example: Person A: "We should invest more in education." Person B: "So you want to bankrupt the country by throwing money at schools with no accountability?"

Fallacies of Weak Induction

These fallacies occur when the premises provide some support for the conclusion, but the support is too weak to justify the conclusion.

1. Hasty Generalization: Drawing a conclusion based on a sample that is too small or unrepresentative.

   Example: "I met two rude people from City X. Therefore, everyone from City X is rude."

2. False Cause (Post Hoc Ergo Propter Hoc): Assuming that because one event followed another, the first event caused the second.

   Example: "I wore my lucky socks, and my team won. My socks must have caused the victory."

3. Slippery Slope: Arguing that a particular action will inevitably lead to a series of undesirable consequences, without sufficient evidence.

   Example: "If we allow same-sex marriage, soon people will want to marry animals."

Fallacies of Ambiguity

These fallacies arise from the unclear or ambiguous use of language.

1. Equivocation: Using a word or phrase with multiple meanings in a way that makes the argument misleading.

   Example: "All trees have bark. Every dog barks. Therefore, every dog is a tree." (The word 'bark' is used with two different meanings.)

2. Amphiboly: Ambiguity arising from the grammatical structure of a sentence.

   Example: "The farmer blew his horn and left his herd of cows in the field." (Did he leave the cows in the field *because* he blew his horn?)

Fallacies of Presumption

These fallacies occur when an argument assumes something that needs to be proven or relies on unwarranted assumptions.

1. Begging the Question (Petitio Principii): The conclusion is assumed in one of the premises.

   Example: "The Bible is the word of God because the Bible says it is, and the word of God is true."

2. Complex Question: Asking a question that presupposes something that has not been proven or accepted.

   Example: "Have you stopped cheating on exams?" (This question assumes the person has cheated in the past.)

Connotation and Denotation

Connotation and denotation are two ways in which words refer to things. Understanding these concepts is important for analyzing the meaning and potential ambiguity in language, especially in arguments.

Denotation

The denotation of a term is its literal, dictionary definition. It refers to the set of things that the term denotes or signifies. It is the objective, explicit meaning of a word.

Example: The denotation of the word 'dog' is a domesticated carnivorous mammal that typically has a long snout, an acute sense of smell, non-retractile claws, and a barking, howling, or whining voice.

Example: The denotation of 'blue' refers to the color that has a wavelength between approximately 450 and 495 nanometers.

Connotation

The connotation of a term refers to the associated feelings, emotions, or ideas that the word evokes, beyond its literal meaning. Connotations can be positive, negative, or neutral, and they can vary among individuals and cultures.

Example: The word 'dog' can have positive connotations (loyalty, companionship, man's best friend) or negative connotations (unpleasantness, aggression, dirtiness).

Example: While 'blue' denotes a color, it can connote sadness ("feeling blue"), calmness, or coldness.

Terms with Similar Denotation but Different Connotation

Consider these words:

• 'Slender', 'skinny', 'thin', 'gaunt' all denote a lack of body fat.
• 'Slender' often has a positive connotation (graceful).
• 'Skinny' can be neutral or slightly negative (unattractively thin).
• 'Thin' is generally neutral.
• 'Gaunt' has a strongly negative connotation (unhealthily thin, haggard).

Similarly, 'home' and 'house' may denote a place of residence, but 'home' carries strong emotional connotations of warmth, security, and belonging that 'house' typically lacks.

Classical Square of Opposition

The classical square of opposition is a diagram that illustrates the logical relationships between the four types of categorical propositions (A, E, I, O) based on their quantity and quality. It assumes that the terms in the propositions refer to existing things (which is a classical interpretation, sometimes challenged in modern logic).

The Diagram

The square has four corners representing the four propositions, with relationships drawn between them.

• Top Left: A (Universal Affirmative - All S are P)
• Top Right: E (Universal Negative - No S are P)
• Bottom Left: I (Particular Affirmative - Some S are P)
• Bottom Right: O (Particular Negative - Some S are not P)

Relationships within the Square

1. Contradictories: Propositions that cannot both be true and cannot both be false. If one is true, the other must be false, and vice versa. These are diagonally opposite.

   • A and O are contradictories. (If 'All S are P' is true, 'Some S are not P' must be false, and vice versa.)
   • E and I are contradictories. (If 'No S are P' is true, 'Some S are P' must be false, and vice versa.)

2. Contraries: Propositions that cannot both be true, but can both be false. If one is true, the other must be false. If one is false, the other may be true or false.

   • A and E are contraries. (If 'All S are P' is true, 'No S are P' must be false. But if 'All S are P' is false, 'No S are P' could still be false, e.g., if 'Some S are P' and 'Some S are not P'.)

3. Subcontraries: Propositions that cannot both be false, but can both be true. If one is false, the other must be true. If one is true, the other may be true or false.

   • I and O are subcontraries. (If 'Some S are P' is false, 'Some S are not P' must be true. But if 'Some S are P' is true, 'Some S are not P' could also be true.)

4. Subalternation: The relationship between a universal proposition (superaltern) and its corresponding particular proposition (subaltern). If the universal is true, the particular must be true. If the particular is false, the universal must be false.

   • A is subaltern to I (A → I).
   • E is subaltern to O (E → O).

   The reverse is not necessarily true: If the particular is true, the universal may be false (e.g., 'Some S are P' being true doesn't mean 'All S are P' is true). If the universal is false, the particular may be false (e.g., 'No S are P' being false doesn't mean 'Some S are not P' is false).

Truth Table Representation

Let's assume A is True:

• A (All S are P) is True.
• E (No S are P) must be False (Contraries).
• I (Some S are P) must be True (Subalternation from A).
• O (Some S are not P) must be False (Contradictories to A).

Let's assume A is False:

• A (All S are P) is False.
• E (No S are P) could be True or False (Contraries).
• I (Some S are P) could be True or False (Subalternation from A doesn't work backwards).
• O (Some S are not P) must be True (Contradictories to A).

Let's assume E is True:

• E (No S are P) is True.
• A (All S are P) must be False (Contraries).
• I (Some S are P) must be False (Contradictories to E).
• O (Some S are not P) must be True (Subalternation from E).

Let's assume I is True:

• I (Some S are P) is True.
• A (All S are P) could be True or False (Subalternation from I doesn't work backwards).
• E (No S are P) must be False (Contradictories to I).
• O (Some S are not P) could be True or False (Subcontraries).

Modern Interpretation (Existential Import)

In modern logic, universal propositions (A and E) do not necessarily imply the existence of their subject class. For example, "All unicorns are magical" does not assert that unicorns exist. If the subject class is empty, the universal proposition is considered vacuously true.

Particular propositions (I and O), however, do assert existence. "Some unicorns are magical" implies that there is at least one unicorn.

This difference affects the relationships:

• Under the modern interpretation, contraries (A and E) can both be false (if the subject class is empty).
• Subcontraries (I and O) remain the same: they cannot both be false.
• Contradictories (A-O, E-I) remain the same: they must have opposite truth values.
• Subalternation (A to I, E to O) also changes. If A is true, I is true. But if A is false (e.g., because the subject is empty), I might still be true (if the subject exists and has the property) or false. The relationship E to O is similar.

For competitive exams, the classical interpretation is typically assumed unless otherwise specified.