SoSe25: Constraint-based Semantics 2: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 3: Line 3:
This course presupposes a background in formal semantics compatible with the material discussed in Semantics 1 and similar courses. The first-order based logical framework of the introductory course to semantics will be developed into a higher order logic, which enables us to formulate a theory of quantification and sentence embedding in Lexical Resource Semantics (LRS). In this class we will focus on the possibilities that the LRS architecture offers for generalizing classical generalized quantifier theory to so-called polyadic quantifiers. These are notoriously difficult to handle for more traditional views on semantic composition in natural languages, but we will see that the constraint-based view of semantics can integrate them naturally.
This course presupposes a background in formal semantics compatible with the material discussed in Semantics 1 and similar courses. The first-order based logical framework of the introductory course to semantics will be developed into a higher order logic, which enables us to formulate a theory of quantification and sentence embedding in Lexical Resource Semantics (LRS). In this class we will focus on the possibilities that the LRS architecture offers for generalizing classical generalized quantifier theory to so-called polyadic quantifiers. These are notoriously difficult to handle for more traditional views on semantic composition in natural languages, but we will see that the constraint-based view of semantics can integrate them naturally.


= Course meetings 1 =
 
 
 
= Revision =
 
== Model ==
 
{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:IsaB|Isabelle]].
 
Watch a short podcast what first-order models look like.
 
<embedvideo service="youtube" dimensions="400">http://youtu.be/4a3mXelw7H4</embedvideo>
 
== Atomic formulae ==
 
* Additional wiki pages
** [[Wiki-ch2|Wiki page on predicate logic]] (including definitons, podcasts etc.)
** [[Exercise-ch2|Additional exercises]]
** [[Exercise_First_Order_Models|First order models]]
** [[Exercise_Syntax_of_Predicate_Logic|Syntax of predicate logic]]
** [[Exercise_Semantics_of_Predicate_Logic|Semantics of predicate logic]]
** [[Exercise_Truth_Tables|Truth tables]]
** [[Exercise_Quantifiers|Quantifiers]]
* [[Reading-ch2|Additional reading]]
 
 
== Complex formulae ==
 
== Literary Scenario ==
== Literary Scenario ==


Revision as of 20:59, 6 May 2025

General course description

This course presupposes a background in formal semantics compatible with the material discussed in Semantics 1 and similar courses. The first-order based logical framework of the introductory course to semantics will be developed into a higher order logic, which enables us to formulate a theory of quantification and sentence embedding in Lexical Resource Semantics (LRS). In this class we will focus on the possibilities that the LRS architecture offers for generalizing classical generalized quantifier theory to so-called polyadic quantifiers. These are notoriously difficult to handle for more traditional views on semantic composition in natural languages, but we will see that the constraint-based view of semantics can integrate them naturally.



Revision

Model

{CreatedByStudents1213}} Involved participants: Lisa, Marthe, Elisabeth, Isabelle.

Watch a short podcast what first-order models look like.

Atomic formulae


Complex formulae

Literary Scenario

Herman Melville' Moby Dick; Or, The Whale

Retrieved from "https://www.lexical-resource-semantics.de/wiki/index.php?title=SoSe25:_Constraint-based_Semantics_2&oldid=8207"