Имре Лакатос – венгерский и английский философ, специалист по методологии научного познания.
«Альфа. Я восхищаюсь вашим извращенным остроумием, изобретающим одно определение за другим, как баррикады против уничтожения ваших любимых идей. Почему бы вам не определить многогранник как систему многоугольников, для которых имеет место уравнение V–Е+F=2, и это Идеальное Определение… навсегда покончит с диспутом? Тогда уже не будет нужды в дальнейшем исследовании этого предмета.
Дельта. Но не существует на свете теоремы, которую нельзя было бы опровергнуть при помощи монстров.
Учитель. Извините, что прерву вас. Мы видели, что опровержение при помощи контрапримеров зависит от понимания рассматриваемых терминов. Если контрапример должен служить объективной критике, то нужно уговориться в понимании нашего термина. Мы можем достичь этого соглашения, определив термин, на котором оборвалось сообщение. Я, например, не определял понятия «многогранник». Я считал, что этот термин является общеизвестным, т. е. все заинтересованные обладают способностью отличить вещь, которая является многогранником, от вещи, которая им не является, — то, что некоторые логики называют знанием объема понятия «многогранник». Оказалось, что объем этого понятия совсем не является очевидным: очень часто определения даются и обсуждаются именно тогда, когда появляются контрапримеры.
С. 26
Альфа. Целая серия контрапримеров, подходящая серия определений, которые не содержат ничего нового, но представляют лишь новые откровения богатства одного старого понятия, которое кажется имеющим столько же «скрытых» требований, сколько и контрапримеров. Для всех многогранников V-E+F=2 кажется неопровержимой, старой и «вечной» истиной. Странно думать, что когда-то это было удивительной догадкой, исполненной вызова и волнения. Теперь же, вследствие ваших странных изменений смысла, оно превратилось в скудную условность, в вызывающую пренебрежение частицу догмы. (Он покидает классную комнату.)
Дельта. Я не могу понять, каким образом такой способный человек, как Альфа, может тратить свой талант на пустые словопрения. Он, кажется, весь поглощен производством монстров, но монстры никогда не способствовали росту ни в мире природы, ни в мире мысли. Эволюция всегда следует гармоническому и упорядоченному образцу.
Гамма. Генетики могут легко опровергнуть это. Разве вы не слышали, что мутации, производящие уродства, играют значительную роль в макроэволюции? Такие уродливые мутанты они называют «подающими надежды монстрами». Мне кажется, что контрапримеры Альфы, хотя и уродства, являются «уродами, подающими надежду»
С. 33
Учитель. Продолжайте.
(Альфа возвращается.)
Бета. Хотя некоторые положения из аргументов Дельты не кажутся мне умными, но я все-таки прихожу к убеждению, что в них есть разумное зерно. Теперь, мне кажется, что ни одно из предположений не является правильным вообще, но только в некоторой ограниченной области, которая не содержит исключений. Я против того, чтобы называть эти исключения «монстрами», или «патологическими случаями». По существу это равносильно методологическому требованию не рассматривать их как примеры интересные, имеющие право на самостоятельное существование и заслуживающие специального исследования. Но я также против термина «контрапример»; хотя это и дает право принимать их на равной ноге с подтверждающими примерами, но как-то окрашивает их в военные цвета, так что некоторые, вроде Гаммы, при их виде приходят в панику и впадают в соблазн совсем отказаться от прекрасных и остроумных доказательств. Нет, они являются только исключениями.
С. 36.
Бета …Самые лучшие устранители исключений производят тщательный анализ доказательства и на этом основании дают очень тонкое ограничение запрещенной площади. В этом отношении наш метод действительно представляет предельный случай метода устранения исключений…
Йота …и обнаруживает фундаментальное диалектическое единство доказательств и опровержений.
Учитель. Я надеюсь, что теперь вы все видите, что доказательства, хотя иногда правильно и не доказывают, но определенно помогают исправить (improve) нашу догадку. Устранители исключений тоже исправляли ее, но исправление было независимым от доказательства (proving). Наш метод исправляет доказывая (improves by proving). Внутреннее единство между «логикой открытия» и «логикой оправдания» является самым важным аспектом метода инкорпорации лемм.
С. 53.
Альфа. Действительное доказательство, как бы оно интересно ни было, не может помочь нам в решении нашей задачи: как далеко должны мы идти в исправлении нашей догадки? Охотно допускаю, что вы действительно имеете такое доказательство, как говорите, но это только заставит нас разложить эту третью лемму на несколько новых подлемм. Должны ли мы и их превратить в условия? Где же тогда мы остановимся?
Каппа. В доказательствах существует бесконечный спуск; поэтому доказательства не доказывают. Вы должны понять, что доказывание представляет игру, в которую играют, пока это доставляет удовольствие, и прекращают, когда устанешь.
Эпсилон. Нет, это не игра, а серьезное дело. …
С. 59.
Альфа. … Открытие не идет ни вниз, ни вверх, но следует по зигзагообразному пути: толкаемое контрапримерами, оно движется от наивной догадки к предпосылкам и потом возвращается назад, чтобы уничтожить наивную догадку и заменить ее теоремой. Интуитивная догадка и контрапримеры не выявляются во вполне готовой дедуктивной структуре: в окончательном продукте нельзя различить зигзаг открытия.
Учитель. Очень хорошо. Однако добавим из осторожности, что теорема не всегда отличается от наивной догадки. Мы не всегда обязательно исправляем доказывая. Доказательства могут исправлять, когда их идея открывает в наивной догадке неожиданные аспекты, которые потом появляются в теореме. Но в зрелых теориях так может и не быть. Так наверняка бывает в молодых растущих теориях. Первичной характеристикой последних является именно это переплетение открытия и подтверждения, исправления и доказательства.
С. 60.
Омега. Но я хочу раскрыть секрет эйлеровости!
Дзета. Я понимаю ваше упорство: вы поставили задачу определить, где Бог поместил твердь, отделяющую эйлеровы многогранники от неэйлеровых. Но нет основания думать, что слово «эйлеров» вообще встречалось у Бога в плане вселенной. А что если эйлеровость только случайное свойство некоторых многогранников? В этом случае будет неинтересно, или даже невозможно, найти случайные зигзаги в демаркационной линии между эйлеровыми и неэйлеровыми многогранниками. Тем более это допущение оставит незапятнанным рационализм, потому что эйлеровость не будет тогда частью рационального плана вселенной. Поэтому забудем об этом. Один из основных пунктов критического рационализма заключается в том, что надо быть всегда готовым во время решения оставить свою первоначальную задачу и заменить ее другой».
С. 95.
Источник: Лакатос И. Доказательства и опровержения. Как доказываются теоремы. Пер. И.Н. Веселовского. М.: Наука, 1967.