World Library  
Flag as Inappropriate
Email this Article

Formal semantics (linguistics)

Article Id: WHEBN0031395652
Reproduction Date:

Title: Formal semantics (linguistics)  
Author: World Heritage Encyclopedia
Language: English
Subject: Semantics, Philosophy of language, Allan M. Ramsay, Lexicology, Language and Communication Technologies
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Formal semantics (linguistics)

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 which 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]

In 1992 Margaret King argued that few of the proposals from formal semanticists have been tested for empirical relevance, unlike those in computational linguistics.[5]

Cognitive semantics emerged and developed as a reaction against formal semantics.

See also

References

  1. ^ Mark Aronoff; Janie Rees-Miller (2003). The handbook of linguistics. Wiley-Blackwell.  , 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.  
  4. ^ Harry Bunt (2008). Computing Meaning 3. Springer. p. 458.  
  5. ^ Margaret King (1992). "Epilogue: on the relation between computational linguistics and formal semantics". In Michael Rosner; Roderick Johnson. Computational Linguistics and Formal Semantics. Cambridge University Press. p. 283.  

Further reading


This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.