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