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