Abstract

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 yields lessons about the philosophical interpretation and empirical limits of such type-theories.