A logika elemei

Megjegyzés: Fekete-fehér ábrákkal. TARTALOM Ismerkedés a logika feladatával 9 Logika és nyelvhasználat 9 Következtetés 10 A következtetés helyessége 12 Hol van szükség a logikára? 14 Ellenőrző kérdések 15 Gyakorló feladatok 16 A logika nyelvtana 17 Kijelentő mondat és állítás 17 Individuumnevek 20 A logikai grammatika alapkategóriái 23 Funktorok 23 A funktorkategóriák 26 Ellenőrző kérdések 29 Gyakorló feladatok 29 Szemantikai értékek 31 A mondatok szemantikai értékei 32 A nevek szemantikai értékei 34 Extenzionális és intenzionális funktorok 35 Extenzionális logika 40 Ellenőrző kérdések 41 Gyakorló feladatok 42 Extenzionális predikátumok 43 Egargumentumú predikátumok 43 Kétargumentumú predikátorok 46 Kettőnél több argumentumú predikátorok 47 A klasszikus elsőrendű logika 48 Ellenőrző kérdések 49 Gyakorló feladatok 50 Igazságfunktorok 51 Logikai funktorok 51 Negáció 52 Logikai ekvivalencia 55 Konjukció 57 Alternáció 61 Kondicionális 65 Bikondicionális 69 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 86 Ellenőrző kérdések 88 Gyakorló feladatok 88 Univerzális és egzisztenciaállítások 90 Az egzisztenciális kvantifikáció felismerése 90 Az univerzális kvantifikáció felismerése 95 A kvantifikáció fontosabb törvényei 99 Egy következtetett példa 104 Ellenőrző kérdések 107 Gyakorló feladatok 108 Az azonosság 109 Az azonosságpredikátum értelmezése 109 Az azonosság logikai törvényei 110 Módszertani megjegyzések 112 Az azonosság rejtett előfordulásai 114 A relációk nevezetes típusai 119 Ellenőrző kérdések 125 Gyakorló feladatok 125 A következményreláció 127 Strukturálás, formalizálás, interpretálás 127 Kielégíthetőség és következmény 133 Logikai igazság és ekvivalencia 137 Ellenőrző kérdések 142 Gyakorló feladatok 142 A következtetés ellenőrzésének módszerei 143 Az analitikus táblázat módszere 143 A módszer kiterjesztése kvantoros formulákra 152 A Venn-diagramok módszere 159 Ellenőrző kérdések 169 Gyakorló feladatok 169 Fogalmak és kapcsolataik 174 A fogalmak fontosabb típusai 174 Szükségszerűség és lehetőség 176 Predikatív fogalmak kapcsolatai 177 A definíciók 181 Paradoxonok és logikai hibák 186 Ellenőrző kérdések 188 Gyakorló feladatok 188 Feladatmegoldások 190 Kislexikon 197 A fontosabb logikai törvények táblázata 211 Szimbólumok jegyzéke 213 Útmutató a könyv használatához 214 Irodalomjegyzék 216