How do first-order and second-order arguments differ in formal structure?

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.