Share
VIDEOS 1 TO 50
2014 Whatmough Lecture in Linguistics
2014 Whatmough Lecture in Linguistics
Published: 2014/04/29
Channel: Harvard Department of Linguistics
Semantics
Semantics
Published: 2014/07/21
Channel: Audiopedia
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 - Programming Languages
Formal Semantics - Programming Languages
Published: 2012/06/03
Channel: Udacity
Formal semantics (logic)
Formal semantics (logic)
Published: 2016/01/22
Channel: WikiAudio
Can We Define "Must"? The Semantics of Modality
Can We Define "Must"? The Semantics of Modality
Published: 2017/06/29
Channel: The Ling Space
Propositional Logic: Semantics, Part 1
Propositional Logic: Semantics, Part 1
Published: 2015/06/04
Channel: David Agler
[Mathematical Linguistics] Compositional Semantics with Pronouns
[Mathematical Linguistics] Compositional Semantics with Pronouns
Published: 2016/06/05
Channel: TheTrevTutor
[Mathematical Linguistics] Introduction and Overview
[Mathematical Linguistics] Introduction and Overview
Published: 2016/04/28
Channel: TheTrevTutor
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
Linguistic Micro-Lectures: Thematic Relations
Linguistic Micro-Lectures: Thematic Relations
Published: 2014/11/25
Channel: The Virtual Linguistics Campus
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
SEM122 - Predicate Logic I
SEM122 - Predicate Logic I
Published: 2013/06/12
Channel: The Virtual Linguistics Campus
Syntax vs Semantics (Philosophical Distinctions)
Syntax vs Semantics (Philosophical Distinctions)
Published: 2015/09/20
Channel: Carneades.org
Why Can
Why Can't "Any" Go Just Anywhere? NPIs
Published: 2016/07/14
Channel: The Ling Space
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
Noam Chomsky - The Structure of Language
Noam Chomsky - The Structure of Language
Published: 2016/12/28
Channel: Chomsky's Philosophy
What does formal semantics mean?
What does formal semantics mean?
Published: 2015/03/29
Channel: What Does That Mean?
[Mathematical Linguistics] Compositional Semantics with Predicate Logic
[Mathematical Linguistics] Compositional Semantics with Predicate Logic
Published: 2016/06/03
Channel: TheTrevTutor
Syntax and Semantics Session 1 Part 1
Syntax and Semantics Session 1 Part 1
Published: 2015/08/17
Channel: ThinQ
Syntax Vs Semantics - Programming Languages
Syntax Vs Semantics - Programming Languages
Published: 2012/06/03
Channel: Udacity
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
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
SEM122 - Predicate Logic II
SEM122 - Predicate Logic II
Published: 2013/06/28
Channel: The Virtual Linguistics Campus
How Complex is Natural Language? The Chomsky Hierarchy
How Complex is Natural Language? The Chomsky Hierarchy
Published: 2016/03/02
Channel: The Ling Space
Semantics - Wikipedia
Semantics - Wikipedia
Published: 2013/05/07
Channel: SemantiCure
DEVCON1: Formal Semantics for Protocols - Peter McBurney
DEVCON1: Formal Semantics for Protocols - Peter McBurney
Published: 2015/12/15
Channel: Ethereum
Formal semantics Meaning
Formal semantics Meaning
Published: 2015/05/02
Channel: ADictionary
Guglielmo Cinque’s mini-course on Formal Syntax and Universal Grammar. Lecture 1
Guglielmo Cinque’s mini-course on Formal Syntax and Universal Grammar. Lecture 1
Published: 2017/04/25
Channel: Школа лингвистики НИУ ВШЭ
Week 6 Assignment: Main Task: Differentiate Formal Semantics
Week 6 Assignment: Main Task: Differentiate Formal Semantics
Published: 2014/07/28
Channel: Mr. G.F.
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
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
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
Chlipala9 (operational semantics)
Chlipala9 (operational semantics)
Published: 2015/06/24
Channel: formal methods
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
[Syntax] Theta Roles and Theta Grids
[Syntax] Theta Roles and Theta Grids
Published: 2017/05/05
Channel: TheTrevTutor
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
What is CONSTRUCTION GRAMMAR? What does CONSTRUCTION GRAMMAR mean? CONSTRUCTION GRAMMAR meaning
What is CONSTRUCTION GRAMMAR? What does CONSTRUCTION GRAMMAR mean? CONSTRUCTION GRAMMAR meaning
Published: 2017/05/28
Channel: The Audiopedia
SEM103 - Unit Advice (Historical Semantics)
SEM103 - Unit Advice (Historical Semantics)
Published: 2015/10/26
Channel: The Virtual Linguistics Campus
Books of Syntax Lexical Semantics and Event Structure Oxford Studies in Theoretical Linguistics
Books of Syntax Lexical Semantics and Event Structure Oxford Studies in Theoretical Linguistics
Published: 2015/10/21
Channel: Debra Elliott
Meaning A Slim Guide to Semantics Oxford Linguistics
Meaning A Slim Guide to Semantics Oxford Linguistics
Published: 2016/04/20
Channel: Bernard Garcia
PSY101 - Psycholinguistics - An Overview
PSY101 - Psycholinguistics - An Overview
Published: 2012/02/24
Channel: The Virtual Linguistics Campus
Semantics An Introduction to Meaning in Language Cambridge Textbooks in Linguistics Pdf
Semantics An Introduction to Meaning in Language Cambridge Textbooks in Linguistics Pdf
Published: 2015/12/21
Channel: Kathleen Jenkins
SEM101 - Word Semantics
SEM101 - Word Semantics
Published: 2012/09/14
Channel: The Virtual Linguistics Campus
SYN101 - Syntactic Categories in PDE
SYN101 - Syntactic Categories in PDE
Published: 2013/11/25
Channel: The Virtual Linguistics Campus
Current Formal Aspects of Spanish Syntax and Semantics
Current Formal Aspects of Spanish Syntax and Semantics
Published: 2016/03/31
Channel: Gordon Sullivan
Formal grammar
Formal grammar
Published: 2015/10/25
Channel: Audiopedia
[Mathematical Linguistics] Compositional Semantics with Propositional Logic
[Mathematical Linguistics] Compositional Semantics with Propositional Logic
Published: 2016/05/24
Channel: TheTrevTutor
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.

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. ISSN 1613-4060. doi:10.1515/tl.2006.001. 

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