| Cím | Szerző | Oldalszám | Kieg.adatok | Megjegyzés | Tárgyszavak |
|---|
| A logikai grammatika és szemantika alapfogalmai | | 21-26. p. | | | |
| Extenzionális mondatfunktorok | | 27-65. p. | | | negáció, konjunkció, alternáció, kondicionális, igazságfüggvények, interpretáció, analitikus táblázat, következményreláció törvényei |
| Kvantifikációelmélet | | 66-126. p. | | | predikátum, változók, kvantor, egzisztenicaállítás, univerzális állítás, azonosságpredikátum, analitikus táblázat, egyrétű formulák, Venn-diagram, szillogizmus, elsőrendű nyelvek |
| A klasszikus elsőrendű logika mint kalkulus (QC ) | | 127-141. p. | | | logikai kalkulus, QC, KL |
| Elsőrendű elméletek | | 142-167. p. | | | Peano, Peano aritmetika, halmazelmélet, relációk |
| Természetes levezetés | | 168-187. p. | | | gentzen, intuicionista logika, releváns logika |
| Többértékű logika | | 188-196. p. | | | többértékű mátrixok, valószínűségi logika |
| Magasabbrendű logika | | 197-221. p. | | | másodrendű logika, típuselméleti extenzionlis logika, TL, G-szemantika, EC kalkulus |
| Deskripciók | | 22-242. p. | | | individuumleíriások, szemantikai értékrés, elsőrendű logika |
| Modális logika | | 243-285. p. | | | modális mondatfunktorok, szigorú implikáció, lehetséges világok, modális kalkulus, modalitás, kvantifikáció, szemanikai értékrés |
| Temporális logika | | 286-294. p. | | | igeidők logikája, lineáris idő, diadikus időoperátor |
| Típuselméleti intenzionális logika | | 295-305. p. | | | intenzionális funktorok, intenzió, Montague, IC kalkulus |
| Az intenzionális logika módosítása | | 316-340. p. | | | IL rendszer |
| A logika története - bevezető: tárgy és módszer | | 367-372. p. | | | |
| A logika kezdetei és az antikvitás logikai elméletei | | 373-421. p. | | | eleai metafizika, indirekt érvelés, deduktív matematika, Platón, Arisztotelész logikája, Arisztotelész, kategorikus kijelentések, kategorikus szillogizmus, szillogisztika, modalitás, alkalmazott logika, Theophrasztosz, peripatetikus iskola, sztoikusok dialektikája, megarai iskola, Khrüszipposz, mondatfaktorok, lektonok, késői antikvitás, Galénosz, Eiszagógé, Porphüriosz, Boethius |
| A középkor természetes nyelvi logikája | | 422-447. p. | | | Arisztotelész, logica modernorum, szemantikai alapok, proprietates terminorum, kategorikus szillogizmus, konszekvencia, kijelentéslogika |
| Az újkor formalizált logikája | | 448-502. p. | | | Leibniz, végtelen matematika, Bolzano, végtelen paradoxona, algebrai logika, szimbolikus algebra, logikai kalkulus, kiválasztó szimbólum, Boole-algebra, Frege logikája, fogalomírás |
