Мы поможем в написании ваших работ!
ЗНАЕТЕ ЛИ ВЫ?
|
Здесь уместно спросить, какова природа трехзначной логики без закона исключенного третьего. Как образуется такая логика.
Содержание книги
- Ограниченность принципа причинности в квантовой механике
- Неограниченный принцип причинности и скрытые параметры
- Философия копенгагенской школы и философия Бома
- Теперь мы видим, что в основании как философии копенгагенской школы, так и философии Бома равным образом лежат ложные посылки.
- Основание естественных законов
- Если некоторые элементы одного множества определенным образом связаны между собой, то соответствующие им элементы другого множества так же связаны.
- Строго эмпирическими могут быть только метатеоретические предложения
- Историческая теория науки Дюгема
- Будем различать пять типов таких установлений.
- Инструментальное установление: поведение твердых тел подчинено законам евклидовой геометрии.
- Пропедевтическое значение истории науки для теории науки
- Второе положение - так называемый закон радиуса.
- Может быть вычислено, если известно t (хотя методы, которыми располагал Кеплер, могли давать только грубое приближение).
- Вот как в действительности обстояли дела с обоснованием двух первых законов Кеплера, обоснованием, которое еще и сегодня часто представляют чем-то таким, что возникло исключительно на базе опыта.
- Здесь приходится снова отметить, что Кеплеру пришлось бы отбросить свою теорию, если бы следовал правилу Лакатоса.
- Где c - степень подтверждения, r - численное значение из интервала (0,1).
- Недостаток чувства исторического у Поппера и Карнапа
- Разногласие Бора с Эйнштейном как противоречие между философскими аксиомами
- Итак, перед нами спор аксиом, а это значит, что его продолжение требует новых аргументов.
- Опять квантовая механика выглядит неполной. И аргументация вновь оказывается неубедительной.
- Если квантовая логика не является средством, с помощью которого можно было бы доказать истинность такого рода теорий, то нельзя ли в этом смысле рассчитывать на знаменитую теорему фон неймана.
- Обсудим все три возможности поочередно.
- Действительно ли хороша предлагаемая исследовательская стратегия?
- Глава 7. Критика попыток связать квантовую механику с Новой логикой
- Однако в эксперименте обнаруживается, что это уравнение ложное. Если - амплитуда вероятности, введенная квантовой механикой, то положение дел было бы правильно описать следующим образом:
- Здесь уместно спросить, какова природа трехзначной логики без закона исключенного третьего. Как образуется такая логика.
- Если О хочет победить, он должен вначале доказать a, предполагая, что p не может доказать B. Проигрыш О означает, что он либо не доказывает a, либо p может доказать a, Но тогда О не может доказать B.
- Для которой стандартное отклонение S представлено в виде
- Глава 8. Основания всеобщей исторической теории эмпирических наук
- Я начну с утверждения, что именно исторической ситуацией определяется, какими должны быть научные факты и фундаментальные принципы, а не наоборот.
- Таким образом, системный ансамбль организуется в соответствии с практически-регулятивной идеей, применимой К конъюнкции аксиоматически построенных теорий.
- Противоречия внутри системных ансамблей как движущая сила развития наук; семь законов исторических процессов
- Каждый исторический период определяется наличествующим в нем системным ансамблем.
- Перед нами, таким образом, встает вопрос: что означает научный прогресс в свете названных выше структурных законов.
- Смысл картезианских правил столкновения тел: божественная механика
- Внутреннее противоречие системы Декарта
- Априорные основания эйнштейновской общей теории относительности
- Четыре возможные космологические модели релятивистской космологии и их априорные решения
- Теперь рассмотрим каждую из космологических моделей релятивистской космологии сквозь призму критики или оправдания, не зависящих от эмпирических исследований.
- Трудности, связанные с опровержением релятивистской космологии
- Об оправдании априорных суждений в релятивистской космологии
- Глава 11. Критика понятия истины в философии Поппера; понятие истины в исторической теории эмпирических наук
- Критика попперовского метафизического реализма; понятие истины в исторической теории науки
- К вопросу об истинности самой исторической теории науки
- Еще несколько критических замечаний по поводу современных направлений в попперианской философии
- Абсолютно конвергентна, т.е. сумма абсолютных значений имеет предел.
- Критические замечания об определении теоретических величин в концепции Снида-Штегмюллера
- Глава 13. Теоретические основы исторических наук
- Всеобщее в исторических науках
- Итак, мы пришли к следующим результатам.
Ответ состоит в следующем: эту логику образует ряд определений, которые можно рассматривать как произвольно вводимые аксиомы; сами по себе они не обладают непосредственной или интуитивно ясной общезначимостью. Они целенаправленно строятся таким образом, чтобы при соответствующей интерпретации некоторые формулы выражали эмпирические факты квантовой механики. Это пропозициональное исчисление, специально приспособленное для квантовой механики. Но какой смысл мы вкладываем в понятие "логики", если такого рода пропозициональное исчисление называть логикой?
Логика характеризуется тем, что она может быть сформулирована аксиоматически. Вводятся аксиомы, а затем по определенным правилам из этих аксиом выводятся теоремы. В основании традиционной логики лежат представления о том, что ее аксиомы выражают общезначимые выводы. Например, в силлогистике - это модус Barbara, в пропозициональной логике - "если A, то A" и т.д. По определению, идущему от Лейбница, общезначимость логических аксиом означает, что они истинны во всех возможных мирах. То же самое имеют в виду, когда говорят, что предметом логики являются тавтологии, то есть высказывания, которые ничего не говорят о том конкретном мире, в котором мы находимся. К этому можно было прибавить определение Лоренцена, который полагал, что логика есть дисциплина, изучающая правила, по которым должно строиться любое исчисление. Это определение, как теперь ясно, также связано с традиционным пониманием логики.
Но дополнительность некоторых высказываний в современной физике выражает определенную характеристику именно физического мира, присущего ему способа бытия, а не свойство, присущее всем возможным мирам. Следовательно, правила пропозиционального исчисления, которые приспособлены для того, чтобы выражать некоторые характеристики данного физического мира, не могут претендовать на то, чтобы считаться правилами любого исчисления или тавтологии. Следовательно, нельзя называть подобную аксиоматически построенную систему пропозиционального исчисления логикой, если вообще в каком-либо смысле требовать от определений, чтобы они были адекватными [108]. Критерий адекватности заключается в том, что элементы произвольности в определениях понятий должны устраняться, когда эти понятия приобретают универсальное значение. Не признавая такого критерия, нельзя говорить и об использовании квантовой механики в качестве основания для построения новой логики, поскольку тогда можно было бы утверждать, что достаточно чьего-либо произвольного желания, чтобы назвать данное пропозициональное исчисление пропозициональной логикой. Но такого рода произвольное утверждение не только не могло бы иметь никакого философского смысла, но и вообще не имело бы отношения к проблеме исследования новых форм знания и мышления как такового.
Далее, даже если оставить в стороне всю эту аргументацию, отказ от закона исключенного третьего (TND), к которому, как могло бы показаться, побуждает рассмотрение эксперимента Юнга, что отражено в трехзначном пропозициональном исчислении, никак нельзя считать причиной для изменения традиционного определения логики. Сегодня мы уже знаем, что логический вывод, основанный на этом законе, не может быть признан истинным для любых исчислений или в любых возможных мирах, а следовательно, этот закон не является фундаментальным законом логики [109].
Подход Миттельштедта
Другая попытка представить пропозициональное исчисление квантовой механики как квантовую логику была сделана П.Миттельштедтом в его книге "Философские проблемы современной физики" [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
|
|
|