lingliblog
Development notes from Linglib.
Psych Verbs Need a Mind: Compositional Denotations via Cognitive Situation Models
Psych verbs like frighten and concern differ in opacity, temporal structure, and causation — but nobody has derived these differences from a single compositional denotation grounded in cognitive architecture. We do, and opacity falls out by computation.
Nine Theories of Tense in One Type System
How Linglib formalizes nine competing theories of temporal reference and compares them against 22 phenomena.
Numerals, Knowledge, and Type-Shifting
Kennedy’s exact numeral semantics and Goodman & Stuhlmuller’s knowledge-sensitivity results look incompatible. Type-shifting resolves it.
Generalized Quantifiers as a Case Study in Cross-Module Verification
Tracing generalized quantifier theory from abstract properties through lexical entries to RSA predictions.
A Tour of Linglib
Introducing Linglib, a Lean 4 library for cumulative, machine-checkable formal linguistics.