Opracowanie jest przeznaczone dla osób rozpoczynających naukę logiki w ramach kursu akademickiego. Wykład obejmuje całość tradycyjnego kursu logiki. Autor zwraca szczególną uwagę na dydaktyczną stronę poszczególnych zagadnień. Wykład jest uzupełniony licznymi przykładami rozwiązań zadań i wskazaniami mnemotechnicznymi. Każdy rozdział kończy się zestawem pytań testowych, a całość zestawem testowym do samodzielnego rozwiązania.

Spis treści

Przedmowa

1.      O logice
1.1.    Działy logiki
1.2.    Praca umysłu a praca mózgu
1.3.    Ujmowanie i przekazywanie myśli
1.4.    Języki a kody
1.5.    Funkcje języka
1.6.    Logika a inne działy wiedzy
1.7.    Z historii logiki
1.8.    O testach wielokrotnego wyboru, wykorzystanych w podręczniku  
1.9.    Zadania testowe

• SEMIOTYKA

2.      Nazwy
2.1.    Kategorie syntaktyczne
2.2.    Nazwa, desygnat, zakres nazwy, nazwy indywidualne, nazwy generalne
2.3.    Inne podziały nazw
2.4.    Nazwy nieostre i nazwy niewyraźne
2.5.    Przydawki determinujące i modyfikujące
2.6.    Zadania testowe

3.      Stosunki pomiędzy zakresami nazw
3.1.    Zdania subsumcyjne
3.2.    Pięć stosunków zakresowych
3.3.    Badanie stosunków zakresowych: metoda podstawowa
3.4.    Ilustracja graficzna: odcinki, czy koła?
3.5.    Główne źródło błędów
3.6.    Metoda awaryjna ustalania stosunków zakresowych
3.7.    Relacje pomiędzy zakresami nazw negatywnych
3.8.    Zadania testowe

4.      Definicje
4.1.    Definicje z uwagi na ich cel
4.2.    Typy definicji
4.3.    Definicja klasyczna
4.4.    Definicje przez wyliczenie
4.5.    Definicja aksjomatyczna
4.6.    Problem „definicji definicji". Definicje realna i nominalne
4.7.    Błędy w definiowaniu: konstrukcyjne, zakresowe, pragmatyczne
4.8.    Zastosowania definicji
4.9.    Zadania testowe

5.      Podział logiczny
5.1.    Rodzaje podziałów,
5.2.    Partycja a podział logiczny,
5.3.    Klasyfikacja i typologia
5.4.    Podziały zbioru naturalne i sztuczne
5.5.    Zadania testowe,

• RACHUNEK LOGICZNY

6.      Zdania
6.1.    Zdania syntetyczne i analityczne
6.2.    Relacje między zdaniami
6.3.    Wykluczanie i dopełnianie
6.4.    Badanie zależności logicznych pomiędzy zdaniami
6.5.    Funkcje zdaniowe
6.6.    Zadania testowe

7.      Rachunek zdań
7.1.    Sława rachunku logicznego
7.2.    Spójniki zdaniowe
7.3.    Spójniki jedno- i dwuargumentowe. Zmienne zdaniowe
7.4.    Ustalanie wartości logicznej zdań złożonych
7.5.    Tautologie rachunku zdań. Metoda zero-jedynkowa
7.6.    Metoda skrócona nie-wprost
7.7.    Metoda skrócona wprost
7.8.    Wynikanie, równoważność, zaprzeczenie - sposób rozpoznawania
7.9.    Ustalanie wartości logicznej zdań składowych
7.10.  Najważniejsze prawa rachunku zdań
7.11.  Zadania testowe

8.      Rachunek kwantyfikatorów
8.1.    Kwantyfikatory. Formuły rachunku predykatów
8.2.    Prawa rachunku kwantyfikatorów
8.3.    Zapisywanie zdań przy użyciu kwantyfikatorów
8.4.    Postać prawa nauki
8.5.    Zadania testowe

9.      Kwadrat logiczny
9.1.    Rachunek nazw
9.2.    Interpretacja zdań subsumcyjnych
9.3.    Kwadrat logiczny - postać graficzna
9.4.    Sprzeczność i podporządkowanie
9.5.    Kwadrat logiczny - rozwiązywania zadań
9.6.    Przeciwieństwo i podprzeciwieństwo
9.7.    Inne ujęcia kwadratu logicznego
9.8.    Sześciokąt logiczny - rozwiązywanie zadań
9.9.    Zadania testowe

10.      Konwersja, obwersja, kontrapozycja
10.1.    Konwersja
10.2.    Równość a równoważność logiczna
10.3.    Kontrapozycja
10.4.    Kontrapozycja a konwersja. Negacja zdaniowa a negacja wyrazowa
10.5.    Obwersja
10.6.    Konwersja, obwersja, kontrapozycja - przykładowe przekształcenia
10.7.    Zadania testowe

11.      Sylogizmy
11.1.    Sylogizmy hipotetyczne i kategoryczne
11.2.    Sylogizmy kategoryczne
11.3.    Metoda algorytmiczna rozpoznawania trybów słusznych
11.4.    Rozpoznawanie trybów słusznych - przykłady
11.5.    Weryfikacja wnioskowań sylogistycznych
11.6.    Uzupełnianie trybów sylogistycznych
11.7.    Zadania testowe

• METODOLOGIA FORMALNA

12.      Wynikanie
12.1.    „Paradoks implikacji"
12.2.    Implikowanie a wynikanie
12.3.    Definicja wynikania
12.4.    Wynikanie logiczne
12.5.    Warunek konieczny i wystarczający
12.5.   Zadania testowe

13.      Wnioskowania
13.1.    Przesłanki i wniosek
13.2.    Wnioskowania zawodne i niezawodne
13.3.    Indukcjonizm i hipotetyzm
13.4.    Wnioskowania z uwagi na ich cel
13.5.    Indukcja enumeracyjna
13.6.    Wnioskowanie z analogii
13.7.    Indukcja eliminacyjna
13.8.    Wnioskowania eksplikacyjne
13.9.    Wnioskowania weryfikacyjne
13.10.  Zadania testowe

14.      Pytania i odpowiedzi
14.1.    Pytania dobrze i źle postawione
14.2.    Odpowiedzi właściwe i niewłaściwe
14.3.    Zadania testowe

SZTUKA PROWADZENIA SPORU

15.      Usterki logiczne
15.1.    Usterki zamierzone i niezamierzone
15.2.    Błędy we wnioskowaniu
15.3.    Główne błędy w wyrażaniu myśli
15.4.    Wyrażenia okazjonalne i entymematy
15.5.    Zadania testowe

16.      Spory dialektyczne
16.1.    Spory dialektyczne oraz erystyczne
16.2.    Etapy dyskusji dialektycznej
16.3.    Zasada racji dostatecznej
16.4.    Etapy polemiki
16.5.    Zadania testowe

17.      Spory erystyczne
17.1.    Ery styka
17.2.    Ciężar dowodu
17.3.    Sofistyka
17.4.    Chwyty erystyczne
17.5.    Erystyka - linia obrony
17.6.    Zadania testowe

• UZUPEŁNIENIA

18.    Testy do samodzielnego rozwiązania

19.      Odpowiedzi do zadań
19.1.    Odpowiedzi do zadań z rozdziałów 1-17
19.2.    Odpowiedzi do testów z rozdziału 18