Why do language models treat presupposition triggers as categorical patterns?

This explores why LLMs handle presupposition triggers as fixed surface cues rather than context-sensitive computations — and the corpus's sharpest answer is that the models are reproducing a regularity that doesn't actually exist in human language. Work on projection strength finds that whether a trigger's content 'projects' (survives negation, questions, conditionals) is gradient, not binary: across nineteen English expressions, the same trigger projects more or less depending on whether its content addresses the Question Under Discussion, not on a fixed lexical property of the word Does projection strength vary by context or by word type?. So treating a trigger as a categorical pattern is the error — and it's exactly the error a system optimized for surface co-occurrence would make.

That's the mechanism. LLMs learn statistical associations between trigger words and the inferences that usually accompany them, which captures the common case but misses the part of presupposition that comes from accommodation — updating the shared context to resolve a discourse mismatch, which requires tracking what's under discussion rather than matching a token Do language models miss presuppositions that arise from context?. The same blind spot shows up in entailment: models read presupposition triggers and non-factive verbs as surface signals and fail to compute the opposite semantic effects those embeddings actually have, a failure that persists across prompts and model families Why do embedding contexts confuse LLM entailment predictions?.

This isn't a quirk of one phenomenon — it's a signature of how statistical learning meets structure. Linguistic performance degrades predictably as syntactic depth increases, with top models misidentifying embedded clauses and complex nominals, which suggests they capture surface patterns but not the recursive grammatical rules underneath Why do large language models fail at complex linguistic tasks?. The same shape appears in pragmatics: scalar implicature ('some' implying 'not all') is something humans modulate by context, focus, and social stakes, but the model computes it flatly, with no sensitivity to communicative situation Can language models adapt implicature to conversational context?. Categorical trigger-handling is one instance of a general pattern — the model has learned the average inference and lost the conditions that vary it.

What makes this more than a coverage gap is that the failure persists even when the knowledge is present. On false-presupposition benchmarks, models accommodate assumptions they demonstrably know are wrong — a question's embedded false premise drives more uncritical acceptance than the model's own correct knowledge drives rejection Why do language models accept false assumptions they know are wrong?. That connects to a broader finding that prior training associations override information in the current context, and that prompting alone can't fix it — the bias lives in the representations Why do language models ignore information in their context?. So the categorical treatment isn't ignorance of the facts; it's the strength of the learned trigger→inference reflex outrunning the contextual check that should override it.

The quietly surprising takeaway: 'presupposition triggers are categorical' is a folk-linguistics simplification, and the model has learned the simplification rather than the phenomenon. Fixing it isn't a matter of more presupposition data — it's a matter of giving the model something to track (the Question Under Discussion, the at-issue content) that surface statistics structurally cannot supply.