SoSe25: Constraint-based Semantics 2: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
 
(8 intermediate revisions by the same user not shown)
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 =
 
You can access all videos from (Constaint-based) Semantics 1 here: [https://www.english-linguistics.de/videos-semantics-1/ https://www.english-linguistics.de/videos-semantics-1/]
 
or follow the links below that also get you to some exercises.
 
== First order predicate logic ==
 
* [[Wiki-ch2|Wiki page on predicate logic]] (including definitons, videos 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]]
 
== HPSG syntax ==
 
* [[Video-ch3|Some videos]]
* [[Exercise-ch3|Additional exercises]]
 
== Lexical Resource Semantics ==
 
* [[Videos-ch5|Videos]]
* [[Exercise-ch5|Additional exercises]]
 
== Literary Scenario ==
== Literary Scenario ==


Latest revision as of 21:11, 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

You can access all videos from (Constaint-based) Semantics 1 here: https://www.english-linguistics.de/videos-semantics-1/

or follow the links below that also get you to some exercises.

First order predicate logic

HPSG syntax

Lexical Resource Semantics

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=8218"