- •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
1. Электроны - материальные частицы.
2. Каждая частица проходит либо через щель 1, либо через щель 2. Tertium non datur (tnd).
Сторонники так называемой квантовой логики не испытывают каких-либо затруднений, отказываясь от первой предпосылки. Действительно, на основе именно этого эксперимента Юнг пришел к выводу о волновой природе света. Но они (по причинам, в которые мы здесь не станем входить) отказываются от второй предпосылки - принципа классической логики - и полагают, что логика должна быть модифицирована.
Теперь еще раз обратимся к прозрачной и легко интерпретируемой "трехзначной" логике Райхенбаха[107]. "Трехзначной" он назвал ее потому, что в ней фигурирует третье значение - "неопределенно" - в дополнение к двум обычным значениям, которые приписываются высказываниям: "истинно" и "ложно". Райхенбах вводит следующую таблицу значений:
Таблица 1.
1 |
2 |
3 |
|
A |
|
~A |
И - "истинно" |
È |
Í |
Í |
Н - "неопределено" |
Í |
È |
Ë |
Л - "ложно" |
Ë |
È |
È |
|
В первом столбце перечислены все три значения A. Во втором столбце определено отрицание A, обозначаемое ; это отрицание не является, как в двузначной логике, строго контрадикторным по отношению к A. Отрицание, определенное таким образом, - произвольно выбранное определение, которое, как мы покажем, предназначено для выполнения замысла Райхенбаха - построить логическое исчисление, специально подобранное для квантовой механики. То же самое можно сказать о третьем столбце. Райхенбах называет отрицание, определенное в столбце 2, "полным отрицанием" ( ), а отрицание в столбце 3 - "циклическим" отрицанием (~A).
При помощи этой таблицы затем определяются пропозициональные операторы, соответствующие "дизъюнкции" и "импликации" - аналогам одноименных операторов, которые фигурируют в обычных учебниках пропозициональной логики. Их можно свести в таблицу:
Таблица 2.
|
А |
В |
Дизъюнкция А В |
Альтернативная импликация А В |
1 |
И |
И |
И |
И |
2 |
И |
Н |
И |
Л |
3 |
И |
Л |
И |
Л |
4 |
Н |
И |
И |
И |
5 |
Н |
Н |
Н |
И |
6 |
Н |
Л |
Л |
И |
7 |
Л |
И |
И |
И |
8 |
Л |
Н |
Н |
И |
9 |
Л |
Л |
Л |
И |
Очевидно, что в строках 1,3,7 и 9 дизъюнкция совпадает с обычным определением. То же можно сказать об альтернативной импликации в тех же строках. В этих случаях A и B имеют только истинные и ложные значения.
Если теперь добавить к этой таблице определение эквиваленции: "Два высказывания эквивалентны, если оба истинны, оба ложны или оба неопределенны", то получим следующие эквиваленции в качестве тавтологий, то есть формул тождественно истинных в данной системе:
(3) .
(4) ,
(5) .
(Если A - истинно в (3), то ~~~A также истинно, по таблице 1; если A - ложно, то ~~~A - также ложно; если A - неопределенно, то ~~~A также неопределенно. Следовательно, эта эквиваленция истинна в любом случае, то есть тождественно истинна. То же можно сказать о (4) и (5), применяя таблицу 2.
Рассмотрим высказывание
(6)
Из (6) с помощью (3), (4) и (5) получим (7) Bv~B~~A. Из (7) следует (6), таким образом, (6) и (7) следуют друг из друга:
(8) .
Применяя табличные определения, можно выразить (6) следующим образом: если A истинно или ложно, то B неопределенно. Высказывание (7) читается: если B истинно или ложно, то A неопределенно.
Такое отношение между A и B полностью соответствует принципу дополнительности в квантовой механике. Например, "Если измерены координаты частицы, и результаты выражены в высказывании A, то A - истинно или ложно. Тогда высказывание B о том, что частица имеет такой-то импульс, принципиально неопределенно, следовательно, имеет значение "неопределенно", следовательно, (6) читается как: A дополнительно B; тогда (8) читается: если А дополнительно B, то B дополнительно A". Дополнительность симметрична, и эта симметрия (координат и импульса) есть эмпирический закон квантовой механики.
Здесь уместно спросить, какова природа трехзначной логики без закона исключенного третьего? Как образуется такая логика?
Ответ состоит в следующем: эту логику образует ряд определений, которые можно рассматривать как произвольно вводимые аксиомы; сами по себе они не обладают непосредственной или интуитивно ясной общезначимостью. Они целенаправленно строятся таким образом, чтобы при соответствующей интерпретации некоторые формулы выражали эмпирические факты квантовой механики. Это пропозициональное исчисление, специально приспособленное для квантовой механики. Но какой смысл мы вкладываем в понятие "логики", если такого рода пропозициональное исчисление называть логикой?
Логика характеризуется тем, что она может быть сформулирована аксиоматически. Вводятся аксиомы, а затем по определенным правилам из этих аксиом выводятся теоремы. В основании традиционной логики лежат представления о том, что ее аксиомы выражают общезначимые выводы. Например, в силлогистике - это модус Barbara, в пропозициональной логике - "если A, то A" и т.д. По определению, идущему от Лейбница, общезначимость логических аксиом означает, что они истинны во всех возможных мирах. То же самое имеют в виду, когда говорят, что предметом логики являются тавтологии, то есть высказывания, которые ничего не говорят о том конкретном мире, в котором мы находимся. К этому можно было прибавить определение Лоренцена, который полагал, что логика есть дисциплина, изучающая правила, по которым должно строиться любое исчисление. Это определение, как теперь ясно, также связано с традиционным пониманием логики.
Но дополнительность некоторых высказываний в современной физике выражает определенную характеристику именно физического мира, присущего ему способа бытия, а не свойство, присущее всем возможным мирам. Следовательно, правила пропозиционального исчисления, которые приспособлены для того, чтобы выражать некоторые характеристики данного физического мира, не могут претендовать на то, чтобы считаться правилами любого исчисления или тавтологии. Следовательно, нельзя называть подобную аксиоматически построенную систему пропозиционального исчисления логикой, если вообще в каком-либо смысле требовать от определений, чтобы они были адекватными[108]. Критерий адекватности заключается в том, что элементы произвольности в определениях понятий должны устраняться, когда эти понятия приобретают универсальное значение. Не признавая такого критерия, нельзя говорить и об использовании квантовой механики в качестве основания для построения новой логики, поскольку тогда можно было бы утверждать, что достаточно чьего-либо произвольного желания, чтобы назвать данное пропозициональное исчисление пропозициональной логикой. Но такого рода произвольное утверждение не только не могло бы иметь никакого философского смысла, но и вообще не имело бы отношения к проблеме исследования новых форм знания и мышления как такового.
Далее, даже если оставить в стороне всю эту аргументацию, отказ от закона исключенного третьего (TND), к которому, как могло бы показаться, побуждает рассмотрение эксперимента Юнга, что отражено в трехзначном пропозициональном исчислении, никак нельзя считать причиной для изменения традиционного определения логики. Сегодня мы уже знаем, что логический вывод, основанный на этом законе, не может быть признан истинным для любых исчислений или в любых возможных мирах, а следовательно, этот закон не является фундаментальным законом логики[109].