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