Чисто условным называется такое умозаключение, в котором обе посылки – условные суждения.
| если А, то В если В, то С если А, то С (AÞB)Ù(BÞC) Þ (AÞC) | Если монополия ничем не регулируется, то цены на товары растут Если цены на товары растут, то спрос падает Если монополия ничем не регулируется, то спрос падает |
| если А, то В если не А, то В В (AÞB)Ù(АÞВ) Þ В | Если ты подготовился к экзамену, то его нужно сдать Если ты не подготовился к экзамену, то его нужно сдать Экзамен нужно сдать Если треугольник тупоугольный, то против большего угла лежит большая сторона Если треугольник не тупоугольный, то против большего угла лежит большая сторона Против большего угла треугольника лежит большая сторона |
| если А, то В если не А, то С если не В, то С если не С, то В (AÞB)Ù(АÞC) Þ (ВÞC) Ú(CÞВ) | Если вы обратитесь с вопросом к специалисту, то получите грамотную консультацию Если вы не обратитесь…, то придется разбираться в инструкции Если вы не получите грамотную консультацию, то придется обратиться к инструкции Если вам не пришлось обращаться к инструкции, то вы получили грамотную консультацию |
| если А, то В если С, то не В если А, то не С если С, то не А (AÞB)Ù(CÞВ) Þ (АÞC) Ú(CÞА) | Если спрос на продукцию упал, то предприятие несет убытки Если управление эффективно, то предприятие получает прибыль Если спрос на продукцию упал, то управление неэффективно Если управление эффективно, то спрос на продукцию не падает |
Условно категорическим называется такое умозаключение, в котором одна посылка – условное суждение, вторая – простое категорическое суждение. Имеет два модуса, дающих достоверное (истинное) заключение, и два модуса, дающих вероятностное заключение.
| 1. Утверждающий модус (AÞB) Ù А Þ В Можно строить достоверные умозаключения, переходя от утверждения основания к утверждению следствия | Если задача неразрешима, то она меня не интересует Эта задача неразрешима Эта проблема меня не интересует |
| 2. Отрицающий модус (AÞB) ÙВ Þ А Можно строить достоверные умозаключения, переходя от отрицания следствия к отрицанию основания | Если цветы поливать, то они не засохнут Цветы засохли Цветы не поливали |
| 1 вероятностный модус (AÞB) Ù В Þ вероятно, А Нельзя получить достоверные умозаключения, переходя от утверждения следствия к утверждению основания | Если он изучал логику, то сможет решить эту задачу Он решил эту задачу Вероятно, он изучал логику |
| 2 вероятностный модус (AÞB) ÙА Þ В Нельзя получить достоверные умозаключения, переходя от отрицания основания к отрицанию следствия | Если у человека повышена температура, то он болен У этого человека нормальная температура Вероятно, он не болен |
II. Разделительные умозаключения
Чисто разделительным называется такое умозаключение, в котором обе посылки – дизъюнктивные суждения.
| C есть А или В В есть В1 или В2 С есть А или В1 или В2 | Философская система есть материализм или идеализм Идеализм бывает субъективным или объективным Философская система может быть материализмом или субъективным идеализмом или объективным идеализмом |
Разделительно категорическим силлогизмом называется такое умозаключение, в котором одна посылка – дизъюнктивное суждение, другая – простое категорическое суждение.
Утверждающе-отрицающий модус
| |
Отрицающе-утверждающий модус
|
Обязательным условием при выводе по разделительно-категорическому силлогизму является то, что в дизъюнктивной посылке должны быть предусмотрены все возможные альтернативы (то есть деление должно быть полным).
Пример ошибочного умозаключения:
Смерть могла наступить в результате убийства или самоубийства
Смерть не могла наступить в результате самоубийства
Смерть наступила в результате убийства