Бесконечный регресс и основания математики [Имре Лакатос] (fb2) читать постранично, страница - 3

очень трудно; это был один из наиболее драматических моментов в истории человеческого мышления, ибо из него следовало радикальное изменение в первоначальном евклидианском рациональном мировоззрении. Если истинностное значение вводится лишь снизу, теория либо предположительна, либо ложна. Таким образом, тогда как евклидианская теория верифицируется, эмпирицистская теория фальсифицируема, а не верифицируема. Обе программы не обходятся без истин, которые, взятые порознь, тривиальны и неинтересны, но благодаря своему местоположению тривиальная истина заполняет всю евклидианскую теорию, чего не происходит в эмпирицистской теории.

Евклидианец никогда не признает поражения: его программа не допускает опровержения. Невозможно опровергнуть экзистенциальное утверждение о том, что существует набор тривиальных первых принципов, из которых следует вся истина. Наука, стало быть, всегда может быть подчинена евклидианской программе как регулятивному принципу, "влиятельной метафизике".*^[9] Всякий раз, когда какая-либо отдельная "кандидатура" не проходит в евклидианские теории, евклидианец может отрицать, что евклидианская программа как целое разбита. Фактически строгие евклидианцы постоянно открывали для себя, что "евклидианские" теории их предшественников не были в действительности евклидианскими, что интуиция, устанавливавшая истинность аксиом, была неправомерной, сбившейся, что это был блуждающий огонек, а не истинно направляющий свет разума. Они могут либо снова начать сначала, либо заявить, что извилистая тропа к солнечным вершинам тривиальности идет только через мрачные ущелья. Остается лишь надеяться и карабкаться дальше.

Близорукий и усталый евклидианец, возможно, примет темное ущелье за сияющую вершину. В то время как критика и, конечно же, опровержение могут детривиализировать наиболее тривиальные на вид предпосылки знания, прекрасный пример ― эйнштейновская критика одновременности, авторитарная трактовка и корроборация могут тривиализовать (толкая к неоспоримым основаниям знания) весьма утонченные на вид спекуляции, забавный пример ― кантовский подход к ньютоновской механике. Опровержение заставляет нас учиться, корроборация ― забывать. Таким образом, самонадеянный рационализм может ― оказавшись чем-то вроде "резинового евклидианизма" ("rubber-Euclideanism") ― расширить границы самоочевидного, и он, вероятно, делает это, причем не только в победоносные для себя периоды, но также и в периоды отчаянного отступления.

3) Некоторые догматики постарались спасти Знание от скептиков, используя неевклидовый метод. Изгнанный с верхнего уровня разум стремится найти прибежище внизу. Однако истина внизу не имеет той силы, которую она имела наверху. Для восстановления симметрии была призвана индукция. Индуктивистская программа возникла в рамках усилий соорудить канал, посредством которого истина течет вверх от базисных положений, и таким образом установить дополнительный логический принцип, принцип ретротрансляции (retransmission) истины. Такой принцип делает законным то наполнение системы истиной снизу, которое предполагает индуктивист. "Индуктивистская теория", подобно евклидианской теории, является, конечно, внутренне непротиворечивой, ибо все входящие в нее высказывания истинны.

В XVII в. индуктивный канал не выглядел очевидно невозможным, как он выглядит теперь: ведь тогда дедукция базировалась на картезианской интуиции, а аристотелевская формальная логика принижалась. Если существует дедуктивная интуиция, почему бы не составить ей пару в виде индуктивной интуиции? Однако история логики (или теории каналов истинностных значений) от Декарта до наших дней была в сущности историей критики и совершенствования дедуктивных каналов и разрушения индуктивных каналов. Как то, так и другое осуществлялось путем превращения логики в "формальную".

Если индуктивизм снизу, исходя из обычного эмпирического базиса, желает доказать сомнительные оккультные теоретические высказывания, он должен также тщательно прояснить значения теоретических терминов. Без зрелых понятий нет зрелых истин. Таким образом, индуктивисту приходится определять теоретические термины в "наблюдаемых". Это не может быть сделано формулированием явных определений, и индуктивист пытается выйти из положения, формулируя неявные контекстуальные определения, формулируя "логические конструкты".*^[10] Когда в математике хотят доказать что-либо сверху, приходится переопределять, реконструировать все, пользуясь общеизвестными терминами, расположенными вверху теории. Когда в естественной науке хотят доказать что-либо снизу, приходится переопределять, реконструировать все, пользуясь общеизвестными терминами, расположенными внизу теории ("строгий индуктивист", в частности, стремится к тому, чтобы не только истина текла снизу, но и значение двигалось таким же образом, ибо