Классическая дедуктивная логика. Часть 2
Философия
9 лекций
Ранее в первой части трехсеместрового курса логики для студентов, обучающихся на отделении философии философского факультета была рассмотрена классическая логика высказываний и описаны общие принципы построения логических теорий.
Далее во второй части рассматриваются классическая логика предикатов, силлогистика.
2026
лекции
Философия
Преподаватель
- 01:21:13Лекция 1. Исчисление с конечным числом аксиом и с правилом подстановки
- 01:19:13Лекция 2. Натуральное исчисление высказываний
- 01:25:29Лекция 3. Эвристические соображения
- 01:21:51Лекция 4. Свойства логических исчислений
- 01:28:26Лекция 5. Классическая логика предикатов
- 01:28:31Лекция 6. Интерпретация нелогических символов языка
- 01:23:55Лекция 7. Правила приписывания значений сложным формулам
- 01:26:51Лекция 8. Отношения между формулами
- 01:28:03Лекция 9. Классическое натуральное исчисление предикатов