В Степин - Новая философская энциклопедия. Том первый

• Название: Новая философская энциклопедия. Том первый
• Автор: В Степин
• Издательство: МЫСЛЬ
• Жанр: Философия
• Год: 2010
• ISBN: 978-2-244-01115-9

Введите сюда краткую аннотацию

---

680

ДОЙССЕН истину веры, от которой зависит адекватное понимание пути спасения, отличают от частного богословского мнения по тем или иным вопросам (теологумена), не имеющим определенного ответа в Священном Писании и Предании. Вместе с тем сама догматическая формулировка (даже соборно утвержденная), необходимая для того, чтобы отсечь ложные пути богословской мысли, не является адекватным вербальным выражением той духовной реальности, которую она описывает. С богословской точки зрения для человеческого разума Бог остается, в строгом смысле слова, непознаваемым. Рациональное богопозна- ние ограничивается утверждениями, которые делаются на основе Откровения (Священного Писания), а также исследования природного мира, несущего на себе печать Творца. Таким путем идет позитивное (катафатическое) богословие, ключевыми моментами которого являются христианские догматы. Его необходимо дополняет негативное (апофатическое) богословие, идущее путем последовательного отрицания всех утверждений о Боге, поскольку в конечном счете любое словесное обозначение Бога есть не что иное., как создание его идола. Подлинное бо- гопознание с христианской точки зрения возможно только в опыте непосредственного общения человека и Бога. Поэтому догмат — не дефиниция божественной реальности, но скорее ее «логическая икона» (Г. Флоровский), задающая направление и пределы для богословского созерцания. Вместе с тем, будучи сформулирован и принят церковью, догмат становится «правилом веры». Православная церковь считает достаточными древние христианские догматы, Римско-католическая практикует принятие новых (напр., в 1950 догмат о взятии в небесную славу Девы Марии). Многие современные богословы, особенно протестантские, не отрицая значения древних догматических формулировок, настаивают на необходимости выражения и истолкования догматов на новом богословском языке, с учетом эволюции теологической и научно-философской мысли. Целью такой реинтерпретации является достижение адекватного понимания христианства в контексте современной постхристианской культуры. А. И. Кырлежев

ДОГОВОР ОБЩЕСТВЕННЫЙ- понятие социальной и политической философии, связанное с теорией установления и сущности государства как результата соглашения между людьми. По этой теории, люди, находясь в естественном состоянии, по свободному соглашению создают такой институт, который силой закона надежно обеспечивает их естественные, данные им от рождения права и кладет начало их собственно гражданской жизни. В европейской философии идея договорного установления государства была высказана еше древнегреческими софистами, позже она встречается у Эпикура и Лукреция. Из средневековых христианских философов идею общественного договора применительно к светскому государству принимал Фома Аквинский, подчеркивая тем самым временную и условную природу этого института в противоположность вечному граду Божию — церкви, имеющей божественное происхождение. Однако свое полное развитие концепция общественного договора получила у мыслителей Нового времени — Т. Гоббса, С ПудЬендорфа, О. Сиднея, Дж. Локка, Ж.-Ж. Руссо. При этом различные теоретики общественного договора по-разному трактовали естественное состояние, объем отчуждаемых государству прав, народный суверенитет. Так, напр., Гоббс, понимая естественное состояние как «войну всех против всех», а природу человека как крайне эгоистическую, связывал с общественным договором установление такого государства, которое в первую очередь обеспечивает в обществе мир и безопасность его членов. Ради этого, из страха и опасения за свою жизнь, люди передают государству свои естественные права и офаничивают свою свободу. Государство наделяется поистине неограниченной, абсолютной властью. В отличие от этой абсолютистской точки зрения Локк развивал либеральную концепцию общественного договора. Объединяясь в государство, люди передают ему только небольшую часть прав ради защиты своих основных естественных прав: на личную свободу, на свободу слова и веры, на собственность. Эти права неотчуждаемы, и власть призвана их защищать. Если она не выполняет этой своей основной задачи и нарушает договор, народ имеет право не поддерживать такую власть и установить новое правительство. Локковская концепция общественного договора, в отличие от гоббеовской, включала идею народного суверенитета, по которой источником всякой власти является народ. Создавая учение об общественном договоре, его авторы постоянно имели в виду реальные исторические обстоятельства. Для Гоббса — это гражданская война в Англии, для Локка — это стоявшая на повестке дня английской истории потребность конституционного ограничения монархии. Однако обращались они не к исторической, а к нормативной, философской аргументации. Их интересовали не изображение действительных исторических событий и не то, как реально в истории возникали государства, а анализ тех условий, при которых такое возникновение может считаться правомерным; не историческая картина, а рациональная конструктивная модель. Вместе с тем влияние учения об общественном договоре на реальные исторические процессы трудно переоценить. Теория общественного договора и тесно связанная с ней идея народного суверенитета сыграли значительную роль в социально-политическом развитии Европы и Америки. Возникнув как альтернатива распространенным в феодальном обществе представлениям о божественном происхождении власти, теория общественного договора послужила оправданием низвержения в Англии и Франции абсолютных монархий, а в Северной Америке — установления конституционного республиканского строя. Ее далеко идущим следствием стала распространенная во всех современных демократических странах периодическая выборность властей путем всенародного голосования, что означает в сущности заключение всякий раз общественного соглашения. А. Л. Субботин

ДОЙССЕН(Deussen) Пауль (7 января 1845, Обердрейс — 6 июля 1919, Киль) — немецкий философ и историк философии. Учился в Боннском университете (вместе с Ницше); диссертация о «Софисте» Платона (1869). С 1872 начал систематически изучать индийскую философию; в 1881—89 преподавал в Берлине, с 1889 — профессор в Киле. Испытал сильнейшее влияние Ницше, выразившееся в его обращении к философии Шопенгауэра и к научной индологии. В 1911 Донесен опубликовал

681

ДОКАЗАТЕЛЬСТВ ТЕОРИЯ четырнадцатитомное критическое издание сочинений Шопенгауэра (до снх пор наиболее авторитетное), в 1912 основал Шопенгауэровское общество. В духе шопенгауэровской этики видел цель индивида в преодолении «воли к жизни» или эгоизма естественного существования посредством «самоотрицания» как реализации надындивидуального существования; божество в понимании Дойссена носит безличный характер. Дойссен стоял у истоков философской компаративистики; он считал, что истина раскрывается в архетипе «вечной философии», основное ядро которой — учение об иллюзорности феноменального мира — было намечено в Упанишадах, разрабатывалось представителями эдейской школы и Платоном, получило научную формулировку в «Критике чистого разума» Канта и окончательную — в философии Шопенгауэра. Труд жизни Дойссена — «Всеобщая история философии» (Allgemeine Geschichte der Philosophie, Bd. I, Abt. 1-3, Bd. II, Abt. 1-3. Lpz., 1894-1917), в которой по существу впервые материал индийской философии (три тома из шести) был введен в общефилософский контекст. Дойссену принадлежат образцовые переводы на немецкий язык Упанишад, мировоззренческих текстов «Махабхараты» и «Брахмасутрабхашьи» Шанкары. Соч.: Die Elemente der Metaphysik. Aachen, 1877; Das System des Vedanta. Lpz., 1883; Die Sutras derVedanta oder die Sari rakami mamsa des Badarayana. Lpz., 1887; Sechzig Upanishads des Veda. Lpz., 1897; Vier philosophische Texte des Mahabharatam. Lpz., 1906. В. К. Шохин

ДОКАЗАТЕЛЬСТВ ТЕОРИЯ— раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т.е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует множество разнородных понятий формального доказательства, существующих в математической логике: последовательности формул, графы, диаграммы и т. д. В некоторых областях современного общества понятие доказательства стало практически тоже формальным. В частности, понятие документа в юриспруденции включает в себя прежде всего правильность его формы, которая делает его содержание истинным по определению. Однако формальное определение доказательства может в некоторых случаях быть содержательно неадекватным. Часто составленный по всей форме документ прикрывает результат абсолютно незаконных действий либо обмана. Доказательств теория первоначально появилась в связи с программой Гильберта (см. Формализм), с задачей обоснования того, что каждый формальный вывод содержательно интерпретируемого (реального) утверждения дает содержательно правильный результат, включающий в случае необходимости и соответствующее построение. Одним из шагов по направлению к данной цели казалось доказательство непротиворечивости формальных теорий. Это средство незаметно подменило собой цель, и поэтому первым громко прозвучавшим результатом теории доказательств была теорема Геделя о неполноте и ее следствие — о недоказуемости непротиворечивости. Важным позитивным результатом является теорема Я. С. Новикова: утверждение о существовании результата алгоритмического построения, доказанное в классической арифметике, дает верное следствие, и в том числе (грубую) оценку числа необходимых шагов построения. Эта теорема стала основой целого класса результатов современной теории доказательств, обосновывающих совпадение классической истинности и конструктивной обоснованности для многих видов утверждений (в последнее время такие результаты все чаще доказываются методами моделей теории). Следующим шагом в развитии теории доказательств, надолго предопределившим ее магистральное направление, стала формулировка Г. Генценом исчисления секвенций и естественного вывода и доказательство им теоремы нормализации для классического и интуиционистского исчисления секвенций. Содержательно теорема нормализации означает возможность перестроить любой формальный вывод в нормализованный вывод без лемм. Было ясно, что понятие нормализованного вывода применимо и к естественному выводу, но точную формулировку дал только Д. Правиц (1965). Хотя формально определение Правица является сложным, содержательный смысл его вполне прозрачен. Логических правил для каждой связки обычно два: правило ее введения, показывающее, как доказывать утверждения данного вида, и правило удаления, показывающее, как их применять. Напр., для импликации в классической и во многих других логиках правила имеют вид: Допустим А В, исходя из А А,А=>В А^В В Во втором из данных правил формула А => В используется именно как импликация, формула же А не анализируется и может быть любой. Для того чтобы подчеркнуть данный факт, А => В называется главной посылкой правила удаления импликации. В выводе есть окольный путь, если результат правила введения используется как главная посылка в соответствующем правиле удаления, а такая пара правил называется вершиной окольного пути. Если в выводе нет вершин окольных путей, то он называется прямым либо нормализованные. Теорема нормализации гласит, что любой вывод можно перестроить в нормализованный. Длительное время разные формы нормализации являлись ведущей темой исследований в теории доказательств. Расширялся класс исчислений и теорий, для которых устанавливалась норма- лизуемость выводов. Сейчас она обоснована для теории типов и для множества неклассических логик. Устанавливались и оценки соотношения длины нормализованного и исходного выводов. Здесь была подтверждена правота Гильберта о необходимости идеальных объектов для реальных результатов. В частности, В. А. Оревков построил пример последовательности формул, таких, что доказательство я-й формулы с окольными путями происходит приблизительно за 13« шагов, а нормализованный вывод либо вывод методом резолюций должен делать не менее 22" (п раз) шагов. В косвенном доказательстве (п + 1)-й формулы используется промежуточный результат, содержащий в два раза больше связок, чем в доказательстве л-й. В исчислении высказываний оценка увеличения длины вывода чуть «оптимистичней» — она экспоненциальна. В свою очередь изучение свойств самих преобразований, используемых при нормализации выводов, в частности показало, что предложенная Правицем система операций