Do first-order and second-order arguments unify classical and modern divisions?
Does the formal distinction between first-order and second-order arguments map onto both the classical internal-external topoi divide and the modern reasonable-fallacious distinction? If so, it would reveal a single structural axis underlying two separate critical traditions.
This is the conjectural payoff of the Periodic Table that goes beyond classification. Wagemans suggests that the first-order vs second-order distinction — whether the propositional content of the standpoint is "Y is true of X" or whether the entire standpoint "X" is treated as a subject whose acceptability is at issue — may reflect two long-standing dichotomies that argumentation theory has carried separately.
The first is the classical rhetoric / dialectic distinction between internal topoi and external topoi (topoi, loci). Internal topoi derive from the matter of the argument itself; external topoi appeal to authority, witness, tradition, or other sources outside the propositional content. The second is the modern argumentation-theory distinction between reasonable and fallacious arguments — where fallacies are characterized as arguments that systematically substitute appeal for inference.
If both dichotomies map onto the first-order / second-order axis, then a structural feature derivable from formal-linguistic analysis is doing the work that two distinct critical traditions have been doing in parallel. The internal / external divide and the reasonable / fallacious divide would be the same divide, recognized under different framings, and the Periodic Table would expose this with explicit machinery.
The status is conjectural — the paper presents it as a hypothesis worth investigating rather than a proved equivalence. But the move is consequential. If correct, it argues that fallacy theory has been doing structural work disguised as normative work, and that what makes an argument "fallacious" might be specifiable in formal-linguistic terms rather than (only) in dialectical-procedural ones. This is open territory for both philosophical argumentation theory and computational argument analysis.
Related concepts in this collection
-
Can three axes organize all possible argument schemes?
Can a small set of orthogonal distinctions—subject vs. predicate, order level, and proposition types—capture the full space of valid argument structures? This matters because it could replace ad-hoc scheme lists with a systematic framework.
same paper, the structural axis this conjecture builds on
-
Can argument schemes be organized by formal principles instead of lists?
Argumentation theory has accumulated 60+ overlapping scheme lists with no principled boundaries. Can a structured classification based on formal ordering principles replace this ad-hoc approach and provide a coherent target space for analysis?
same paper, the parent framework
-
Can formal argumentation make AI decisions truly contestable?
Explores whether structuring AI decisions as formal argument graphs (with explicit attacks and defenses) enables users to meaningfully challenge and navigate reasoning in ways unstructured LLM outputs cannot.
adjacent: argumentation structure for explainability
Click a node to walk · click center to open · click Open in graph to see this note in the full knowledge graph
Original note title
the first-order second-order argument distinction may unify the classical internal-external topoi divide with the modern reasonable-fallacious divide