План логического практикума

Занятие 1. Логические отношения между понятиями.

1. Объем и содержание понятия. Закон обратного отношения между объемом и содержанием понятия.
2. Классификация видов понятий по содержанию.
   Классификация видов понятий по объему.
3. Логические отношения между понятиями по содержанию. Логические отношения между понятиями по объему.

Упражнения

Солодухин О А. Логика. М.: Экспертное бюро-М, 1997. Упр. 2.1-2.6.

Литература

Бочаров В А., Маркин В.И. Основы логики. М., 1994. С. 169-189.

Ивлев Ю.В. Логика. М., 1994. С. 142-158.

Солодухин ОА. Логика. С. 19-25.

Занятие 2. Определение понятия.

1. Классификация видов определенных понятий.
2. Правила построения корректного определения понятия. Возможные логические ошибки в определениях.

Упражнения

Солодухин О. А. Логика. Упр. 2.7-2.10.

Литература

Бочаров ВЛ., Маркин В.И. Основы логики. С. 197-212.

Ивлев Ю.В. Логика. С. 169-182.

Солодухин О А. Логика. С. 26-32.

Занятие 3. Деление и классификация понятий.

1. Логическая структура операции деления понятия. Виды деления.
2. Требования, предъявляемые к операции деления понятия. Возможные ошибки при делении.
3. Классификация как специальный вид операции деления понятий. Правила построения классификации.

Упражнения

Солодухин ОА. Логика. Упр. 2.11-2.18.

Литература

Ивлев Ю.В. Логика. С. 183-198.

Солодухин ОА. Логика. С. 33-37.

Занятие 4. Логическая структура и условия истинности высказываний в классической логике.

1. Формальный язык классической логики высказываний. Понятие правильно построенной формулы языка логики высказываний.
2. Метод истинностных таблиц для определения логических условий истинности формул языка логики высказываний.
3. Классификация высказываний по логическим условиям истинности.
   Понятие закона в классической логике.
4. Метод сокращенных истинностных таблиц для проверки логической истинности и логической ложности высказываний.

Упражнения

Солодухин ОА. Логика. Упр. 3.1-3.10; 3.11-3.18.

Литература

Бочаров В А., Маркин ВМ. Основы логики. С. 32-50.

Ивлев Ю.В. Логика. С. 39-59.

Солодухин О А. Логика. С. 38-51.

Занятие 5. Логические отношения между суждениями.

1. Классификация видов логических отношений между простыми категорическими суждениями в традиционной логике. Метод определения логических отношений между категорическими суждениями на логическом квадрате.
2. Классификация видов логических отношений между высказываниями в классической логике. Табличный метод установления логических отношений между высказываниями по условиям их истинности.

Упражнения

Солодухин О А. Логика. Упр. 3.19-3.22.

Литература

Бочаров ВА., Маркин ВМ. Основы логики. С. 51-55.

Солодухин О А. Логика. С. 52-57.

Занятие 6. Логическая корректность рассуждения.

1. Структура рассуждения. Понятия логической корректности и надежности рассуждения. Определение логического следования в терминах понятия истинности.
2. Метод полных и сокращенных истинностных таблиц для контроля логической корректности рассуждения в классической логике.

Упражнения

Солодухин О А. Логика. Упр. 4.1-4.3.

Литература

Солодухин ОА. Логика. С. 58-62.

Занятие 7. Система натурального вывода.

1. Определение понятия логического следования в терминах понятия выводимости. Понятия вывода и выводимой формулы.
2. Основные и производные правила вывода. Прямые и косвенные правила вывода.

Упражнения

Солодухин ОА. Логика. Упр. 4.4-4.6.

Литература

Бочаров В А., Маркин ВП. Основы логики. С. 56-71.

Солодухин ОА. Логика. С. 63-66.

Занятие 8. Силлогистика.

1. Понятие простого категорического силлогизма.
   Фигура и модусы простого категорического силлогизма.
2. Логические операции приведения простого категорического силлогизма к стандартной форме.
3. Методы логического контроля корректности силлогического рассуждения: метод совершенных силлогизмов; круговых схем.
4. Методы логического контроля корректности силлогистического рассуждения в форме энтимемы, полисиллогизма, сорита.

Упражнения

Солодухин О А. Логика. Упр. 4.15-4.16.

Литература

Бочаров ВА., Маркин В.И. Основы логики. С. 138-168.

Солодухин ОА. Логика. С. 75-78.

Занятие 9. Правдоподобные рассуждения.

1. Классификация видов индуктивного рассуждения.
2. Логическая структура индуктивного рассуждения. Основная и производные схемы индуктивного вывода.
3. Классификация видов рассуждения по аналогии. Логические условия обоснованности вывода по аналогии.

Упражнения

Солодухин ОА. Логика. Упр. 4.7-4.14.

Литература

Бочаров ВА., Маркин В.И. Основы логики. С. 213-262.

Солодухин О А. Логика. С. 67-74.