Far from being of mere historical interest, concept
horse-style expressibility problems arise for versions of
type-theoretic semantics in the tradition of Montague. Grappling with expressibility problems yield lessons about the philosophical interpretation and empirical limits of such type-theories.