Б) Виды суждений

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

По количеству:

общее суждение: "Все S суть Р";

частное суждение: "Некоторые S суть Р";

единичное суждение: "Это S суть Р".

По качеству:

утвердительное суждение: "S есть Р";

отрицательное суждение: "S не есть Р";

неопределенное суждение: "По крайней мере некоторые S (а может быть, и все) суть (или не суть) Р".

По отношению связи:

категорическое суждение: "S есть Р";

условное суждение: "Если А есть В, то В есть С";

разделительное суждение: "S есть либо P1, либо P2".

По модальности:

проблематическое суждение: "S, возможно, есть Р";

ассерторическое суждение: "S действительно есть Р";

аподиктическое суждение: "S необходимо есть Р".

В) Основные формы суждений

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

общеутвердительное суждение: "Все S суть Р" (А);

общеотрицательное суждение: "Ни одно S не есть Р" (Е);

частноутвердительное суждение: "Некоторые S суть Р" (I);

частноотрицательное суждение: "Некоторые S не суть Р" (О).

Кодовое обозначение А, Е, I и О соответствует первым двум гласным буквам латинских слов "affirmo" ("Я утверждаю" - А, I) и "nego" ("Я отрицаю" - Е, О).

Г) Распределенность терминов в суждении

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

Например, в общеутвердительном суждении "Все люди (S) - животные (Р) " (суждение А) субъект - распределен, а предикат - не распределен. Иными словами, объем термина "люди" полностью включается в объем суждения "все люди являются животными", тогда как объем термина "животные" включается не полностью.

В общеотрицательном суждении (суждение Е) "Ни один человек не является растением" как субъект, так и предикат распределены.

4. Умозаключение

Умозаключение - это процесс рассуждения, посредством которого из одного или нескольких суждений выводится новое суждение. Исходные суждения называются посылками умозаключения, а новое суждение, полученное из посылок, называется заключением. При этом различают два вида умозаключений: дедуктивные и индуктивные. Рассмотрим сначала дедуктивные умозаключения. Если заключение выводится из одной посылки, то оно называется непосредственным умозаключением. Если заключение выводится из двух и более посылок, то такое умозаключение называется опосредованным. Рассмотрим опосредованное умозаключение.

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

Человек смертен (большая посылка).

Сократ - человек (меньшая посылка).

Следовательно, Сократ смертен (вывод).

Данный силлогизм содержит три понятия ("Сократ", "человек", "смертный"), из которых наибольший объем имеет термин "смертный" и поэтому называется "большим термином". Наименьший объем имеет термин "Сократ" и поэтому называется "меньшим термином". Оба называются еще "крайними терминами". Объем термина "человек" имеет среднее значение по сравнению с первыми двумя, является общим для обеих посылок и называется "средним термином". Если мы обозначим больший термин буквой Р, меньший термин - буквой S, а средний термин - буквой М, вышеприведенный пример можно представить в следующем виде:

М есть Р

S есть М

Следовательно, S есть Р

Из двух посылок посылка, обозначенная буквой Р, называется "большей посылкой", а посылка, обозначенная буквой S, - "меньшей посылкой".