A kötet főbb témakörei: Bevezetés: Mi micsoda? Hányan vannak? És mire jó? I. rész: Extenzionális logika. 1.0 A logikai grammatika és szemantika alapfogalmai. 1.1 Extenzionális mondatfunktorok. 1.2 Kvantifikációelmélet. 1.3 A klasszikus elsőrendű logika mint kalkulus (QC). 1.4 Elsőrendű elméletek. 1.5 Természetes levelezés. 1.6 Többértékű logika. 1.7 Magasabbrendű logika. 1.8 Deskripciók. II. rész: Intenzionális logika. 2.1 Modális logika. 2.2 Temporális logika. 2.3 Típuselméleti intenzionális logika. 2.4 Az intenzionális logika módosítása. Feladatmegoldások. Függelék.