- •33.Чисто условное умозаключение.
- •34.Условно-категорическое умозаключение,его модусы.
- •35.Разделительно-категорическое умозаключение,его модусы.
- •36.Сокращенный силлогизм(энтимема)
- •37.Индуктивные умозаключения,их роль в познании.Полная индукция.
- •38.Неполная индукция,виды.Популярная индукция.Условия повышения вероятности вывода.
- •39.Научная индукция,виды.
- •1. Индукция методом отбора
- •2. Индукция методом исключения
- •40.Научная индукиця:метод сходства.
- •41.Научная индукция:метод различия.
- •42.Научная индукция:метод сопутствующих изменения.
- •43.Научная индукция:метод остатков.
- •44.Аналогия и ее виды.
- •45.Аргументиция и доказательство,структура.
- •46.Прямое и косвенное обоснование тезиса.
- •47.Приемы и виды критики.
- •48.Правила и ошибки тезиса.Аргументации,демонстрации.
- •50.Версия в судебном исследовании,виды.
33.Чисто условное умозаключение.
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Например:
Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q).
Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (r)
Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (r)
В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (r). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (r). Поэтому заключение также выражается в форме условного суждения.
Схема чисто условного умозаключения:
(р q) (q r)
рr
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
34.Условно-категорическое умозаключение,его модусы.
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)
Иск предъявлен недееспособным лицом (р)
Суд оставляет иск без рассмотрения (q)
Первая посылка — условное суждение, выражающее связь основания (р) и следствия (q). Вторая посылка — категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом. Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотренияУтверждающий модус дает достоверные выводы. Он имеет схему:
pq , q
q
2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:
Если иск предъявлен недееспособным лицом (р),то суд оставляет иск без рассмотрения (q)
Суд не оставил иск без рассмотрения (не-q)
Неверно, что иск предъявлен недееспособным лицом (не-р)
р q, q
p
Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия и от утверждения истинности следствия к утверждению истинности основания, т.е.:
р q,q
p
р q, q
q
Однако заключение по этим модусам не будет достоверным. Так, если в примере, приведенном выше, основание условной посылки отрицается: неверно, что иск предъявлен недееспособным лицом (схема 3), нельзя с достоверностью отрицать истинность следствия: неверно, что суд оставляет иск без рассмотрения. Суд может оставить иск без рассмотрения и по другим обстоятельствам, например в результате истечения срока исковой давности.
Утверждение следствия: суд оставляет иск без рассмотрения (схема 4) не влечет с необходимостью истинность основания: суд может оставить иск без рассмотрения не только в результате недееспособности истца, но и по другим причинам.
Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий и отрицающий. Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.
При анализе условно-категорического умозаключения нужно иметь в виду следующее. Во-первых, основание и следствие большей посылки может быть как утвердительным, так и отрицательным суждением: р q; р q; р q; р — q. Например:
Если состав преступления отсутствует (р), то уголовное дело не может быть возбуждено ( q)
Состав преступления отсутствует (р)
Уголовное дело не может быть возбуждено ( q)
Следствие условной посылки — отрицательное суждение, категорическая посылка (утвердительное суждение) утверждает истинность основания, заключение (отрицательное суждение) утверждает истинность следствия, т.е.
р q, р
q
Это утверждающий модус.
Возможны и другие разновидности модусов.
Во-вторых, если большая посылка является эквивалентным суждением: p q (если, и только если р, то q), где — знак эквивалентности, то достоверные заключения получаются по всем четырем модусам:
P q, Р P q, q Р q, Р P q, q
q p q p