Szimbolikus logika III.

Tartalom

Útmutató a jegyzet használatához 5
10. Az implikáció problémái 7
10.1. A materiális implikáció interpretációs paradoxonai 7
Gyakorlatok 11
10.2. A szigorú implikáció 11
Gyakorlatok 14
10.3. A természetes levezetés és a minimális logika 14
(A) Minimális pozitív implikációlogika 15
(B) Minimális negatív implikációlogika 19
(C) A minimális kijelentés logika 24
Gyakorlatok 27
10.4. Az intuicionista (konstruktivista) logika 28
10.5. Az erős implikáció rendszere 31
(A) A szükségszerűség elve 31
(B) A relevancia elve 32
(C) A modalitások bevezetése 35
(D) A teljes E rendszer 37
Gyakorlatok 38
10.6. Az erős következtetés rendszere 39
(A) Az erős implikáció bírálata 39
(B) Zinovjev "erős következtetés" elmélete
(C) Áttekintés 43
Gyakorlatok 44
11. Több értékű logika 45
11.1. Lukasiewicz háromértékű logikája 46
(A) Az L3 rendszer 46
(B) Az Ln rendszerek 48
11.2. Post többértékű logikai rendszerei 49
11.3. Lukasiewicz négyértékű logikája 51
11.4. Funkcionális teljesség és axiomatizálhatóság 53
11.5 A többértékű logika néhány problémája 55
(A) "Normális" rendszerek 55
(B) Az ellentmondás és a kizárt harmadik elve a többértékű
logikákban 55
(C) Többértékű logikák szemantikai megalapozása 55
11.6. A többértékű logika alkalmazásai és jelentősége 59
12. Valószínűségi logika 65
12.1. Az indukció klasszikus logikája 65
(A) Mill induktív logikája 66
(B) A klasszikus induktív logika kritikája 69
12.2. A matematikai valószínűségszámítás alapfogalmai 70
(A) A valószínűség fogalma 70
(B) A valószínűség matematikai definíciója 73
(C) A feltételes valószínűség 75
Gyakorlatok 76
12.3. Carnap valószínűségi logikája 76
(A) A konfirmációfüggvény 77
(B) Szimmetriafeltételek 78
Gyakorlatok 84
12.4. A valószínűségi logika mint induktív logika 84
12.5. Az induktív logika kritikája 87
13. A logika filozófiája 91
13.1. A logika határainak történeti fejlődése 92
13.2. A logika felosztása 98
13.3. Logika és gondolkodás 102
13.4. Logika és nyelv 105
13.5. A logikai törvények és a léttörvények viszonyáról 108
Megjegyzések a gyakorlatokhoz 117
Névmutató 118
Irodalomjegyzék 120

Témakörök