Контрольная работа: Виды умозаключений

Абстрактно рассуждая, можно сконструировать еще два вида сочетания посылок:

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

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

На примере с дождем и мокрой мостовой очевидна невозможность достоверного заключения во втором виде сочетания посылок:

Разделительные силлогизмы.

Разделительными, или дизъюнктивными, силлогизмами называются такие, первая посылка которых есть разделительное (дизъюнктивное) суждение. Вторая и вывод суть суждения разделительные или категорические.

Схема дизъюнктивного суждения, образующего первую посылку дизъюнктивного силлогизма, имеет такой вид: S есть или А, или В, или С. Каждое из суждений, входящее в данное разделительное суждение (S есть А; S есть В; S есть С), называются альтернативой. В нашем суждении содержится три альтернативы.

Дизъюнктивные силлогизмы имеют два модуса:

В этом модусе во второй посылке отрицается все, кроме одной альтернативы, поэтому в выводе утверждается эта оставшаяся альтернатива. Так как в выводе мы приходим к утверждению, модус называется утверждающим, но путь наш состоял в отрицании всех других альтернатив, кроме одной, то модус получил название модуса, утверждающего посредством отрицания (tollendo ponens).