21. Условно-категорические умозаключения, их использование при аргументации.

Условно-категорическое умозаключение – одна из посылок – условное, а другая посылка и заключение – категорические суждения. Имеет два правильных модуса (согласуются с общими правилами силлогизма; заключение достоверно; утверждение основании ведет к утверждению следствия и отрицание следствия – к отрицанию основания): 1. Утверждающий модус (рассуждение от утверждения истинности основания к утверждению истинности следствия) – посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q); Иск предъявлен недееспособным лицом (р) (категорическое суждение) / Суд оставляет иск без рассмотрения (q). Признав истинность основания, признаем истинность следствия. Утверждающий модус дает достоверные выводы: p→q, р / q 2. Отрицающий модус (рассуждение от отрицания истинности следствия к отрицанию истинности основания) – посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q); Суд не оставил иск без рассмотрения (не-q) (категорическое суждение) / Неверно, что иск предъявлен недееспособным лицом (не-р) (Иск предъявлен дееспособным лицом). p→q, ┐q / ┐р Два неправильных модуса (заключение не достоверно; отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания): 1. От отрицания истинности основания к отрицанию истинности следствия: p→q, ┐р / ┐q 2. От утверждения истинности следствия к утверждению истинности основания: p→q, q / р Основание и следствие большей посылки могут быть как утвердительными, так и отрицательными суждениями; если большая посылка – эквивалентное суждение (р≡q), то достоверные заключения получаются по всем четырем модусам: (выделяющее условное суждение) Если лицо, виновно в совершении преступления, то оно подлежит уголовной ответственности.

21. Чисто условные умозаключения, условная правильность выводов.

Чисто-условное умозаключение – обе посылки – условные суждения: Если студент успешно сдал сессию (р), то он считается прошедшим в следующий семестр (q). Если он считается прошедшим в следующий семестр (q), то ему продлевают зачетку (r) / Если студент успешно сдал сессию (р), то ему продлевают зачетку (r). Следствие первой посылки является основанием второй, из которого, в свою очередь, вытекает некоторое следствие. Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (r): (p→q) ٨ (q→r) / p→r. Вывод основывается на правиле: следствие следствия есть следствие основания.  Это простое умозаключение – вывод получается из двух условных посылок. Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания. Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.