Logical Investigations
Логика квантовой механики, базирующаяся на классической.
П. Вайнгартнер
Abstract
Андре Мерсьер внес серьезный вклад в квантовую механику $(QM)$ [10], и хотя он не писал непосредственно о квантовой логике $(QL)$, многие его работы посвящены проблемам, которые так или иначе связаны с вопросами, в каком-то смысле ответственными за развитие $QL$. Ему принадлежит книга "Logik und Erfahrung in der exakten Naturwissenshaft" [9], где он подчеркивает, что аксиоматизация эмпирической науки, например физики (некоторой ее части), никогда не может быть такой же исчерпывающей, как аксиоматическая система в математике. В частности потому, что какая-либо унификация уравнений в различных областях физики представляется едва ли возможной. Мерсьер весьма критичен и осторожен в отношении предположений о единой теории в физике [11]. Я полагаю, что он был бы также осторожен и сдержан в отношении любого предложения, обещающего особую логику для $QM$. Но из его работ мне известно, что эта его сдержанность не является безосновательной. У него имеется много хороших аргументов против генерализаций и основоположений, которые или неадекватны, или уводят куда-то в сторону, или имеют другие недостатки. Его критические исследования вытекают из громадного опыта и зрелой рефлексии, и потому я мог надеяться встретить интересные критические соображения, относящиеся к тому, что я предлагаю в этой моей работе, посвященной его юбилею. Цель данной статьи предложить простые ограничения, которые, будучи наложенными на классическую логику $(CL)$, позволяют блокировать те классически валидные выводы и преобразования, которые приводят к осложнениям, когда логика применяется к квантовым феноменам. Я не уверен, должен ли я говорить о некоторой новой QL, так как мое предложение должно оставлять $CL$ в общем неизменной, но налагать на нее ограничения (род фильтра) в случае применения к определенным квантовым феноменам. Позже будет объяснено, что эти ограничения применимы не только в этой специфической области, но могут быть (и уже были) использованы для решения ряда проблем в областях научного объяснения, предсказания, утверждений о законах, диспозиционных предикатов, правдоподобия (аппроксимации к истине) и даже в таких очень отличных областях, как деонтическая логика и теория оценок. Эта более широкая применимость объясняет также, почему предложенные ограничения являются более сильными, чем они могли бы быть, если бы были предназначены только для того, чтобы избежать тех известных трудностей, которые связаны с применением $CL$ в $QM$; то есть эти ограничения достаточны, но не необходимы. Это показывает также, что ограничения, налагаемые на $CL$, не берутся просто ad hoc (для решения лишь частной проблемы), но опираются на хорошо мотивированную идею с широкой областью применимости. В первой части я кратко коснусь проблем, возникающих, когда $CL$ применяется к квантовым феноменам. Во второй части я опишу и объясню предложенные ограничения (фильтры), давая определения и примеры применения.