Прикладная логика

Содержание книги "Прикладная логика"

Введение x
In.1. Что такое современная логика?
In.2. Методологические принципы, на которых основано данное изложение
In.3. Как работать с данной книгой?
In.4. Введение ко второму изданию
In.5. Введение к третьему изданию
I Язык математики
1. Необходимость точного языка в математике
2. Простейшие высказывания
3. Запись высказываний. Логические формулы
4. Методы перевода с естественного языка на математический и обратно
5. Базовые математические понятия
II Классическая логика
6. Индукция
7. Введение в синтаксис
8. Семантика классической логики
9. Семантические таблицы для классической логики
10. Элементы нестандартного анализа
11. Естественный вывод в классической логике
12. Основы теории определений
13. Неполнота и нефорализуемость
III Введение в неклассические логики
14. Основы λ-исчисления
15. Корни неклассических логик
16. Интуиционистская логика
17. Семантики Крипке и базирующиеся на них логики
18. роблема отрицания
IV Конструктивные и методологические аспекты логики
19. Конструктивизм
20. лгорит и реализуе ость
21. Интуиционизм как альтернатива алгоритмическому конструктивизму
22. Доказательства и программы
23. Методологические следствия теорем о неполноте
24. Прикладная логика
25. Формализация и деформализация
Общие принципы и выводы. В ажн е йши е определения