Abstract
A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are (maximal consistent) sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding an axiom to the effect that each world is the set of propositions which are true there. Senses are compositionally assigned to linguistic expressions by a categorial grammar with only two rule schemas, based on the implicative fragment of intuitionistic linear propositional logic, and a fully explicit grammar fragment is provided that illustrates the compositional assignment of sense to a variety of constructions, including dummy-subject constructions, infinitive complements, predicative adjectives and nominals, raising to subject, ‘tough-movement’, and quantifier scope ambiguities. Notably, the grammar and the derivations that it licenses never make reference to either worlds or to the extensions of senses.
Similar content being viewed by others
Notes
More precisely, Montague’s intensions assigned extensions not to worlds but rather to world-time pairs; but for the sake of expository simplicity, we ignore temporality altogether.
Being a procedure need not preclude being a structured meaning; Tichý’s constructions have been characterized as ‘structured procedures’ by (Duži et al. (2010), p. 3).
For details of one such implementation, see Pollard (2008).
Note that we cannot simply identify worlds with ultrafilters, because ultrafilters have type \(\mathrm {p}\rightarrow \mathrm {t}\) and so, in any Henkin model of the theory, the interpretation of \(\mathrm {w}\) would be required to be a subset of the interpretation of \(\mathrm {p}\rightarrow \mathrm {t}\). Pollard (2008) got around this problem by working in a higher order logic—the boolean version of Lambek and Scott’s (1986) categorical logic—with a topos interpretation, so that subtypes corresponding to the kernel of a definable predicate (e.g. being an ultrafilter) are always available. In that version of the theory, the morphism that interprets \(@_{\mathrm {p}}\) is (the categorical generalization of) the Stone-dual mapping on a (pre-)boolean algebra (Pollard 2011).
They are mutually inconsistent because in MS not every ultrafilter corresponds to a world, only the principal ones do; see Sect. 4.7.2.
In fact, worlds are absent from Thomason’s system, though he tentatively introduces them toward the end of his exposition.
Predicate adjectives like easy also permit dummy-subject constructions (it is easy for Mary to please John), and ‘tough-movement’ constructions (John is easy for Mary to please), as discussed below.
Here I depart from both Montague and Frege in taking the determination of sense, but not of reference, to be compositional. This obviates the need to stipulate that, in certain contexts, the reference of an expression is its customary sense, or to apply a Montague-style \(\hat{}\)-operator to the arguments of a predicate.
There are also nonlogical axioms, corresponding to lexical entries.
The idea that phenos are string terms rather than strings is prefigured by Montague’s use of the ‘syntactic variables’ \(\mathbf {he}_n\), which are replaced by ‘real’ strings when the rules of quantification T14—T16 are applied. In Oehrle’s, and LCG’s, pheno-terms, the ‘syntactic variables’ are eliminated in favor of authentic variables of the higher-order pheno theory.
The double occurrences of \(A\) and \(B\) in the lexical entries \(\mathbf {is}\) and \(\mathbf {to}\) correspond to the fact that auxiliary verbs are ‘raising-to-subject’ predicates, i.e. the unrealized subject of the complement is identified with the subject of the auxiliary.
This technique of simulating transformational movement by applying a string function to the null string is due to Muskens (2007).
The movement operation in question was called ‘tough-movement’ because it was occasioned only in sentences containing certain predicates, such as tough, easy, a bitch, etc.
Here \(\mathsf {b}\) is the sense component in the lexical entry for the name Justin Bieber, and \(\mathsf {equals}: \mathrm {e}\rightarrow \mathrm {e}\rightarrow \mathrm {p}\) is a constant axiomatized as follows:
$$\begin{aligned} \vdash \forall _{wxy}. (x\ \mathsf {equals}\ y)@w \leftrightarrow (x = y) \end{aligned}$$This constant is introduced in the lexical entry for the predicativization sign that combines with an \(\mathrm {NP}\) to form a predicate:
$$\begin{aligned} \vdash \lambda _s.s; \mathrm {NP}\multimap \mathrm {Prd}; \lambda _{xy}.y\ \mathsf {equals}\ x. \end{aligned}$$Frege’s (1892) problem is the analogous puzzle for definite descriptions (the Evening Star and the Morning Star).
References
Bolzano, B. (1972). Theory of science. Translation of Wissenschaftslehre, 1837, edited and translated by R. George. Berkeley and Los Angeles, CA: University of California Press.
Bolzano, B. (1973). Theory of science. Translation of Wissenschaftslehre, 1837, edited by J. Berg and translated by B. Terrell. Dordrecht: D. Reidel.
Carnap, R. (1947). Meaning and necessity. Chicago: University of Chicago Press.
Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5, 56–68.
Cresswell, M. (1975). Hyperintensional logic. Studia Logica, 34, 25–38.
Cresswell, M. (1985). Structured meanings. Cambridge, MA: MIT Press.
Curry, H. (1961). Some logical aspects of grammatical structure. In R. Jakobson (Ed.), Structure of language in its mathematicalaspects (pp. 56–68). Providence, RI: American Mathematical Society.
Dowty, D. (1979). Word meaning and Montague grammar. Dordrecht: D. Reidel.
Dowty, D., Wall, R., & Peters, S. (1981). Introduction to Montague semantics. Dordrecht: D. Reidel.
Duži, M., Jespersen, B., & Materna, A. (2010). Procedural semantics for hyperintensional logic. Berlin: Springer.
Frege, G. (1980). On sense and reference. Translation of Über Sinn und Bedeutung, 1892. In P. Geach & M. Black (Eds.), Translations from the philosophical writings of Gottlob Frege (3rd ed.). Oxford: Blackwell.
Gallin, D. (1975). Intensional and higher order modal logic. Amsterdam: North-Holland.
Heim, I. (1982). The semantics of definite and indefinite noun phrases. Ph.D. Dissertation, University of Massachusetts, Amherst, MA.
Heim, I., & Kratzer, A. (1998). Semantics in generative grammar. Oxford: Blackwell.
Henkin, L. (1950). Completeness in the theory of types. Journal of Symbolic Logic, 15, 81–91.
Kamp, H. (1981). A theory of truth and semantic representation. In J. Groenendijk, T. Janssen, & M. Stokhof (Eds.), Formal methods in the study of language (Part 1, pp. 277–322). Amsterdam: Mathematical Centre.
Kaplan, D. (1978). On the logic of demonstratives. Journal of Philosophical Logic, 8, 81–98.
Karttunen, L. (1976). Discourse referents. In J. McCawley (Ed.), Notes from the linguistic underground. Syntax and semantics (Vol. 7, pp. 363–385). New York: Academic Press.
Karttunen, L. (1977). Syntax and semantics of questions. Linguistics and Philosophy, 1, 3–44.
King, J. (1996). Structured propositions and sentence structure. Journal of Philosophical Logic, 25, 495–521.
King, J. (2007). The nature and structure of content. Oxford: Oxford University Press.
Kripke, S. (1963). Semantic analysis of modal logic I: Normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9, 67–96.
Kripke, S. (1980). Naming and necessity. Oxford: Blackwell.
Lambek, J. (1958). The mathematics of sentence structure. American Mathematical Monthly, 65, 154–170.
Lambek, J., & Scott, P. (1986). Introduction to higher-order categorical logic. Cambridge: Cambridge University Press.
Lewis, C. I. (1923). Facts, systems, and the unity of the world. Journal of Philosophy, 20, 141–151.
Lewis, D. (1970). General semantics. Synthese, 22, 18–67.
Martin, S. (2013). The dynamics of sense and implicature. Ph.D. Dissertation, Ohio State University, Columbus, OH.
Mihaliček, V. (2012). Serbo-Croatian word order: A logical approach. Ph.D. Dissertation, Ohio State University, Columbus, OH.
Montague, R. (1974). Pragmatics and intensional logic. In R. Thomason (Ed.), Formal philosophy: Selected papers of Richard Montague (pp. 119–146). New Haven, CT: Yale University Press.
Montague, R. (1974). The proper treatment of quantification in ordinary English. In R. Thomason (Ed.), Formal philosophy: Selected papers of Richard Montague (pp. 247–270). New Haven, CT: Yale University Press.
Moschovakis, Y. (2006). A logical calculus of meaning and synonymy. Linguistics and Philosophy, 29, 27–89.
Muskens, R. (2005). Sense and the computation of reference. Linguistics and Philosophy, 28(4), 473–504.
Muskens, R. (2007). Separating syntax and combinatorics in categorial grammar. Research on Language and Computation, 5, 267–285.
Oehrle, R. (1994). Term-labelled categorial type systems. Linguistics and Philosophy, 17, 633–678.
Plummer, A., & Pollard, C. (2012). Agnostic possible worlds semantics. Logical aspects of computational linguistics. In Seventh international conference (LACL 2012), Nantes, July 2012. Springer Lecture Notes in Computer Science (Vol. 7351, pp. 201–212). Berlin: Springer.
Pollard, C. (2008). Hyperintensions. Journal of Logic and Computation, 18(2), 257–282.
Pollard, C. (2011). Are (linguists’) propositions (topos) propositions? Logical aspects of computational Linguistics 6. Berlin: Springer.
Smith, E. (2010). Correlational comparison in English. Ph.D. Dissertation, Ohio State University, Columbus, OH.
Soames, S. (1987). Direct reference, propositional attitudes, and semantic content. Philosophical Topics, 15, 47–87.
Stalnaker, R. (1976). Propositions. In A. F. MacKay & D. D. Merril (Eds.), Issues in the philosophy of language (pp. 79–91). New Haven, CT: Yale University Press.
Stalnaker, R. (1984). Inquiry. Cambridge, MA: MIT Press/Bradford Books.
Stalnaker, R. (2002). Common ground. Linguistics and Philosophy, 25, 701–721.
Steedman, M. (2000). The syntactic process. Cambridge, MA: MIT Press/Bradford Books.
Thomason, R. (1976). Some extensions of Montague grammar. In B. Partee (Ed.), Montague grammar (pp. 75–111). New York: Academic Press.
Thomason, R. (1980). A model theory for propositional attitudes. Linguistics and Philosophy, 4, 47–70.
Tichý, P. (2004). Collected papers in logic and philosophy (V. Svoboda, B. Jespersen, & C. Cheyne, Eds.). Filosofia/Dunedin: Czech Academy of Sciences/University of Otago Press.
von Stechow, A. (1989). Focusing and backgrounding operators. Arbeitspapier No. 6, Fachgruppe Sprachwissenschaft, Universität Konstanz.
Wittgenstein, L. (1961). Tractatus Logico-Philosophicus. Translation by D. F. Pears & B. F. McGuinness of Logisch-Philosophische Abhandlung in Annalen der Naturphilosophie, 1921. London and Henley: Routledge & Kegan Paul.
Acknowledgments
AHS is the result of joint work with Andy Plummer. The dynamic extension of the theory arises from a collaboration with Scott Martin. For corrections and helpful comments on an earlier version, thanks are due to Manjuan Duan, Murat Yasavul, and an anonymous referee.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pollard, C. Agnostic hyperintensional semantics. Synthese 192, 535–562 (2015). https://doi.org/10.1007/s11229-013-0373-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-013-0373-2