https://hawkrobe.github.io/linglib/posts/Recent content in Posts on lingliblogHugo -- 0.159.0en-usFri, 27 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-27-psych-verbs/Fri, 27 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-27-psych-verbs/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.https://hawkrobe.github.io/linglib/posts/2026-02-15-tense/Sun, 15 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-15-tense/How Linglib formalizes nine competing theories of temporal reference and compares them against 22 phenomena.https://hawkrobe.github.io/linglib/posts/2026-02-14-kennedy-meets-goodman-stuhlmuller/Sat, 14 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-14-kennedy-meets-goodman-stuhlmuller/Kennedy’s exact numeral semantics and Goodman & Stuhlmuller’s knowledge-sensitivity results look incompatible. Type-shifting resolves it.https://hawkrobe.github.io/linglib/posts/2026-02-10-generalized-quantifiers/Tue, 10 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-10-generalized-quantifiers/Tracing generalized quantifier theory from abstract properties through lexical entries to RSA predictions.https://hawkrobe.github.io/linglib/posts/2026-02-09-hello-world/Mon, 09 Feb 2026 00:00:00 +0000https://hawkrobe.github.io/linglib/posts/2026-02-09-hello-world/Introducing Linglib, a Lean 4 library for cumulative, machine-checkable formal linguistics.