"

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.


This image is an argument map titled "Argument Map Example: Remote Work Policy," which visually breaks down a central conclusion into supporting reasons, sub-premises, and objections.
Conclusion (Top Center): A blue box at the top states the central claim: “Remote work should be a permanent option for employees.”
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.


This image, titled "The Venn Diagram Method: Evaluating Categorical Syllogisms," illustrates how to use overlapping circles to determine the validity of a deductive argument.
Logical Argument (Top Center): * Premise 1: All mammals (M) are warm-blooded (W).
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

License

Icon for the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License

How to Think For Yourself Copyright © 2023 by Rebeka Ferreira is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License, except where otherwise noted.