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

 (Базовые принципы и понятия)

 

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

 

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

 

                                                                                                                                                                                                                                                                                                                  

 

                                                                                                                                                     

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

а) рассуждение всегда направлено от утверждения основания посылки к утверждению следствия посылки, но не наоборот (утверждающий модус);

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

 

Если в качестве логической связи условного суждения используется эквиваленция, то правильными модусами таких умозаключений будут следующие логические формы:  

 

 

                                                                                                                                        

 

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

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

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

                                                                                                                                             

 

 

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

                                                                                                                                                     

 

 

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

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

 

Тема 3. Умозаключение: