Logika formalna 08-FLDL-LOF
1.Wykład. Elementy metalogiki krp: pojęcie dowodu i konsekwencji logicznej, twierdzenia o dedukcji, twierdzenie o niesprzeczności krp. Pojęcie teorii elementarnej i przykłady teorii elementarnych. Własności teorii elementarnych: niesprzeczność, niezależność aksjomatów, zupełność, rozstrzygalność. Twierdzenia Gödla o niezupełności i ich filozoficzne znaczenie. Filozoficzne aspekty teorii prawdy. Antynomia kłamcy. Elementy semantyki dla krp: definicja spełniania i prawdy Tarskiego, ważniejsze twierdzenia charakteryzujące pojęcie prawdy. Twierdzenie Tarskiego o niedefiniowalności pojęcia prawdy. Definicje pojęć tautologii krp, modelu semantycznego i konsekwencji semantycznej. Twierdzenie o pełności krp.
2. Labolatorium. Podstawy teorii mnogości: teorii zbiorów, teorii relacji, teorii mocy. Filozoficzne aspekty teorii prawdy. Prawda a dowód.
Cele kształcenia
Kierunek studiów
Poziom przedmiotu
Rodzaj przedmiotu
Rok studiów (jeśli obowiązuje)
Koordynatorzy przedmiotu
Efekty kształcenia
Student zna podstawową terminologię filozoficzną w języku polskim z uwzględnieniem specyficznych pojęć logiki, ma uporządkowaną znajomość logiki klasycznej, zna podstawowe metody badawcze i strategie argumentacyjne właściwe dla logiki, analizuje argumenty filozoficzne, identyfikuje ich kluczowe tezy i założenia, wykrywa zależności między tezami badanych, pisemnych i ustnych wypowiedzi, ma podstawową wiedzę logiczną oraz stosuje typowe strategie argumentacyjne, dobiera strategie argumentacyjne, na poziomie elementarnym konstruuje krytyczne argumenty, formułuje odpowiedzi na krytykę, jest otwarty na nowe idee i gotów do zmiany opinii w świetle dostępnych danych i argumentów w szczególności w zakresie wybranego modułu specjalnościowego.
Kryteria oceniania
Egzamin pisemny.
Literatura
1. T. Batóg Podstawy logiki, Wydawnictwo Naukowe UAM, Poznań 1994 (Wyd. II).
2. G. Hunter Metalogika. Wstęp do metateorii standardowej logiki pierwszego rzędu,
PWN, Warszawa 1982.
3. L. Borkowski „Wprowadzenie do logiki i teorii mnogości” Towarzystwo Naukowe KUL, Lublin 1991.
4. B. Stanosz „Ćwiczenia z logiki”, Wydawnictwo Naukowe PWN, Warszawa 1998
5. B. Russell „Prawda i fałsz” w: tenże, „Problemy filozofii”, Wydawnictwo Naukowe PWN, Warszawa 1995.
6. A. Tarski „Semantyczna koncepcja prawdy i podstawy semantyki” w: tenże, „Pisma logiczno-filozoficzne”, T.1: Prawda, red. Jan Zygmunt, Wydawnictwo Naukowe PWN, Warszawa 1995
7. A. Tarski „Prawda i dowód” w: tenże, „Pisma logiczno-filozoficzne”, T.1: Prawda, red. J. Zygmunt, Wydawnictwo Naukowe PWN, Warszawa 1995
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: