Чисто условное умозаключение, и их применение в юридической практике

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

Это простое умозаключение – вывод получается из двух условных посылок. Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.

Умозаключение как форма мышления. Виды умозаключений

Умозаключение выступает как элементарный шаг рассуждения.

Структура умозаключения

1. Посылка – исходное суждение, из которого выводится новое суждение.

2. Заключение – новое суждение, получаемое логическим путем из посылок.

3. Вывод – логический переход от посылок к заключению.

Умозаключение – это способ получения нового знания на основе некоторого имеющегося. Структура умозаключения обусловлена природой этой формы мышления. В структуре умозаключения различают два основных более или менее сложных элемента: посылки (одна или несколько) и заключение, между которыми, конечно, существует определенная связь.

Виды умозаключений.

По составу: простые – элементы не являются умозаключениями

Сложные – состоят из нескольких умозаключений

По количеству посылок: непосредственные – одна посылка

Опосредованные – две и более посылок

1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения.

Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.

2. Важное значение имеет классификация умозаключений по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).

Дедуктивные умозаключения, или дедукция (от лат. deductio — выведение) — это умозаключения, в которых из общего правила делается вывод для частного случая (из общего правила выводится частный случай).

Например:

Индуктивные умозаключения, или индукция (в пер. с лат. inductio — наведение) — это умозаключения, в которых из нескольких частных случаев выводится общее правило (несколько частных случаев как бы наводят на общее правило). Например:

Умозаключения по аналогии, или аналогия (в пер. с греч. analogia — соответствие) — это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках.

Посылки – это исходное, уже известное знание, служащее основанием для умозаключения.

Заключение (или вывод) – производное и притом новое знание, полученное из посылок и выступающее их следствием.

Связь между посылками и умозаключением есть необходимое отношение между ними, делающее возможным переход от одного к другому, – отношение логического следования.