3) «Все художники тонко чувствуют природу, следовательно, И. Левитан тонко чувствовал природу, потому что он художник» (заключение в середине).
Совсем не трудно догадаться, что мы не исчерпали всех возможных вариантов (в данном случае их шесть). Их важно знать, чтобы в потоке живой речи — письменной или устной — уметь выделить более или менее устойчивые мыслительные конструкции, дабы подвергнуть их строгому логическому анализу во избежание возможных или допущенных ошибок и недоразумений.
3. Типология умозаключений
Выступая в качестве более сложной, чем понятие и суждение, формы мышления, умозаключение представляет собой в то же время более богатую по своим проявлениям форму. И в этом есть определенная закономерность.
Обозревая практику мышления, можно обнаружить великое множество самых разнообразных видов и разновидностей умозаключений. Они различаются числом посылок — одна, две и более; типом суждений — простое или сложное; видом суждений — атрибутивное или реляционное; характером заключения — достоверное или вероятное и т. д. и т. п. Какой же из признаков положить в основу деления умозаключений на типы? Думается, мы поступим разумно, если будем исходить прежде всего из самой глубокой сущности этой формы мышления. Поскольку всякое умозаключение вообще, безотносительно к его формам, представляет собой логическое следование одних знаний из других, то в зависимости от характера этого следования, от направленности хода мысли в умозаключении можно выделить три коренных, фундаментальных типа, которые и будут положены в основу всего последующего анализа выводного знания. Это дедукция, индукция и традукция.
Дедукция (от лат. deductio — выведение) — умозаключение от более общего знания к менее общему. Типичный пример дедукции, идущий от древности:
Все люди смертны.
Сократ — человек.
Следовательно, Сократ смертен.
Индукция (от лат. inductio — наведение) — умозаключение от менее общего знания к более общему. Например: наблюдая за движением каждой из планет Солнечной системы, можно сделать общий вывод: «Все планеты движутся с запада на восток».
Традукция (от лат. traductio — перевод, перемещение, перенос) — умозаключение, в котором посылки и заключение — одной и той же степени общности.
Пример: «На Земле, где есть атмосфера, смена дня и ночи, времен года, есть также и жизнь. На Марсе подобно Земле есть атмосфера, смена дня и ночи, смена времен года. Возможно, что на Марсе тоже есть жизнь» (вывод, как будет показано в главе VI настоящего раздела пока не подтвердился).
В подобной типологии — отправной пункт для понимания всего многообразия умозаключений.
В современной логике придается особое значение также делению всех умозаключений по характеру самого вывода (заключения). Дедукция дает логически необходимые, а значит достоверные, т. е. истинные выводы. Индукция и традукция, наоборот, в огромном числе случаев приводят лишь к вероятным (правдоподобным) заключениям.
Каждый из основных типов, в свою очередь, имеет особые виды и разновидности. К их последовательному рассмотрению мы и переходим.
Глава II. Дедукция. Непосредственные умозаключения
В зависимости от числа посылок, из которых можно сделать тот или иной вывод, дедуктивные умозаключения подразделяются прежде всего на непосредственные и опосредованные. Учитывая, что эти выражения уже употреблялись нами в предыдущей главе при характеристике умозаключений в целом, подчеркнем во избежание недоразумений: там речь шла о непосредственном и опосредованном знании, а в настоящей главе речь идет о непосредственном и опосредованном умозаключении, т.е. о видах исключительно выводного, опосредованного знания. Этим и исчерпываются неудобства данной терминологии.
Непосредственные умозаключения — это такие, которые делаются из одной посылки.
Опосредованные — те, которые делаются из нескольких (двух и более) посылок.
Перейдем к их конкретной характеристике.
1. Непосредственные умозаключения из простых суждений
Непосредственные умозаключения можно получать прежде всего из простых суждений — как атрибутивных, так и реляционных. Применительно к атрибутивным суждениям это достигается двояким путем: 1) через преобразование суждений и 2) через отношение суждений (в «логическом квадрате»).