В философии и логике классически выделяют три вида рассуждений: дедукцию, индукцию и абдукцию. Обычно их определяют как движение мысли от общего к частному (дедукция), от частного к общему (индукция) и выдвижение гипотез при неполных данных (абдукция). Однако это все довольно сложно и непонятно неподготовленному читателю. Такая классификация упрощает структуру рассуждений, не учитывая взаимосвязи между типами суждений и их роль в формировании вывода.
Для понимания структуры рассуждений выделим три типа утверждений:
1. Характеристика множества — утверждение о свойствах всего класса объектов.
Пример: «Студенты знают философию».
2. Характеристика элемента — утверждение о свойствах конкретного объекта.
Пример: «Володя знает философию».
3. Суждение о вхождении элемента в множество — утверждение о принадлежности конкретного объекта к классу.
Пример: «Володя – студент».
В рассматриваемых видах рассуждений на основании двух суждений утверждается третье. Традиционно говорят, что дедукция — это движение «от общего к частному». Однако на деле это движение «от общего и связи общего и частного к частному». В рассуждениях фигурируют два критерия, на основе которых выводится один вывод.
Рассмотрим соответствия:
1. Если известны характеристика множества и характеристика элемента, то делается вывод о принадлежности элемента к множеству — это абдукция.
Пример: Зная, что «студенты знают философию» и что «Володя знает философию», предполагаем, что «Володя – студент».
2. Если известны характеристика множества и суждение о принадлежности, то делается вывод о характеристике элемента — это дедукция.
Пример: Зная, что «студенты знают философию» и что «Володя – студент», делаем вывод, что «Володя знает философию».
3. Если известны характеристика элемента и суждение о принадлежности, то формируется обобщение о характеристике множества — это индукция.
Пример: Зная, что «Володя знает философию» и что «Володя – студент», делаем обобщение, что «студенты знают философию».
Таким образом, каждый из методов — это не просто движение «от общего к частному» или наоборот, а логическая операция, в которой на основе двух известных суждений выводится третье.