Новая философская энциклопедия. Том первый. А - Д.
Шрифт:
602
ДЕДУКЦИИ ТЕОРЕМА системы с нефинитными правилами (типа правила бесконечной индукции). Стремление учесть в рассуждениях специфику познаваемых объектов, фактор роста и накопления знания, неопределенность понятия истинности высказываний, возможность мыслить противоречивые объекты и ситуации привели к построению различных систем т. н. (дедуктивных) неклассических логик, интуиционистской, модальной, многозначной, релевантной, паранепротиворечивой и др. Стали исследоваться логические системы с истинностными провалами и пресыщенными истинностными оценками. При этом широкое применение находят различные семантические методы, напр., теория моделей, семантика возможных миров (см. Возможных миров семантика), операционная семантика и т. д., а также разнообразные синтаксические методы: аксиоматические исчисления, натуральный вывод, исчисления секвенций, аналитические таблицы и др. В ряде неклассических систем дедуктивной логики учитываются и прагматические аспекты рассуждений. В дедуктивной логике исследуются способы не только рассуждений, но и введения понятий (напр., процедуры определения), а также методы к процедуры поиска доказательств. В последнее время на базе неклассической дедуктивной логики интенсивно развиваются т. н. динамические логики и логики программирования, ориентированные на проблемы компьютерных наук. Кроме того, разрабатываются логики действий, норм, императивов и предпочтений, ориентированные не только на проблемы искусственного интеллекта, но и на применение в области этики и права (см. Деонтическая логика). Дедуктивная логика едина, а многообразие ее систем определяется тем, что по частям исследуются способы рассуждений, основанные на различных типах высказываний и применяемые в различных контекстах. В разных системах применяются различные формализованные языки, принимаются более или менее сильные абстракции и идеализации, учитываются или не учитываются различные характеристики знания. В дедуктивной логике исследуются также ее взаимоотношения с различными другими (недедуктивными) логическими системами и дается их семантико-эпистемологическое обоснование. /7. И. Быстрое
ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ- умозаключение, логическая форма которого гарантирует получение истинного заключения при условии одновременной истинности посылок. В дедуктивном умозаключении
ДЕДУКЦИИ ТЕОРЕМА— метатеоретическое утверждение о формальной логической теории (исчислении) Т, в соответствии с которым существование в исчислении Т вывода логического формулы В из называемых гипотезами формул Ах А2, ..., Ап (символически: А] А2, ..., Ап \—В) означает, что в Т существует также вывод из посылок Ах А2, ..., Ап] импликации Ап-~> В (символически: А{ А2, ..., Ап] \-Ап—>В). Далее дедукции теорема может быть применена снова вплоть до получения утверждения \-А—>.А2-^...—->Ап J —>.Лп—>В. Теорема дедукции доказуема для исчислений классической логики, в языке которых используется материальная импликация. В общем случае она имеет силу для любых исчислений
603
ДЕДУКЦИЯ в которых доказуемы законы утверждения консек- вента А-^.В—>А и самодистрибутивности импликации (А—*.В—>С)—>.А-+В—>.А—>С. Для исчислении, в которых закон утверждения консеквента, нередко объявляемый парадоксальным, не принимается (см. Релевантная логика), нахождение подходящей формулировки теоремы дедукции является проблемой (Сидоренко Е. А. Нормализованные выводы и обобщение теоремы дедукции. — В кн.: Логические исследования, вып. 5. М, 1998). В естественных рассуждениях теореме дедукции соответствует способ обоснования истинности условных высказываний вида «Если А, то В», при котором такое высказывание считается истинным, когда удается установить выводимость ВизАи некоторой совокупности предложений Г, истинность которых считается установленной. Е. А. Сидоренко
ДЕДУКЦИЯ(от лат. deductio — выведение) — переход от общего к частному; в более специальном смысле термин «дедукция» обозначает процесс логического вывода, т.е. перехода по тем или иным правилам логики от некоторых данных предложений-посылок к их следствиям (заключениям). Термин «дедукция» употребляется и для обозначения конкретных выводов следствий из посылок (т. е. как синоним термина «вывод» в одном из его значений), и как родовое наименование общей теории построений правильных выводов. Науки, предложения которых преимущественно получаются как следствия некоторых общих принципов, постулатов, аксиом, принято называть дедуктивными (математика, теоретическая механика, некоторые разделы физики и др.), а аксиоматический метод, посредством которого производятся выводы этих частных предложений, — аксиоматико-дедуктивным. Изучение дедукции составляет задачу логики; иногда формальную логику даже определяют как теорию дедекции. Хотя термин «дедукция» впервые употреблен, по-видимому, Боэцием, понятие дедукции — как доказательство какого-либо предложения посредством силлогизма — фигурирует уже у Аристотеля («Первая Аналитика»). В философии и логике Нового времени существовали различные взгляды на роль дедукции в ряду методов познания. Так, Декарт противопоставлял дедукции интуицию, посредством которой, по его мнению, разум «непосредственно усматривает» истину, в то время как дедукция доставляет разуму лишь «опосредованное» (полученное путем рассуждения) знание. Ф. Бэкон, а позднее и др. английские логики-«индуктивисты» (У. Уэвелл, Дж. С. Милль, А. Бэн и др.) считали дедукцию «второстепенным» методом, в то время как подлинное знание дает только индукция. Лейбниц и Вольф, исходя из того, что дедукция не дает «новых фактов», именно на этом основании приходили к прямо противоположному выводу: полученные путем дедукции знания являются «истинными во всех возможных мирах». Взаимосвязь дедукции и индукции была раскрыта Ф. Энгельсом, который писал, что «индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую из них на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг друга» (Маркс К., Энгельс Ф. Соч., т. 20, с. 542-543). В формальной логике к системе логических правил и к их применениям в любой области относится следующее положение: все, что заключено в любой полученной посредством дедуктивного умозаключения логической истине, содержится уже в посылках, из которых она выведена. Каждое применение правила состоит в том, что общее положение относится (применяется) к некоторой конкретной (частной) ситуации. Некоторые правила логического вывода подпадают под такую характеристику и совсем явным образом. Так, напр., различные модификации т. н. правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов произвольной формулы данной формальной теории конкретными выражениями того же вида. То же относится к распространенному способу задания аксиоматических систем посредством т. н. схем аксиом, т.е. выражений, обращающихся в конкретные аксиомы после подстановки вместо входящих в них общих обозначений конкретных формул данной теории. Под дедукцией часто понимают и сам процесс логического следования. Это обусловливает его тесную связь с понятиями вывода и следствия, находящую свое отражение и в логической терминологии. Так, «теоремой о дедукции» принято называть одно из важных соотношений между логической связкой импликации (формализующей словесный оборот «если... то...») и отношением логического следования (выводимости): если из посылки А выводится следствие В, то импликация Аз В («если А... то В...») доказуема (т. е. выводима уже без всяких посылок, из одних только аксиом). Аналогичный характер носят и др. связанные с понятием дедукции логические термины. Так, дедуктивно-эквивалентными называют предложения, выводимые друг из друга; дедуктивная полнота системы (относительно какого-либо свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (напр., истинностью при некоторой интерпретации), доказуемы в ней. Свойства дедукции раскрывались в ходе построения конкретных логических формальных систем (исчислений) и обшей теории таких систем (т. н. теории доказательства). Лит.: Тарскш А. Введение в логику и методологию дедуктивных наук, пер. с англ. М., 1948; Асмус В. Ф. Учение логики о доказательстве и опровержении. М., 1954.
ДЕДУКЦИЯ ТРАНСЦЕНДЕНТАЛЬНАЯ(нем. transzendentale Deduktion) — ключевой раздел «Критики чистого разума» И. Канта. Главная задача дедукции — обосновать правомерность априорного применения категорий (элементарных понятий чистого рассудка) к предметам и показать их возможность в качестве принципов априорного синтетического познания. Необходимость трансцендентальной дедукции была осознана Кантом за 10 лет до выхода «Критики», в 1771. Центральный аргумент дедукции впервые сформулирован в рукописных набросках 1775. Текст дедукции полностью переработан Кантом во 2-м издании «Критики». Решение главной задачи дедукции подразумевает доказательство тезиса, что категории составляют необходимые условия возможности вещей. Первая часть дедукции («объективная дедукция») уточняет, что такими вещами в принципе могут быть только предметы возможного опыта. Вторая часть («субъективная дедукция») и есть искомое доказательство тождества категорий
604
ДЕИЗМ с априорными условиями возможного опыта. Отправной точкой дедуклии является понятие апперцепции. Кант утверждает, что все возможные для нас представления должны быть связаны в единстве апперцепции, т.е. в Я. Необходимыми условиями такой связи и оказываются категории. Доказательство этого центрального положения осуществляется Кантом посредством анализа структуры объективных суждений опыта, базирующихся на использовании категорий, и постулата о параллелизме трансцендентального объекта и трансцендентального единства апперцепции (это позволяет «перевернуть» на Я необходимость категориальных синтезов для отнесения представлений к объекту). В итоге Кант делает вывод, что все возможные восприятия как осознанные, т.е. относящиеся к Я, созерцания необходимо подчинены категориям (сначала Кант показывает, что это верно относительно
ДЕИДЕОЛОГИЗАЦИЯ— социально-политическая концепция, согласно которой в современных обществах уменьшается роль идеологий, вытесняемых позитивным знанием. Ориентация на позитивное знание роднит концепцию деидеологизации с традицией позитивизма. Социальной базой этого процесса является новый класс технократов и менеджеров, пытающихся освободиться от излишней опеки политиков и идеологов и от давления традиционной среды, защищающей свои ценности. Девизом сторонников деидеологизации стал тезис: все то, что идеологически одержимые левые обещали достичь посредством социальной революции, гораздо эффективнее достигается посредством научно-технической революции. С установками деидеологизации в Западной Европе 50—60-х гг. связывали не только социально-политическую стабилизацию обществ, истерзанных войной и классовым противостоянием, но и надежды на модернизацию сознания — преодоления традиционного утопизма и иррационализма. Деи- деологизация имела два адресата: научно-техническую интеллигенцию и обывателя, воплощающего тип «потребительского человека». Для первого адресата были значимы собственно позитивистские установки деидеологизации — тот идеал точного, верифицируемого и инструментального знания, опираясь на который поднимающееся сообщество технократов защищалось от морально-идеологической цензуры традиционалистов — левого и правого идеологического клира. Для «потребительского человека», взятого технократами в союзники в борьбе с традиционным менталитетом, деидеологизация означала реабилитацию принципа удовольствия, ослабление давления старой жертвенной морали, мешающей приобщиться к радости потребительского общества и к цивилизации досуга. В технократическом варианте концепцию деидеологизации в 60-х гг. развивали Д. Белл, Дж. Гэлбрейт (США), Р. Арон, Ж. Фурастье (Франция); в потребительско-гедо-нистичес ком варианте — адепты цивилизации досуга и индустрии
СМИ(М. Каплан, Л. Ловенталь, Ж. Дюмадезье, Э. Морен, Ж. Казанев и др.). А. С. Панарин
ДЕИЗМ(от лат. deus — бог) — философско-религиозное течение в Европе и Северной Америке 16—18 вв., рассматривавшее Бога в качестве отдаленной первопричины природы и человека и с различной степенью последовательности отождествлявшее религию с моралью. Широко распространенное в 16—17 вв. религиозно-сектантское движение антитринитариев-социнйан признавало Бога в качестве творца неба и земли, но отказалось от ряда важнейших догматов христианского вероучения, применяя ко многим из них критерии человеческого разума. Именно по отношению к социнианам в кальвинистских кругах был выдвинут термин «деизм» (возможно, употреблявшийся до того самими социнианами для подчеркивания их отличия от атеистов), впервые зафиксированный в сочинении последователя Кальвина П. Вире «Наставление христианам» (ViretP. Instruction chretiene. Gen., 1564). Исторически деизм был связан прежде всего с идеей ее- тественной религии, противопоставлявшей себя всем господствовавшим тогда официальным религиозным вероисповеданиям как религиям богооткровенным, основывающимся на том или ином Священном Писании. Концепция естественной религии была четко сформулирована французским философом Ж Боденом в его произведении «Беседа семерых о сокровенных тайнах возвышенных вешей» (1593), получившим известность в 17 — нач. 18 в. благодаря множеству рукописных копий (опубликовано только в середине 19 в.). Воззрения сторонника естественной религии противопоставлены здесь, с одной стороны, позициям католика, лютеранина, кальвиниста, иудаиста и мусульманина (каждый из которых настаивает на исключительной истинности своего вероисповедания), а с другой стороны, и позиции атеиста. Естественная религия трактуется как старейшая из религий, сводящаяся к монотеистической вере в Бога, бессмертию души и посмертному воздаянию — вере, без которой невозможна никакая мораль. Те же идеи, но в более рационалистической форме, были изложены английским политическим деятелем и философом Э. Гербертом Чербери в его «Трактате об истине...», изданном в Париже в 1624. Эта книга обычно рассматривается как первый документ деизма (хотя в ней, как и в произведении Бодена, сам этот термин не упоминается). Отказываясь от поисков каких бы то ни было сверхразумных истин в Библии (что было присуще социнианам) и полностью порывая с христианскими догматами Боговоп- лощения, искупления, воскресения и т. п., Герберт считает веру в Бога проявлением врожденных человеку «общих понятий» (notitiae communes), утверждающих наличие высшего существа, почитание которого — необходимое условие человеческой морали, немыслимой без понятия о бессмертии человеческой души. Такая естественная религия предшествует христианству и всем другим конкретным религиям, содержащим истину лишь в меру их соответствия этой древнейшей «истинно католической» религии. В последующие десятилетия деизм стал в Англии влиятельным философско-религиозным направлением. Последова-
605
ДЕИЗМ тель Герберта Чербери Ч. Блаунт (1654—93) в своем «Кратком изложении религии деистов» (Summary Account of the Deists Religion, 1693) отрицал чудеса, пророчества, Откровение и прямо называл свои воззрения деистическими. Но еще до появления этой книги епископ Стиллингфлит выступил против деизма в своем «Письме к деисту» (1677). В 1678 кембриджский платоник Р. Кедворт в сочинении «Истинная разумная система мира» ввел грекоязычный термин «теист», этимологически тождественный термину «деист»; в философско-теологической полемике некоторые деисты именовали себя теистами (различие этих понятий было зафиксировано к кон. 18 в.; Дидро констатировал, что если теизм принимает веру в Откровение, то деизм ее отрицает). Наивысшее выражение деизм нашел в произведениях Дж. Толанда, А. Коллинза (автора термина «свободомыслие» — freethinking), Дж. Тиндаля, Г. Болингброка, публиковавшихся в нач. и 1-й пол. 18 в. Отвергая восходящее к Фоме Аквинскому различие «противоразумного» и «сверхразумного», эти философы подходили с рационалистическими критериями не только к Ветхому, но и к Новому Завету, трактуя их содержание с позиций естественной религии и рассматривая положительные религии как клерикальное искажение ее простых и ясных принципов. И хотя они по существу отвергали атеизм, деятели английской церкви видели в них атеистов. Кроме епископа Стиллингфлита (полемизировавшего и с Локком), с критикой деизма выступали епископ Батлер (1692—1752), Дж. Беркли, С. Кларк. Морально-эстетическая разновидность деизма представлена А. Шефстбери. Т. н. «христианские деисты» — Т. Чабб (1679—1746), Т. Морган (ум. 1743) и другие — пытались сочетать принципы деизма с некоторыми положениями христианского вероучения. Своеобразна позиция Юма: автор «Естественной истории религии» признает закономерность идеи «высшего разума», «некоторой разумной причины» и «разумного творца», но вместе с тем подрывает принципы деизма своим скептицизмом и утверждением фиктивного характера «естественной религии», считая, что в основе религии лежат человеческие эмоции, чаще всего стимулируемые страхом. Деистическое движение во Франции 17 в. тесно переплеталось с влиятельным здесь скептицизмом. Его носителями были свободомыслящие (либертены), хотя их критика христианства (католицизма) и не достигала той остроты, которая была присуща английскому деизму. В конце 17 в. понятие деизма было популяризировано благодаря 77. Бей- лю (ст. «Вире» в его «Историческом и критическом словаре»). В 18 в. влияние деизма особенно сказалось у Вольтера, обычно называвшего себя теистом. Французские материалисты 18 в. Дидро (прошедший стадию деизма в своем философском развитии), Гольбах и др. подвергли деизм бескомпромиссной критике. Однако Руссо, отвергавший традиционное христианство, в «Исповедании веры са- войского викария», включенного в педагогический роман «Эмиль, или О воспитании», сформулировал эмоционально окрашенный вариант деизма: верховное божественное существо — источник справедливости и добра, вера в него — требование не столько ума, сколько сердца. Последователь Руссо Робеспьер, отвергавший как традиционное христианство, так и атеизм, в разгар Французской революции настоял на введении Конвентом (7 мая 1794) культа Верховного существа в качестве гражданской религии Франции. Деизм в Германии 18 в. наиболее интенсивно развивался после вступления на престол в 1740 Фридриха 11. Были изданы в немецких переводах произведения английских деистов и их противников, появились свободомыслящие (Freidenker), среди них — Г Реймарус (1694—176S), богослов и философ-просветитель, выступавший с позиций естественной религии против как церковной ортодоксии, так и французского материализма. Для дальнейших судеб деизма значительную роль сыграло произведение Г. Лес- синга «Воспитание человеческого рода» (1780). Ценя прежде всего моральное содержание религии, Лессинг считал, что Ветхий Завет свидетельствует о более грубом моральном состоянии человечества и соответствует его детству, Новый Завет — о большей моральной зрелости человечества, соответствующей его юности; в следующей, третьей стадии человечество достигнет совершенного морального состояния—это будет эпоха «Вечного Евангелия». Определенную дань деизму, отграничив его от теизма, отдал и Кант как автор «Религии в пределах только разума» (1793). Воззрения виднейших североамериканских философов 2-й пол. 18 в. — Б. Франклина, Т. Джефферсона, Т. Пейна и др. — сложились в основном под влиянием английских деистов и французских просветителей. Под их влиянием (как и первого американского президента Дж. Вашингтона, симпатизировавшего деизму) в Конституции США (1787) был четко зафиксирован принцип полного разделения церкви и государства, а в стране установилась религиозная веротерпимость. Понятие деизма употребляется и в более широком смысле для характеристики такого отношения Бога и мира, при котором роль Бога предельно минимизируется, так что он становится лишь гарантом прочности законов, раскрываемых наукой. П. Музеус в 1667 для характеристики воззрений деистов применил термин «натуралист», а Ш. Монтескье в самом начале своего главного произведения «О духе законов» (1748) четко сформулировал эту важнейшую идею деизма: «...Есть первоначальный разум; законы же — это отношения, существующие между ним и различными существами, и взаимные отношения этих различных существ. Бог относится к миру как создатель и охранитель; он творит по тем же законам, по которым охраняет; он действует по этим законам, потому что знает их...» {Монтескье Ш. Избр. произв. М., 1955, с. 163). При такой более широкой трактовке к деизму обычно относят и некоторые воззрения Декарта, Гоббса, Лейбница, Локка и многих других. Однако границы между деизмом, теизмом и тем более пантеизмом у названных и других философов часто весьма расплывчаты. Для деистов следует признать нетипичными онтологическое доказательство бытия Бога, более свойственным — Восходящее к Аристотелю космологическое доказательство, однако наиболее характерным и даже специфическим для них было физико-теологическое доказательство, крепнувшее по мере успехов деятельности человека, особенно по созданию механизмов (начиная с часов в 14 — 15 вв.) и в раскрытии механических закономерностей мира. Отсюда огромная роль ньютоновской небесно-земной механики, давшей многим деистам 18 в. основные аргументы для обоснования физико-теологии — только «высший разум» мог создать столь сложный и четко действующий небесно-земной механизм. По мере торжества принципа веротерпимости и развития исторического понимания религии влиятельность деизма