Logika kognitywna 500-KS1-2LOK
Profil studiów: ogólnoakademicki.
Forma studiów: stacjonarne.
Rodzaj przedmiotu: obowiązkowy.
Dziedzina i dyscyplina nauki: nauki humanistyczne, filozofia.
Rok studiów/semestr: rok II, semestr I.
Wymagania wstępne: wiedza oraz umiejętności z kursów "Semiotyka logiczna" oraz "Logika formalna".
Tryb prowadzenia zajęć i przeprowadzania zaliczeń: stacjonarny.
Liczba godzin zajęć dydaktycznych z podziałem na formy prowadzenia zajęć: wykład (15 godz.), ćwiczenia (15 godz.).
Metody dydaktyczne: wykład w formie prezentacji multimedialnej, wspólne rozwiązywanie zadań, indywidualne konsultacje z prowadzącym.
Punkty ECTS: 4.
Bilans nakładu pracy studenta: a) uczestnictwo w wykładzie – 30 godz., b) uczestnictwo w ćwiczeniach – 30 godz., c) przygotowanie do wykładu – 10 godz., d) przygotowanie do ćwiczeń – 10 godz, c) przygotowanie do zaliczenia wykładu – 10 godz., d) przygotowanie do zaliczenia ćwiczeń – 10 godz., e) udział w konsultacjach z prowadzącymi – 15 godz. Razem: 115 godz, co odpowiada 4 pkt. ECTS.
Wskaźniki ilościowe: nakład pracy studenta związany z zajęciami wymagającymi bezpośredniego udziału nauczyciela – 75 godz., co
odpowiada 2,5 pkt. ECTS; nakład pracy studenta, który nie wymaga bezpośredniego udziału nauczyciela – 40 godz., co odpowiada 1,5 pkt. ECTS.
Rodzaj przedmiotu
Tryb prowadzenia przedmiotu
Koordynatorzy przedmiotu
Efekty kształcenia
WIEDZA, absolwent zna i rozumie:
– podstawowe metody i narzędzia logiki wykorzystywane w kognitywistce i komunikacji – KP6_WG5;
– logiczną strukturę wiedzy oraz procesów poznawczych i komunikacyjnych – KP6_WG6.
UMIEJĘTNOŚCI, absolwent potrafi:
– posługiwać się narzędziami logiki matematycznej w analizie językowych systemów reprezentacji wiedzy i przekonań – KP6_UW8.
KOMPETENCJE SPOŁECZNE, absolwent jest gotów do:
– przyjmowania postawy krytycznej w dyskusjach naukowych i światopoglądowych oraz uznawania znaczenia wiedzy i racjonalnej
argumentacji – KP6_KK1;
– bycia otwartym na nowe tendencje we współczesnej nauce i w społeczeństwie oraz zasięgania opinii ekspertów w rozwiązywaniu
problemów poznawczych i praktycznych – KP6_KK2;
– podnoszenia kwalifikacji zawodowych oraz kompetencji osobistych, w tym etycznych – KP6_KR1.
Kryteria oceniania
Ćwiczenia - zaliczenie na ocenę (szczegółowe kryteria zawiera sylabus B).
Wykład - zaliczenie na ocenę (ocena wynika z aktywność na wykładzie i na ćwiczeniach).
Literatura
Literatura uzupełniająca do części ćwiczeniowej i wykładowej:
Makinson David, Od logiki klasycznej do niemonotonicznej, UMK, 2008.
H. van Ditmarsch, W. van der Hoek, B. Kooi, Dynamic Epistemic Logic, Springer Netherlands, 2006.
R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, The MIT Press, 1995.
D.M. Gabbay, C. Hogger, J.A. Robinson, Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, 1994.
D. Makinson, Sets, Logic and Maths for Computing, London 2008
M. Lechniak, Przekonania i zmiana przekonań, Wydawnictwo KUL, 2011.
D. Surowik, Logika, wiedza i czas, Wydawnictwo Uniwersytetu w Białymstoku, 2013.
K. Świrydowicz, Podstawy logiki modalnej, Wydawnictwo Naukowe UAM, 2004
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: