Abstract

A new non-Aristotelian finitary logic (NAFL) is proposed in which it is postulated that the truth or falseness of an undecidable proposition in a theory T is meaningful only when asserted axiomatically; there is no truth other than axiomatic truth. It is shown that under this hypothesis, the law of the excluded middle and the law of non-contradiction for such undecidable propositions must fail to be theorems of T. The phenomenon of quantum superposition is thus explained in NAFL. It is also shown that infinite sets cannot exist in any consistent theory of NAFL, which makes it a very restrictive logic. Implications for some modern mathematical and physical theories are analyzed from the point of view of NAFL.