PhiloMasters

Условные силлогизмы – такие, в которых либо одна, либо обе посылки – условные суждения. Схема условного силлогизма, в котором обе посылки – условные суждения:

Пример:

Аксиому чисто условного силлогизма часто выражают словами: следствие следствия есть следствие основания.

Условные силлогизмы могут составлять целые цепи.

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

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

Модус tollens является умозаключением от отрицания следствия условной посылки к отрицанию ее основания. Форма его такая:

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

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

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

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

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

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

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