Приглашаем посетить сайт
ДОКАЗАТЕЛЬСТВО
ДОКАЗАТЕЛЬСТВО - в логике, процесс (метод) установления истины, обоснование истинности суждения. Термин «Д.» допускает ряд пониманий, отличающихся друг от друга по степеням общности. Однако во всех модификациях понятия Д. отчётливо прослеживаются две противоположные тенденции. Первая обусловлена относительностью и содержат. характером понятия истины, поскольку оно означает соответствие (более или менее точное и полное) некоторой части реальной действительности. Вторая связана с тем, что Д. должно гарантировать истинность тезиса - именно в этом состоит специфика понятия Д., выделяющая его из более широкого класса процедур, которые являются подтверждениями тезисов и могут обладать большей или меньшей степенью убедительности. Понятие Д. должно служить полным подтверждением истинности доказываемого предложения, а потому носить дедуктивный (см. Дедукция) характер; отсюда тенденция ко всё большей формализации понятия Д.
Противопоставление содержат. и формального аспектов понятия Д. проявляется прежде всего в различии широкого и узкого понимания этого термина.
Д. в широком смысле - это любая процедура установления истинности к.-л. суждения (наз. тезисом, или заключением, данного Д.) как при помощи некоторых логич. рассуждений, так и посредством чувств. восприятия некоторых физич. предметов и явлений. Именно такой характер имеют Д., обоснования большей части утверждений гуманитарных наук, а в ещё более отчётливой форме - эмпирич. (экспериментальные или основанные на данных наблюдений) Д. в естеств. науках. Хотя все такие Д. включают в качестве составных частей дедуктивные фрагменты - умозаключения, связывающие ссылки на опыт с доказываемым тезисом, их можно считать индуктивными, т. к. здесь имеет место переход от частных посылок к общим заключениям (индукция), совершаемый (в неявной форме) по правилам индуктивной логики.
Д. в узком смысле, слова, характерные для дедуктивных наук (логики, математики и построенных по их образцу и на их основе разделов теоретич. физики), представляют собой цепочки правильных умозаключений, ведущих от истинных посылок (исходных для данною Д. суждений) к доказываемым (заключит.) тезисам. Истинность посылок не должна обосновываться в самом Д., а должна к.-л. образом устанавливаться заранее.
Последоват. развитие этой традиц. (идущей от Аристотеля) концепции Д., связанное с аксиоматическим методом, потребовало существ. её уточнения и даже пересмотра. Однако произведённый Гильбертом пересмотр понятия Д. на рубеже 19-20 вв. не был до конца последовательным. В связи с обострившимися проблемами непротиворечивости науч. теорий Гильберт выдвинул программу формализации Д. дедуктивных . теорий, предполагающую не только явное указание всех исходных понятий и исходных предложений (аксиом) каждой данной теории, но л такое же явное указание всех используемых в выводах (в частности, в Д.) этой теории логич. средств. При такой постановке вопроса проблема убедительности (правильности) Д. получает объективный характер. Оказалось возможным представить науч. теорию в виде исчисления, или формальной системы, состоящей из формул, получающихся из формул некоторого исходного запаса (аксиом) посредством чисто механич. применения правил вывода.
Последоват. формализация понятия Д. открывает возможность передачи некоторых функций человека электронным вычислит. машинам. Однако из этого не следует заключение о возможности сведения всех содержат. аспектов понятия Д. к формальным: правила вывода, хотя они и имеют дело с формальными объектами (формулами), формулируются на содержат. языке, а все проблемы, касающиеся природы формальных исчислений в целом, ставятся и решаются чисто содержат. средствами (см. Метатеория). Именно эти содержат. рассуждения (и содержат. Д.) составляют предмет самой теории Д.
Более того, было доказано, что задача полной и одновременно непротиворечивой формализации даже таких относительно простых математич. теорий, как арифметика (теория чисел), в принципе неосуществима, так что в них всегда имеется некоторый «неформализуе-мый остаток» (К. Гёдель, 1931). Наконец, никакая формализация дедуктивных теорий не снимает проблемы их интерпретации, т. е. соотнесения с некоторой описываемой ею и внешней для неё реальности, адекватность которого только и может быть в конечном счёте обоснованием истинности теории в целом.
см. также Интуиционизм, Конструктивное направление.
Энгельс Ф., Анти-Дюринг, Маркс К. и Энгельс ?., Соч., т. 20; Ленин В. И., Материализм и змпириокритицизм, ПСС, т. 18; Гильберт Д., Основания геометрии, пер. с нем., М.-Л., 1948; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; А с-м у с В. Ф., Учение логики о Д. и опровержении, [M.], 1954; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; ? о и а Д., Математика и правдоподобные рассуждения, пер. с англ., ?., 19752; Т а к е у т и Г., Теория Д., пер. с англ., М., 1978; Д ? а г а л и н А. Г., Математич. интуиционизм. Введение в теорию Д., М., 1979; Крайзель Г., Исследования по теории Д., пер. с англ., М., 1981.