Гамма. Вы обещали вернуться к вопросу, может или нет дедуктивное угадывание дать непрерывное изображение роста знания.
Пи. Позвольте мне сначала очертить некоторые из многочисленных исторических форм, которые может принять эта эвристическая картина.
Первое основное изображение получается, когда наивное расширение понятий намного обгоняет теорию и производит большой хаос контрапримеров: наши наивные понятия ослабляются, но теоретические понятия не заменяют их. В этом случае дедуктивное угадывание может – постепенно – справиться с залежами контрапримеров. Это будет, если хотите, непрерывное «обобщающее» изображение. Но не забывайте, что оно начинает с опровержений, что его непрерывность представляет постепенное объяснение растущей теории эвристических опровержений ее первой версии.
Гамма. Или «непрерывный» рост только указывает, что опровержения далеко впереди!
Пи. Это верно. Но может случиться, что каждое отдельное опровержение, или распространение наивных понятий, непосредственно влечет за собой распространение теории (и теоретических понятий), которые объясняют контрапример; тогда «непрерывность» уступает место возбуждающему чередованию опровержений, расширяющих понятия, и еще более мощных теорий, наивных расширений понятий и объяснительных теоретических расширении понятии.
Сигма. Две случайные исторические вариации на ту же самую эвристическую тему!
Пи. Ну в действительности между ними не так уже много различия. В них обоих сила теории лежит в способности объяснить опровержения в процессе роста. Но есть еще второе основное изображение дедуктивного угадывания.
Сигма. Еще другая случайная вариация?
Пи. Да, если хотите. Однако в этой вариации растущая теория не только объясняет, но и производит ее опровержения.
Сигма. Что?
Пи. В этом случае теоретический рост обгоняет – и, конечно, исключает – наивное расширение понятий. Например, кто-нибудь начинает, скажем, с теоремы Коши без единого контрапримера на горизонте. Затем испытывают эту теорему, преобразуя многогранник всеми возможными способами: разрезая пополам, отрезая пирамидальные углы, сгибая, растягивая, раздувая… Некоторые из этих идей-испытаний приведут к идеям-доказательствам[165] (если мы получим результат, о котором уже было известно, что он верен, и затем повернем назад, т.е. будем следовать папповой картине анализа-синтеза), но некоторые – вроде «испытания двойным склеиванием» Дзеты – приведут нас не назад к чему-либо уже известному, но к действительной новости, к какому-нибудь эвристическому опровержению испытываемого предложения – не при помощи расширения наивного понятия, а путем расширения теоретической системы. Такое опровержение само себя объясняет…
Йота. Как в диалектике! Испытания превращаются в доказательства, контрапримеры становятся примерами по самому методу их построения…
Пи. Почему диалектика? Испытания одного предложения превращаются в доказательство другого более глубокого предложения, контрапримеры первого в примеры второго. Зачем смещение называть диалектикой? Но позвольте вернуться к моей точке зрения: я не думаю, что мою вторую основную картину дедуктивного угадывания можно рассматривать – как хотел бы Альфа – как непрерывный рост знания.
Альфа. Конечно, так можно. Сравните наш метод с идеей Омеги о замене одной идеи доказательства другой, радикально отличной, более глубокой. Оба метода увеличивают содержание, но в то время как в методе Омеги операции доказательства, применимые в узкой области, заменяются операциями, применимыми в более широкой области, или более радикально, все доказательство заменяется другим, применимым в более широкой области, – дедуктивное угадывание расширяет данное доказательство добавлением операций, расширяющих его приложимость. Разве это не непрерывность?
Сигма. Это верно! Из данной теоремы мы выводим цепь еще более широких теорем! Из частного случая все более и более общие случаи! Обобщение путем дедукции[166]!
Пи. Но насытившись контрапримерами, вы когда-то признали, что любое увеличение содержания, любое более глубокое доказательство впереди себя имеет или порождает эвристические опровержения предшествующих более бедных теорем…
Альфа. Тета распространял понятие «контрапример», чтобы покрыть эвристические контрапримеры. Вы теперь распространяете его, чтобы покрыть эвристические контрапримеры, которые никогда реально не существуют. Вы считаете, что ваша «вторая картина» полна контрапримерами и основана на распространении понятия контрапримера, на контрапримеры с нулевой продолжительностью жизни, открытие которых совпадает с их объяснением! Но почему всякая интеллектуальная активность, всякая борьба за увеличение содержания в объединенной теоретической системе должна быть «критической»? Ваша догматическая «критическая позиция» затемняет исход!
Учитель. Исход спора между вами и Пи безусловно темен, потому что ваш «непрерывный рост» и «критический рост» Пи вполне совместимы. Я более интересуюсь ограничениями, если такие имеются, дедуктивного угадывания или «непрерывного критицизма».
