Chapter 3. Thinking About Our Thinking: An Introduction to Logic
§6 Visualizing Logic
Argument Maps and Venn Diagrams
While identifying indicator words and standardizing arguments are essential skills, complex reasoning often requires visual tools to reveal the “scaffold” of the logic. Visualization allows us to see how multiple premises interact and how categories of objects relate to one another.

Support (Green Boxes): Two primary branches of green boxes represent reasons supporting the conclusion.
Reason 1 (Left): An independent reason box states, “Increases employee productivity and focus.” Beside it is a dashed green box representing an Implicit Claim: “Modern tools effectively replicate in-person collaboration.”
Reason 2 (Right): A large box labeled “Reason 2 (Co-premises)” contains two internal sub-premises that work together: “Sub-premise A: Eliminates daily commute time” and “Sub-premise B: Allows for flexible scheduling.” Together, these support the claim that remote work “Improves work-life balance.”
Objections (Red Boxes): Red boxes at the bottom indicate counterarguments linked by downward-pointing red arrows.
Objection to Reason 1: “Can lead to feelings of isolation and reduced team cohesion.”
Objection to Reason 2: “May blur boundaries between professional and personal life.”
Visual Structure: Green upward arrows connect reasons to the conclusion, while red downward arrows connect objections to the reasons they challenge.
6.1 Argument Mapping
Argument Mapping (or visualization) uses boxes and arrows to represent the inferential structure of a passage. This method moves beyond linear text to show how reasons and objections support or undermine a central conclusion.
-
The Conclusion (Top Box): The main claim the argument aims to support or oppose.
-
Reasons (Green Boxes): Claims that aim to raise confidence in a conclusion.
-
Co-premises: If two claims only support a conclusion when taken together, they are placed in a single reason box. If one were false, the support provided by the other would collapse.
-
Independent Reasons: If a reason supports the conclusion regardless of whether other reasons are true, it is mapped as a separate branch.
-
-
Objections (Red Boxes): Claims that aim to lower confidence in a conclusion or a specific premise.
-
Implicit Claims (Dashed Borders): Unstated assumptions that an author relies on but does not explicitly write down. Mapping these reveals the hidden gaps in an argument’s logic.

Premise 2: No reptiles (R) are warm-blooded (W).
Conclusion: No reptiles (R) are mammals (M).
The Diagram: Three overlapping circles are labeled Mammals (M), Reptiles (R), and Warm-blooded (W).
To represent Premise 1 (“All M are W”), the entire section of the Mammals circle that does not overlap with Warm-blooded is shaded dark grey, indicating that no mammals exist outside the warm-blooded category.
To represent Premise 2 (“No R are W”), the area where the Reptiles and Warm-blooded circles overlap is also shaded dark grey, indicating that nothing can be both a reptile and warm-blooded.
Evaluation: A large green checkmark and the word “VALID” are displayed.
Analysis (Bottom): The text explains that because the premises required shading the entire overlap between “Reptiles” and “Mammals,” the conclusion (“No reptiles are mammals”) is visually proven to be true.
6.2 Categorical Reasoning and Venn Diagrams
Dating back to Aristotle, Categorical Logic (or syllogistic) focuses on how we put things into classes. Many everyday statements are categorical: “All trout are fish” or “Some numbers are even”.
-
Categorical Statements: These statements either include or exclude members from categories. For example, “No dogs are reptiles” excludes every member of the class dogs from the class reptiles.
-
The Venn Diagram Method: Developed by John Venn, this is the standard method for evaluating the validity of categorical syllogisms.
-
Representing Classes: Each category is represented by a circle.
-
Overlapping Circles: To show the relationship between categories, the circles are drawn to overlap.
-
Validity: By shading areas (to represent “no members”) or placing marks (to represent “some members”), we can visually demonstrate whether an argument’s conclusion must follow from its premises.
-
Media Attributions
- Argument Mapping
- Venn Diagram