- •Е.А. Кротков логика
- •Содержание
- •Обращение к студенту
- •Содержание разделов дисциплины Тема 1. Роль науки логики в познании
- •Тема 2. Понятие
- •Тема 3. Суждение
- •Тема 4. Умозаключение
- •Тема 5. Рассуждение
- •Тема 1. Роль науки логики в познании
- •1.1. Логика и мышление
- •1.2. Основные логические законы и принципы мышления
- •1.3. Из истории логики как науки
- •Практикум
- •1.4. Язык, действительность и коммуникация
- •1.5. Значение, смысл и логические категории языковых выражений
- •* * *
- •Практикум
- •Тема 2. Понятие
- •2.1. Понятие как форма мышления
- •2.2. Виды понятий
- •2.3. Логические отношения между понятиями
- •2.3.1. Виды совместимости понятий
- •Примеры: «студент» (s) и «спортсмен» (p); «роман» (s) и «поэма» (p). Схематически:
- •2.3.2. Виды несовместимости понятий
- •2.4. Закон обратного отношения между объемами и содержаниями понятий
- •2.5. Обобщение и ограничение понятий
- •2.6. Деление понятий
- •2.7. Дефиниция (определение)
- •Тема 3. Суждение
- •3.1. Суждение как форма мышления
- •3.2. Структура и виды простых суждений
- •Практикум
- •3.3. Логические отношения между простыми суждениями
- •3.4.Логическая форма и виды сложных суждений
- •3.5. Связь между утверждением и отрицанием
- •3.6. Модальные суждения и логические отношения между ними
- •Практикум
- •Тема 4. Умозаключение
- •4.1. Назначение, структура и основные виды умозаключений
- •Практикум
- •4.2. Дедуктивные умозаключения
- •4.2.1. Правила вывода из сложных суждений
- •Если х, тоY; х
- •Если х, тоY; не- y не-х
- •X или y; не- X y
- •Х либо y; y не-X
- •Неверно, что не-х х
- •Из г и не-в выводимо х и не-х Из г выводимоВ
- •4.2.2. Основные разновидности схем выводов из сложных суждений
- •4.2.2.1. Условно-категорические умозаключения
- •4.2.2.2. Разделительно-категорические умозаключения
- •4.2.2.3. Чисто-условные умозаключения
- •4.2.3. Дедуктивные выводы из категорических суждений
- •4.2.3.1. Выводы по логическому «квадрату»
- •4.2.3.2. Обращение
- •4.2.3.3. Превращение
- •Практикум
- •4.2.4. Простой категорический силлогизм
- •4.2.4.1. Структура простого категорического силлогизма
- •4.2.4.2. Фигуры и модусы простого категорического силлогизма
- •4.2.4.3. Методы логического анализа простого категорического силлогизма
- •Правила посылок
- •Правила терминов
- •4.2.4.4. Сокращенный категорический силлогизм. Полисиллогизм
- •Практикум
- •4.3. Индуктивные выводы
- •4.3.1. Редуктивные умозаключения
- •ЕслиX, то y; y
- •4.3.2. Обобщающая индукция
- •4.3.3. Статистические умозаключения
- •4.3.4. Умозаключения по аналогии
- •4.3.5.Умозаключения, используемые при выявлении причинных зависимостей
- •Практикум
- •Тема 5. Рассуждение
- •5.1. Логичность вопросно-ответного мышления
- •5.1.1. Вопрос как форма мышления
- •5.1.2. Виды вопросов
- •5.1.3. Условия правильности вопросов
- •5.1.4. Условия правильности ответов
- •5.2. Рассуждение как метод мыслительной деятельности
- •5.3. Аргументация
- •5.3.1. Доказывание
- •5.3.2. Опровержение
- •Если х, тоY; не- y не-х
- •Из г и в выводимо противоречие (х и не-х) Из г выводимоне-в
- •5.3.3. Подтверждение
- •Если X, тоY; y
- •5.3.4. Критика
- •5.4. Объяснение
- •5.4.1. Номологическое объяснение
- •X или y; не- X y
- •Телеологическое объяснение
- •Практикум
- •5.5. Квалифицирование
- •5.6. Идентифицирование
- •Практикум
- •Глоссарий
- •Дополнительная литература
- •Таблицы, схемы и логические правила Модальные суждения: эквивалентности
- •Категорические суждения
- •Дедуктивные правила вывода из сложных суждений
- •Общие правила простого категорического силлогизма
- •Логические принципы индуктивных умозаключений
4.2.4.2. Фигуры и модусы простого категорического силлогизма
Существует четыре возможных варианта расположения среднего термина в посылках и, соответственно, четыре конструкции или, как их называют, фигуры силлогизма:
1) средний термин является субъектом в большей посылке и предикатом в меньшей (первая фигура);
2) средний термин является предикатом в обеих посылках (вторая фигура);
3) средний термин является субъектом в обеих посылках (третья фигура);
4) средний термин является предикатом в большей посылке и субъектом в меньшей (четвертая фигура).
Названные фигуры схематически изображаются так:
1-я фигура |
2-я фигура |
3-я фигура |
4-я фигура |
|
|
|
|
Примером умозаключения по первой фигуре может послужить приведенный в разделе 4.2.4.1 вывод (I) (про тюленей). А вот пример умозаключения по второй фигуре:
Все юристы (Р) – дипломированные специалисты (М).
Некоторые правозащитники (S) не являются дипломированными специалистами (М).
Некоторые правозащитники (S) не являются юристами (Р).
Пример умозаключения по третьей фигуре:
Все допросы обвиняемого (М) оформляются протоколом (Р).
Все допросы обвиняемого (М) – следственные действия (S).
Некоторые следственные действия (S) оформляются протоколом (Р).
По четвертой фигуре протекает следующее умозаключение:
Все судебные приставы (Р) – чуткие люди (М).
Ни один чуткий человек (М) не является злым (S).
Ни один злой человек (S) не является судебным приставом (Р).
В каждой фигуре силлогизма возможны варианты – их называют модусами. Модусы фигуры отличаются друг от друга качественной и/или количественной характеристиками входящих в них суждений. Так, модусами первой фигуры являются (среди прочих других) схемы
MaP MеP MaP
SaM SiM SiM
SaP SoP SiP
Количество модусов у каждой фигуры – 64, а всего модусов четырех фигур насчитывается 256. Однако большинство из них не являются правильными, поскольку могут приводить от истинных посылок к ложному заключению. Неправильным, к примеру, является модус первой фигуры:
Ни один летчик (М) не является незрячим (Р)
Некоторые космонавты (S) – летчики (М)
Некоторые космонавты (S) – незрячие (Р)
Хотя посылки этого умозаключения – истинные суждения, его заключение ложно.
Для запоминания правильных модусов каждой фигуры в традиционной логике им приписывались соответствующим образом сконструированные названия, указывающие на структуру (строение) модуса. Так, четвертый модус первой фигуры
MeP
SiM
SoP
носит название Ferio. Трем гласным буквам этого слова e, i, o соответствуют типы категорических суждений, входящих в посылки и заключение этого умозаключения. Приведем перечень названий правильных модусов каждой из фигур:
Модусы первой фигуры: |
Модусы второй фигуры: |
1-й: Barbara (а, а, а) 2-й: Celarent (е,а,е) 3-й: Darii (a, i, i) 4-й: Ferio (е,i,o) 5-й: Barbari (a,а,i) 6-й: Celaront (е,а,o) |
e,a,e; a,e,e; e,i,o; a,o,o; e,a,o; a,e,o |
Модусы третьей фигуры: | |
a,a,i; i,a,i; a,i,i; e,a,o; o,a,o; e,i,o | |
Модусы четвертой фигуры: a,a,i; a,e,e; i,a,i; e,a,o; e,i,o; a,e,o
| |
|