Routledge Encyclopedia of Philosophy Online (2011)

Authors
Reinhard Muskens
University of Amsterdam
Abstract
Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Upload history
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

On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.
Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
General Semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.

View all 25 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Towards a Type-Theoretical Account of Lexical Semantics.Christian Bassac, Bruno Mery & Christian Retoré - 2010 - Journal of Logic, Language and Information 19 (2):229-245.
Davidson's Semantics and Computational Understanding of Language.Damjan Bojadžiev - 1989 - Grazer Philosophische Studien 36 (1):133-139.
Davidson on Convention.Dunja Jutronić-Tihomirović - 1989 - Grazer Philosophische Studien 36 (1):121-132.
Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Syntax and Semantics: An Overview.Arnim von Stechow - 2012 - In Klaus von Heusinger, Claudia Maienborn & Paul Portner (eds.), Semantics: An International Handbook of Natural Language Meaning. De Gruyter Mouton.

Analytics

Added to PP index
2011-03-03

Total views
167 ( #51,747 of 2,329,884 )

Recent downloads (6 months)
19 ( #32,122 of 2,329,884 )

How can I increase my downloads?

Downloads

My notes