Рассмотрим высказывание

(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].

Дата добавления: 2015-09-04