Sémantika některých neobvyklých modálních logik
Semantics of some unusual modal logics
diplomová práce (OBHÁJENO)

Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/26341Identifikátory
SIS: 76208
Kolekce
- Kvalifikační práce [23976]
Autor
Vedoucí práce
Oponent práce
Bílková, Marta
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
17. 9. 2009
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Výborně
První ást pojednává o Carnapov píspvku k modální logice. Carnapovo dílo je zalenno do historického kontextu. Je studována jeho reakce na Lewisovy kalkuly striktní implikace a jeho anticipace kripkovské sémantiky mo- ných svt, na které je zaloena souasná modální logika. Hlavním cílem druhé ásti bylo zváit nkteré typy modalit. Tyto typy mají epistemický charakter, protoe vdy závisejí na urité znalosti. Hlavním výsledkem diplomové práce je zavedení ty nových logik. Jejich sémantika je ustavena podobným zpsobem, jakým Carnap de noval svoji vlastní modální logiku. Jsou ukázány základní vlastnosti tchto logik a je zkoumán jejich vztah k jiným více obvyklým logikám.
The rst part deals with Carnap s contribution to the modal logic. The Carnap s work is included in the historical context. His reaction to the Lewis calculi of the strict implication is discussed and also his anticipation of the Kripkean possible worlds semantics, which the contemporary modal logic is based on. The main aim of the second part was to consider some kinds of modalities. These kinds of modalities have epistemic character because they always depend on certain knowledge. The main result of the diploma work is the introduction of four new logics. Their semantics is set up in the similar fashion in which Carnap de ned his own modal logic. Some basic features of these logics are shown and their axiomatization and relationship to some other more usual logics is investigated.