Г) Противоположность между теоретическим и наивным расширением понятий, между непрерывным и критическим ростом

Гамма. Вы обещали вернуться к вопросу, может или нет дедуктивное угадывание дать непрерывное изображе­ние роста знания.

Пи. Позвольте мне сначала очертить некоторые из многочисленных исторических форм, которые может принять эта эвристическая картина.

Первое основное изображение получается, когда наивное расширение понятий намного обгоняет тео­рию и производит большой хаос контрапримеров: наши наивные понятия ослабляются, но теоретические понятия не заменяют их. В этом случае дедуктивное угадывание может — постепенно — справиться с залежами контрапри­меров. Это будет, если хотите, непрерывное «обобщающее» изображение. Но не забывайте, что оно начинает с опро­вержений, что его непрерывность представляет постепен­ное объяснение растущей теории эвристических опровер­жений ее первой версии.

Гамма. Или «непрерывный» рост только указывает, что опровержения далеко впереди!

Пи. Это верно. Но может случиться, что каждое от­дельное опровержение, или распространение наивных по­нятий, непосредственно влечет за собой распрост­ранение теории (и теоретических понятий), которые объ­ясняют контрапример; тогда «непрерывность» уступает место возбуждающему чередованию опровержений, расши­ряющих понятия, и еще более мощных теорий, наивных расширений понятий и объяснительных теоре­тических расширений понятий.

Сигма. Две случайные исторические вариации на ту же самую эвристическую тему!

Пи. Ну, в действительности между ними не так уже много различия. В них обоих сила теории лежит в способности объяснить опровержения в процессе роста. Но есть еще второе основное изображение дедуктивного угадывания.

Сигма. Еще другая случайная вариация?

Пи. Да, если хотите. Однако в этой вариации растущая теория не только объясняет, но и производит ее опровержения.

Сигма. Что?

Пи. В этом случае теоретический рост обгоняет — и, конечно, исключает — наивное расширение понятий. На­пример, кто-нибудь начинает, скажем, с теоремы Коши без единого контрапримера на горизонте. Затем испытывают эту теорему, преобразуя многогранник всеми возможными способами: разрезая пополам, отрезая пирамидальные уг­лы, сгибая, растягивая, раздувая... Некоторые из этих идей-испытаний приведут к идеям-доказательствам[162] (если мы получим результат, о котором уже было известно, что он верен, и затем: повернем назад, т. е. будем следовать папповой картине анализа-синтеза), но некоторые — вроде «испытания двойным склеиванием» Дзеты — приведут нас не назад к чему-либо уже известному, но к действительной новости, к какому-нибудь эвристическому опровержению испытываемого предложения — не при помощи расширения наивного понятия, а путем рас­ширения теоретической системы. Такое оп­ровержение само себя объясняет...

Йота. Как в диалектике! Испытания превращаются в доказательства, контрапримеры становятся примерами по самому методу их построения...

Пи. Почему диалектика? Испытания одного предложе­ния превращаются в доказательство другого более глу­бокого предложения, контрапримеры первого в примеры второго. Зачем смещение называть диалектикой? Но поз­вольте вернуться к моей точке зрения: я не думаю, что мою вторую основную картину дедуктивного угадывания можно рассматривать — как хотел бы Альфа — как непре­рывный рост знания.

Альфа. Конечно, так можно. Сравните наш метод с идеей Омеги о замене одной идеи доказательства другой, радикально отличной, более глубокой. Оба метода увеличи­вают содержание, но в то время как в методе Омеги опера­ции доказательства, применимые в узкой области, заме­няются операциями, применимыми в более широкой области, или более радикально, все доказательство заме­няется другим, применимым в более широкой области, — дедуктивное угадывание расширяет данное доказатель­ство добавлением операций, расширяющих его приложи­мость. Разве это не непрерывность?

Сигма. Это верно! Из данной теоремы мы выводим цепь еще более широких теорем! Из частного случая все более и более общие случаи! Обобщение путем дедук­ции[163]!

Пи. Но насытившись контрапримерами, вы когда-то признали, что любое увеличение содержания, любое более глубокое доказательство впереди себя имеет или порождает эвристические опровержения предшествующих более бедных теорем...

Альфа. Тета распространял понятие «контрапример», чтобы покрыть эвристические контрапримеры. Вы теперь распространяете его, чтобы покрыть эвристические контра­примеры, которые никогда реально не существуют. Вы считаете, что ваша «вторая картина» полна контраприме­рами и основана на распространении понятия контрапримера на контрапримеры с нулевой продолжительностью жизни, открытие которых совпадает с их объяснением! Но почему всякая интеллектуальная активность, всякая борь­ба за увеличение содержания в объединенной теоретиче­ской системе должна быть «критической»? Ваша догмати­ческая «критическая позиция» затемняет исход!

Учитель. Исход спора между вами и Пи безусловно темен, потому что ваш «непрерывный рост» и «критиче­ский рост» Пи вполне совместимы. Я более интересуюсь ограничениями, если такие имеются, дедуктивного угадывании или «непрерывного критицизма».