How do first-order and second-order arguments differ in formal structure?
This explores what actually separates a first-order argument from a second-order one at the level of formal structure — and the corpus answers through Wagemans's Periodic Table of argument schemes, where that distinction is one of the organizing axes.
This explores what actually separates a first-order from a second-order argument in their formal makeup, rather than just their persuasive effect. The cleanest answer in the collection comes from Wagemans's Periodic Table of Arguments, which treats this not as a fuzzy rhetorical label but as a coordinate you can read off the structure of a claim. In that framework, a first-order argument reasons from the *content* of a proposition — the subject and predicate themselves, the internal substance of what's being claimed. A second-order argument instead reasons from something *about* the proposition: who asserted it, on what authority, by what source. The difference isn't what's being argued so much as where the argumentative force is anchored — inside the claim, or outside it Can three axes organize all possible argument schemes?.
What makes this more than a tidy taxonomy is Wagemans's further proposal that this single distinction quietly unifies two older divides that looked unrelated. The classical tradition split arguments into *internal* and *external* topoi (reasoning from the thing itself vs. reasoning from circumstances around it); the modern tradition split them into *reasonable* vs. *fallacious*. Wagemans argues the first-order/second-order axis maps onto both — which implies that whether an argument is sound may be partly a function of its formal-linguistic shape, not only of dialectical context. That's a strong claim: it says fallacy has structure you can specify Do first-order and second-order arguments unify classical and modern divisions?.
The reason this matters beyond philosophy is that second-order arguments depend on something language models systematically lose. A second-order argument leans on the *standing* of the source — reputation, track record, expertise — and an LLM processes only text, not the social world where that standing is built and verified. So a model can reproduce the surface form of an appeal to authority while being unable to tell a genuine expert claim from a widely-repeated assumption. The first-order/second-order boundary, in other words, isn't just a structural curiosity; it predicts exactly where machine reasoning about arguments breaks down Can language models distinguish expert arguments from common assumptions?.
There's a catch worth knowing, though. Pinning an argument to a single formal coordinate assumes you can cleanly reconstruct its structure in the first place — and the corpus is candid that you often can't. The same passage of text supports multiple valid reconstructions with no ground truth between them; this is an inherent feature of the task, not annotation sloppiness. So 'first-order vs. second-order' is a sharp distinction in principle that can blur in practice, because the act of formalizing the argument is itself underdetermined Why do different people reconstruct the same argument differently?. That tension — a closed, combinatorial scheme space sitting on top of an open, ambiguous interpretive act — is the live edge of this corner of the collection.
Sources 4 notes
Wagemans's Periodic Table maps all argument schemes onto coordinates across three axes: subject-predicate structure, first-order versus second-order reasoning, and proposition-type pairings. This combinatorial approach replaces Walton's open-ended list with a closed, systematic space enabling computational analysis and discovery of unstudied scheme types.
Wagemans proposes that the first-order vs second-order argument distinction reflects both the classical internal-external topoi divide and the modern reasonable-fallacious distinction. This suggests fallacy theory operates through specifiable formal-linguistic structure rather than purely dialectical criteria.
LLMs lose the social context that gives expert claims their force—reputation, track record, and standing—because they process only text, not the social world where expertise is built and evaluated.
Multiple valid argument reconstructions exist for the same text with no ground truth. This is not annotation error but an inherent feature of the task—different formalization schemas are each internally valid.