Дедуктивные выводы из сложных суждений

______ _______

• Разделительно-категорическим называют умозаключение, где одна посылка — разделительное суждение, а вторая - категорическое суждение. При построении разделительно-категорического умозаключения необходимо следовать следующим правилам:

а) рассуждение может быть направлено от утверждения одной из переменных посылки к отрицанию в заключении другой переменной посылки, если в разделительной посылке логическая связь выражена сильной дизъюнкцией (утверждающе-отрицающий модус);

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

Р (q) р (q) р (q)

______ ______ ______

Q (р) q (р) q (р)

• Условно-разделительным называют умозаключение, где несколько посылок — условные суждения и одна - разделительное суждение. В зависимости от количества условных посылок различают: дилеммы — количество условных посылок равно двум; трилеммы - количество условных посылок равно трем; полилеммы - количество условных посылок равно четырем или более. В зависимости от вида суждения, стоящего на месте заключения среди дилемм (трилемм, полилемм) различают: простые дилеммы (трилеммы, полилеммы) - заключение выражено категорическим суждением (следствие условных посылок или отрицание основания условных посылок); сложные дилеммы (трилеммы, полилеммы) - заключение выражено разделительным суждением (дизъюнкция следствий условных посылок или отрицание дизъюнкции оснований условных посылок). В зависимости от вида суждения, стоящего на месте разделительной посылки среди дилемм (трилемм, полилемм) различают: конструктивные дилеммы (трилеммы, полилеммы) — в разделительной посылке утверждается дизъюнкция оснований условных посылок; деструктивные дилеммы (трилеммы, полилеммы) — в разделительной посылке отрицается дизъюнкция следствий условных посылок. Правильными модусами условно-разделительного умозаключения являются следующие логические формы:

простой конструктивный модус простой деструктивный модус

р → q; r → q р → q; р → r

р v r (р r) (q V r)

Q р

сложный конструктивный модус сложный деструктивный модус

р → q; r → s р → q; р → s

р V r (р r) (q V s)

_____________ ____________

q v s (р V r)

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

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

Типовые примеры по теме

«Дедуктивные выводы из сложных суждений»

Задание 1.

Определите вид и проверьте правильность умозаключений по их форме.

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

1. Записать рассуждение в виде умозаключения, т.е. определить в составе рассуждения посылки и заключение. Записать их по порядку: каждую посылку с новой строки, отделяя посылки от заключения чертой. Суждения, которые не являются посылками и заключением, в умозаключение не записываются.

2. Определить простые суждения в составе умозаключения и обозначить их символами (р, q, r, s, t и т.д.) (простые суждения подчеркнуть одной сплошной чертой).

3. Определить логическую связь между простыми суждениями.

4. Записать логическую форму умозаключения.

5. Определить вид умозаключения из сложных суждений и его модус.

6. Проверить соответствие или несоответствие полученной логической формы правильным модусам данного умозаключения.

Пример 1:

«Из правил русского языка известно, что если подлежащее выражено сочетанием числительного с существительным, то сказуемое-глагол стоит или в единственном числе, или во множественном. Значит, в данном предложении сказуемое-глагол стоит в единственном или во множественном числе, так как подлежащее в нем выражено сочетанием числительного с существительным».

«Сказуемое-глагол стоит в единственном числе» — q

«Сказуемое-глагол стоит во множественном числе» — r

«Подлежащее в данном предложении выражено сочетанием числительного с существительным» - р

Познавательные статьи:



Психологические особенности спортивного соревнования

Приготовление дезинфицирующих растворов различной концентрации

Занятость населения и рынок труда

Социальный статус семьи и её типология