SoSe25: Constraint-based Semantics 2: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
 
(7 intermediate revisions by the same user not shown)
Line 8: Line 8:
= Revision =
= Revision =


== Model ==
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/]


{CreatedByStudents1213}} Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], [[User:IsaB|Isabelle]].
or follow the links below that also get you to some exercises.


Watch a short podcast what first-order models look like.
== First order predicate logic ==


<embedvideo service="youtube" dimensions="400">http://youtu.be/4a3mXelw7H4</embedvideo>
* [[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]]


== Atomic formulae ==
== HPSG syntax ==


* Additional wiki pages
* [[Video-ch3|Some videos]]
** [[Wiki-ch2|Wiki page on predicate logic]] (including definitons, podcasts etc.)
* [[Exercise-ch3|Additional exercises]]
** [[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]]


== Lexical Resource Semantics ==


== Complex formulae ==
* [[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"