Коллектив авторов - Логика. Краткий курс

Характерными дедукциями служат логические переходы от общего знания к частному. Всегда, когда требуется рассмотреть некоторое явление на основании уже известного общего принципа и получить в отношении этого явления необходимое заключение, мы умозаключаем в форме дедукции (все поэты – писатели; Шекспир – поэт; следовательно, Шекспир – писатель).

Под дедукцией понимается выведение заключений, столь же истинных, как и принятые посылки. В обычных рассуждениях дедукция лишь в редких случаях предстает в развернутой форме. Чаще всего лишь некоторые посылки указываются явно, но не все используются в рассуждении. Общие утверждения, о которых предполагается, что они хорошо известны или очевидны, как правило, опускаются. Заключения, следующие из принятых посылок, также не всегда формулируются. Однако лишь иногда логическая связь между исходными и выводимыми утверждениями отмечается словами, такими как «следовательно» и «значит».

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

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

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

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

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

С помощью индукции получаются вероятные (правдоподобные) заключения, нуждающиеся в дальнейшей проверке. Примерами индукции могут служить рассуждения: Алексей – студент; Борис – студент; Виктор – студент; Алексей, Борис, Виктор – юноши. Следовательно, все юноши – студенты.

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

Рассуждения, ведущие от знания о части предметов к общему знанию обо всех предметах определенного класса, – это индукции, поскольку всегда остается вероятность того, что обобщение окажется необоснованным (Платон – философ; Аристотель – философ; значит, все люди – философы).

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

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

Известно, что множество логических законов бесконечно. Многие из них известны из практики рассуждения, и они часто применяются на интуитивном уровне. Понятие «правильное рассуждение (умозаключение)» относится только к дедуктивному умозаключению, которое может быть правильным или неправильным. В индуктивном умозаключении логическая связь между посылками и заключением не предполагается, и такое умозаключение не бывает ни правильным, ни неправильным. По этой причине индуктивные рассуждения иногда не относят к числу умозаключений.