CímSzerzőOldalszámKieg.adatokMegjegyzésTárgyszavak
A logikai grammatika és szemantika alapfogalmai21-26. p.
Extenzionális mondatfunktorok27-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élet66-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életek142-167. p.Peano, Peano aritmetika, halmazelmélet, relációk
Természetes levezetés168-187. p.gentzen, intuicionista logika, releváns logika
Többértékű logika188-196. p.többértékű mátrixok, valószínűségi logika
Magasabbrendű logika197-221. p.másodrendű logika, típuselméleti extenzionlis logika, TL, G-szemantika, EC kalkulus
Deskripciók22-242. p.individuumleíriások, szemantikai értékrés, elsőrendű logika
Modális logika243-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 logika286-294. p.igeidők logikája, lineáris idő, diadikus időoperátor
Típuselméleti intenzionális logika295-305. p.intenzionális funktorok, intenzió, Montague, IC kalkulus
Az intenzionális logika módosítása316-340. p.IL rendszer
A logika története - bevezető: tárgy és módszer367-372. p.
A logika kezdetei és az antikvitás logikai elméletei373-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ája422-447. p.Arisztotelész, logica modernorum, szemantikai alapok, proprietates terminorum, kategorikus szillogizmus, konszekvencia, kijelentéslogika
Az újkor formalizált logikája448-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