Большая Советская Энциклопедия (ДО)
Шрифт:
Д. в узком смысле слова, характерные для дедуктивных наук (логики, математики и построенных по их образцу и на их основе разделов теоретической физики и теоретической кибернетики), представляют собой цепочки умозаключений (правильных), ведущих от истинных посылок (исходных для данного Д. суждений) к доказываемым (заключительным) тезисам. Посылки Д. также именуются его основаниями, или аргументами, или доводами; термины эти, однако, не менее часто применяются для обозначения промежуточных переходов от посылок к заключению или всякого рода пояснений (комментариев), сопровождающих такие переходы в подобных Д. Истинность посылок не должна обосновываться в самом Д., а должна каким-либо образом устанавливаться заранее. Последовательное развитие этой традиционной (идущей от Аристотеля) концепции Д., связанное с аксиоматическим методом, потребовало (в конце 19 в.) существенного её уточнения и даже пересмотра. Если принятие аксиом в качестве истинных предложений ещё согласовывалось с классическими представлениями (достаточно было, казалось, потребовать их эмпирического обоснования), то открытие возможности построения различных аксиоматических систем (например,
Но этот пересмотр понятия Д., произведённый на рубеже 19 и 20 вв. Д. Гильбертом, не был до конца последовательным. В связи с обострившимися проблемами непротиворечивости научных теорий (уверенность в которой уже не могла больше базироваться на уверенности в истинности исходных положений теории), Гильберт выдвинул программу формализации Д. дедуктивных теорий, предполагающую не только явное указание всех исходных понятий и исходных предложений (аксиом) каждой данной теории, но и такое же явное указание всех используемых в выводах (в частности, в Д.) этой теории логических средств. При такой постановке вопроса проблема убедительности (правильности) Д. получает (впервые!) совершенно объективный характер. Д. (точнее, формальное Д.) рассматривается просто как «строчка формул», каждая из которых есть либо аксиома (т. е. принадлежит к некоторому заранее выделенному списку «отмеченных» формул), либо непосредственно следует по одному из правил вывода (также точно перечисленных) из предыдущих формул строчки. Заключение данного Д. — это просто его последняя формула (в частности, Д. любой аксиомы состоит всего из одной формулы — из неё самой). При такой трактовке рассматриваемая научная теория перестаёт быть теорией в привычном смысле: она оказывается представленной в виде исчисления, или формальной системы, состоящей из формул, получающихся из формул некоторого исходного запаса (аксиом) посредством чисто «механического» применения правил вывода (применение которых, равно как и проверка правильности этого применения, не предполагает никакого «содержательного» их понимания). Формула, для которой существует формальное Д., называется доказуемой формулой, или формальной теоремой.
Т. о., реализация этой части гильбертовской программы позволила осуществить идеал, выдвинутый ещё Г. В. Лейбницем: «заменить рассуждение вычислением». Для проверки того обстоятельства, является ли данная строчка формул Д., существует простой, единообразный и притом чисто механический метод — алгоритм. Для выяснения того, является ли произвольная данная формула теоремой, такой алгоритм возможен лишь для немногих, относительно простых формальных теорий, но это обстоятельство не исключает возможности машинного поиска вывода (поиска Д.) для многих важных классов формул, и разработка таких машинных алгоритмов вывода является одним из перспективных направлений математической логики, теории алгоритмов и теоретической кибернетики.
Представление Д. в виде строчек (линейных последовательностей) формул — не единственно возможное; часто бывает удобнее определять формальные Д. как «деревья» формул, «ветвями» которых служат посылки применений правил вывода. Такая форма Д. оказалась, в частности, удобной для предпринятых в рамках гильбертовской теории доказательств немецким математиком Г. Генценом (1934) исследований логических выводов; в предложенных им модификациях логических исчислений в виде так называемых исчислений «естественного вывода» формальные логические средства ближе по своей структуре к обычным (содержательным) методам умозаключений, нежели в первоначальной гильбертовской схеме. Аксиом в этих исчислениях нет (или совсем мало), но введены дополнительные правила вывода, так что в результате общий «запас теорем», выводимых новыми и прежними средствами, оказывается одним и тем же. Т. о., различие между формальными аксиомами и содержательными правилами оказывается также относительным.
Последовательная формализация понятия Д. открывает возможность передачи многих «творческих» функций человека электронным вычислительным машинам. Но из этого не следует заключение о возможности сведе'ния всех содержательных аспектов понятия Д. к формальным — правила вывода, хотя они и имеют дело с формальными объектами (формулами), формулируются на содержательном языке, а все проблемы, касающиеся природы формальных исчислений в целом, ставятся и решаются чисто содержательными средствами (см. Метатеория). Именно эти содержательные рассуждения (и содержательные Д.) составляют предмет самой теории Д.
Более того, оказалось (К. Гёдель, 1931), что задача полной и одновременно непротиворечивой формализации даже таких относительно простых математических теорий, как арифметика (теория чисел), в принципе неосуществима, так что в них всегда имеется некоторый «неформализуемый остаток» (см. также Аксиоматическая теория множеств). Наконец, никакая формализация дедуктивных теорий не снимает проблемы их интерпретации,
Ещё более решительный пересмотр представлений о сущности аксиоматико-дедуктивных методов предпринят в рамках так называемой ультраинтуиционистской программы. Ультраинтуиционизм, для которого, в частности, характерно стремление последовательного и неукоснительного соблюдения (в применении к дедуктивным наукам) достаточного основания принципа, с одной стороны, предлагает предельно широкое понимание содержательного (дедуктивного) Д., с другой — выдвигает концепцию формального Д., учитывающую как «формалистскую» схему Гильберта, так и её интуиционистскую критику, и в то же время настолько гибкую, что использование её позволяет надеяться на преодоление в проблемах обоснования математики и логики казавшихся ранее непреодолимыми ограничений, обусловленных результатами Гёделя.
О некоторых специальных видах и методах Д. см. Доказательство от противного, Косвенное доказательство, Опровержение логическое.
Лит.: Энгельс Ф., Анти-Дюринг, Маркс К. и Энгельс Ф., Соч., 2 изд., т. 20; Ленин В. И., Материализм и эмпириокритицизм, Полн. собр. соч., 5 изд., т. 18; Аристотель, Аналитики первая и вторая, пер. с греч., Л., 1952; Начала Евклида, пер. с греч. и комментарии Д. Д. Мордухай-Болтовского, кн. 1—15, М.—Л., 1948—50; Бэкон Ф., Новый органон, пер. с англ., М.—Л., 1938; Милль Дж. С., Система логики силлогистической и индуктивной, пер. с англ., М., 1914; Гильберт Д., Основания геометрии, пер с нем., М.—Л., 1948; Рассел Б., Человеческое познание, пер. с англ., М., 1957; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Гейтинг А., Интуиционизм, пер. с англ., М., 1965; Клини С. К., Введение в математику, пер. с англ., М., 1957; Пойа Д., Математика и правдоподобные рассуждения, пер. с англ., т. 1—2, М., 1957; Асмус В. Ф., Учение логики о доказательстве и опровержении, [М.], 1954; Старченко А. А., Логика в судебном исследовании, М., 1958.
Ю. А. Гастев.
Доказательство от противного
Доказа'тельство от проти'вного (лат. reductio ad absurdum), вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения — антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с каким-либо заведомо истинным суждением. Этой форме Д. от п. соответствует следующая схема доказательства: если В истинно и из А следует ложность В, то А — ложно. Другая, более общая форма Д. от п. — это доказательство путём опровержения (обоснования ложности) антитезиса по правилу: допустив А, мы вывели противоречие, следовательно — не-А. Здесь А может быть как утвердительным, так и отрицательным суждением, а вывод противоречия может пониматься либо как вывод утверждения о тождестве заведомо различных предметов, либо как вывод пары суждений В, не-В, либо как вывод конъюнкции этой пары, либо как вывод эквивалентности этой пары. Этим различным случаям соответствуют различные интерпретации понятий Д. от п. и «противоречие». Приём Д. от п. особенно важен в математике: многие отрицательные суждения математики не могут быть доказаны другим путём, кроме приведения к противоречию. Помимо указанных выше, существует иная — «парадоксальная» — форма Д. от п., применявшаяся уже в «Началах» Евклида: суждение А можно считать доказанным, если удастся показать, что А следует даже из допущения ложности А.
М. М. Новосёлов.
Докембрий
Доке'мбрий, древнейшие толщи земной коры и время, соответствующее их образованию и составляющее около 6/7 геологической истории Земли. Геологическая история Д. долго оставалась непознанной, несмотря на то, что в породах Д. давно были обнаружены различные следы жизни. Палеонтологический метод, оправдавший себя при расчленении фанерозойских (последокембрийских) образований, здесь считался неприменимым. Для отдельных регионов давалось чисто местное расчленение разрезов Д., т.к. методика их межрегионального сопоставления отсутствовала. Лишь в 30-х гг. 20 в. в изучении стратиграфии и геохронологии Д. начали использоваться радиометрические методы (см. Геохронология), а также были сделаны попытки сопоставления осадочных толщ Д. по строматолитам (постройки древних водорослей). Длительность Д., по современным данным, определяется от времени возникновения древнейших известных нам геологических образований с возрастом около 3500 млн. лет до начала кембрия (около 570 млн. лет назад). Т. о., продолжительность Д. составила более 2900 млн. лет. Более ранний период истории Земли (около 1 млрд. лет) пока ещё не доступен геологическому изучению.