Структура и классификация умозаключений

Давайте рассмотрим структуру умозаключения. Мы можем различить в умозаключении:

1. Суждения, из которых выводится последнее суждение - Посылки.

2. Суждение, которое выводится из предыдущих суждений - Заключение.

3. Логическая связь между ними.

Третий элемент умозаключения явно в нашей речи не выражен, но именно он соединяет в мышлении все суждения в единое целое.

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

Идея первого типа рассуждений (а далее мы рассматриваем именно его) основывалась на том явном для людей положении, что если общее положение верно, то должны быть верными и частные утверждения, определяемые этим общим положением. Такого типа рассуждения называются дедуктивными.

Название «дедуктивные умозаключения» происходит от латинского слова deductio –«выведение». В дедуктивных умозаключениях связи между посылками и заключением представляют собой формально-логические законы. При истинных посылках заключение всегда оказывается истинным.

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

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

Название «индуктивные умозаключения» происходит от латинского слова inductio – «наведение». Между посылками и заключением в этих умозаключениях имеют место такие связи по формам, которые обеспечивают получение только правдоподобного заключения при истинных посылках. Посредством дедуктивных умозаключений «выводят» некоторую мысль из других мыслей, а индуктивные умозаключения лишь «наводят» на мысль.

Недедуктивным называется умозаключение, в котором истинность посылок не гарантирует истинности заключения.

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

Еще более сложная ситуация складывается при переходе от одних частных утверждений к другим частным, связанным каким-то образом с исходными. Такие рассуждения называют иногда правдоподобными.

Можно выделить два вывода:

1. Исходные посылки рассуждения являются истинными.

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

Именно таким свойством обладает аристотелевская система логического анализа и воспроизведения схем рассуждений, именуемая силлогистикой.