Содержание
- Введение 1
- Исторические корни и предмет формальной логики 2
- - Античная логика: вклад Аристотеля 2.1
- - Средневековая логика и схоластика 2.2
- - Современная формальная логика 2.3
- Математическая логика: возникновение и основные понятия 3
- - Логическое исчисление: пропозициональное и предикатное 3.1
- - Теоремы Гёделя о неполноте 3.2
- - Модели и интерпретации логических систем 3.3
- Сравнение формальной и математической логики 4
- - Язык и символика логических систем 4.1
- - Аппарат и методы доказательства 4.2
- - Области применения и практическая значимость 4.3
- Заключение 5
- Список литературы 6