Wstęp do logik nieklasycznych 22-FLFA-LON
Logiki wielowartościowe: : inspiracje, wybrane systemy (logika Ł3, trójwartosciowa logika Kleenego, logika paradoksu, FOUR, logika rozmyta), zastosowania. Podstawy modalnego rachunku zdań: rodowód, opis syntaktyczny, implikacja ścisła, pojęcie modalności, semantyka relacyjna, tabele analityczne, logiki multimodalne. Logika epistemiczna:wybrane koncepcje wiedzy, wiedza a przekonanie, wybrane systemy (opis syntaktyczny i semantyczny), problem wszechwiedzy, wybrane paradoksy epistemiczne (m.in. analiza paradoksu poznawalności oraz paradoksu brudnych dzieci). logika temporalna: problem czasu w filozofii, struktura czasu, wybrane systemy (opis syntaktyczny i semantyczny), logika czasu Peirce’owska a Okhamowska, analiza argumentu władczego Diodora Kronosa. Logika deontyczna: rodowód, wybrane systemy (opis syntaktyczny i semantyczny), paradoksy i problemy otwarte w logice deontycznej, (m.in. analiza łamigłówki Chisholma), obowiązek warunkowy. Logika intuicjonistyczna: rodowód, opis syntaktyczny i semantyczny, tabele analityczne.
Cele kształcenia
Kierunek studiów
Metody prowadzenia zajęć umożliwiające osiągnięcie założonych EK
Nakład pracy studenta (punkty ECTS)
Poziom przedmiotu
Rodzaj przedmiotu
Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji
Koordynatorzy przedmiotu
Kryteria oceniania
Esej, prezentacja multimedialna
Literatura
1. Grzegorz Malinowski „Logiki wielowartościowe”, Wydawnictwo Naukowe PWN, Warszawa 2006
2. Kazimierz Świrydowicz „Podstawy logiki modalnej”, Wydawnictwo Naukowe UAM, Poznań 2004
3. G. Priest “An Introduction to Non-Classical Logic”, Cambridge U. P. 2000 (kilka wydań)
4. “The Bleckwell Guide to Philospohical Logic” (ed. L. Goble), Blackwell Publishers Ltd. 2001.
5. J. W. Garson “Modal Logic for Philosophers”, Cambridge U. P. 2006
6. G. Hugens, M. J. Cresswell “A New Introduction to Modal Logic”, Routledge, London 1996.
7. Handbook of the History of Logic, Vol. 7 „Logic and the Modalities in the Twentieth Century” (ed. D. V. Gabbay, J. Woods), Elsevier North Holland, Amsterdam 2006
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: