|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 ﬁrst 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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Christian Bassac, Bruno Mery & Christian Retoré (2010). Towards a Type-Theoretical Account of Lexical Semantics. Journal of Logic, Language and Information 19 (2):229-245.
Damjan Bojadžiev (1989). Davidson's Semantics and Computational Understanding of Language. Grazer Philosophische Studien 36:133-139.
Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi (2010). Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica 94 (3):381 - 401.
Dunja Jutronić-Tihomirović (1989). Davidson on Convention. Grazer Philosophische Studien 36:121-132.
Zhaohui Luo (2012). Formal Semantics in Modern Type Theories with Coercive Subtyping. Linguistics and Philosophy 35 (6):491-513.
Urszula Wybraniec-Skardowska (2007). Meaning and Interpretation. I. Studia Logica 85 (1):105 - 132.
Shyam Ranganathan (2007). Of Language, Translation Theory and a Third Way in Semantics. Essays in Philosophy 8 (1).
Nissim Francez & Roy Dyckhoff (2010). Proof-Theoretic Semantics for a Natural Language Fragment. Linguistics and Philosophy 33 (6):447-477.
Chris Fox & Shalom Lappin, An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.
Added to index2011-03-03
Total downloads40 ( #33,679 of 722,742 )
Recent downloads (6 months)1 ( #60,247 of 722,742 )
How can I increase my downloads?