Logika

Tartalom

BEVEZETÉS 5
ELŐSZÓ A TANÁROKHOZ 7
I. A GONDOLKODÁS LOGIKAI SZEMPONTBÓL 11
Az individuumok, a tulajdonságok a kapcsolatok és propozíciók 11
1. Kérdések és feladatok 13
A tulajdonságok és kapcsolatok halmazának értelmezése 14
2. Kérdések és feladatok 16
A diagram 17
3. Kérdések és feladatok 25
A következmény-kapcsolat és a deduktív következtetés folyamata 28
4. Kérdések és feladatok 33
A bizonyítás 35
5. Kérdések és feladatok 37
II. A NYELVI KIFEJEZÉSEK LOGIKAI SZEMPONTJAI 39
Beszélgetés a kifejezésekről 39
6. Kérdések és feladatok 40
A kifejezések megkülönböztetése logikai szempontból 41
A nevek, kijelentések és predikátumok 41
A változók, a formák és az igaz értékek nyerése 43
A logikai konstansok 46
A zárójelek 49
7. Kérdések és feladatok . 51
Logikai következtetés-formák és a helyes következtetés szabályai 54
8. Kérdések és feladatok 61
III. A KIJELENTÉSEK LOGIKÁJA 63
Az összekötők segítségével létrehozott mondatok jelentése 63
A szimbólumok és a kijelentések logikájának terminológiája 65
10. Kérdések és feladatok 67
A negáció, a konjunkció, a diszjunkció, az implikáció és az ekvivalencia igaz jellegének feltételei 67
Az igaz jelleg feltételei és a kijelentés-formák 69
12. Kérdések és feladatok 70
A kijelentések logikájának formulái és szekvenciái 72
13. Kérdések és feladatok 73
A táblázati módszer 74
14. Kérdések és feladatok 80
Kijelentés-logikai következés 80
15. Kérdések és feladatok 82
További tanulságok és definíciók 85
IV. PREDIKÁTUM-LOGIKA ELSŐ RÉSZ 91
Az általános és az egzisztenciális mondatok 91
17. Kérdések és feladatok 92
A következtetéshez szükséges fontos tanulságok 94
A következtetés 98
A következtetés szabályai 102
Stratégiai elmélkedések 111
21. Kérdések és feladatok 115
V. PREDIKÁTUM-LOGIKA - MÁSODIK RÉSZ 123
A kvantorok 123
22. Kérdések és feladatok 125
A predikátum-logika formulái és szekvenciái 126
A változók szabad és kötött előfordulásai 128
24. Kérdések és feladatok 130
A behelyettesítés 131
A természetes nyelv és a predikátum-logika 134
26. Kérdések és feladatok 136
A következtetés szabályai 137
27. Kérdések és feladatok 139
További tanulságok 142
A predikátum-változók kvantifikációja 144
VI. FÜGGVÉNYEK ÉS FÜGGVÉNYKALKULUSOK 147
A függvény 147
Függvénykalkulusok és terminusok 149
31. Kérdések és feladatok 150
VII. A DEFINÍCIÓ 152
A kifejezés jelentése és a fogalom 152
A definíció - nyelvi megegyezés 154
Az induktív definíció 160
Definíció a nyelvi szokásokról 163
35. Kérdések és feladatok 165
VIII. A DEDUKTÍV (MATEMATIKAI) MONDATOK MÓDSZEREI 169
A rendszerek 169
A matematikai elmélet és axiomatizációja 172
IX. AZ EMPIRIKUS TUDOMÁNYOK MÓDSZEREI 176
A megfigyelés és a leírás 176
Az igazolódás mértéke 177
Az empirikus indukció 178
A magyarázat 181
A hipotézis 183
A logika történetéből 186
VÁLASZ A KÉRDÉSEKRE ÉS A FELADATOK MEGOLDÁSA 191
AZ IDEGEN SZAVAK ÉRTELMEZÉSE 243

Témakörök