互补性与次协调性

Complementarity and Paraconsistency

玻尔互补性原理的准确意义已引起了许多争论。这里我们并不打算对玻尔的观点进行详细的评论,而是对在一种明确的意义上包含互补性被我们称之为C-理论的理论所能理解的东西作尽可能有道理的解释。那些理论的基本逻辑是一种通过对经典逻辑的演绎概念作恰当修改而得到的所谓"次经典"逻辑。粗略地说,C-理论是含有"物理上"不相容定理(尤其是矛盾定理)的非平庸理论。因此,其基本逻辑是一种次协调逻辑。本文被视为我们有关C-理论及其应用的一系列作品的第一篇。

Bohr's Principle of Complementarity is controversial and there has been much dispute over its precise meaning.Here,without trying to provide a detailed exegesis of Bohr's ideas,we take a very plausible interpretation of what may be understood by a theory which encompasses complementarity in a definite sense,which we term C-theories.The underlying logic of such theories is a kind of logic which has been termed'paraclassical',obtained from classical logic by a suitable modification of the notion of deduction.Roughly speaking,C-theories are non-trivial theories which may have 'physically' incompatible theorems(and,in particular,contradictory theorems).So,their underlying logic is a kind of paraconsistent logic.Our paper is to be viewed as the first of a series of works on C-theories and their applications.