Wstęp | str. 9

Rozdział I
Kategorie syntaktyczne | str. 13
Zadania | str. 29

Rozdział II
Nazwy | str. 38
1. Podziały nazw | str. 38
2. Stosunki zakresowe nazw | str. 43
Zadania | str. 49

Rozdział III
Definicje | str. 60
1. Podział definicji ze względu na ich budowę | str. 60
2. Podział definicji ze względu na ich odniesienie (sposób wysłowienia) | str. 65
3. Podział definicji ze względu na stawiane im zadania | str. 67
4. Błędy w definiowaniu | str. 70
Zadania | str. 73

Rozdział IV
Rachunek zdań | str. 82
1. Podstawowe pojęcia rachunku zdań | str. 82
2. Badanie tautologiczności funkcji logicznych | str. 89
3. Przekształcanie funkcji logicznych | str. 105
4. Wnioskowania wyrażone w języku naturalnym | str. 110
4.1. Wnioskowania wyrażone w postaci „pełnej” | str. 111
4.2. Ustalanie wniosku wynikającego logicznie z przesłanki | str. 114
Zadania | str. 116

Rozdział V
Relacje | str. 131
1. Podstawowe pojęcia | str. 131
2. Stosunki między dziedziną a przeciwdziedziną relacji | str. 132
3. Przyporządkowania w relacjach | str. 134
4. Własności relacji | str. 135
4.1. Symetryczność relacji | str. 135
4.2. Tranzytywność (przechodniość) relacji | str. 136
4.3. Zwrotność (refleksywność) relacji | str. 137
4.4. Spójność relacji | str. 139
5. Relacje złożone. Przykłady relacji | str. 141
5.1. Relacja porządkująca | str. 141
5.2. Relacja równościowa (ekwiwalentna, równoważnościowa) | str. 141
5.3. Podział logiczny, partycja i typologia | str. 142
5.4. Stosunki zakresowe i funktory prawdziwościowe jako relacje | str. 146
Zadania | str. 147

Rozdział VI
Rachunek predykatów (rachunek kwantyfikatorów) | str. 161
1. Podstawowe pojęcia | str. 161
2. Przedstawianie struktury wewnętrznej zdań w języku rachunku predykatów | str. 167
3. Znajdowanie przykładów zdań w języku naturalnym, których struktura odpowiada podanemu schematowi zapisanemu w języku rachunku predykatów | str. 170
4. Zamiana występującego w schemacie kwantyfikatora szczegółowego na kwantyfikator ogólny względnie zamiana występującego w schemacie kwantyfikatora ogólnego na kwantyfikator szczegółowy | str. 172
Zadania | str. 173

Rozdział VII
Rachunek nazw | str. 178
1. Zdania kategoryczne | str. 178
1.1. Podstawowe pojęcia rachunku nazw | str. 178
1.2. Związki logiczne pomiędzy zdaniami kategorycznymi | str. 181
1.3. Przekształcanie zdań kategorycznych | str. 184
2. Sylogizm kategoryczny | str. 194
2.1. Pojęcie sylogizmu kategorycznego | str. 194
2.2. Badanie poprawności trybów sylogistycznych | str. 195
2.3. Ustalanie wniosku wynikającego logicznie z przesłanek sylogizmu | str. 208
Zadania | str. 214

Rozdział VIII
Wypowiedzi modalne | str. 231
Zadania | str. 246

Odpowiedzi do zadań | str. 259

Skorowidz | str. 279