@article{Liefke_2019, title={A Single-Type Semantics for the PTQ-Fragment}, volume={18}, url={https://ojs.ub.uni-konstanz.de/sub/index.php/sub/article/view/316}, abstractNote={<p>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 <em>one</em> basic type of object (hence, <em>single-type semantics</em>). 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.</p>}, journal={Proceedings of Sinn und Bedeutung}, author={Liefke, Kristina}, year={2019}, month={May}, pages={253–270} }