- Bioinformatyka i biologia systemów, stacjonarne, pierwszego stopnia
- Informatyka, stacjonarne, pierwszego stopnia
- Matematyka, stacjonarne, pierwszego stopnia
- Bioinformatyka i biologia systemów, stacjonarne drugiego stopnia
- Informatyka, stacjonarne, drugiego stopnia
- Matematyka, stacjonarne, drugiego stopnia
Introduction to formal theories of truth 3800-IFTT22-M-OG
Celem zajęć jest zapoznanie słuchaczy ze współczesnymi formalnymi teoriami prawdy. Zaczniemy od omówienia koncepcji teoriomodelowych, wychodząc od klasycznego, hierarchicznego podejścia, zaproponowanego w 1933 roku przez Alfreda Tarskiego. Następnie przedstawiona zostanie teoriomodelowa konstrukcja Kripkego, pozwalająca scharakteryzować niehierarchiczny predykat prawdziwości, czyli taki, który daje się stosować również do zdań zawierających ten predykat. W dalszej części wykładu omówione zostaną podstawowe aksjomatyczne teorie prawdy oraz ich własności. Prezentacja będzie obejmować zarówno teorie hierarchiczne jak niehierarchiczne. W szczególności, przedstawione zostaną:
- Teorie dyskwotacyjne. Są to teorie, których aksjomaty mają postać „zdanie F jest prawdziwe wtedy i tylko wtedy, gdy F”.
- Teorie kompozycyjne. Aksjomaty tych teorii określają, w jaki sposób prawdziwość zdania złożonego zależy od wartości logicznej jego zdań składowych. Dla przykładu, kompozycyjny aksjomat dla alternatywy może mieć postać „Zdanie o postaci ‘F lub G’ jest prawdziwe wtedy i tylko wtedy, gdy F jest prawdziwe lub G jest prawdziwe’.
Na wykładzie omówione zostaną również filozoficzne aspekty prezentowanych teorii. Niektóre spotkania będą przeznaczone na praktyczne przećwiczenie wprowadzanego materiału.
Rodzaj przedmiotu
ogólnouniwersyteckie
Tryb prowadzenia
Założenia (opisowo)
Efekty kształcenia
Nabyta wiedza
- zna współczesne teorie prawdy proponowane w literaturze logicznej
- ma pogłębioną wiedzę o roli pojęcia prawdy w logice i filozofii
Nabyte umiejętności:
- analizuje złożone argumenty logiczne i filozoficzne
- ujawnia wady i błędy logiczne wypowiedzi ustnych i pisemnych
Nabyte kompetencje społeczne:
- potrafi pracować w grupie.
- rozumie i docenia potrzebę dokształcania się i rozwoju zawodowego
Kryteria oceniania
aktywność na zajęciach, zaliczenie pisemne
Dopuszczalna liczba nieobecności podlegających usprawiedliwieniu: 2
Literatura
Cieśliński, Cezary (2017) „The Epistemic Lightness of Truth. Deflationism and its Logic”, Cambridge University Press.
Halbach, Volker (2013) „Aksjomatyczne teorie prawdy”, PWN, Warszawa, przeł. Cezary Cieśliński i Joanna Golińska-Pilarek.
Horsten, Leon (2011) „The Tarskian Turn: Deflationism and Axiomatic Truth”, MIT Press.
Tarski, Alfred (1933) „Pojęcie prawdy w językach nauk dedukcyjnych”, Prace Towarzystwa Naukowego Warszawskiego. Wydział III .
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
- Bioinformatyka i biologia systemów, stacjonarne, pierwszego stopnia
- Informatyka, stacjonarne, pierwszego stopnia
- Matematyka, stacjonarne, pierwszego stopnia
- Bioinformatyka i biologia systemów, stacjonarne drugiego stopnia
- Informatyka, stacjonarne, drugiego stopnia
- Matematyka, stacjonarne, drugiego stopnia
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: