Modális és intenzionális logika

Tartalom

Útmutató a jegyzet használatához 5
1. Modális logika 7
1.1 Bevezetés
1.1.1 Modális szavak 7
1.1.2 Episztémikus modalitások 12
1.1.3 Alethikus modalitások 12
1.2 Arisztotelész a modalitásokról 16
1.2.1 A modális szavak arisztotelészi értelmezése 16
1.2.2 Arisztotelész modális szillogisztikája 24
1.3 C. I. Lewis: a "szigorú implikáció" logikája 32
1.3.1 A modális logika a szimbolikus logika keretében 32
1.3.2 A normál alethikus logika általános keretelmélete: a T rendszer 37
1.3.3 A szigorú kondicionális paradoxonai 41
1.3.4 Az SL rendszer 46
1.3.5 Az analiticitás logikája: S5 49
1.3.6 Deontikus kalkulusok 50
1.3.7 Diodóroszi modalitások: az idő logikája 54
1.4 Modalitás és kvantifikáció 59
1.4.1 Modális predikátumkalkulusok 59
1.4.2 Barcan-típusú kalkulusok 60
1.4.3 A modális predikátumlogika paradoxonai 65
1.4.4 Javaslatok a paradoxonok elhárítására 68
1.4.5 V. O. Quine a "modális elkötelezettség" három fokozatáról 70
1.4.6 Direkt és indirekt idézetek 77
1.4.7 Deskripciók modális kontextusban 79
1.4.8 A de re modalitások és az esszencializmus 83
1.5 Carnap modális kváziszemantikája 89
1.5.1 Az állapotleírások elmélete 90
1.5.2 Extenzió és intenzió 95
1.5.3 Individuumkifejezések extenziója és intenziója 100
1.5.4 A carnapi elmélet értékelése 105
1.5.5 Adalékok a szemantikai értékek elméletéhez 110
1.6 Kripke modális szemantikája 125
1.6.1 Denotációs szemantika S5-höz 125
1.6.2 Az általános Kripke-szemantika 127
1.6.3 Az elemi modális logika szemantikája 130
1.6.4 A modális predikátumlogika szemantikája 134
1.6.5 A lehetséges világok elmélete 139
1.7 A. N. Prior: az értékrés-koncepció 144
1.7.1 Prior Q rendszere 145
1.7.2 Értékrés-források 148
1.8 Értékréses modális szemantika 154
1.8.1 Grammatika 154
1.8.2 Interpretációk 157
1.8.3 A szemantikai következményreláció 164
1.8.4 Állandó és változó jelöletű nevek 172
1.8.5 Modalitás és deskripció 186
1.8.6 Paradoxonmentes modális logika 191
2. Intenzionális logika 195
2.1 Típuselméleti extenzionális logika 196
2.1.1 Az extenzionális típuselmélet 196
2.1.2 A lambdaoperátor 201
2.1.3 Az extenzionális típuselméleti logika 208
2.2 Montague intenzionális logikája 215
2.2.1 Montague keretelmélete 215
2.2.2 Időoperátorok bevezetése 223
2.2.3 A nyelvi kifejezések logikai finomstruktúrája 225
2.2.4 Kritikai megjegyzések 232
2.3 Értékréses intenzionális logika 237
2.3.1 Új típuselmélet, új grammatika 237
2.3.2 Értékréses intenzionális szemantika 242
2.3.3 Definícióval bevezetett logikai konstansok 252
2.3.4 Alkalmazási példák 254
Irodalomjegyzék 262

Témakörök