- •1) Что такое логика?
- •2) Основные логические законы
- •1. Закон тождества
- •2. Закон противоречия
- •3. Закон исключенного третьего
- •4. Закон достаточного основания
- •3) Язык логики
- •4) Понятие как форма мышления
- •5) Содержание и объем понятия
- •6) Виды понятий
- •7) Отношения между понятиями
- •8) Обобщение и ограничение понятий
- •9) Определение понятий. Виды и правила определения.
- •10) Деление понятий. Виды и правила деления.
- •11) Суждение как форма мышления.
- •12) Виды и состав простых суждений
- •13) Распределенность терминов в суждении.
- •14) Сложные суждения. Виды сложных суждений.
- •15) Логический квадрат
- •16) Понятие и виды модальности
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •17) Умозаключение как форма мышления
- •18) Непосредственные умозаключения
- •19) Простой категорический силлогизм
- •20) Общие правила категорического силлогизма
- •21) Фигуры и модусы категорического силлогизма
- •22) Дедуктивное умозаключение
- •23) Чисто условное умозаключение
- •24) Условно-категорическое умозаключение
- •25) Разделительно-категорическое умозаключение
- •26)Условно-разделительное умозаключение
- •27) Сокращенный силлогизм
- •28) Индуктивные умозаключения
- •29) Полная и не полная индукция
- •30) Научная индукция
- •31) Умозаключение по аналогии
- •32) Виды аналогии
- •33) Логические основы аргументации
- •34) Аргументация и доказательство
- •35) Софизмы и логические парадоксы
- •36) Неклассическая логика
- •37) Логическая структура гипотезы
- •39) Виды гипотез
- •40) Версия
24) Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск
без рассмотрения (q)
Иск предъявлен недееспособным лицом (р)
Суд оставляет иск без рассмотрения (q)
Утверждающий модус дает достоверные выводы. Он имеет схему:
p->q,p/q
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет
иск без рассмотрения (q)
Суд не оставил иск без рассмотрения (не-q)
Неверно, что иск предъявлен недееспособным лицом (не-р)
Схема отрицающего модуса:
p->q,1q/1p
25) Разделительно-категорическое умозаключение
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции.
Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.
1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)
Данная облигация не является именной (не-q)
Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции.
2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)
Данная облигация именная (q)
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.