Учение об умозаключении как теория рассуждения.

Умозаключение – это процесс получение знания, выраженного в суждении, из других знаний, тоже выраженных посредством суждений. Исходные суждения называют посылкамиумозаключения, а получаемое суждение – заключением.

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

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

Процесс получения заключений из посылок по правилам дедуктивных умозаключений называется выведением следствий.

Логическое следствие из данных посылок есть высказывание, которое не может быть ложным, когда эти посылки истинны.

Следуя сложившейся в логике традиции, мы выделяем в качестве видов умозаключений лишь некоторые основные правильные формы таковых, наиболее часто встречающиеся в повседневной практике мышления. Один из этих видов — так называемые выводы из сложных высказываний — по существу представляют собой правила вывода, рассмотренные уже в логике высказываний. Другие — выводы из категорических высказываний — в логике предикатов и представляют собой, как мы уже отмечали, специфические формы выводов в естественных языках. Те и другие формы по упоминавшейся традиции называют с и л л о г и з м а м и (от греческого названия дедуктивных умозаключений).

Умозаключения также делятся на дедуктивныеииндуктивные. Дедукция (от лат. deductiо – «выведение») означает вывод о свойствах отдельного предметного класса на основе знаний о классе в целом, то есть движение мысли от общего к частному. В дедуктивных умозаключениях связи между посылками и заключением – это формально-логические законы, в силу чего при истинных посылках заключение всегда оказывается истинным.

Индукция (от лат. inductio – «наведение») означает вывод о предметном классе в целом на основе отдельных частных фактов и положений, то есть движение мысли от частного к общему. Отношения между посылками и заключением в индуктивных умозаключениях такие, что заключение носит лишь правдоподобный характер при истинных посылках. Они как бы «наводят» на мысль.

Дедуктивный метод в истории философии разрабатывал Рене Декарт (1596–1650) – французский философ и математик, который являлся и одним из основоположников рационализма, основателем картезианства.

Индуктивный метод как основной метод познания разрабатывал Фрэнсис Бэкон (1561–1626), основатель опытной науки Нового времени. Опытно-индуктивный метод Бэкона состоял в постепенном образовании новых понятий путем истолкования фактов и явлений природы. Только с помощью такого метода, по мнению Бэкона, можно открывать новые истины.

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

С точки зрения современной логики два этих метода дополняют друг друга в процессе познания или мышления, находясь в диалектическом единстве.

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

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