ОГЛАВЛЕНИЕ  

ПРЕДИСЛОВИЕ.

ВВЕДЕНИЕ.

Глава 1
Краткий очерк ИСТОРИИ ЛОГИКИ.

Глава 2
Дедуктивный, вероятностный и диалектический уровни критического мышления.

2.1.    Силлогистика Аристотеля.

2.2.    Силлогистика Васильева.

2.3.    Нечеткая силлогистика.

2.4.    Неформальная силлогистика.

Глава 3
Логика высказываний.

3.1.    Интерпретация и семантическое следование.

3.2.    Логическое следование.

Глава 4
Логика предикатов 

4.1.    Интерпретация и структура.

4.2.    Исчисление предикатов гильбертовского типа.

4.3.    Исчисление предикатов гейтинговского типа.

4.4.    Предваренная нормальная форма и теорема о полноте.

4.5.    Модальная логика предикатов.

Глава 5
Алгебра логики

5.1.    Булевы функции.

5.2.    Нормальные формы.

Глава 6
Теория множеств 

6.1.    Операции над множествами.

6.2.    Отношения и функции.

6.3.    Отношения эквивалентности и порядка.

6.4.    Онтология Лесьневского.

Глава 7
Алгебраические системы 

7.1.    Общие понятия.

7.2.    Дистрибутивные решетки.

7.3.    Модели теорий первого порядка.

Глава 8
Аксиоматические теории 

8.1.    Аксиоматизируемые классы моделей.

8.2.    Элементарные теории.

8.3.    Формальная арифметика и теоремы о неполноте.

Глава 9
Основания математики 

9.1.    Парадоксы.

9.2.    Теория доказательств.

9.3.    Рекурсивные функции и машины с неограниченными регистрами.     

9.4.    Неразрешимые проблемы.

Глава 10
Вероятностная логика 

10.1.  Вероятностная булева алгебра.

10.2.  Теория подтверждения .

10.3.  Вероятностная двойственно нормированная булева алгебра.

Глава 11
Неформальная логика 

11.1.  Иллокутивная логика.

11.2.  Иллокутивная логика убеждения.

11.3.  Иллокутивная логика влияния.

Заключение 

Приложение 1
Практикум по неформальной логике.
Тексты для анализа 

1.1.    Практикум по иллокутивной логике убеждения.

1.2.    Практикум по иллокутивной логике влияния.

Приложение 2
Латинские фразеологические обороты,
наиболее употребимые в логике  

Библиография 

Предметный указатель 

SUMMARY