14.1 Logic in Philosophical Arguments

Types of Reasoning

Deductive and Inductive Reasoning

Deductive reasoning starts from premises and draws a conclusion that must follow if those premises are true. The movement is from general principles to specific instances.

• If the premises are true, the conclusion is guaranteed to be true.
• Classic example: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.
• A deductive argument can have false premises but still be logically valid (more on that below).

Inductive reasoning draws conclusions that are probable but not guaranteed, even if all the premises are true. The movement is typically from specific observations to general principles.

• The premises provide evidence for the conclusion, but they don't lock it in.
• Classic example: Every raven I've observed is black. Therefore, all ravens are probably black.
• The strength of an inductive argument depends on the quantity and quality of the evidence.

The key distinction: deductive arguments aim for certainty; inductive arguments aim for probability.

Syllogisms

A syllogism is a specific form of deductive argument with exactly three parts: a major premise, a minor premise, and a conclusion.

1. Major premise states a general principle: All mammals are warm-blooded.
2. Minor premise connects a specific case to that principle: Dogs are mammals.
3. Conclusion follows from the two premises: Therefore, dogs are warm-blooded.

Syllogisms come in two main varieties:

• Categorical syllogisms use categorical propositions (statements about classes of things). Example: All A are B. All C are A. Therefore, all C are B.
• Hypothetical syllogisms use conditional (if-then) statements and chain them together. Example: If P then Q. If Q then R. Therefore, if P then R. This chaining structure is sometimes called a pure hypothetical syllogism to distinguish it from mixed forms like modus ponens.

Components of Arguments

Premises and Conclusions

Every argument has two basic building blocks:

• A premise is a statement offered as evidence or a reason for accepting the conclusion. Premises can be explicit (directly stated) or implicit (unstated but assumed by the arguer). Implicit premises are sometimes called enthymemes and are worth watching for, since hidden assumptions can be the weakest link in an argument.
• A conclusion is the main claim the argument is trying to establish. Indicator words like therefore, thus, hence, and so often signal that a conclusion is coming.

When analyzing a philosophical argument, your first job is to identify which statements are premises and which is the conclusion. Everything else in evaluation builds on getting that right.

Categorical Propositions

A categorical proposition asserts or denies a relationship between two categories (classes of things). Each one has a subject term (S) and a predicate term (P).

Categorical propositions vary along two dimensions:

• Quality: affirmative (S is P) or negative (S is not P)
• Quantity: universal (about all members) or particular (about some members)

Combining these gives the four standard forms:

These four forms are the building blocks of categorical syllogisms. Knowing the labels (A, E, I, O) matters because you'll use them to check syllogistic validity using rules or Venn diagrams.

Evaluating Arguments

Validity and Soundness

These two terms are easy to confuse, but the distinction is fundamental.

Validity is about the structure of an argument, not whether the premises are actually true. An argument is valid if it's impossible for the premises to be true and the conclusion false at the same time. Validity is an all-or-nothing property: an argument is either valid or it isn't.

Soundness is a higher bar. An argument is sound if and only if it meets both conditions:

1. The argument is valid.
2. All of its premises are actually true.

Here's an example that shows why the distinction matters:

This argument is valid because the conclusion follows from the premises by the structure of a categorical syllogism. But it's unsound because the first premise ("All cats are dogs") is false. The conclusion happens to be true, but not because the argument is sound.

Fallacies and Modal Logic

A fallacy is an error in reasoning that undermines an argument. Fallacies come in two broad categories:

• Formal fallacies are structural errors. The argument's form is invalid regardless of its content. Two common ones:
  • Affirming the consequent: If P then Q. Q. Therefore P. (Invalid because Q could be true for other reasons.)
  • Denying the antecedent: If P then Q. Not P. Therefore not Q. (Invalid because Q might still hold.)
• Informal fallacies are errors in content or reasoning strategy, even when the logical form might look fine. Examples include ad hominem (attacking the person instead of the argument), straw man (misrepresenting someone's position), and appeal to authority (treating someone's status as proof of a claim).

Modal logic extends classical logic by introducing operators for necessity and possibility. Where standard propositional logic only tells you what is the case, modal logic lets you reason about what must be or could be the case.

• The necessity operator (often symbolized $\Box$) means "it is necessarily true that..."
• The possibility operator (often symbolized $\Diamond$) means "it is possibly true that..."
• These operators follow specific rules. For instance, if something is necessarily true, then it's also possibly true ($\Box P \rightarrow \Diamond P$), but not the other way around.

Modal logic is especially useful in philosophy for analyzing arguments about metaphysics, ethics, and epistemology where claims about what's possible or necessary are central to the debate.