Классическая дедуктивная логика. Часть 1
Философия
15 лекций
Логика — один из ключевых и наиболее фундаментальных курсов на философском факультете. Классическая дедуктивная логика решает две главные задачи: выявляет класс логических законов и определяет класс форм корректных рассуждений. Построение логических теорий в ней осуществляется семантическим путём: задаётся формализованный язык, формулируются правила интерпретации его символов, вводятся соответствующие понятия, выделяются общезначимые формулы и устанавливается отношение логического следования.
В первой части курса подробно рассматривается классическая логика высказываний, а также описываются общие принципы построения логических теорий.
2025
лекции
Философия
Преподаватель
- 01:29:46Лекция 1. Основные понятия логики
- 01:32:13Лекция 2. Логически правильное рассуждение
- 01:25:35Лекция 3. Логический закон. Основные этапы развития логики
- 01:20:30Лекция 4. Логический анализ языка
- 01:25:59Лекция 5. Категоризация языковых выражений
- 01:23:38Лекция 6. Принципы употребления языковых выражений
- 01:20:32Лекция 7. Функциональный подход к анализу естественного языка
- 01:22:57Лекция 8. Типы функций. Формализованные языки
- 01:20:49Лекция 9. Формализованные языки
- 01:20:36Лекция 10. Предложения. Суждения. Высказывания
- 01:22:23Лекция 11. Сложные высказывания
- 01:24:13Лекция 12. Дедуктивные логические теории
- 01:23:11Лекция 13. Классическая логика высказываний
- 01:22:23Лекция 14. Функционально полные системы связок
- 01:19:59Лекция 15. Аксиоматическое исчисление высказываний