Глава 4. Дедуктивное рассуждение: дедукция, исходя из посылок

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

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

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

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

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

Используют ли взрослые люди (неспециалисты в области логики) в своих рассуждениях правила дедукции, соответствующие правилам дедукции, сформулированным в логике? Это вопрос является предметом долгих дебатов.