Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
логика зачет.docx
Скачиваний:
10
Добавлен:
21.09.2019
Размер:
161.3 Кб
Скачать

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

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

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

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

Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Например: Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г) Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г) В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения. Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания. Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.