Formalne teorie prawdy 3501-FTP18-M

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.