- •Предмет и значение логики
- •История формирования логики
- •Индуктивная логика Бэкона
- •Понятие логической формы
- •Парадокс
- •Семантические категории языковых выражений.
- •Понятие и слово. Образование понятий.
- •2.Чисто-условные умозаключения, их роль в доказательстве
- •Основные логические характеристики понятий
- •Виды понятий
- •Отношения между понятиями. Совместные и несовместные понятия
- •Отношения между понятиями. Логические операции с понятиями
- •Операции обобщения и ограничения понятий.
- •Определения понятия. Виды определения.
- •Правила определения.
- •Введение и использование определений в области права
- •Деления понятия, виды деления.
- •Ошибки при делении
- •Классификация, виды классификации. Классификации в праве
- •Простые суждения, их виды и состав.
- •Категорических суждений по качеству и количеству.
- •Объединенная классификация суждений по количеству и качеству, распределенность терминов.
- •Распределенность терминов в суждении
- •Отношения между простыми суждениями. Логический квадрат.
- •Модальность суждений. Понятие и виды модальности
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •Сложные суждения, и их виды
- •Основы языка логики высказываний
- •Семантическая таблица истинности
- •Отношения между сложными суждениями
- •Основные законы логики
- •Рассуждения и умозаключение..Структура умозаключения
- •Типы умазаключений
- •Дедуктивное умозаключение и его виды
- •Непосредственное умозаключения
- •Простой категорический силлогизм и его состав
- •Фигуры силлогизма и их познавательная функция
- •Энтимема
- •Сложные и сложносокращенные силлогизмы
- •Условно-категорическое умозаключение
- •Разделительно-категорическое умозаключение
- •Дилемма, их виды
- •Недедуктивное умозаключение их виды и роль
- •Индукция..Индуктивные умозаключения
- •Виды индуктивных умозаключений.
- •Методы научной индукции
- •Умозаключения по аналогии
- •Критика и опровержение . Виды опровержений
- •Правила и ошибки в доказательстве
- •Понятие спора. Виды спора.
- •Уловки в споре
- •Логика вопросов и ответов
- •Понятие гипотезы и ее структура. Виды гипотез
- •Логические структуры и виды гипотезы и версии
- •Примеры из правовой практики выдвижения и проверки версии
Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)
Иск предъявлен недееспособным лицом (р)
Суд оставляет иск без рассмотрения (q)
Утверждающий модус дает достоверные выводы. Он имеет схему:
p->q,p/q
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)
Суд не оставил иск без рассмотрения (не-q) Неверно, что иск предъявлен недееспособным лицом (не-р)
Схема отрицающего модуса:
p->q,1q/1p
Разделительно-категорическое умозаключение
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.
1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)
Данная облигация не является именной (не-q)
Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции.
2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)
Данная облигация именная (q)
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.
Условно-разделительное умозаключение
Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим.
Разделительное суждение может содержать две, три и большее число альтернатив2, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.
Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.