- •Глава 1 предмет и 31-гачение логики
- •§1. Роль мышления в познании
- •§ 2. Понятие о форме и законе мышления Форма мышления
- •Тема1.2.3 Мышление человека подчинено логическим законам, или законам мышления.
- •§ 3. Основные логические законы
- •§ 4. Язык логики
- •§ 5. История логики (краткий очерк)
- •§ 6.Значение логики
- •§ 1. Понятие как форма мышления Общая характеристика понятия
- •§ 2. Содержание и объем понятия
- •§ 3.Виды понятий
- •§ 4. Отношения между понятиями
- •§1. Обобщение и ограничение понятий
- •§ 2. Определение понятий Сущность и значение определения
- •§ 3. Деление понятий Сущность деления
- •§ 4. Операции с классами
- •Глава IV суждение
- •§ 1. Суждение как форма мышления
- •§ 2. Простые суждения Виды и состав простых суждений
- •§3. Сложные суждения
- •§ 4. Логические отношения между суждениями
- •§5. Модальность суждений 1я Понятие и виды модальности
- •Глава V логика вопросов и ответов
- •§1.Виды вопросов
- •§1. Умозаключение как форма мышления. Виды умозаключений
- •§ 2. Непосредственные умозаключения
- •§3. Простой категорический силлогизм Состав простого категорического силлогизма
- •§ 4. Умозаключения из суждений с отношениями
- •Глава VII
- •§1. Чисто условное и условно-категорическое умозаключения
- •§ 2. Разделительно-категорическое умозаключение
- •§ 3. Условно-разделительное умозаключение
- •§ 4. Сокращенный силлогизм (энтимема)
- •§ 5. Сложные и сложносокращенные силлогизмы
- •§ 6. Понятие о логике высказываний
- •Глава VIII индуктивные умозаключения
- •§ 1. Полная индукция
- •§ 2. Неполная индукция. Популярная индукция
- •§ 3. Научная индукция
- •Глава IX умозаключения по аналогии
- •§ 1. Понятие аналогии
- •§ 2. Виды аналогии
- •§ 3. Условия состоятельности выводов по аналогии
- •§ 4. Роль аналогии в науке и правовом процессе
- •§ 1. Аргументация и доказательство
- •§ 2. Состав аргументации: субъекты, структура Субъекты аргументации
- •§ 3. Способы аргументации: обоснование и критика
- •§ 4. Правила и ошибки в аргументации
- •§ 5. Поля аргументации 1. Понятие и состав полей аргументации
- •§ 1. Понятие и виды гипотез. Версия Понятие гипотезы
- •§ 2. Построение гипотезы (версии)
- •§ 3. Проверка гипотезы
- •§ 4. Способы доказательства гипотез
- •Вопрос 107
§ 2. Разделительно-категорическое умозаключение
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отри-цающе-утверждающий.
1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)
Данная облигация не является именной (не-q) Схема утверждающе-отрицающего модуса:
P^q>P
1q '
? — символ строгой дизъюнкции.
Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя. В самом деле, из посылок «Кражу совершил К. или Л.» и «Кража совершена К.» заключение «Л. кражу не совершал» с необходимостью не следует. Возможно, что Л. также причастен к совершению кражи, является соучастником К.
2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:
149
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)
Данная облигация именная (q)
Схема отрицающе-утверждающего модуса:
,1p
q
< > — символ закрытой дизъюнкции.
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя. Например:
Сделка может быть двусторонней или многосторонней Совершенная сделка не является двусторонней
Совершенная сделка является многосторонней \
Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сделок: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание (сделка может быть и односторонней, для совершения которой достаточно изъявления воли одного лица — выдача доверенности, составление завещания, отказ от наследства и т.п.).
Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо вследствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (г). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме:
р ? q ? г, р
1q л1г
Возможен и другой ход рассуждения. Допустим, предположения о том, что пожар возник вследствие неосторожного обращения с
150
огнем или в результате самовоспламенения хранящихся на складе материалов не подтвердилось. В этом случае умозаключение примет форму отрицающе-утверждающего модуса и будет построено по схеме:
_______,1pv1q
г (пожар возник в резульгате поджога)
Заключение будет истинным, если в условной посылке учтены все возможные случаи.
Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий (гл. XI).