Приглашаем посетить сайт
ДЕДУКЦИЯ
ДЕДУКЦИЯ (от лат. deductio - выведение) - выведение следствий из посылок в соответствии с законами логики. Д. является предметом исследования логики, диалектич. материализма и психологии. Логика изучает Д., анализируя формальные правила, к-рым подчиняется логич. следование. Диалектич. материализм исследует Д. как один из приемов (методов) науч. познания в связи с историч. развитием человеч. мышления и общественно-историч. практики, выявляя место Д. в системе приемов науч. исследования. Психология изучает Д. как процесс реального индивидуального мышления и его формирования в процессе развития индивидуума.
При выявлении правил Д. формальная логика пользуется методом формализации. Правила Д. формулируются обычно в таком виде: "если посылки имеют такую-то структуру и если они при этом являются истинными, доказанными, то и заключение, имеющее такую-то структуру, также будет истинным, доказанным". В логике эти правила обычно облекаются в символич. форму.
Термин "Д." встречается уже у Аристотеля, понимавшего Д. как доказательство к.-л. положения посредством силлогизма. Термин "ἀπαγωγή" (равнозначный Д.) у Аристотеля ("Первая Аналитика", II 25, 69а 20-36) означает решение к.-л. проблемы путем сведéния ее к более очевидным положениям. Термин "deductio" встречается впервые в соч. Боэция ("Введение в категорический силлогизм" - "Ad cathegoricos syllogismos introductio", 1492) в аристотелевском смысле. Ф. Бэкон недооценивал роль Д. в процессе науч. познания. Декарт противопоставлял Д. не индукции, а интуиции. С помощью интуиции, согласно Декарту, человеч. разум непосредственно усматривает истину, тогда как с помощью Д. он постигает истину опосредованно, т.е. путем рассуждения. Лейбниц впервые выдвинул идею построения логики как исчисления ("универсальная характеристика") и поставил задачу изучения логич. свойств отношений в целях расширения средств дедуктивного вывода.
Англ. логики-индуктивисты (Дж. С. Милль, Бэн и др.), односторонне преувеличивая ценность индукции, преуменьшали роль Д. в науч. исследовании. Так, напр., Милль полагал, что Д. якобы равносильна чисто вербальным оборотам речи и сводится лишь к суммированию случаев, попавших в сферу наблюдения. Милль смешивал два аспекта в понимании общего: общее как зафиксированная сумма отд. частных случаев (что особенно заметно в т.н. полной "индукции") и общее. как выражение нек-рой закономерности.
Вопросы Д. начали интенсивно разрабатываться с конца 19 в. в связи с бурным развитием математич. логики, выяснением оснований математики. Это привело к расширению средств дедуктивного доказательства (напр., была разработана "логика высказываний"), к уточнению мн. понятий Д. (напр., понятия логич. следования), введению новой проблематики в теории дедуктивного доказательства (напр., вопросы о непротиворечивости, о полноте дедуктивных систем, проблема разрешимости) и т.п.
Разработка вопросов Д. в 20 в. связана с именами Буля, Фреге, Пеано, Порецкого, Шрëдера, Пирса, Рассела, Гёделя, Гильберта, Тарского и др. Так, напр., Буль считал, что Д. состоит лишь в исключении (элиминации) средних терминов из посылок. Обобщая идеи Буля и пользуясь собственными алгебрологич. методами, рус. логик Порецкий показал, что такое понимание Д. является слишком узким (см. "О способах решения логических равенств и об обратном способе математической логики", Казань, 1884). Согласно Порецкому, Д. состоит не в исключении средних терминов, а в исключении свéдений. Процесс исключения свéдений состоит в том, что при переходе от логич. выражения L = 0 к одному из его следствий достаточно отбросить в левой его части, представляющей собой логич. многочлен в совершенной нормальной форме, нек-рые из его конституент.
В. совр. бурж. философии весьма распространенным является чрезмерное преувеличение роли Д. в познании. В ряде работ по логике принято подчеркивать ту якобы совершенно исключит. роль, к-рую Д. играет в математике, в отличие от др. науч. дисциплин. Акцентируя внимание на этом "отличии", доходят до утверждения, будто бы все науки можно разделить на т.н. дедуктивные и эмпирические. (см., напр., L. S. Stebbing, A modern introduction to logic, L., 1930). Однако такое разграничение является принципиально неправомерным и оно отрицается не только учеными стоящими на диалектико-материалистич. позициях, но и нек-рыми бурж. исследователями (напр., Я. Лукасевичем; см. Я. Лукасевич, Аристотелевская силлогистика с точки зрения современной формальной логики, пер. с англ., М., 1959), осознавшими, что как логич., так и математич. аксиомы являются в конечном счете отражением нек-рых экспериментов с материальными предметами объективного мира, действий над ними в процессе обществ.-историч. практики. И в этом смысле математич. аксиомы не противостоят положениям наук о природе и обществе. Важной чертой Д. является ее аналитич. характер. Еще Милль заметил, что в заключении дедуктивного рассуждения нет ничего такого, что не содержалось бы уже в его посылках. Чтобы описать аналитич. характер дедуктивного следования формально, прибегнем к точному языку алгебры логики. Допустим, что данное дедуктивное рассуждение формализовано средствами алгебры логики, т.е. точно зафиксированы отношения между объемами понятий (классами) как в посылках, так и в заключении. Тогда окажется, что разложение посылок на конституенты (элементарные классы) единицы содержит все те конституенты, к-рые имеются в разложении следствия.
Ввиду особого значения, к-рое приобретает во всяком дедуктивном выводе раскрытие компонент посылок, Д. часто связывают с анализом. Поскольку же в процессе Д. (в выводе дедуктивного умозаключения) часто происходит объединение знаний, данных нам в отд. посылках, Д. связывают с синтезом.
Единственно правильное методологич. решение вопроса о соотношении Д. и индукции дали классики марксизма-ленинизма. Д. неразрывно связано со всеми др. формами умозаключений и прежде всего с индукцией. Индукция тесно связана с Д., т.к. любой единичный факт может быть понят только через включение его образа в уже сложившуюся систему понятий, а Д., в конечном счете, зависит от наблюдения, эксперимента и индукции. Д. без помощи индукции никогда не может обеспечить познание объективной действительности. "Индукция и дедукция связаны между собою столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собою, их взаимное дополнение друг друга" (Энгельс Ф., Диалектика природы, 1955, с. 180-81). Содержание посылок дедуктивного умозаключения не дано заранее в готовом виде. Общее положение, к-рое непременно должно быть в одной из посылок Д., всегда является результатом всестороннего исследования множества фактов, глубокого обобщения закономерных связей и отношений между вещами. Но и одна индукция невозможна без Д. Характеризуя "Капитал" Маркса как классич. пример диалектич. подхода к действительности, Ленин отметил, что в "Капитале" индукция и Д. совпадают (см. "Философские тетради", 1947, с. 216 и 121), подчеркивая тем самым их неразрывную связь в процессе науч. исследования.
Д. иногда применяют с целью проверки к.-л. суждения, когда из него выводятся следствия по правилам логики с тем, чтобы затем эти следствия проверить на практике; в этом состоит один из методов проверки гипотез. Д. пользуются также при раскрытии содержания тех или иных понятий.
Лит.: Энгельс Ф., Диалектика природы, М., 1955; Ленин В. И., Соч., 4 изд., т. 38; Аристотель, Аналитики первая и вторая, пер. с греч., М., 1952; Декарт Р., Правила для руководства ума, пер. с лат., М.-Л., 1936; его же, Рассуждение о методе, М., 1953; Лейбниц Г. В., Новые опыты о человеческом разуме, М.-Л., 1936; Каринский М. И., Классификация выводов, в сб.: Избр. труды русских логиков XIX в., М., 1956; Льар Л., Английские реформаторы логики в XIX в., СПБ, 1897; Кутюра Л., Алгебра логики, Одесса, 1909; Поварнин С., Логика, ч. 1 - Общее учение о доказательстве, П., 1915; Гильберт Д. и Аккерман В., Основы теоретической логики, пер. с нем., М., 1947; Тарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Φ., Учение логики о доказательстве и опровержении, М., 1954; Boole G., An investigation of the laws of thought..., N. Y., 1951; Schröder Ε., Vorlesungen über die Algebra der Logik, Bd 1-2, Lpz., 1890-1905; Reichenbach H. Elements of symbolic logic, Ν. Υ., 1948.
Д. Горский. Москва.