Содержание
- Введение 1
- Исторические корни и этапы развития формальной логики 2
- - Логика Аристотеля 2.1
- - Развитие логики в Средние века 2.2
- - Математическая логика: Лейбниц и Буль 2.3
- Основные понятия и законы формальной логики 3
- - Высказывания и суждения 3.1
- - Законы логики 3.2
- - Истинность и логическое следование 3.3
- Формы логического следования и методы доказательства 4
- - Дедукция и индукция 4.1
- - Методы доказательства 4.2
- - Ошибки в рассуждениях 4.3
- Практическое применение формальной логики 5
- - Логика в программировании 5.1
- - Логика в юриспруденции 5.2
- - Логика в искусственном интеллекте 5.3
- Заключение 6
- Список литературы 7