A logika elemei

Főiskolai tankönyv - Ismertető: Tartalom
Prológus 9
Ismerkedés a logika feladatával 13
Nyelvhasználat és logika 13
Következtetés 14
A következtetés helyessége 16
Hol van szükség a logikára? 18
Ellenőrző kérdések 19
Gyakorló feladat 19
A logika nyelvtana 20
Kijelentő mondat és állítás 20
Individuumnevek 22
A logikai grammatika alapkategóriái 25
Funktorok 26
A funktorkategóriák 28
Ellenőrző kérdések 30
Gyakorló feladatok 31
Szemantikai értékek 33
A mondatok szemantikai értékei 34
A nevek szemantikai értékei 36
Extenzionális és intenzionális funktorok 38
Extenzionális logika 42
Ellenőrző kérdések 43
Gyakorló feladatok 44
Extenzionális predikátumok 45
Egyargumentumú predikátumok 45
Kétargumentumú predikátumok 48
Kettőnél több argumentumú predikátumok 49
A klasszikus elsőrendű logika 50
Ellenőrző kérdések 51
Gyakorló feladatok 51
Igazságfunktorok 53
Logikai funktorok 53
Negáció 54
Logikai ekvivalencia 56
Konjunkció 59
Alternáció 62
Kondicionális 66
Bikondicionális 70
Igazságfüggvények 72
Ellenőrző kérdések 74
Gyakorló feladatok 75
Változók és kvantorok 78
Változók és nyitott mondatok 78
Kvantorok 82
A kvantifikáció igazságföltétele 85
Ellenőrző kérdések 87
Gyakorló feladatok 88
Univerzális és egzisztenciaállítások 90
Az egzisztenciális kvnatifikáció felismerése 90
Az univerzális kvnatifikáció felismerése 94
A kvantifikáció fontosabb törvényei 98
Egy következetetési példa 102
Ellenőrző kérdések 105
Gyakorló feladatok 105
Az azonosság 107
Az azonosságpredikátum értelmezése 107
Az azonosság logikai törvényei 108
Módszertani megjegyzések 110
Az azonosság rejtett előfordulásai 112
Ellenőrző kérdések 116
Gyakorló feladatok 116
A következményreláció 117
Strukturálás, formalizálás, interpretálás 117
Kielégíthetőség és következmény 122
Logikai igazság és ekvivalencia 126
Ellenőrző kérdések 130
Gyakorló feladatok 131
A következetetés ellenőrzésének módszerei 132
Az analitikus táblázat módszere 132
A módszer kiterjesztése kvantoros formulákra 143
A Venn-diagramok módszere 149
Ellenőrző kérdések 157
Gyakorló feladatok 157
Fogalmak és kapcsolatok 162
A fogalmak fontosabb típusai 162
Szükségszerűség és lehetőség 164
Predikatív fogalmak kapcsolatai 165
A relációk nevezetes típusai 168
A definíciók 174
Ellenőrző kérdések 179
Gyakorló feladatok 179
Függelék: A logika történetének vázlata 181
A logikai gondolkodás születése 181
Arisztotelész logikája 182
Az igazságfüggvények első elmélete 185
Az risztotelészi logika utóélete 185
A szimbolikus logika kialakulása 187
A logika fejlődése a 20. században 188
A logika tárgya 189
Feladatmegoldások 193
Kislexikon 205
A fontosabb logikai törvények táblázata 220
Szimbólumok jegyzéke 222
Útmutató a könyv használatához 223
Irodalomjegyzék 224 - További ismertető: "Belelapozás".