Logika formalna 22-FLDL-LOF
1.Wykład. Język krp. 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. Logiczna rekonstrukcja wypowiedzi. 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)
Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji
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. ‒ Roman Murawski, Kazimierz Świrydowicz „Wstęp do teorii mnogości”, Wydawnictwo Naukowe UAM, Poznań 2005
5. B. Stanosz „Ćwiczenia z logiki”, Wydawnictwo Naukowe PWN, Warszawa 1998
6. B. Russell „Prawda i fałsz” w: tenże, „Problemy filozofii”, Wydawnictwo Naukowe PWN, Warszawa 1995.
7. 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: