Итак, если одна из посылок силлогизма является условным, или импликативным, суждением, а вторая – категорическим, или простым, то перед нами условно-категорический силлогизм
(также часто называемый условно-категорическим умозаключением). Если же обе посылки представляют собой условные суждения, то это чисто условный силлогизм, или чисто условное умозаключение. Например:В данном случае не только обе посылки, но и вывод силлогизма являются условными (импликативными) суждениями. Другая разновидность чисто условного силлогизма:
Как видим, в этой разновидности чисто условного силлогизма обе посылки являются импликативными суждениями, но вывод (в отличие от первой рассмотренной разновидности) представляет собой простое суждение.
Стоим перед выбором (Условно-разделительные умозаключения)
Кроме разделительно-категорических и условно-категорических умозаключений, или силлогизмов, существуют также условно-разделительные умозаключения. В условно-разделительном умозаключении
(силлогизме) первая посылка является условным, или импликативным суждением, а вторая посылка – это разделительное, или дизъюнктивное, суждение. Важно отметить, что в условном (импликативном) суждении может быть не одно основание и одно следствие (как в тех примерах, которые мы рассматривали до сих пор), а больше оснований или следствий. Например, в сужденииЕсли в первой посылке условно-разделительного силлогизма содержится два основания или следствия, то такой силлогизм называется дилеммой
, если оснований или следствий три, то он называется трилеммой, а если первая посылка включает в себя более трех оснований или следствий, то силлогизм является полилеммой. Чаще всего в мышлении и речи встречается дилемма, на примере которой мы и рассмотрим условно-разделительный силлогизм (также часто называемый условно-разделительным умозаключением).Дилемма может быть конструктивной (утверждающей) и деструктивной (отрицающей). Каждый из этих видов дилеммы в свою очередь делится на две разновидности: как конструктивная, так и деструктивная дилемма может быть простой или сложной.
В простой конструктивной дилемме
из двух оснований вытекает одно следствие, вторая посылка представляет собой дизъюнкцию оснований, а в выводе утверждается это одно следствие в виде простого суждения. Например: