ДОКАЗАТЕЛЬСТВО
в логике, процесс
(метод) установления истины, обоснование истинности суждения.
В
соответствии с различными возможными аспектами и уровнями рассмотрения
и употребления понятий "истина" ("истинность") и "обоснование" термин "Д."
допускает ряд пониманий, отличающихся друг от друга по степеням общности
и определённости. Однако во всех модификациях понятия Д. отчётливо прослеживаются
две противоположные (но связанные между собой) тенденции. Первая обусловлена
относительностью и содержательным характером понятия истины, поскольку
оно означает соответствие, более или менее точное и полное, некоторой части
реальной действительности. Вторая - связана с тем, что Д. (именно Д., а
не просто довод в пользу рассматриваемого утверждения) должно гарантировать
истинность тезиса - именно в этом состоит специфика понятия Д., выделяющая
его из более широкого класса процедур, к-рые естественнее наз. подтверждениями
тезисов и к-рые могут обладать большей или меньшей степенью убедительности.
Иначе говоря, понятие Д. должно служить полным подтверждением истинности
доказываемого предложения, а потому носить дедуктивный (см. Дедукция)
характер;
отсюда тенденция ко всё большей формализации понятия Д. Т. о., в
понятии Д. заключено глубокое противоречие: понятие это по-настоящему нужно
для решения задач, в принципе не допускающих полного, исчерпывающего, окончательного
решения; удаётся же довести это понятие до идеала полной определённости
лишь для тех ситуаций, где решение, в нек-ром смысле, заранее предопределено
и заключается уже в самой постановке задачи - при Д. так наз. логически
истинных суждений, для к-рых лишь и удаётся провести полностью формализованные
(и тем самым не оставляющие никакой неопределённости и недоговорённости)
Д.
Противопоставление содержательных и формальных
аспектов понятия "Д." проявляется прежде всего в различии ш и-рокого и
узкого понимания этого термина.
Д. в широком смысле - это любая процедура
установления истинности к.-л. суждения (наз. тезисом, или заключением,
данного Д.): как при помощи нек-рых логич. рассуждений, так и посредством
чувственного восприятия нек-рых физич. предметов и явлений, а также ссылок
(указаний или упоминаний) на такие восприятия. Именно такой характер имеют
Д. в юридич. практике, где термин "Д." применяют к такого рода единичным
указаниям и даже для наименования самих указываемых предметов - отсюда
выражения "предъявить Д. (улику)", "вещественное Д.". Таковы и обоснования
большей части утверждений гуманитарных наук, а в ещё более отчётливой форме
- эмпирические (опытные: экспериментальные или основанные на данных наблюдений)
Д. в естеств. науках. Хотя все такие Д. (если не считать Д. нек-рых единичных
фактов, сводящихся к непосредственному умозаключению из однократного "предъявления
улики") включают в качестве составных частей дедуктивные фрагменты - умозаключения,
связывающие
ссылки на опыт с доказываемым (и промежуточными) тезисом, тем не менее
все эти Д. можно считать индуктивными:
в них имеет место переход от частных посылок к общим заключениям (индукция),
совершаемый
(чаще всего в неявной форме) по правилам индуктивной логики.
Д. в узком смысле слова, характерные для
дедуктивных наук (логики, математики и построенных по их образцу и на их
основе разделов теоретич. физики и теоретич. кибернетики), представляют
собой цепочки умозаключений (правильных), ведущих от истинных посылок (исходных
для данного Д. суждений) к доказываемым (заключительным) тезисам. Посылки
Д. также именуются его основаниями, или аргументами, или доводами; термины
эти, однако, не менее часто применяются для обозначения промежуточных переходов
от посылок к заключению или всякого рода пояснений (комментариев), сопровождающих
такие переходы в подобных Д. Истинность посылок не должна обосновываться
в самом Д., а должна к.-л. образом устанавливаться заранее. Последовательное
развитие этой традиционной (идущей от Аристотеля) концепции Д., связанное
с аксиоматическим методом, потребовало (в кон. 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.
Ю. А. Гостев.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я