| Bevezetés | 7 |
| Igazságfüggvények | 11 |
| Összetett állítások és formulák | 11 |
| Állítások felbontása | 11 |
| Állításparaméterek, logikai szimbólumok | 14 |
| Egy állítás - több megfogalmazás | 18 |
| Legyünk egyértelműek | 21 |
| Állítások, állításkapcsolatok, formulák | 23 |
| Negáció és konjunkció | 26 |
| A negáció | 26 |
| Igazságértékek, igazságfüggvények | 27 |
| Kettősnegáció | 29 |
| Logikai ekvivalencia | 30 |
| A konjunkció | 31 |
| A konjunkció törvényei | 32 |
| Állítás és külvilág | 34 |
| Az igazságfüggvények értelmezése | 37 |
| Alternáció | 41 |
| A "sem-sem" művelet | 41 |
| Az alternáció | 42 |
| Az alternáció törvényei | 44 |
| A konjunkció negációja: a Sheffer-művelet | 45 |
| A De Morgan-törvények | 46 |
| Kondicionális | 49 |
| A kondicionális | 49 |
| A kondicionális törvényei | 54 |
| A feltételes állítás stiláris vriánsai | 57 |
| Bikondicionális és diszjunkció | 61 |
| A bikondicionális | 61 |
| A diszjunkció | 63 |
| A "vagy" kötőszó logikai szerepe | 64 |
| Az igazságfüggvények rendszere | 66 |
| Az igazságfüggvények áttekintése | 66 |
| Függvények és funktorok | 68 |
| Formulák az igazságfüggvények elméletében | 71 |
| Formalizálás | 73 |
| Formulák interpretációja | 74 |
| Értékelés | 75 |
| A következtetés | 79 |
| Igazságfeltételek, analitikus táblázatok | 79 |
| Formulák igazságfeltételeinek meghatározása | 79 |
| Az analitikus táblázat elkészítésének módszerei | 85 |
| Az analitikus táblázatok alkalmazásai | 87 |
| Néhány újabb ekvivalencia | 87 |
| Több állítás együttes igazsága | 89 |
| A következményreláció | 98 |
| Helyes és hibás következtetések | 98 |
| A következményreláció speciális esetei | 102 |
| Nevezetes következtetési sémák | 105 |
| Téves következtetések | 106 |
| Néhány példa következtetések vizsgálatára | 108 |
| Módszerünk korlátai | 111 |
| A logika történetéről | 114 |
| A logikai gondolkodás születése | 114 |
| Az igazságfüggvények első elmélete | 116 |
| A predikátum-logika elemei | 119 |
| Az állítások finomszerkezete | 119 |
| Predikátumok és idividuumnevek | 119 |
| Műveletek nyitott mondatokkal | 124 |
| Pred- és in-paraméterek | 126 |
| Predikátumok terjedelme | 129 |
| Kvantorok | 134 |
| Egzisztenciális és univerzális kvantifikáció | 134 |
| A kvantifikáció igazságfeltételei | 139 |
| A kvantifikáció alaptörvényei | 140 |
| Állítások szerkezete és ábrázolása | 143 |
| Venn-diagrammok | 147 |
| Állítások ábrázolása Venn-diagrammon | 147 |
| Az egzisztenciális kvantor élőnyelvi formái | 151 |
| Az univerzális kvantor élőnyelvi formái | 155 |
| Néhány összetett példa | 161 |
| Következtetések vizsgálata Venn-diagrammal | 165 |
| A láncszabály | 169 |
| Példák a Venn-diagram alkalmazására | 172 |
| Módszerünk kiterjesztése | 179 |
| Arisztotelész logikája és a kategorikus szillogizmusok elmélete | 185 |
| Kategorikus állítások | 185 |
| Kategorikus szillogizmusok | 187 |
| Az arisztotelészi logika további történetéről | 189 |
| Összefüggések egytagu predikátumok között | 191 |
| Predikátumok viszonyai | 191 |
| Egytagu predikátumok definiálása | 195 |
| A kéttagu predikátumok (relációk) elméletéről | |
| Az azonosság-predikátum | 203 |
| Azonossági állítások | 203 |
| Az azonosság alaptörvényei | 205 |
| Elvi problémák | 207 |
| Az azonosság alaptörvényei | 205 |
| Speciális relációk | 212 |
| Relációk és tulajdonságaik | 213 |
| Ekvivalencia-relációk és ekvivalencia-osztályok | 217 |
| Rendezési relációk | 220 |
| Műveletek relációkkal | 222 |
| Függvények | 224 |
| Összefoglalás | 229 |
| A XX. század formális logikája | 229 |
