ML: Modal Logic and Philosophy WF-FI-212-WMAN-SWI23

W ramach wykładu przedstawimy współczesne sposoby modelowania wybranych pojęć modalnych w semantyce światów możliwych. Dla zdaniowych funktorów konieczności, możliwości, przypadkowości zaprezentujemy interpretacje: aletyczne, temporalne, epistemiczne, deontyczne i pokażemy jak można je zamodelować w semantyce Kripkego. W tej semantyce zdefiniujemy najbardziej znane i atrakcyjne filozoficznie logiki normalne: K, T, B, S4, S5. Pokażemy też systemy dedukcyjne dla tych logik i podamy dowody słabego twierdzenia o pełności. W drugiej części wykładu uwagę poświęcimy najpierw kryteriom wyboru logiki modalnej jako użytecznego narzędzia filozoficznego. Następnie podamy parę przykładów zastosowania logik modalnych do filozofii. Zaprezentujemy po pierwsze formalizacje z zakresu teo-ontologii: sformalizowane argumenty na istnienie Absolutu św. Anzelma oraz Leibniza. Po drugie, przedstawimy dwie analizy z zakresu epistemologii formalnej paradoksu Fitcha i paradoksu Samarytanina.

W cyklu 2023/24_L:

Opis w pełni pokrywa się z podstawowym opisem przedmiotu.

E-Learning

E-Learning (pełny kurs) z podziałem na grupy

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Opis nakładu pracy studenta w ECTS

Wiedza: Student ma uporządkowaną znajomość i rozumie główne kierunki badań w zakresie logiki modalnej; zna podstawowe metody badawcze: wie na czym polega interpretacja modalnych języków zdaniowych w semantyce Kripkego, zna zasady dedukcji sformalizowanej w ramach wybranych logik modalnych. Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie rekonstruuje poznane systemy dedukcyjne i potrafi stosować je w prostych rozumowaniach pozalogicznych. Kompetencje: Na podstawie analizy nowych sytuacji problemowych student samodzielnie formułuje propozycje ich rozwiązania przy użyciu poznanych systemów dedukcyjnych. OPIS ECTS: udział w wykładzie 30 h; przygotowanie do wykładu 50 h; czas na uzupełnienie informacji z wykładu z wykorzystaniem literatury obowiązkowej 40 h; przygotowanie pracy pisemnej 30 h, przygotowanie do egzaminu 30 h; SUMA GODZIN 180; [180:30 =6] LICZBA ECTS 6

Poziom przedmiotu

podstawowy

Symbol/Symbole kierunkowe efektów uczenia się

FI2_W03; FI2_W04; FI2_U07; FI2_U11; FI2_K06

Typ przedmiotu

obowiązkowy

Wymagania wstępne

W kursie zakładamy, że uczestnik: (1) zna podstawowe pojęcia z zakresu semiotyki logicznej takie jak: nazwa, zdanie, funktor, spójnik, predykat, zmienna, kwantyfikator, znaczenie nazwy, wartość logiczna oraz (2) zna klasyczną logikę zdaniową tj. umie wyznaczać prawa logiczne za pomocą metody 0-1 oraz umie stosować dowolny system dowodzenia tez klasycznej logiki zdaniowej.

Koordynatorzy przedmiotu

Kordula Świętorzecka

Efekty kształcenia

Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie rekonstruuje poznane systemy dedukcyjne i potrafi stosować je w prostych rozumowaniach pozalogicznych.

Kompetencje: Na podstawie analizy nowych sytuacji problemowych student samodzielnie formułuje propozycje ich rozwiązania przy użyciu poznanych systemów dedukcyjnych.

Kryteria oceniania

Kurs kończy się egzaminem. Uczestnik przygotowuje pisemną pracę na ustalony z prowadzącym temat i broni jej w trakcie egzaminu ustnego.

Praktyki zawodowe

nie dotyczy

Literatura

-- Logiki:
Garson, J. W. (2013), Modal Logic for Philosophers}, Cambridge: Cambridge University Press. (especially chapters 1, 2: 1--57)
Goldblatt, R. (1992), Logic of Time and Computation} (2nd ed.). Lectures Notes: 7. CPLI, Leland.
Hughes, G.E., M.J. Cresswell (1996), A New Introduction to Modal Logic, London: Routledge.
Knuuttila S. (2012), History of modal traditions, in: Handbook of the History of Logic} vol. 11. 309-339, Elsevier Francis.
-- Przykłady zastosowań filozoficznych:
Biłat, A. (2021) The correctness and relevance of the modal ontological argument, Synthese, 199:2727–2743,
Świętorzecka, K. (2011), Some remarks on formal description of God's omnipotence, Logic and Logical Philosophy
Volume 20, 307–315
Świętorzecka, K. (2014), O modalnej naturze argumentu św. Anzelma. [...] Filozofia Nauki, v. 1, 26--35.
Świętorzecka, K. (2014), Goedel's 'Ontologischer Beweis'. Remarks on Its Philosophical Background and Variations, in: Goedel's Ontological Argument. History, Modifications, and Controversies'', K. Świętorzecka (ed.), Semper, Warsaw 2015, 1--45.
van Benthem, J, What one may come to know, Analysis 64.2, p. 95-105.

W cyklu 2023/24_L:

Spis pokrywa się z tym spisem, który znajduje się w opisie podstawowym przedmiotu.

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu WF-FI-212-WMAN-SWI23 w USOSweb