SYNTHESIS NOTE
Language, Text, and Discourse

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.

Synthesis note · 2026-05-18 · sourced from Reasoning Logic Internal Rules

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.

Inquiring lines that use this note as a source 5

This note is a source for these synthesized inquiries. Follow a line forward into its question, or open it to trace back to all of its sources.

Related concepts in this collection 3

This note in its neighbourhood — explore the map, then jump to a related concept in the list below.

Concept map
12 direct connections · 95 in 2-hop network ·medium cluster Open in graph ↗

Click a node to walk · click center to open · click Open in graph to see this note in the full knowledge graph

your link semantically near linked from elsewhere

Related papers in this collection 8

Papers most semantically related to this note, ranked by cosine similarity in the embedding space.

Original note title

the first-order second-order argument distinction may unify the classical internal-external topoi divide with the modern reasonable-fallacious divide