Бесконечный регресс и основания математики (ЛП) - Лакатос Имре (читать книги полностью txt) 📗
Я должен подчеркнуть различие между обычным понятием эмпирической теории и более общим понятием эмпирицистской теории. Мое единственное требование к эмпирицистской теории состоит в том, что истинностное значение поступает снизу, каким бы ни был этот низ ― фактуальным", "сингулярным пространственно-временным", "арифметическим" или каким-нибудь иным.* [7] Смысл этого расширения понятия базового положения состоит в том, чтобы сделать понятия эмпирицистской и индуктивистской программ применимыми к математике ― или к метафизике, этике и др.
В традиционной эпистемологии важнейшими понятиями являются не евклидианская и эмпирицистская теории, а, с одной стороны, a priori и a posteriori и, с другой стороны, аналитическое и синтетическое. Последние относятся к высказываниям, а не к теориям; эпистемологи не спешили заметить возникновение высоко организованного знания и ту важную роль, которую играют специфические структуры этой организации. Отсюда эпистемологическое различение уровней введения истинностных значений в теорию приобретает огромное значение, ибо оно определяет течение истинности и ложности в системе. Из какого источника черпаются эти истинностные значения ― из самоочевидности или из чего-нибудь еще ― не так важно для решения многих проблем. Мы можем достичь многого, обсуждая просто, как нечто течет в дедуктивной системе, не обсуждая того, что собственно в ней течет ― безошибочная ли истина или только, скажем, расселовская "психологически неоспоримая" истина, "логически неоспоримая" истина Р.Б. Брейтвейта, витгенштейновская "лингвистически неоспоримая" истина или попперианская оспоримая ложность и "правдоподобие" (verisimilitude), или карнаповская вероятность.* [8]
Увлекательная история евклидианской программы и ее упадка еще не написана, хотя вообще-то известно, что в высших регионах дедуктивных структур современная наука движется к терминам все более теоретическим и к высказываниям все более невероятным, а не к более тривиальным терминам и высказываниям. Переключиться на эмпирицистскую программу и фиксировать основания внизу теории было очень трудно; это был один из наиболее драматических моментов в истории человеческого мышления, ибо из него следовало радикальное изменение в первоначальном евклидианском рациональном мировоззрении. Если истинностное значение вводится лишь снизу, теория либо предположительна, либо ложна. Таким образом, тогда как евклидианская теория верифицируется, эмпирицистская теория фальсифицируема, а не верифицируема. Обе программы не обходятся без истин, которые, взятые порознь, тривиальны и неинтересны, но благодаря своему местоположению тривиальная истина заполняет всю евклидианскую теорию, чего не происходит в эмпирицистской теории.
Евклидианец никогда не признает поражения: его программа не допускает опровержения. Невозможно опровергнуть экзистенциальное утверждение о том, что существует набор тривиальных первых принципов, из которых следует вся истина. Наука, стало быть, всегда может быть подчинена евклидианской программе как регулятивному принципу, "влиятельной метафизике".* [9] Всякий раз, когда какая-либо отдельная "кандидатура" не проходит в евклидианские теории, евклидианец может отрицать, что евклидианская программа как целое разбита. Фактически строгие евклидианцы постоянно открывали для себя, что "евклидианские" теории их предшественников не были в действительности евклидианскими, что интуиция, устанавливавшая истинность аксиом, была неправомерной, сбившейся, что это был блуждающий огонек, а не истинно направляющий свет разума. Они могут либо снова начать сначала, либо заявить, что извилистая тропа к солнечным вершинам тривиальности идет только через мрачные ущелья. Остается лишь надеяться и карабкаться дальше.
Близорукий и усталый евклидианец, возможно, примет темное ущелье за сияющую вершину. В то время как критика и, конечно же, опровержение могут детривиализировать наиболее тривиальные на вид предпосылки знания, прекрасный пример ― эйнштейновская критика одновременности, авторитарная трактовка и корроборация могут тривиализовать (толкая к неоспоримым основаниям знания) весьма утонченные на вид спекуляции, забавный пример ― кантовский подход к ньютоновской механике. Опровержение заставляет нас учиться, корроборация ― забывать. Таким образом, самонадеянный рационализм может ― оказавшись чем-то вроде "резинового евклидианизма" ("rubber-Euclideanism") ― расширить границы самоочевидного, и он, вероятно, делает это, причем не только в победоносные для себя периоды, но также и в периоды отчаянного отступления.
3) Некоторые догматики постарались спасти Знание от скептиков, используя неевклидовый метод. Изгнанный с верхнего уровня разум стремится найти прибежище внизу. Однако истина внизу не имеет той силы, которую она имела наверху. Для восстановления симметрии была призвана индукция. Индуктивистская программа возникла в рамках усилий соорудить канал, посредством которого истина течет вверх от базисных положений, и таким образом установить дополнительный логический принцип, принцип ретротрансляции (retransmission) истины. Такой принцип делает законным то наполнение системы истиной снизу, которое предполагает индуктивист. "Индуктивистская теория", подобно евклидианской теории, является, конечно, внутренне непротиворечивой, ибо все входящие в нее высказывания истинны.
В XVII в. индуктивный канал не выглядел очевидно невозможным, как он выглядит теперь: ведь тогда дедукция базировалась на картезианской интуиции, а аристотелевская формальная логика принижалась. Если существует дедуктивная интуиция, почему бы не составить ей пару в виде индуктивной интуиции? Однако история логики (или теории каналов истинностных значений) от Декарта до наших дней была в сущности историей критики и совершенствования дедуктивных каналов и разрушения индуктивных каналов. Как то, так и другое осуществлялось путем превращения логики в "формальную".
Если индуктивизм снизу, исходя из обычного эмпирического базиса, желает доказать сомнительные оккультные теоретические высказывания, он должен также тщательно прояснить значения теоретических терминов. Без зрелых понятий нет зрелых истин. Таким образом, индуктивисту приходится определять теоретические термины в "наблюдаемых". Это не может быть сделано формулированием явных определений, и индуктивист пытается выйти из положения, формулируя неявные контекстуальные определения, формулируя "логические конструкты".* [10] Когда в математике хотят доказать что-либо сверху, приходится переопределять, реконструировать все, пользуясь общеизвестными терминами, расположенными вверху теории. Когда в естественной науке хотят доказать что-либо снизу, приходится переопределять, реконструировать все, пользуясь общеизвестными терминами, расположенными внизу теории ("строгий индуктивист", в частности, стремится к тому, чтобы не только истина текла снизу, но и значение двигалось таким же образом, ибо истина не может втекать в неосмысленные высказывания). Проблема индуктивного доказательства и проблема определения теоретических терминов в наблюдаемых ― она может быть названа проблемой индуктивного определения ― являются, таким образом, проблемами-близнецами, а их разрешимости ― иллюзиями-близнецами.* [11]
Первоначальная версия индуктивистской программы была разрушена скептической критикой. Но большинство еще не может принять эмпирицистскую революцию, они еще рассматривают ее как оскорбление достоинства Разума. Некоторые новейшие идеологи индуктивизма ― я теперь обращаюсь к характерному воззрению логического позитивизма ― создали обширную литературу в защиту новой, ослабленной, версии старой программы в защиту вероятностного индуктивизма. Кроме того, они не могут допустить (и в этом они правы), чтобы научная дедуктивная система была бы неосмысленной. Более того, они утверждают, что теория осмысленна, если ее днище достигает уровня наблюдаемых положений. Однако в то время как их "принцип верификации" допускает, что теоретические положения являются осмысленными, мы остаемся в потемках относительно того, каково же их действительное значение. Строгие эмпирицисты не могут допустить иного введения смысла, чем снизу теории. Они не правы в этом. Но являются ли тогда теоретические положения осмысленными, не обладая каким-либо особым смыслом? Они разрешают эту дилемму, радикально расширяя понятие определения ― понятие передачи значения ― настолько, чтобы охватить "редукцию", логическую манипуляцию, призванную передавать вверх от наблюдаемых к теоретическим терминам если не полные, то по крайней мере некоторые частичные эрзацевые значения.
