- •Kurt hübner
- •Оглавление
- •Глава 9. Переход от Декарта к Гюйгенсу в свете исторической теории науки....... 179
- •Глава 14. Научно-технический мир... 276
- •Глава 15. Значение греческого мифа для научно-технической эпохи... 299
- •Смена методологических парадигм
- •От переводчика
- •Предисловие
- •Предисловие к четвертому изданию
- •Предисловие к русскому изданию
- •Часть первая Теория естественных наук Глава 1. Историческое введение в проблему обоснования и значения естественных наук, нуминозного опыта и искусства
- •1.1. Проблема обоснования естествознания в критическом эмпиризме Юма, трансцендентализме Канта и операционализме Райхенбаха
- •1.2. Сравнение оснований трансцендентализма и операционализма
- •1.3. Проблема обоснования нуминозного опыта и предметов искусства в трансцендентализме и операционализме
- •Глава 2. Пример из истории: основания и значение принципа причинности в квантовой механике
- •2.1. Ограниченность принципа причинности в квантовой механике
- •2.2. Неограниченный принцип причинности и скрытые параметры
- •2.3. Философия копенгагенской школы и философия Бома
- •2.4. Ни ограниченный, ни неограниченный принципы причинности не являются "онтологическими суждениями": и тот, и другой представляют собой априорные установления
- •Глава 3. Систематический анализ проблемы оснований естественных наук
- •3.1. Основание базисных предложений
- •3.2. Основание естественных законов
- •3.3. Основание аксиом естественнонаучных теорий
- •3.4. Строго эмпирическими могут быть только метатеоретические предложения
- •Глава 4. Развитие исторической теории обоснования науки п.Дюгемом
- •4.1. Историческая теория науки Дюгема
- •4.2. Критика теории Дюгема
- •4.3. Введение категорий и дальнейшее развитие теории Дюгема
- •4.4. Значение введенных категорий для истории физики
- •4.5. Пропедевтическое значение истории науки для теории науки
- •Глава 5. Критика аисторизма теорий науки Поппера и Карнапа на примере "Astronomia Nova" Кеплера
- •5.1. Теоретико-научный анализ "Новой астрономии" Кеплера
- •5.2. "Новая астрономия" Кеплера в свете философии науки Поппера и Лакатоса
- •5.3. "Новая астрономия" Кеплера и индуктивная логика Карнапа
- •5.4. Недостаток чувства исторического у Поппера и Карнапа
- •Глава 6. Следующий пример: культурно-исторические основания квантовой механики
- •6.1. Разногласие Бора с Эйнштейном как противоречие между философскими аксиомами
- •6.2. Является ли философия Бора идеализмом?
- •6.3. Пример с кошкой
- •6.4. Операторы для неизмеримых величин в квантовой механике
- •6.5. Квантовая логика, интерфеномены, теорема фон Неймана и индетерминизм
- •6.6. Как можно оправдать априорные аксиомы, лежащие в основе квантовой механики?
- •Глава 7. Критика попыток связать квантовую механику с новой логикой
- •7.1. Подход фон Вайцзеккера
- •7.2. Подход Миттельштедта
- •7.3. Подход Штегмюллера
- •Часть вторая Теория истории науки и исторических наук Глава 8. Основания всеобщей исторической теории эмпирических наук
- •8.1. Исторический контекст определяет, какими должны быть факты и фундаментальные принципы науки, а не наоборот; исторические системы и исторические системные ансамбли
- •8.2. Противоречия внутри системных ансамблей как движущая сила развития наук; семь законов исторических процессов
- •8.3. Исторический способ научного исследования не обязательно ведет к релятивизму
- •8.4. Экспликация и мутация систем: "прогресс I" и "прогресс II"
- •8.5. "Прогресс I" и "Прогресс II" как гармонизация системных ансамблей
- •8.6. Ни "прогресс I", ни "прогресс II" не являются непрерывным развитием
- •Глава 9. Переход от Декарта к Гюйгенсу в свете исторической теории науки
- •9.1. Пример: второе и четвертое правила столкновения движущихся тел, сформулированные Декартом
- •9.2. Смысл картезианских правил столкновения тел: божественная механика
- •9.3. Внутреннее противоречие системы Декарта
- •9.4. От Декарта к Гюйгенсу: пример самодвижения системного ансамбля
- •Глава 10. Историко-генетический взгляд на релятивистскую космологию. Классическая проблема: является ли мир идеей?
- •10.1. Априорные основания эйнштейновской общей теории относительности
- •10.2. Постулат космического субстрата и космологический принцип
- •10.3. Четыре возможные космологические модели релятивистской космологии и их априорные решения
- •10.4. Трудности, связанные с опровержением релятивистской космологии
- •10.5. Об оправдании априорных суждений в релятивистской космологии
- •10.6. Является ли мир только идеей?
- •Глава 11. Критика понятия истины в философии Поппера; понятие истины в исторической теории эмпирических наук
- •11.1. Критика попперовского метафизического реализма; понятие истины в исторической теории науки
- •11.2. К вопросу об истинности самой исторической теории науки
- •11.3. Еще несколько критических замечаний по поводу современных направлений в попперианской философии
- •Глава 12. Критический анализ теории историко-научных процессов и научного прогресса Снида-Штегмюллера
- •12.1. Критические замечания об определении теоретических величин в концепции Снида-Штегмюллера
- •12.2. Критика различия, которое Снид и Штегмюллер проводят между "ядром" и "расширением ядра" теории
- •12.3. Критические замечания о "динамике теорий" Снида-Штегмюллера
- •Глава 13. Теоретические основы исторических наук
- •13.1. Философы понимания
- •13.2. Философы объяснения
- •13.3 Всеобщее в исторических науках
- •13.4. Внутренняя связь объяснения, понимания и повествования
- •13.5. Понятие "теории" в исторических науках
- •13.6. К вопросу об обосновании принципов в историко-научных теориях
- •13.7. Аксиоматические установления a priori в историко-научных теориях
- •13.8. Оправдательные установления
- •13.9. Нормативные установления
- •13.10. Отношение между априорным и апостериорным
- •13.11. Так называемый герменевтический круг
- •13.12. Объяснение экспликаций и мутаций исторических систем, объяснение значений
- •13.13. Обоснование теоретических принципов в исторической ситуации.
- •13.14. Прошлое как функция настоящего
- •13.15. Типы обоснования теоретических установлений в исторических науках
- •Часть третья Мир научно-технический и мир мифологический Глава 14.Научно-технический мир
- •14.1. Об истории техники
- •14.2. Кибернетика как современная техника
- •14.3. Общество технического века
- •14.4. Техника: pro и contra
- •14.5. Техника и футурология
- •14.6. Техника в свете теории исторических системных ансамблей и страсть к изменениям
- •14.7. Экскурс в теории рациональных решений
- •Глава 15. Значение греческого мифа для научно-технической эпохи
- •15.1. Проблема обоснования мифа. Связь мифа, нуминозного опыта и искусства
- •15.2. Условия мифологического опыта
- •15.3. Развитие науки и разрушение мифа
- •15.4. Отношение между наукой и мифом
3.3. Основание аксиом естественнонаучных теорий
После сказанного, может быть, не стоило бы даже ставить вопрос об эмпирических основаниях третьей группы составляющих теорию высказываний - аксиом. И все же, как и прежде, когда речь шла о естественных законах, мы не будем опираться на предшествующие рассуждения и даже можем допустить, что они были неверны. Остановимся только на логической стороне дела как таковой, то есть признаем, что аксиомы - стержень теории - это предпосылки, из которых выводятся в качестве следствий базисные предложения. Если базисное предложение, предсказанное теорией, подтверждается измерением, то по правилам логики истинностное значение посылок (в данном случае аксиоматической системы теории) может быть и истинным, и ложным. Далее, очевидно, что одни и те же базисные предложения могут следовать из различных систем аксиом даже при условии, что эти базисные предложения по-разному интерпретируются в различных теориях. Здесь встает вопрос, аналогичный тому, что возникает у нас в ситуации, когда различные методы дают один и тот же результат: нельзя ли на основе сопоставления различных теорий получить нечто вроде эмпирических фактов. Раньше речь шла только о возможности эмпирического обоснования отдельной теории; теперь мы переходим к группам теорий. Перед нами следующие возможности сравнения теорий (подробнее этот вопрос еще будет рассмотрен в 5, 6, 11 и 12 главах):
1. Теории имеют одни и те же базисные предложения B - хотя последние могут по-разному интерпретироваться в различных понятийных рамках, - но одна из них проще другой или имеет некоторые добавочные базисные предложения B';
2. Теории одинаковы по своим структурам;
3. Одна из теорий содержит в себе другую как частный или предельный случай.
Чтобы выяснить критерий фактуального содержания теорий, нужно исследовать все три возможности. Начнем с первой.
Итак, предполагается, что самая простая или всеохватная теория является истинной или более близкой к истине, чем остальные. За этим стоит допущение, что сама природа устроенапросто и допускает исчерпывающие своё понимание (и притом так, как ее изображает "самая простая" или "самая полная" теория из числа тех, какие предложены в данный момент!). Но можно ли считать такое допущение обоснованным, если теория, претендующая на раскрытие истинного устройства природы, сама не может обосновать своей истинности?
Вторая возможность предполагает, что если какие-либо теории относятся к одной и той же базисной области, они должны иметь одну и ту же структуру - иэтосчитается эмпирической истиной[21]. Что все же означает эта структурная эквивалентность? Опуская детали, скажем, что два множества имеют одинаковую структуру, если выполняются следующие условия:
1. Каждый элемент одного множества может быть поставлен в однозначное соответствие с каждым элементом другого множества;
2. Если некоторые элементы одного множества определенным образом связаны между собой, то соответствующие им элементы другого множества так же связаны.
Отсюда следует, что если два множества, каждое из которых состоит из системы предложений, как это имеет место в теории, структурно тождественны, то предложения одной теории могут быть выведены из предложений другой теории, и наоборот. Но как раз это и не являетсяобязательным, когда речь идет о двух теориях, относящихся к одной и той же базисной области. Единственное общее, что у них есть - это сама базисная область, но отсюда не следует их структурная эквивалентность. А поскольку, как правило, структурная эквивалентность сравниваемых теорий не наблюдается, то нет и возможности говорить о каком-либо неизменном эмпирическом фактуальном основании, на котором зиждется структура теории.
Третья возможность связана с утверждением, что теории в конечном счете становятся частными или предельными случаями других теорий и даже, что в этом состоит прогресс науки. В этом часто усматривают доказательство того, что основой теории являются факты: став предельным случаем более общей теории, данная теория включается в более широкий теоретический контекст, в котором ее развитие получает завершение, однако сама теория остается неопровергнутой именно благодаря тому, что основывается на фактах. Как классический пример обычно приводят отношение ньютоновской физики к специальной теории относительности.
Даже сегодня еще многие физики утверждают, что ньютоновская механика является предельным случаем теории относительности, имея дело с областью, в которой скорости намного меньше скорости света. При обосновании выдвигается допущение, что такой предельный случай можно вывести из теории относительности.
Но что это был бы за вывод? Если обозначить предложения специальной теории относительности R1, R2, ..., Rn, то, чтобы вывести ньютоновскую механику как предельный случай, к ним следует добавить следующее: в ньютоновской механике (V/c)2значительно меньше I. Тогда можно получить предложения L1, L2, ..., Ln( Liпринимает значения намного меньшие, чем I); и только в этом смысле можно говорить о выведении одной теории из другой. Хотя Li- действительно может рассматриваться как частный случай специальной теории относительности, к ньютоновской механике это не имеет отношения и не может считаться ее частным случаем. Дело в том, что переменные и параметры, представляющие координаты, время, массу и т.д. в системе Ri, не играют никакой роли в системе Li. Они отличаются от классических величин, хотя имеют те же наименования. Так масса в ньютоновской физике постоянна, понятие же с аналогичным названием в эйнштейновской физике взаимоопределимо с энергией и потому является переменным. Пространство и время в ньютоновской физике суть абсолютные величины, в эйнштейновской - относительные, и т.д. Это очевидное логическое различие не позволяет выводить одну теорию из другой, хотя в обеих фигурируют одни и те же термины. Если не принять определенных правил преобразования, нельзя отнести переменные и величины Liк классической физике, а если переопределить их, то нельзя вывести Liиз Ri. При переходе от эйнштейновской теории к классической физике изменятся не только форма законов, но сами понятия, на которых эти законы основаны. Поэтому ньютоновская физика не является ни предельным, ни частным случаем эйнштейновской физики. Именно в новых определениях и заключалось революционное значение последней[22].
Точно так же несовместимы ньютоновская теория тяготения и общая теория относительности. Согласно Эйнштейну пространство универсума искривлено и в нем нет места силам тяготения; ньютоновский универсум - это евклидово пространство, в котором действуют силы гравитации. Помимо тех причин, по которым, как уже было сказано, нельзя считать ньютоновскую физику предельным случаем общей теории относительности (например, сказать, что ньютоновская физика имеет дело с относительно малыми и потому практически неискривленными областями пространства), надо еще принять во внимание, что ньютоновская теория - за немногими исключениями - описывает и предсказывает широкий круг астрономических явлений так же правильно, как теория Эйнштейна, и это верно не только в предельных случаях, упомянутых выше, но и во всех прочих. Следовательно, вообще нельзя сказать, что общая теория относительности вытеснила ньютоновскую теорию тяготения, которая якобы превратилась в предельный случай первой.
Мы приходим к заключению, что из двух соперничающих теорий ни однане должнасодержать в себе другую в качестве своего предельного случая; такое соотношение не может считаться универсальным правилом. Нет и достаточных оснований утверждать, что одна из таких теорий является приближением к другой, ибо в большинстве случаев отсутствует tertium comparationis[23]. Можно ли говорить о равенстве или подобии результатов измерений (что указывало бы на возможность такого приближения), если измеряемые величины имеют, как мы только что убедились, различный смысл?