- •Xюбнер к. Критика научного разума / Пер. С нем. - м., 1994. - 326 с.
- •Оглавление
- •Смена методологических парадигм
- •От переводчика
- •Предисловие
- •Предисловие к четвертому изданию
- •Предисловие к русскому изданию
- •Часть первая Теория естественных наук Глава 1. Историческое введение в проблему обоснования и значения естественных наук, нуминозного опыта и искусства
- •1.1. Проблема обоснования естествознания в критическом эмпиризме Юма, трансцендентализме Канта и операционализме Райхенбаха
- •1.2. Сравнение оснований трансцендентализма и операционализма
- •1.3. Проблема обоснования нуминозного опыта и предметов искусства в трансцендентализме и операционализме
- •Глава 2. Пример из истории: основания и значение принципа причинности в квантовой механике
- •2.1. Ограниченность принципа причинности в квантовой механике
- •2.2. Неограниченный принцип причинности и скрытые параметры
- •2.3. Философия копенгагенской школы и философия Бома
- •1. Какой принцип причинности, взятый как универсальное методологическое правило, я хотел бы положить в основание физики?
- •2. Какие эмпирические проблемы я должен буду с помощью этого правила разрешить?
- •2.4. Ни ограниченный, ни неограниченный принципы причинности не являются "онтологическими суждениями": и тот, и другой представляют собой априорные установления
- •Глава 3. Систематический анализ проблемы оснований естественных наук
- •3.1. Основание базисных предложений
- •3.2. Основание естественных законов
- •3.3. Основание аксиом естественнонаучных теорий
- •2. Теории одинаковы по своим структурам;
- •3. Одна из теорий содержит в себе другую как частный или предельный случай.
- •1. Каждый элемент одного множества может быть поставлен в однозначное соответствие с каждым элементом другого множества;
- •2. Если некоторые элементы одного множества определенным образом связаны между собой, то соответствующие им элементы другого множества так же связаны.
- •3.4. Строго эмпирическими могут быть только метатеоретические предложения
- •Глава 4. Развитие исторической теории обоснования науки п.Дюгемом
- •4.1. Историческая теория науки Дюгема
- •4.2. Критика теории Дюгема
- •4.3. Введение категорий и дальнейшее развитие теории Дюгема
- •4.4. Значение введенных категорий для истории физики
- •4.5. Пропедевтическое значение истории науки для теории науки
- •1. Анализ исторических фактов позволяет разработать типологию названных выше установлений и связей между ними, а также причин их принятия или изменения.
- •2. Исторический анализ должен выяснить и зафиксировать источники применяемых или формулируемых правил, методов и принципов теории науки.
- •Глава 5. Критика аисторизма теорий науки Поппера и Карнапа на примере "Astronomia Nova" Кеплера
- •5.1. Теоретико-научный анализ "Новой астрономии" Кеплера
- •1. Все планеты движутся по круговым орбитам с разделенным эксцентриситетом; Солнце находится в одной из точек эксцентриситета.
- •2. Скорость планет обратно пропорциональна их расстояниям от Солнца.
- •5.2. "Новая астрономия" Кеплера в свете философии науки Поппера и Лакатоса
- •5.3. "Новая астрономия" Кеплера и индуктивная логика Карнапа
- •5.4. Недостаток чувства исторического у Поппера и Карнапа
- •Глава 6. Следующий пример: культурно-исторические основания квантовой механики
- •6.1. Разногласие Бора с Эйнштейном как противоречие между философскими аксиомами
- •6.2. Является ли философия Бора идеализмом?
- •6.3. Пример с кошкой
- •6.4. Операторы для неизмеримых величин в квантовой механике
- •6.5. Квантовая логика, интерфеномены, теорема фон Неймана и индетерминизм
- •6.6. Как можно оправдать априорные аксиомы, лежащие в основе квантовой механики?
- •1. Посредством чисто философских рассуждений;
- •2. Опытным путем;
- •3. Через поиск чисто методологических оснований.
- •1. Действительно ли хороша предлагаемая исследовательская стратегия?
- •2. Согласны ли мы с теми целями, к достижению которых направлена эта стратегия?
- •Глава 7. Критика попыток связать квантовую механику с новой логикой
- •7.1. Подход фон Вайцзеккера
- •1. Электроны - материальные частицы.
- •2. Каждая частица проходит либо через щель 1, либо через щель 2. Tertium non datur (tnd).
- •7.2. Подход Миттельштедта
- •7.3. Подход Штегмюллера
- •Часть вторая Теория истории науки и исторических наук Глава 8. Основания всеобщей исторической теории эмпирических наук
- •1. Не существует абсолютных фактов или абсолютных фундаментальных установлений, на которые могла бы опереться наука.
- •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. Является ли мир только идеей?
- •1) Мир либо имеет начало во времени и ограничен в пространстве, либо он "бесконечен и во времени, и в пространстве"[186];
- •2) Логически ложно, что мир бесконечен; эпистемологически ложно, что мир конечен;
- •Глава 11. Критика понятия истины в философии Поппера; понятие истины в исторической теории эмпирических наук
- •11.1. Критика попперовского метафизического реализма; понятие истины в исторической теории науки
- •11.2. К вопросу об истинности самой исторической теории науки
- •11.3. Еще несколько критических замечаний по поводу современных направлений в попперианской философии
- •1. Фальсификационизм - просто другое слово для "попперианства" - превосходит индуктивизм, поскольку опирается на дедуктивную логику и свободен от парадокса Гудмена (что это значит, мы увидим позже).
- •2. Факт, используемый при построении теории, не может служить подтверждением этой же теории.
- •Глава 12. Критический анализ теории историко-научных процессов и научного прогресса Снида-Штегмюллера
- •1. ; Это означает: X есть структура, составленная
- •5. , Где для всех u p ("u p" означает, что u есть элемент множества p).
- •7. Для всех u p и t t, ,
- •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. Отношение между наукой и мифом
- •119842, Москва, Волхонка, 14
7.2. Подход Миттельштедта
Другая попытка представить пропозициональное исчисление квантовой механики как квантовую логику была сделана П.Миттельштедтом в его книге "Философские проблемы современной физики"[110]. В основу его попытки положены идеи так называемой диалогической логики Лоренцена. Вкратце они могут быть сведены к следующему[111].
Предположим, что мы знаем, как доказать простые высказывания ("луна круглая", "погода хорошая" и т.п.). Пусть некто P утверждает, что если A, то B (A B). Его оппонент О мог бы оспорить это утверждение. Конечно, это произойдет только в том случае, если сам О доказывает A, и затем требует, чтобы P в свою очередь доказал B, поскольку A B сводится к утверждению, что если существует A, то существует и B. Если в этом споре побеждает P, то между ними состоится диалог, который мы представим следующей схемой:
P O
Утвержд.: A B |
Утвержд.: A |
Как вы знаете, что A? |
Доказывает A |
Утвержд.: B |
Как вы знаете, что B? |
Доказывает B |
|
Если О хочет победить, он должен вначале доказать A, предполагая, что P не может доказать B. Проигрыш О означает, что он либо не доказывает A, либо P может доказать A, но тогда О не может доказать B.
Пусть P утверждает: A (B A). О спорит с ним. Как может в этом случае идти диалог? Обратимся к схеме.
P O
1. A(BA) |
A |
2. Как вы знаете, что A? |
Доказывает A |
3. BA |
B |
4. Как вы знаете, что B? |
Доказывает B |
5. A |
Как вы знаете, что A? |
6. Ссылается на 2-й шаг О |
|
P одержал бы победу уже на втором шагу, если бы О не мог доказать A. Но поскольку О смог доказать A, P должен прийти к заключению импликации, имевшей место на 1 шагу. Тогда О должен доказать B или проиграть. Поскольку ему это удается, P снова должен прийти к заключению импликации (B A). Но эта работа уже проделана О и P остается только сослаться на доказательство A, сделанное О на втором шагу.
Значит, P не только выиграл данный спор, но он всегда будет побеждать в таком диалоге независимо от конкретного содержания A и B и совершенно независимо от того, доказаны ли в действительности A и B. Поэтому утверждение A (B A) может считаться общезначимым, поскольку его можно делать в любом диалоге и быть всегда правым в любом подобном споре. Именно по этой причине данное утверждение является логическим: выражаясь в терминологии Лоренцена, оно относится к так называемой эффективнойпропозициональнойлогике, которая построена на принципе общезначимости своих высказываний. Но по той же самой причине закон исключенного третьего (TND) в этой логике не фигурирует.
По мнению Миттельштедта, в свете квантовой механики эффективная пропозициональная логика частично либо ложна, либо не применима. Дело не в критике закона исключенного третьего самого по себе, а в критике логики, которая должна отказаться от этого закона и, таким образом, перестроиться, чтобы стать общезначимой.
Миттельштедт пишет: "Или мы признаем то, что утверждает квантовая теория, (а именно, что, имея два высказывания, мы можем определить, являются ли они соизмеримыми или нет), - в таком случае логика сохраняет свою значимость в полном объеме, однако, некоторые из ее законов не могут применяться, когда речь идет о несоизмеримых свойствах. Или же мы отвергаем утверждения квантовой механики и, следовательно, связываем все измеримые свойства с квантово-механическими системами, то есть вводим фиктивные объекты. В этом случае некоторые законы классической логики оказываются ложными. Те же законы логики, которые при этих условиях остаются истинными, образуют то, что можно назвать квантовой логикой"[112].
Сразу же возникает вопрос: как может часть логики оказаться ложной из-за того, что мы отвергли какую-то часть эмпирического знания, того знания, которое формулирует квантовая механика?
Посмотрим, как сам Миттельштедт развивает свою аргументацию. Он прибегает к рассмотренному выше примеру высказывания, которое общезначимо, поскольку его можно отстоять в любом споре: A (B A). Пусть A и B - взаимодополнительные высказывания квантовой физики. Тогда 2-й и 4-й шаги О означают, что A и B доказаны с помощью измерений. Но если мы рассуждаем в рамках квантовой механики, то, подойдя к 6 шагу, О больше не может ссылаться на 2-й шаг, потому что измерение B аннулирует измерение, с помощью которого доказано A, поскольку мы действительно имеем дело с дополнительными высказываниями. Таким образом, на 6-м шагу A уже нельзя принять. Следовательно, P больше не может ответить на вопрос О "Как вы знаете, что A?" (5-й шаг О); поэтому, как полагает Миттельштедт, P проигрывает этот спор.
Поэтому, если из-за незнания квантовой механики или из-за пренебрежения ею высказывание A (B A) просто принимается как общезначимое и тождественно истинное, что имеет место в эффективной логике, то все сказанное выше можно считать ложным.
Однако дело обстоит иначе, когда квантовая механика не исключается из игры. В таком случае, утверждает Миттельштедт, P может защищать высказывание A (B A) в споре, потому что на 4-м шагу О должен отказаться от своих посылок, то есть его доказательство B аннулировало бы его доказательство A. С этой точки зрения данная импликация была бы универсально доказуемой потому, что она вообще не была бы применимой.
Но это неприемлемо по следующей причине: если высказывание A (B A) имеет тот смысл, который определяется точными логическими средствами, то оно универсально значимо уже в силу этих определений и никак не зависит от каких бы то ни было сведений, заимствованных из квантовой механики. Оно означает только следующее: "Если доказано A, то, если доказано B, то и A доказано". Значит, если A не доказано, высказывание все же остается верным, поскольку оно утверждает нечто лишь в том случае, когда A доказано. Если доказательство A аннулировано доказательством B, то мы приходим к случаю, когда неверно, что доказано A. И здесь высказывание остается верным. Поэтому не имеет значения, применимо ли в данном случае логическое высказывание, поскольку это не отражается на его формальной истинности.