Logic of knowledge, norms and actions 2400-OG-EN-LoK

Na zajęciach rozważymy trzy rodzaje logicznych systemów. Będziemy zajmować się logiką epistemiczną, logiką deontyczną oraz logika działania (z operatorem: spowodować, że...).

Przedmiotem logiki epistemicznej jest wnioskowanie na temat wiedzy podmiotów. Z kolei logika deontyczna dotyczy wnioskowań na temat dozwoleń i obowiązków podmiotów, natomiast logika działania dotyczy wnioskowania o efektach działań podmiotów. Wszystkie te trzy rodzaje logiki pozwalają modelować zachowanie, szeroko rozumianą wiedzę idź działania podmiotów.

W ramach wykładu omówimy następujące tematy:

(1) Wprowadzenie do problematyki
(2) Standardowa logika epistemiczna (SEL) i jej rozszerzenia
(3) Paradoksy SEL oraz ich rozwiązania
(4) Standardowa logika deontyczna (SDL) i jej rozszerzenia
(5) Paradoksy SDL i ich rozwiązania
(6) Logika operatora BA (spowodować, że…)
(7) Podstawowa logika wielu podmiotów.

Całkowity nakład pracy studenta

Uczestnictwo w wykładach: 30h Studiowanie indywidualne: -czytanie literatury - 15h - przygotowanie do egzaminu: 15h Łącznie: 60h

Efekty uczenia się - wiedza

Student W1: posiada systematyczną wiedzę na temat narzędzi i pojęć stosowanych w logice epistemicznej, logice deontycznej oraz logice działania, a także ich powiązania z innymi naukami W2: zna podstawowe twierdzenia i prawa wybranych systemów logicznych W3: posiada wiedzę pozwalającą oceniać poprawność rozumowań w obrębie omawianych systemów logicznych W4: zna logiczne pojęcia istotne dla nauki

Efekty uczenia się - umiejętności

Student U1: potrafi badać poprawność rozumowań, które wchodzą w zakres omawianych logik U3: potrafi konstruować dowody na bazie wybranych na wykładzie systemów

Efekty uczenia się - kompetencje społeczne

Student K1: rozumie istotność spójności wiedzy oraz poprawność wyciągania wniosków zarówno w życiu codziennym, jak i w prowadzeniu badań naukowych K2: jest gotowy stosować wiedzę z zajęć do analizy problemów, które wymagają poprawnego logicznie wyciągania wniosków

Metody dydaktyczne

Metody prezentujące: - wykład - lektury problemowe Metody eksplorujące: - praktyczne działania -studia przypadków

Wymagania wstępne

Brak

Koordynatorzy przedmiotu

Tomasz Jarmużek

Kryteria oceniania

Metody oceniania:

- sprawdzanie efektów – W1, W2, W3, W4

Kryteria oceny:

Praca na zajęciach z maksymalna ilością 100 punktów. Ostateczne oceny będą oparte o wskaźniki procentowe:

brak zaliczenia- 40 punktów (40 %)
dostateczny- 50 punktów (50 %)
dostateczny plus- 60 punktów (60 %)
dobry – 70 punktów (70 %)
bardzo dobry- 80 punktów (80 %)
celujący- 90 punktów (90 %)

Literatura

G. E. Hughes and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, London and New York, I998

Graham Priest, An Introduction to Non-Classical Logic. From If to Is. Cambridge University Press, 2008

R. Hilpinen, Deontic Logic, in: The Blackwell Guide to Philosophical Logic, ed. Lou Goble, Blackwell Publishers, 2001 pp. 159-182

J.J. Ch. Meyer, Epistemic logic, in: The Blackwell Guide to Philosophical Logic, ed. Lou Goble, Blackwell Publishers, 2001 pp. 183-202.

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu 2400-OG-EN-LoK w USOSweb