Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 4
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Anglberger, Albert J. J. and Lukic, Jonathan 2015. Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ *. Studia Logica, Vol. 103, Issue. 5, p. 985.

    Humberstone, Lloyd 2014. Prior’s OIC nonconservativity example revisited. Journal of Applied Non-Classical Logics, Vol. 24, Issue. 3, p. 209.

    Weingartner, Paul 2010. An Alternative Propositional Calculus for Application to Empirical Sciences. Studia Logica, Vol. 95, Issue. 1-2, p. 233.

    Weingartner, Paul 2010. Basis Logic for Application in Physics and Its Intuitionistic Alternative. Foundations of Physics, Vol. 40, Issue. 9-10, p. 1578.



  • DOI:
  • Published online: 01 March 2009

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 in RMQ, whereas the former are only materially valid. RMQ is a decidable matrix calculus which possesses a semantics and has the finite model property. It is shown in the paper how RMQ by its strictly valid derivations can avoid the difficulties with commensurability, distributivity, and Bell's inequalities when it is applied to quantum physics.

Corresponding author
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

D. Aerts , & S Aerts . (2005). Towards a general operational and realistic framework for quantum mechanics and relativity theory. In A. Elitzur , S. Dolev , and N. Kolenda , editors. Quo Vadis Quantum Mechanics? Heidelberg, Germany: Springer, pp. 153207.

E. G. Beltrametti , & M. J Maczynski . (1991). On the characterization of classical and non-classical probabilities. Journal of Mathematical Physics, 32, 12801286.

G. Birkhoff , & J von Neumann . (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823843.

G. Cattaneo , M. L. Dalla Chiara , & R Giuntini . (2004). An unsharp quantum logic from quantum computation. In P. Weingartner , editor. Alternative Logics. Do Sciences Need Them? Heidelberg, Germany: Springer. pp. 323338.

N Da Costa . (1974). On a theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497510.

M. L Dalla Chiara . (1977). Quantum logic and physical modalities. Journal of Philosohical Logic, 6, 391404.

M. L. Dalla Chiara , R. Guintini , & R Greechie . (2004). Reasoning in Quantum Theory, Sharp and Unsharp Quantum Logics. Dordrecht, The Netherlands: Kluwer.

R. I Goldblatt . (1974). Semantic analysis of orthologic. Journal of Philosophical Logic, 3, 1935.

P Mittelstaedt . (1978). Quantum Logic. Dordrecht, The Netherlands: Reidel.

P Mittelstaedt . (2004). Does quantum physics require a new logic? In P. Weingartner , editor. Alternative Logics. Do Sciences Need Them? Heidelberg, Germany: Springer. pp. 269284.

M. P Solèr . (1995). Characterisation of Hilbert spaces by orthomudular lattices. Communications in Algebra, 23(1), 219243.

E. W Stachow . (1976). Completeness of quantum logic. Journal of Philosophical Logic, 5, 237280.

E. W Stachow . (1978). Quantum logical calculi and lattice structures. Journal of Philosophical Logic, 7, 347386.

E. W Stachow . (2004). Experimental approach to quantum-logical connectives. In P. Weingartner , editor. Alternative Logics. Do Sciences Need Them? Heidelberg, Germany: Springer. pp. 285298.

P Weingartner . (1968). Modal logics with two kinds of necessity and possibility. Notre Dame Journal of Formal Logic, 9(2), 97159.

P Weingartner . (1985). A simple relevance-criterion for natural language and its semantics. In G. Dorn , and P. Weingartner , editors. Foundations of Logic and Linguistics: Problems and their Solutions. New York: Plenum Press. pp. 563575.

P Weingartner . (2000a). Basic Questions on Truth (Series Episteme 24). Dordrecht, The Netherlands: Kluwer.

P. Weingartner , editor (2004a). Alternative Logics. Do Sciences Need Them? Heidelberg, Germany: Springer.

P Weingartner . (2004b). Reasons from science for limiting classical logic. In P. Weingartner , editor. Alternative Logics. Do Sciences Need Them? Heidelberg, Germany: Springer. pp. 233248.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *