Powered by
Share this page on
Article provided by Wikipedia

In "linguistics, formal semantics seeks to understand "linguistic meaning by constructing precise mathematical models of the principles that speakers use to define relations between expressions in a "natural language and the world that supports meaningful discourse.[1] The mathematical tools used are the confluence of "formal logic and "formal language theory, especially "typed lambda calculi.



Linguists rarely employed formal semantics until "Richard Montague showed how English (or any natural language) could be treated like a formal language.[2] His contribution to linguistic semantics, which is now known as "Montague grammar, was the basis for further developments, like the "categorial grammar of "Bar-Hillel and colleagues, and the more recent "type-logical semantics (or grammar) based on "Lambek calculus.[3]

Another line of inquiry, using "linear logic, is "Glue semantics, which is based on the idea of "interpretation as deduction", closely related to the "parsing as deduction" paradigm of categorial grammar.[4]

"Cognitive semantics emerged and developed as a reaction against formal semantics, but there have been recently several attempts at reconciling both positions.[5]

See also[edit]


  1. ^ Mark Aronoff; Janie Rees-Miller (2003). The handbook of linguistics. Wiley-Blackwell. "ISBN "978-1-4051-0252-0. , chapter 15: An Introduction to Formal semantics.
  2. ^ For a very readable and succinct overview of how formal semantics found its way into linguistics, please refer to The formal approach to meaning: Formal semantics and its recent developments by "Barbara Abbott. In: Journal of Foreign Languages (Shanghai), 119:1 (January 1999), 2–20.
  3. ^ Michael Moortgat (1988). Categorial investigations: logical and linguistic aspects of the Lambek calculus. Walter de Gruyter. "ISBN "978-90-6765-387-9. Retrieved 5 April 2011. 
  4. ^ Harry Bunt (2008). Computing Meaning. 3. Springer. p. 458. "ISBN "978-1-4020-5957-5. 
  5. ^ Hamm, Fritz; Kamp, Hans; Lambalgen, Michiel van (2006-09-01). "There is no opposition between Formal and Cognitive Semantics". Theoretical Linguistics. 32 (1): 1–40. "doi:10.1515/tl.2006.001. "ISSN 1613-4060. 

Further reading[edit]

) ) WikipediaAudio is not affiliated with Wikipedia or the WikiMedia Foundation.