Evidence for Single-Type Semantics—An Alternative To $e$/$t$-Based Dual-Type Semantics

Journal of Semantics (forthcoming)

Markus Werning
Ruhr-Universität Bochum
Partee (2009) conjectures a formal semantics for natural language (hereafter, single-type semantics) that interprets CPs and referential DPs in the same semantic type: properties of situations. Partee’s semantics contrasts with Montague semantics and its recent contenders (dubbed dual- or multi-type semantics) which assume distinct basic types for the semantic values of referential DPs (i.e. individuals) and CPs (i.e. propositions, truth-values, or sets of assignment functions). Partee’s conjecture is motivated by results in event semantics and discourse representation theory, which support the indirect uni-directional shiftability between propositions and individuals. However, none of these results supports the identity of the types for individuals and propositions. Our paper improves upon the strength and scope of Partee’s support for single-type semantics. In particular, it identifies a number of new arguments for the adoption of single-type semantics which display this semantics’ greater unificatory and explanatory power. These arguments are based on the ability of single-type semantics to provide a uniform account of the distributional similarities between DPs and CPs, to explain the truth-evaluability of DP fragments, and to capture semantic inclusion relations between CPs and referential DPs. To further support single-type semantics, we defend it against a number of objections.
Keywords formal semantics  DPs and CPs  compositionality  single-type semantics
Categories (categorize this paper)
DOI 10.1093/jos/ffy009
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 49,040
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
On the Plurality of Worlds.David Lewis - 1986 - Revue Philosophique de la France Et de l'Etranger 178 (3):388-390.
On the Plurality of Worlds.Allen Stairs - 1988 - Philosophy and Phenomenological Research 49 (2):333-352.

View all 70 references / Add more references

Citations of this work BETA

Rich Situated Attitudes.Kristina Liefke & Mark Bowker - 2017 - Lecture Notes in Computer Science 10247:45-61.

Add more citations

Similar books and articles

Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Symmetric and Dual Paraconsistent Logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
On Bishops and Donkeys.Nicky Kroll - 2008 - Natural Language Semantics 16 (4):359-372.
Unified Semantics of Singular Terms.John Justice - 2007 - Philosophical Quarterly 57 (228):363–373.
A Type Reduction From Proof-Conditional to Dynamic Semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.


Added to PP index

Total views
55 ( #165,539 of 2,311,025 )

Recent downloads (6 months)
14 ( #50,068 of 2,311,025 )

How can I increase my downloads?


My notes

Sign in to use this feature