днозначного определения, применимого во всех случаях и в любых научных теориях.
   Логика не претендует на полное раскрытие интуитивного, или "наивного", понятия доказательства. Доказательства образуют довольно расплывчатую совокупность, которую невозможно охватить одним универсальным определением. В логике принято говорить не о доказуемости вообще, а о доказуемости в рамках данной конкретной системы или теории. При этом допускается существование разных понятий доказательства, относящихся к разным системам. Например, доказательство в интуиционистской логике и опирающейся на нее математике существенно отличается от доказательства в классической логике и основывающейся на ней математике. В классическом доказательстве можно использовать, в частности, закон исключенного третьего, закон (снятия) двойного отрицания и ряд других  логических законов, отсутствующих в интуиционистской логике.
   По способу проведения доказательства делятся на два вида. При прямом доказательстве задача состоит в том, чтобы найти такие убедительные аргументы, из которых логически вытекает тезис. Косвенное доказательство устанавливает справедливость тезиса тем, что вскрывает ошибочность противопоставляемого ему допущения, антитезиса.
   Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из этих положений выводим, что сумма углов четырехугольника равна 360°. Еще пример. Нужно доказать, что космические корабли подчиняются действию законов космической механики. Известно, что эти законы универсальны: им подчиняются все тела в любых точках космического пространства. Очевидно также, что космический корабль есть космическое тело. Отметив это, строим соответствующее дедуктивное умозаключение. Оно является прямым доказательством рассматриваемого утверждения.
   В косвенном доказательстве рассуждение идет как бы окольным путем. Вместо того чтобы прямо отыс-
119

кивать аргументы для выведения из них доказываемого положения, формулируется антитезис, отрицание этого положения. Далее тем или иным способом показывается несостоятельность антитезиса. По закону исключенного третьего, если одно из противоречащих друг другу утверждений ошибочно, второе должно быть верным. Антитезис ошибочен, значит, тезис является верным.
   Поскольку косвенное доказательство использует отрицание доказываемого положения, оно является как говорят, доказательством от противного.
   Допустим, нужно построить косвенное доказательство такого весьма тривиального тезиса: "Квадрат не является окружностью", Выдвигается антитезис: "Квадрат есть окружность", Необходимо показать ложность данного утверждения. С этой целью выводим из него следствия. Если хотя бы одно из них окажется ложным, это будет означать, что и само утверждение, из которого выведено следствие, также ложно. Неверным является, в частности, такое следствие: у квадрата нет углов. Поскольку антитезис ложен, исходный тезис должен быть истинным.
   Другой пример. Врач, убеждая пациента, что тот не болен гриппом, рассуждает так. Если бы действительно был грипп, имелись бы характерные для него симптомы: головная боль, повышенная температура и т.п. Но ничего подобного нет. Значит, нет и гриппа.
   Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис "Гриппа нет" истинен.
   Доказательства от противного обычны в наших рассуждениях, особенно в споре. При умелом применении они могут обладать особенной убедительностью.
   Определение понятия доказательства включает два центральных понятия логики: понятие истины и понятие логического следования. Оба эти понятия не являются ясными, и, значит, определяемое через них понятие доказательства также не может быть отнесено к ясным.
   Многие утверждения не являются ни истинными, ни ложными, лежат вне "категории истины", Оценки, нормы, советы, декларации, клятвы, обещания и т.п. не описывают каких-то ситуаций, а указывают, какими они должны быть, в каком направлении их нужно преобразовать. От описания требуется, чтобы оно соответ-
120

ствовало действительности. Удачный совет (приказ и т.п.) характеризуется как эффективный или целесообразный, но не как истинный. Высказывание, "Вода кипит" истинно, если вода действительно кипит; команда же "Вскипятите воду!" может быть целесообразной, но не имеет отношения к истине. Очевидно, что, оперируя выражениями, не имеющими истинностного значения, можно и нужно быть и логичным, и доказательным. Встает, таким образом, вопрос о существенном расширении понятия доказательства, определяемого в терминах истины. Им должны охватываться не только описания, но и оценки, нормы и т.п. Задача переопределения доказательства пока не решена ни логикой оценок, ни деонтической (нормативной) логикой. Это делает понятие доказательства не вполне ясным по своему смыслу.
   Не существует, далее, единого понятия логического следования. Логических систем, претендующих на определение этого понятия, в принципе существует бесконечное множество. Ни одно из имеющихся в современной логики определений логического закона и логического следования не свободно от  критики и от того, что принято называть "парадоксами логического следования".
   Образцом доказательства, которому в той или иной мере стремятся следовать во всех науках, является математическое доказательство. Долгое время считалось, что оно представляет собой ясный и бесспорный процесс. В нашем веке отношение к математическому доказательству изменилось. Сами математики разбились на враждебные группировки, каждая из которых придерживается своего истолкования доказательства. Причиной этого послужило прежде всего изменение представлений о лежащих в основе доказательства логических принципах. Исчезла уверенность в их единственности и непогрешимости. Логицизм был убежден, что логики достаточно для обоснования всей математики; по мнению формалистов (Д.Гильберт и др.), одной лишь логики для этого недостаточно и логические аксиомы необходимо дополнить собственно математическими; представители теоретико-множественного направления не особенно интересовались логическими принципами и не всегда указывали их в явном виде; интуиционисты из принципиальных соображений считали нужным вообще не вдаваться в логику. Полемика по поводу математического доказательства показала, что нет критериев доказательства, не зависящих ни от
121

времени, ни от того, что требуется доказать, ни от тех, кто использует критерии. Математическое доказательство является парадигмой доказательства вообще, но даже в математике доказательство не является абсолютным и окончательным.
§ 2. Разновидности индукции
   В индуктивном умозаключении связь посылок и заключения не опирается на логический закон, и заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. Индукция может давать из истинных посылок ложное заключение; ее заключение может содержать информацию, отсутствующую в посылках. Понятие индукции (индуктивного умозаключения) не является вполне ясным. Индукция определяется, в сущности, как "недедукция" и представляет собой еще менее ясное понятие, чем дедукция. Можно тем не менее указать относительно твердое "ядро" индуктивных способов рассуждения. В него входят, в частности, неполная индукция, так называемые перевернутые законы логики, подтверждение следствий, целевое обоснование и подтверждение общего положения с помощью примера. Типичным примером индуктивного рассуждения является также аналогия.
Неполная индукция
Индуктивное умозаключение, результатом которого является общий вывод о всем классе предметов на основании знания лишь некоторых предметов данного класса, принято называть неполной, или популярной, индукцией.
   Например, из того, что инертные газы гелий, неон и аргон имеют валентность, равную нулю, можно сделать общий вывод, что все инертные газы имеют эту же валентность. Это неполная индукция, поскольку знание о трех инертных газах распространяется на все такие газы, включая не рассматривавшиеся специально криптон и ксенон.
   Иногда перечисление является достаточно обширным и тем не менее опирающееся на него обобщение оказывается ошибочным.
   "Алюминий - твердое тело; железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец - также твердые тела; следовательно, все металлы - твердые тела", Но этот вывод ложен, поскольку ртуть - единственный из всех металлов - жидкость.
122

   Много интересных примеров, поспешных обобщений, встречавшихся в истории науки, приводит в своих работах русский ученый В.И.Вернадский.
   До XVII в., пока в науку не вошло окончательно понятие "сила", "некоторые формы предметов и по аналогии некоторые формы путей, описываемых предметами, считались, по существу, способными производить бесконечное движение. В самом деле, представим себе форму идеально правильного шара, положим этот шар на плоскость; теоретически он не может удержаться неподвижно и все время будет в движении. Это считалось следствием идеально круглой формой шара. Ибо чем ближе форма фигуры к шаровой, тем точнее будет выражение, что такой материальный шар любых размеров будет держаться на идеальной зеркальной плоскости на одном атоме, то есть будет больше способен к движению, менее устойчив. Идеально круглая форма, полагали тогда, по своей сущности способна поддерживать раз сообщенное движение. Этим путем объяснялось чрезвычайно быстрое вращение небесных сфер, эпициклов. Эти движения были единожды сообщены им божеством и затем продолжались века как свойство идеально шаровой формы". "Как далеки эти научные воззрения от современных, а между тем, по существу, это строго индуктивные построения, основанные на научном наблюдении. И даже в настоящее время в среде ученых-исследователей видим попытки возрождения, по существу, аналогичных воззрений",
    Поспешное обобщение, т.е. обобщение без достаточных на то оснований, - обычная ошибка в индуктивных рассуждениях.
   Индуктивные обобщения требуют определенной осмотрительности и осторожности. Многое здесь зависит от числа изученных случаев. Чем обширнее база индукции, тем более правдоподобным является индуктивное заключение. Важное значение имеет также разнообразие, разнотипность этих случаев.
   Но наиболее существенным является анализ характера связей предметов и их признаков, доказательство неслучайности наблюдаемой регулярности, ее укорененности в сущности исследуемых объектов. Выявление причин, порождающих эту регулярность, позволяет дополнить чистую индукцию фрагментами дедуктивного рассуждения и тем самым усилить и укрепить ее.
   Общие утверждения, и в частности научные законы, полученные индуктивным способом, не являются еще полноправными истинами. Им предстоит пройти длинный и
123

   сложный путь, пока из вероятностных предположений они превратятся в составные элементы научного знания.
   Индукция находит приложение не только в сфере описательных утверждений, но и в области оценок, норм, советов и им подобных выражений.
   Эмпирическое обоснование оценок и т.п. имеет иной смысл, чем в случае описательных высказываний. Оценки не могут поддерживаться ссылками на то, что дано в непосредственном опыте. Вместе с тем имеются такие способы обоснования оценок, которые в определенном отношении аналогичны способам обоснования описаний и которые можно поэтому назвать квазиэмпирическими. К ним относятся различные индуктивные рассуждения, среди посылок которых имеются оценки и заключение которых также является оценкой или подобным ей утверждением. В числе таких способов неполная индукция, аналогия, ссылка на образец, целевое обоснование (подтверждение) и др.
   Ценности не даны человеку в опыте. Они говорят не о том, что есть в мире, а о том, что должно в нем быть, и их нельзя увидеть, услышать и т.п. Знание о ценностях не может быть эмпирическим, процедуры его получения могут лишь внешне походить на процедуры получения эмпирического знания.
   Самым простым и вместе с тем ненадежным способом индуктивного обоснования оценок является неполная (популярная) индукция. Ее общая схема:
S1 должно быть Р.
S2 должно быть Р.
Sn должно быть Р.
Все S1, S2,...,Sn являются Р.

Все S должны быть Р.
                                                                                   
   Здесь первые п посылок являются оценками, последняя посылка представляет собой описательное утверждение; заключение - оценка. Например:
Суворов должен быть стойким и мужественным.
Наполеон должен быть стойким и мужественным.
Эйзенхауэр должен быть стойким и мужественным.
   Суворов, Наполеон, Эйзенхауэр были полководцами.

Каждый полководец должен быть стойким и мужественным.
   Наряду с неполной индукцией принято выделять в качестве особого вида индуктивного рассуждения пол-
124


ную индукцию. В ее посылках о каждом из предметов, входящих в рассматриваемое множество, утверждается, что он имеет определенное свойство. В заключении говорится, что все предметы данного множества обладают этим свойством.
   К примеру, учитель, читая список учеников какого-то класса, убеждается, что каждый названный им присутствует. На этом основании учитель делает вывод, что присутствуют все ученики.
   В полной индукции заключение необходимо, а не с некоторой вероятностью вытекает из посылок. Эта индукция является, таким образом, разновидностью дедуктивного умозаключения.
   К дедукции относится и так называемая математическая индукция, широко используемая в математике.
   Ф.Бэкон, положивший начало систематическому изучению индукции, весьма скептически относился к популярной индукции, опирающейся на простое перечисление подтверждающих примеров. Он писал: "Индукция, которая совершается путем простого перечисления, есть детская вещь, она дает шаткие заключения и подвергнута опасности со стороны противоречащих частностей, вынося решение большей частью на основании меньшего, чем следует, количества фактов, и притом только тех, которые имеются налицо".
   Этой "детской вещи" Бэкон противопоставлял описанные им особые индуктивные принципы установления причинных связей. Он даже полагал, что предлагаемый им индуктивный путь открытия знаний, являющийся очень простой, чуть ли не механической процедурой, "...почти уравнивает дарования и мало что оставляет их превосходству...". Продолжая его мысль, можно сказать, что он надеялся едва ли не на создание особой "индуктивной машины". Вводя в такого рода вычислительную машину все предложения, относящиеся к наблюдениям, мы получали бы на выходе точную систему законов, объясняющих эти наблюдения.
   Программа Бэкона была, разумеется, чистой утопией. Никакая "индуктивная машина", перерабатывающая факты в новые законы и теории, невозможна. Индукция, ведущая от частных утверждений к общим, дает только вероятное, а не достоверное знание.
   Все это еще раз подтверждает простую в своей основе мысль: познание реального мира - всегда творчество. Стандартные правила, принципы и приемы, ка-
125

кими бы совершенными они ни были, не дают гарантии достоверности нового знания. Самое строгое следование им не предохраняет от ошибок и заблуждений.
   Всякое открытие требует таланта и творчества. И даже само применение разнообразных приемов, в какой-то мере облегчающих путь к открытию, является творческим процессом.
"Перевернутые законы логики"
Высказывалось предположение, что все "перевернутые законы логики" могут быть отнесены к схемам индуктивного рассуждения. Под "перевернутыми законами" имеются в виду формулы, получаемые из имеющих форму импликации (условного высказывания) законов логики путем перемены мест основания и следствия. К примеру, если выражение: 
"Если А и В, то А" есть закон логики, то выражение:
"Если А, то А и В"
есть схема индуктивного умозаключения. Аналогично для:
   "Если А, то А или В" и схемы:
"Если А или В, то А".
Сходно для законов модальной логики. Поскольку выражения:
   "Если А, то возможно А" и "Если необходимо А, то А" являются законами логики, то выражения:
   "Если возможно А, то А" и "Если А, то необходимо А" являются схемами индуктивного рассуждения. Законов логики бесконечно много. Это означает, что и схем индуктивного рассуждения бесконечное число.
   Предположение, что "перевернутые законы логики" предстаыюют собой схемы индуктивного рассуждения, наталкивается, однако, на серьезные возражения: некоторые "перевернутые законы" остаются законами дедуктивной логики; ряд "перевернутых законов", при их истолковании как схем индукции, звучит весьма парадоксально. "Перевернутые законы логики" не исчерпывают, конечно, всех возможных схем индукции.
Косвенное подтверждение
   В науке, да и не только в ней, непосредственное наблюдение  того, о чем говорится в проверяемом утверждении, редкость.
Наиболее важным и вместе с тем универсальным способом подтверждения является выведение из обосновываемого положения логических след-
126

    ствий и их последующая проверка. Подтверждение следствий оценивается при этом как свидетельство в пользу истинности самого положения. .
Вот два примера такого подтверждения.
   Тот, кто ясно мыслит, ясно говорит. Пробным камнем ясного мышления является умение передать свои .знания кому-то другому, возможно, далекому от обсуждаемого предмета. Если человек обладает таким умением и его речь ясна и убедительна, это можно считать подтверждением того, что его мышление также является ясным.
   Известно, что сильно охлажденный предмет в теплом помещении покрывается капельками росы. Если мы видим, что у человека, вошедшего в дом, тут же запотели очки, мы можем с достаточной уверенностью заключить, что на улице морозно.
   В каждом из этих примеров рассуждение идет по схеме: "из первого вытекает второе; второе истинно; значит, первое также является, по всей вероятности, истинным" ("Если на улице мороз, у человека, вошедшего в дом, очки запотевают; очки и в самом деле запотели; значит, на улице мороз"). Это - не дедуктивное рассуждение, истинность посылок не гарантирует здесь истинности заключения. Из посылок "если есть первое, то есть второе" и "есть второе" заключение "есть первое" вытекает только с некоторой вероятностью (например, человек, у которого в теплом помещении запотели очки, мог специально охладить их, скажем, в холодильнике, чтобы затем внушить нам, будто на улице сильный мороз).
   Выведение следствий и их подтверждение, взятое само по себе, никогда не в состоянии установить справедливость обосновываемого положения. Подтверждение следствий только повышает его вероятность.
   Чем большее число следствий нашло подтверждение, тем выше вероятность проверяемого утверждения. Отсюда - рекомендация выводить из выдвигаемых и требующих надежного фундамента положений как можно больше логических следствий с целью их проверки.
   Значение имеет не только количество следствий, но и их характер. Чем более неожиданные следствия какого-то положения получают подтверждение, тем более сильный аргумент они дают в его поддержку. И наоборот, чем более ожидаемо в свете уже получивших под-
127

тверждение следствий новое следствие, тем меньше его вклад в обоснование проверяемого положения.
   Общая теория относительности А. Эйнштейна предсказала своеобразный и неожиданный эффект: не только планеты вращаются вокруг Солнца, но и эллипсы, которые они описывают, должны очень медленно вращаться относительно Солнца. Это вращение тем больше, чем ближе планета к Солнцу. Для всех планет, кроме Меркурия, оно настолько мало, что не может быть уловлено. Эллипс Меркурия, ближайшей к Солнцу планеты, осуществляет полное вращение в 3 млн. лет, что удается обнаружить. И вращение этого эллипса действительно было открыто астрономами, причем задолго до Эйнштейна. Никакого объяснения такому вращению не находил