Formalne analizy języka naturalnego

zaliczony kurs "Logika" (I rok)

Godziny kontaktowe (z udziałem nauczyciela akademickiego)

wykład: 30 godzin

laboratoria: 15 godzin

konsultacje: 15 godzin

Godziny nie kontaktowe (praca własna studenta)

40 godzin samodzielnego przygotowania do zajęć

50 godzin samodzielnego przygotowania do egzaminu

Łącznie 150 godzin

Liczba punktów ECTS: 6

Wykład: egzamin pisemny

Laboratorium: programowanie oraz dyskusja

1. Język logiki jako lingua universalis

2. Logika a język naturalny

3. Logika jako system reprezentacji wiedzy

4. Formalizacja wyrażeń języka naturalnego w ramach języka logiki, operator lambda

5. Syntaktyka a semantyka

6. Gramatyka kategorialna

7. Kwantyfikatory uogólnione

8. Wyrażenia pluralne

9. Znaczenie i prawda

10. Semantyka ekstensjonalna a semantyka intensjonalna

11. Semantyka światów możliwych

12. „Gramatyki” Richarda Montague i inne ujęcia formalne język naturalnego

13. Formalne i nie-formalne (pragmatyczne) ujęcie logiczne języka naturalnego

1. Barbara Stanosz, Adam Nowaczyk. Logiczne podstawy języka. Wrocław 1976.

2. Marek Tokarz, Elementy pragmatyki logicznej, PWN 1993

3. Mark Sainsbury, Logical Forms, Blackwell 1991

4. William Lycan, Logical Form in Natural Language, MIT Press 1984

5. Introduction to Montague Semantics, Reidel 1981.

6. Filozofia Języka, pod. red. B. Stanosz, Aletheia 1993

K_W03: Zna w pogłębionym stopniu metody formalnego opisu języka w kategoriach logicznych, lingwistycznych i obliczeniowych.

K_W08: Ma wiedzę o języku naturalnym jako zjawisku społecznym i kulturowym; rozumie rolę języka jako środka kształtowania przekonań i opinii.

K_U01: Potrafi samodzielnie wyszukiwać, selekcjonować, analizować i integrować informacje (w języku polskim i angielskim) pod kątem ich przydatności dla założonych celów korzystając ze źródeł tradycyjnych i

elektronicznych.

K_U02: Potrafi sformułować problem i hipotezę naukową, dobrać odpowiednie metody i narzędzia badawcze w zakresie wybranej perspektywy badania procesów poznawczych; potrafi rozwiązać problem i sformułować wnioski.

K_U04: Potrafi dokonać pogłębionej analizy logicznej, językowej i semiotycznej wybranych komunikatów i tekstów.

K_U10: Potrafi samodzielnie planować i realizować proces zdobywania wiedzy i umiejętności; wspiera innych w tym procesie.

K_K01: Rozwija w sobie zdolność krytycznej oceny posiadanej i dostępnej wiedzy; ocenia wiarygodność źródeł.

K_K03: Jest przygotowany do popularyzacji kognitywistyki i upowszechniania jej osiągnięć; inicjuje i inspiruje tego typu działania.

.