Pracownia Retoryki Logicznej
Seminarium Pracowni Retoryki Logicznej
Wykład dr Justyny Grudzińskiej pt.: "Semantyka z typami zależnymi: deskrypcje nieokreślone"
godzina 17.30
Abstrakt: W moim wystąpieniu naszkicuję nowy model znaczenia dla kwantyfikacji w języku naturalnym – semantykę z typami zależnymi (Dependent Type Semantics, DTS). Nowoczesne semantyki teoriotypowe (z typami zależnymi) wpisują się w coraz popularniejszy w lingwistycznej semantyce formalnej paradygmat, stosowany z dużym powodzeniem w analizie rozmaitych zjawisk języka naturalnego. Główna nowość DTS polega na połączeniu kwantyfikatorów uogólnionych (Mostowski, 1957; Barwise, Cooper, 1981) z typami zależnymi (Martin-Löf, 1972, 1984). Połączenie to pozwoliło mi na rozwiązanie szeregu trudności związanych z zachowaniem semantycznym deskrypcji nieokreślonych. Deskrypcje nieokreślone – wyrażenia tradycyjnie analizowane przy użyciu kwantyfikacji egzystencjalnej, takie jak jakiś człowiek czy niektórzy ludzie – pod względem własności zasięgowych i anaforycznych zachowują się często w sposób zaskakujący, przypominający bardziej funkcjonowanie wyrażeń referencyjnych (np. Jan, Maria) niż tzw. standardowych wyrażeń kwantyfikatorowych (np. każdy mężczyzna, większość kobiet). W pierwszej części omówię główne elementy DTS (z naciskiem na intuicje): (i) analizę wielosortową (wielotypową), (ii) typy zależne, (iii) kwantyfikację uogólnioną rozszerzoną na typy zależne. W drugiej części zilustruję działanie DTS na wybranych przykładach związanych z nietypowym quasi-referencyjnym zachowaniem deskrypcji nieokreślonych.
Druga, niezależna, część wykładu odbędzie się w piątek, 11 XII, o godz. 10.
Osoba publikująca: Katarzyna Kijania-Placek