From Argument Structure to Formal Logic

In earlier chapters, we explored the difference between deductive and inductive arguments (see Chapter 2). Deductive reasoning offers certainty when used correctly. If the premises are true and the structure is valid, the conclusion cannot be false. This chapter deepens that foundation by introducing two major forms of deductive logic: categorical logic, which deals with categories and group relationships, and truth-functional logic, which deals with the logical connection between propositions using connectors like "and," "or," and "if...then." (Moore & Parker, 2024)

Mastering deductive logic allows us to better evaluate political claims, social policies, legal arguments, and scientific hypotheses. It can help us distinguish between good reasoning and persuasive nonsense.

Understanding Deductive Arguments

A deductive argument is one in which the conclusion follows necessarily from the premises. In other words, if the premises are true, then the conclusion must be true. The strength of a deductive argument depends not on probability, but on logical form.

Premise 1: All humans are mortal.
Premise 2: Angela Davis is human.
Conclusion: Therefore, Angela Davis is mortal.

This argument is valid because of its form—a kind of blueprint or logical skeleton. The truth of the conclusion is guaranteed by the truth of the premises and the structure of the reasoning.

Validity and Soundness

Two essential qualities in deductive reasoning are validity and soundness:

Example:

Premise 1: All cats are mammals.
Premise 2: Garfield is a cat.
Conclusion: Therefore, Garfield is a mammal.

This is both valid (correct form) and sound (true premises).

Now let’s explore two forms of deductive logic in depth.

Categorical Logic: Understanding Class Relationships

Categorical logic focuses on statements that categorize things into groups. It uses four standard forms of statements, often called categorical propositions:

S and P stand for subject and predicate categories. For example:

All activists are citizens (All S are P)
Some politicians are not honest (Some S are not P)

These sentence types help us clarify what a statement is asserting and how different groups relate to each other. In discussions about race, immigration, or gender, identifying the structure of a categorical statement helps clarify whether it's overgeneralizing or well-supported.

Venn Diagrams and Categorical Syllogisms

To analyze categorical syllogisms—arguments made up of three categorical propositions—we can use Venn diagrams. Each circle represents a group. Overlapping areas show shared members.

Premise 1: All environmentalists are activists.
Premise 2: All activists are citizens.
Conclusion: Therefore, all environmentalists are citizens.

A Venn diagram would show one circle inside another, helping visualize the logical relationship. This is a valid syllogism.