Article A5 ended with a question: when an argument has many premises, nested sub-arguments, and several layers of objection and reply, can a linear sequence — however precise — really make the structure visible? Consider the following passage from a philosophical debate:
"The state is justified in restricting individual liberty only when doing so prevents harm to others. Restrictions on hate speech prevent harm to vulnerable groups. Therefore the state is justified in restricting hate speech. But critics argue that any such restriction sets a precedent for censoring political speech. Yet surely harm to persons outweighs abstract worries about precedent, especially since restrictions can be narrowly drawn. And in any case, the precedent objection proves too much — by the same logic we could not restrict any speech at all."
This passage contains: a main argument for the conclusion (the state may restrict hate speech), an objection to it (the precedent problem), a rebuttal of that objection (harm outweighs precedent; restrictions can be narrow), and a counter-rebuttal (the precedent objection proves too much). It also contains a hidden premise: that narrowly drawn restrictions can actually be achieved in practice.
Now try to represent this in the P1/P2/∴C format from Article A1. You can do it — but only by making a choice about which argument is the "main" one and treating everything else as a footnote. The linear format flattens what is actually a layered, branching structure. The objection and the rebuttals do not appear as premises of the main argument; they are responses to challenges that exist at a different level.
This is what argument maps are built to do. An argument map is a diagram that represents claims as boxes and logical relationships as labelled connectors. Unlike a list of premises, a map makes the tree-like structure of complex reasoning immediately visible: you can see at a glance which parts of an argument are well-supported, which face unmet objections, and which depend on contested hidden premises.
Argument mapping as a formal practice was developed in the twentieth century — most notably by Stephen Toulmin in his The Uses of Argument (1958) and later by researchers in argumentation theory — but the underlying insight goes back to the oldest question in logic: how do we make the structure of reasoning visible enough to evaluate it honestly?
The elements of an argument map
An argument map has three kinds of element. Claim nodes are boxes, each containing a single proposition. Connectors are the labelled links between nodes — either a support connector (showing that one claim provides a reason for another) or an objection connector (showing that one claim challenges another). Levels indicate depth: the main conclusion is at the top, with supporting and challenging claims below it, and responses to those claims at a further level down.
The key convention is this: an arrow pointing upward from a claim means it supports the claim it points toward; an arrow with an objection label points to the claim it challenges. Rebuttals are claims that object to objections — they restore support to claims that were being attacked.
Map 1: A simple three-premise argument
We begin with an argument you know well from Article A3 — the Socrates argument — to show how the map format represents the same structure as standard form, and what it adds even for simple cases.
Map 2: Adding an objection and rebuttal
The same map becomes more informative the moment an objection is introduced. This is where argument mapping genuinely outperforms both the standard-form list and the propositional notation: objections do not naturally fit into a P1/P2/∴C format, because they challenge rather than support the conclusion. In a map, they have their own node type and connector, and rebuttals to them are placed at the next level down.
Here is a simple moral argument — inspired by the free will discussion — with one objection and a rebuttal:
In Article A3, Singer's argument about our obligations to the global poor was evaluated for validity and soundness, and we found that everything turned on Premise 2 — the normative principle that we ought to prevent bad things we can prevent at no comparable moral cost. That evaluation was precise, but it was also flat: it could not easily show how the various objections connect to specific parts of the argument, or how Singer and his critics have responded to each other across forty years of published debate.
The map below makes that structure visible. It is a genuinely complex philosophical argument — four levels deep in places — and seeing it in this format reveals something that the standard-form evaluation in A3 could only hint at: the debate is almost entirely focused on P2, the normative premise, and the disagreements about P2 split into several distinct lines of challenge that require separate responses.
Building an argument map from scratch follows from the same analytical skills you have been developing across this package. The procedure below extends the six-step evaluation method from A3 and the spotter's method from A4 — adding two final steps specific to mapping.
When to use each representation
You now have three ways to represent an argument: standard form (A1), propositional notation (A5), and the argument map (A6). They are complementary tools, each with a different purpose and a different domain of advantage.
P1, P2 … ∴ C
P → Q, P ∴ Q
Visual diagram
In practice, the three representations work together. You begin with standard form (A1) to identify the argument's elements. You formalise key conditionals in propositional notation (A5) when you need to test validity rigorously. You build the full map when you are working with a complex debate that has multiple layers of objection and rebuttal — which describes most serious philosophical inquiry. The A1–A6 toolkit is cumulative: each tool presupposes the ones before it.
Argument maps beyond philosophy
Argument mapping is not a tool used only by philosophers. It has found significant applications in three areas where the stakes of reasoning are high.
In law, complex litigation involves layers of claims, counter-claims, objections, and precedents that mirror exactly the structure of philosophical debate. Legal scholars have used argument mapping to represent the structure of judicial decisions, to train students to see how precedent either supports or distinguishes a current case, and to plan complex briefs. The "pro and con" structure of adversarial legal argument is a natural match for the support/objection framework of argument maps.
In policy analysis, argument mapping has been used to make the structure of complex policy debates visible to both analysts and the public. Climate policy, healthcare reform, immigration — these debates involve technical evidence, value disagreements, empirical claims, and normative principles all tangled together. A well-constructed map separates these threads: empirical claims (which science can address) are placed in different nodes from value claims (which require philosophical analysis), making it clear what kind of evidence or argument would actually move the debate.
In education and critical thinking research, studies consistently show that students who learn argument mapping produce more rigorous arguments, identify more objections, and are less vulnerable to fallacious reasoning. The act of having to make the structure of an argument visible — having to choose whether each claim is a support or an objection, having to place it at the right level — forces analytical precision that linear note-taking does not.
Package A complete — the full analytical toolkit
What Package B demands from this toolkit
Package B is Epistemology — the philosophical study of knowledge. Its first question is one of the oldest and most difficult in philosophy: What is knowledge? Specifically, it asks whether the traditional answer — that knowledge is justified true belief — is correct.
You will use everything from Package A in engaging with this question. The epistemological debate has precisely the multi-level structure that argument maps are built to handle: the justified true belief (JTB) account of knowledge is proposed; Gettier offers a devastating two-page objection with specific counter-examples; philosophers respond with various revisions to the JTB account; those revisions attract new objections; and the debate is still ongoing sixty years later.
You will need to identify the premises of the JTB account (A1), test whether Gettier's counter-examples are valid objections (A3), recognise when proposed responses to Gettier beg the question (A4), and map the full structure of a debate that has generated more philosophical literature per page of original text than perhaps any other argument in the twentieth century (A6).
The analytical toolkit is ready. The questions begin now.