MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS

Abstract

The paper offers a matrix-based logic (relevant matrix quantum physics) for propositions which seems suitable as an underlying logic for empirical sciences and especially for quantum physics. This logic is motivated by two criteria which serve to clean derivations of classical logic from superfluous redundancies and uninformative complexities. It distinguishes those valid derivations (inferences) of classical logic which contain superfluous redundancies and complexities and are in this sense “irrelevant” from those which are “relevant” or “nonredundant” in the sense of allowing only the most informative consequences in the derivations. The latter derivations are strictly valid inRMQ, whereas the former are only materially valid.RMQis a decidable matrix calculus which possesses a semantics and has the finite model property. It is shown in the paper howRMQby its strictly valid derivations can avoid the difficulties with commensurability, distributivity, and Bell's inequalities when it is applied to quantum physics.