A Single-Type Semantics for the PTQ-Fragment


  • Kristina Liefke


In (Montague, 1970), Montague defines a formal theory of linguistic meaning which interprets a small fragment of English through the use of two basic types of objects: individuals and propositions. In this paper, I develop a comparable semantics which only uses one basic type of object (hence, single-type semantics). Such a semantics has been suggested by Partee (2009) as a ‘minimality test’ for the Montagovian type system, which challenges the need for a bi-partitioned ontology. The proposed semantics captures the propositional interpretation of proper names, unifies Montague’s semantic ontology, and yields insight into the apparatus of types in formal semantics.


How to Cite

Liefke, K. (2019). A Single-Type Semantics for the PTQ-Fragment. Proceedings of Sinn Und Bedeutung, 18, 253–270. Retrieved from https://ojs.ub.uni-konstanz.de/sub/index.php/sub/article/view/316