Lingwistyka II 3800-KOG-L2
Celem zajęć jest zaznajomienie uczestników z najważniejszymi teoriami i pojęciami z zakresu semantyki formalnej – dziedziny badań lingwistycznych, która zajmuje się znaczeniem wyrażeń języka naturalnego i która wykorzystuje metody formalne do budowy swoich teorii. Uczestnik zajęć będzie mógł w ich ramach zapoznać się stanem bieżącym semantyki formalnej i przełomowymi etapami w jej rozwoju.
Przedmiotem wykładu będą następujące zagadnienia:
1. Semantyka warunków prawdziwości, zasada kompozycyjności.
2. Logika predykatów a interpretacja języka naturalnego: kłopoty (kwantyfikatory, koordynacje, modyfikacja czasownikowa, wyrażenia pluralne, pytania, anafora).
3. Logika Typów (LT) i Kombinatoryczne Gramatyki Kategorialne (CCG).
4. System CCG + LT dla fragmentu języka naturalnego: kwantyfikatory i koordynacje.
5. Semantyka Zdarzeń: modyfikacja czasownikowa i wyrażenia pluralne.
6. Semantyki Inkwizytywne i pytania
6. Semantyki Dynamiczne i anafora .
Rodzaj przedmiotu
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Nabyta wiedza:
Student będzie posiadał wiedzę o stanie bieżącym semantyki formalnej oraz przełomowych etapach w jej rozwoju [K_W05, K_W11, K_W16, K_W22, K_W28, K_W40, K_W46]
Nabyte umiejętności:
Student opanuje podstawowe pojęcia i narzędzia analizy semantycznej, zyska świadomość problemów semantycznych oraz sposobów ich rozwiązywania [K_U05, K_U10, K_U17, K_U21, K_U47]
Nabyte kompetencje społeczne:
Student zyska umiejętności jasnego komunikowania trudnych i abstrakcyjnych zagadnień oraz umiejętności śledzenia toku myślenia innych osób [K_K02, K_K07, K_K08, K_K09, K_K10, K_K11]
Kryteria oceniania
a) Metody weryfikacji efektów uczenia się: wykład - egzamin pisemny składający się z zadań sprawdzających rozumienie wprowadzonych pojęć i technik związanych z semantyką formalną.
b) Składowe oceny końcowej i ich waga: wykład - egzamin 100%
c) W wypadku egzaminu – warunki przystąpienia do egzaminu: zaliczenie ćwiczeń.
d) W wypadku egzaminu – czy przystąpienie do egzaminu w terminie zerowym powoduje utratę prawa do przystąpienia do egzaminy w głównej sesji egzaminacyjnej: tak
e) Semestralna liczba dopuszczalnych nieobecności zajęciach oraz w wypadkach, których to dotyczy, sposoby ich zaliczania: 2
f) Skala ocen: 5! – 95% pkt., 5 (bdb.) – od 90%, 4+ (db. plus) – od 82%, 4 (db.) – od 75%, 3+ (dst. plus) - od 68%, 3 – (dst.) od 60%, 2 – (ndst.) mniej niż 60%
g) Warunki dopuszczenia do poprawy: poprawa jest możliwa w wypadku oceny pozytywnej.
Literatura
1. Bittner, M. (2014), Temporality: Universals and Variation, Wiley-Blackwell.
2. Carpenter, B. (1997), Type-logical Semantics, MIT Press.
3. Gamut, L.T.F. (1991), Logic, Language, and Meaning (Volume 1 & 2), University of Chicago Press.
4. Winter, Y. (2016), Elements of Formal Semantics, Edinburgh University Press.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: