Share
VIDEOS 1 TO 50
2014 Whatmough Lecture in Linguistics
2014 Whatmough Lecture in Linguistics
Published: 2014/04/29
Channel: Harvard Department of Linguistics
How Can One Greek Letter Help Us Understand Language? Lambda Calculus
How Can One Greek Letter Help Us Understand Language? Lambda Calculus
Published: 2016/05/04
Channel: The Ling Space
Formal semantics (logic)
Formal semantics (logic)
Published: 2016/01/22
Channel: WikiAudio
Formal Semantics - Programming Languages
Formal Semantics - Programming Languages
Published: 2012/06/03
Channel: Udacity
What does formal semantics mean?
What does formal semantics mean?
Published: 2015/03/29
Channel: What Does That Mean?
Syntax and Semantics Session 1 Part 1
Syntax and Semantics Session 1 Part 1
Published: 2015/08/17
Channel: ThinQ
Semantics
Semantics
Published: 2014/07/21
Channel: Audiopedia
DEVCON1: Formal Semantics for Protocols - Peter McBurney
DEVCON1: Formal Semantics for Protocols - Peter McBurney
Published: 2015/12/15
Channel: Ethereum
[Mathematical Linguistics] Compositional Semantics with Predicate Logic
[Mathematical Linguistics] Compositional Semantics with Predicate Logic
Published: 2016/06/03
Channel: TheTrevTutor
Can We Define "Must"? The Semantics of Modality
Can We Define "Must"? The Semantics of Modality
Published: 2017/06/29
Channel: The Ling Space
Syntax - The Formal Analysis of Sentences (VLC Series #1)
Syntax - The Formal Analysis of Sentences (VLC Series #1)
Published: 2013/11/26
Channel: The Virtual Linguistics Campus
Noam Chomsky - The Structure of Language
Noam Chomsky - The Structure of Language
Published: 2016/12/28
Channel: Chomsky's Philosophy
Julian Schlöder - Towards a Formal Semantics of Pitch Contour (ESSENCE Workshop 2015)
Julian Schlöder - Towards a Formal Semantics of Pitch Contour (ESSENCE Workshop 2015)
Published: 2016/03/14
Channel: ESSENCE network
Propositional Logic: Semantics, Part 1
Propositional Logic: Semantics, Part 1
Published: 2015/06/04
Channel: David Agler
The Conspicuous Case of Conceptual Semantics
The Conspicuous Case of Conceptual Semantics
Published: 2013/09/22
Channel: Grecology
Semantics of Words and Sentences (ENG)
Semantics of Words and Sentences (ENG)
Published: 2017/06/06
Channel: Vidya-mitra
Semantics
Semantics
Published: 2014/05/09
Channel: encyclopediacc
SEM122 - Predicate Logic II
SEM122 - Predicate Logic II
Published: 2013/06/28
Channel: The Virtual Linguistics Campus
How Do We Capture the Truth of Beliefs? Type Theory
How Do We Capture the Truth of Beliefs? Type Theory
Published: 2016/12/15
Channel: The Ling Space
Syntax vs Semantics (Philosophical Distinctions)
Syntax vs Semantics (Philosophical Distinctions)
Published: 2015/09/20
Channel: Carneades.org
Syntax Vs Semantics - Programming Languages
Syntax Vs Semantics - Programming Languages
Published: 2012/06/03
Channel: Udacity
Why Can
Why Can't "Any" Go Just Anywhere? NPIs
Published: 2016/07/14
Channel: The Ling Space
TASE 2010 A Guarded Workflow Language and its Formal Semantics---Part I
TASE 2010 A Guarded Workflow Language and its Formal Semantics---Part I
Published: 2010/08/25
Channel: Jackie Wang
Semantics - Wikipedia
Semantics - Wikipedia
Published: 2013/05/07
Channel: SemantiCure
[Mathematical Linguistics] Basics of Set Theory
[Mathematical Linguistics] Basics of Set Theory
Published: 2016/04/30
Channel: TheTrevTutor
What Are Conceptual Semantics?
What Are Conceptual Semantics?
Published: 2017/09/09
Channel: Funny Question
How Can Sentences Work Like Adjectives? The Syntax and Semantics of Relative Clauses
How Can Sentences Work Like Adjectives? The Syntax and Semantics of Relative Clauses
Published: 2017/06/01
Channel: The Ling Space
What Is Semantics In Psychology?
What Is Semantics In Psychology?
Published: 2017/08/16
Channel: Wade Wade
What is COMPUTATIONAL SEMANTICS? What does COMPUTATIONAL SEMANTICS mean?
What is COMPUTATIONAL SEMANTICS? What does COMPUTATIONAL SEMANTICS mean?
Published: 2017/11/06
Channel: The Audiopedia
Linguistics Formal v Informal Signing
Linguistics Formal v Informal Signing
Published: 2017/04/17
Channel: Lisa Erdmann
A formal semantic analysis of iconic gesture -- A. Lascarides
A formal semantic analysis of iconic gesture -- A. Lascarides
Published: 2013/08/31
Channel: Stanford Linguistics
Logic & Language - intro to logic; constants & variables (Logic 1 of 5)
Logic & Language - intro to logic; constants & variables (Logic 1 of 5)
Published: 2011/08/02
Channel: NativLang
Week 6 Assignment: Main Task: Differentiate Formal Semantics
Week 6 Assignment: Main Task: Differentiate Formal Semantics
Published: 2014/07/28
Channel: Mr. G.F.
Formal semantics Meaning
Formal semantics Meaning
Published: 2015/05/02
Channel: ADictionary
What Makes a Sentence True or False? Predicate Logic
What Makes a Sentence True or False? Predicate Logic
Published: 2015/10/07
Channel: The Ling Space
Meaning A Slim Guide to Semantics Oxford Linguistics
Meaning A Slim Guide to Semantics Oxford Linguistics
Published: 2016/04/20
Channel: Bernard Garcia
What is PRINCIPLE OF COMPOSITIONALITY? What does PRINCIPLE OF COMPOSITIONALITY mean?
What is PRINCIPLE OF COMPOSITIONALITY? What does PRINCIPLE OF COMPOSITIONALITY mean?
Published: 2017/04/27
Channel: The Audiopedia
Semantics & Pragmatics
Semantics & Pragmatics
Published: 2015/11/25
Channel: Mary Caitlin Wight
Linguist 130a - Semantic composition 1: Technical preliminaries
Linguist 130a - Semantic composition 1: Technical preliminaries
Published: 2015/12/08
Channel: Chris Potts
Dr. Adam Lopez: A Formal Model of Semantics-Preserving Translation
Dr. Adam Lopez: A Formal Model of Semantics-Preserving Translation
Published: 2014/10/27
Channel: Ting-Hao Huang
AN INTRODUCTION TO LINGUISTICS Language Grammar and Semantics Pdf
AN INTRODUCTION TO LINGUISTICS Language Grammar and Semantics Pdf
Published: 2015/11/20
Channel: Harriet Harwell
SEM122 - Predicate Logic I
SEM122 - Predicate Logic I
Published: 2013/06/12
Channel: The Virtual Linguistics Campus
Formal Pragmatics Semantics Pragmatics Presupposition and Focus Pdf
Formal Pragmatics Semantics Pragmatics Presupposition and Focus Pdf
Published: 2015/12/21
Channel: Opal King
Linguist 130a - Semantic composition 3: Semantic grammar
Linguist 130a - Semantic composition 3: Semantic grammar
Published: 2015/12/08
Channel: Chris Potts
Logic & Language - quantifiers & bound variables (Logic 3 of 5)
Logic & Language - quantifiers & bound variables (Logic 3 of 5)
Published: 2011/09/02
Channel: NativLang
SEMANTICS-7: Utterances, Sentences & Propositions
SEMANTICS-7: Utterances, Sentences & Propositions
Published: 2017/09/22
Channel: Dr. Nimer Abusalim
Lesson 1.5: Syntax and Semantics
Lesson 1.5: Syntax and Semantics
Published: 2015/06/13
Channel: Fitzle LLC
CS224u - Learning compositional semantics: approaches
CS224u - Learning compositional semantics: approaches
Published: 2015/03/27
Channel: Chris Potts
[Mathematical Linguistics] Introduction and Overview
[Mathematical Linguistics] Introduction and Overview
Published: 2016/04/28
Channel: TheTrevTutor
A Brief History of Soul Searching - Introduction to the Discussion, Bipin Indurkhya
A Brief History of Soul Searching - Introduction to the Discussion, Bipin Indurkhya
Published: 2014/05/25
Channel: Copernicus Center for Interdisciplinary Studies
NEXT
GO TO RESULTS [51 .. 100]

WIKIPEDIA ARTICLE

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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.

Overview[edit]

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]

References[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]

  • Max Cresswell (2006). "Formal semantics". In Michael Devitt, Richard Hanley. The Blackwell guide to the philosophy of language. Wiley-Blackwell. ISBN 978-0-631-23142-4.  An very accessible overview of the main ideas in the field.
  • John I. Saeed (2008). Semantics. Introducing linguistics (3rd ed.). Wiley-Blackwell. ISBN 978-1-4051-5639-4.  Chapter 10, Formal semantics, contains the best chapter-level coverage of the main technical directions
  • Johan van Benthem; Alice Ter Meulen (2010). Handbook of Logic and Language (2nd ed.). Elsevier. ISBN 978-0-444-53726-3.  The most comprehensive reference in the area.
  • Emmon W. Bach (1989). Informal lectures on formal semantics. SUNY Press. ISBN 978-0-88706-772-3.  One of the first textbooks. Accessible to undergraduates.
  • Ronnie Cann (1993). Formal semantics: an introduction. Cambridge University Press. ISBN 978-0-521-37610-5. 
  • Irene Heim; Angelika Kratzer (1998). Semantics in generative grammar. Wiley-Blackwell. ISBN 978-0-631-19713-3. 
  • Gennaro Chierchia; Sally McConnell-Ginet (2000). Meaning and grammar: an introduction to semantics (2nd ed.). MIT Press. ISBN 978-0-262-53164-1. 
  • Sean A. Fulop (2004). On the Logic and Learning of Language. Trafford Publishing. ISBN 978-1-4120-2381-8. 
    • based on: Fulop, Sean A.; Mac Lane, Saunders. On the Logic and Learning of Language (Tech Report / PhD thesis). CiteSeerX 10.1.1.15.1107Freely accessible. 
  • Glyn V. Morrill (1994). Type logical grammar: categorial logic of signs. Springer. ISBN 978-0-7923-3095-0. 
  • Reinhard Muskens Type-logical Semantics to appear in the Routledge Encyclopedia of Philosophy Online.
  • Bob Carpenter (1998). Type-logical semantics. MIT Press. ISBN 978-0-262-53149-8. 
  • Johan van Benthem (1995). Language in action: categories, lambdas, and dynamic logic. MIT Press. ISBN 978-0-262-72024-3. 
  • Barbara H. Partee: Reflections of a formal semanticist as of Feb 2005. Ample historical information. (an extended version of the introductory essay in Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)


Disclaimer

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Powered by YouTube
Wikipedia content is licensed under the GFDL and (CC) license