Глава 2. Дедукция в научном познании

В отличие от индукции, похожей на дырявую трубку, по которой течет и теряется истинность, к дедукции, как уже отмечалось выше, обычно предъявляется требование полного переноса истинности от посылок к заключениям. В этом смысле дедукция всегда была символом наиболее строгих и обоснованных методов научного мышления. По аналогии с индукцией, о дедукции можно было бы говорить по крайней мере в двух основных смыслах – как о переходе от общего к частному (назовем этот вид дедукции дедукцией-1) и как о достоверном выводе (дедукция-2). Не всегда эти два понимания дедукции совпадают (случай совпадения видов дедукции как перехода от общего к частному и как достоверного вывода можно называтьдедукцией -12), в связи с чем можно говорить о дедукции-1- дедукции, являющейся переходом от общего к частному, но не представляющей из себя достоверного вывода, и одедукции-2– достоверном выводе, который, тем не менее, не является переходом от общего к частному.

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

§ 1. Немного об истории дедуктивного познания

Основы дедуктивной логики были заложены еще в трудах древнегреческих философов и математиков. Здесь можно назвать такие славные имена, как имена Пифагора и Платона, Аристотеля и Евклида. Считается, что Пифагор одним из первых стал рассуждать в стиле доказательства того или иного утверждения, а не простого его провозглашения. В работах Парменида, Платона и Аристотеля сложились представления об основных законах правильного мышления. Древнегреческий философ Парменид впервые высказал ту замечательную мысль, что в основании подлинно научного мышления лежит некое неизменное начало («единое»), которое продолжает сохраняться неизменным, как бы не менялась точка зрения мыслителя. Платон сравнивает единое со светом мысли, который продолжает пребывать неизменным, пока есть сама мысль. В более строгой и конкретной форме эта идея получает свое выражение в формулировке основных законов логики у Аристотеля. Аристотель считается по праву основателем логики как дедуктивной науки. Он впервые систематизирует основные приемы правильного мышления, обобщая достижения современных ему древнегреческих математиков. В работах Евклида применение этих приемов и законов к математическим наукам достигает высочайшего уровня, который становится идеалом дедуктивного мышления на века и тысячелетия в европейской культуре. Позднее формулировки дедуктивной логики все более оттачиваются, детализируются у стоиков, в средневековой схоластике. Но это время практически не прибавляет ничего принципиально нового к сложившейся у Аристотеля и Евклида системе дедуктивного метода. И лишь с возникновением новой науки в 16-17 веках вновь начинается переосмысление и развитие античного наследия. Французский философ и математик Рене Декарт выдвигает понятие переменной, формулирует идею и правила дедуктивного метода как общего метода решения уравнений – суждений, содержащих переменные. Декарт подчеркивает значение очевидности (L-статуса) посылок и правил вывода в дедуктивных умозаключениях. Немецкий философ Готфрид Лейбниц выдвигает идею универсального дедуктивного метода, на основе которого мыслители были бы в состоянии прекратить бесплодные споры и перейти к строгому вычислению истинности или ложности выдвигаемых ими положений. В работах немецкого философа Иммануила Канта провозглашается замысел построения некоторой «трансцендентальной дедукции», способной выходить за границы законов формальной логики. Наконец, в конце 19 века в работах английского ученого Джорджа Буля строго формулируется идея логической переменной и логических уравнений, постепенно оформляется новая структура, составляющая алгебру мысли и получившая название «булевой алгебры» по имени своего первооткрывателя. В 20-м веке дедуктивная логика становится разделом математики и начинает называться «математической логикой». Основные идеи и методы дедуктивного подхода получают совершенно строгое выражение средствами языка математики. С этих пор начинается бурный рост математической логики как нового направления математического знания, получившего название «метаматематика».