Abstract
Besides the physicomathematical controversy concerning the ‘phenomenological justification’ and the specific formal structure of the calculus known as quantum logic (QL), there is a philosophical controversy concerning whether this ‘calculus of experimental propositions’ is properly speaking a logic rather than simply an algebraic structure only analogous to logic properly so called. Directly associated with this controversy is the issue of whether logic is an empirical science on the par with, e.g., physical geometry. This article is not concerned, however, with the general question of the empirical character of logic, either classical or quantal; it is rather concerned only with one seemingly decisive objection against regarding QL as logic, namely, the objection advanced by Jauch and Piron (1970, p. 176), who argue that since QL lacks an essential feature of logic — viz., a deduction scheme — it is `very questionable whether we may properly call the lattice of general quantum mechanics a logic.’ Their argument is based on what they regard to be the general failure of the lattice of QL propositions to admit a material implication connective or conditional operation by means of which the modus ponens deduction scheme can be incorporated into QL. The view of Jauch and Piron is also supported by Greechie and Gudder (1971, 1973), who examine a number of results which suggest that no reasonable material conditional exists in QL.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Finch, P. D., `Quantum Logic as an Implication Algebra’, Bulletin of the Australian Mathematical Society 2 (1970), 101–106.
Greechie, R. J. and Gudder, S. P., `Is a Quantum Logic a Logic?’, Helvetica Physica Acta 44 (1971), 238–240.
Greechie, R. J. and Gudder, S. P., `Quantum Logics’, in C. A. Hooker (ed.), Contemporary Research in the Foundations and Philosophy of Quantum Theory, D. Reidel, Dordrecht, 1973.
Herman, L., Marsden, E., and Piziak, R., `Implication Connectives in Orthomodular Lattices’, Notre Dame Journal of Formal Logic (1974), in press.
Holland, S. P., `The Current Interest in Orthomodular Lattices’, in J. C. Abbott (ed.), Trends in Lattice Theory, Van Nostrand Reinhold, New York, 1970.
Jauch, J. M. and Piron, C., `What is “Quantum Logic” ?’, in P. Freund, C. Goebel, and Y. Nabir (eds.), Quanta, University of Chicago Press, Chicago, 1970.
Kotas, J., `An Axiom System for the Modular Logic’, Studia Logica 21 (1967), 17–38.
Kunsemuller, H., `Zur Axiomatik der Quantenlogic’, Philosophia Naturalis 8 (1964), 363–376.
Mittelstaedt, P., ‘Quantenlogische Interpretation Orthokomplementarer Quasimodularer Verbande’, Zeitschrift fur Naturforschung 25-A (1970), 1773–1778.
Piziak, R., ‘Orthomodular Lattices as Implication Algebras’, unpublished manuscript, 1974, Center College of Kentucky, Danville, Kentucky 40422.
Stalnaker, R., ‘Probability and Conditionality’, Philosophy of Science 37 (1970), 64–80
Stalnaker, R. and Thomason, R., `A Semantic Analysis of Conditional Logic’, Theoria 36 (1970), 23–42.
van Fraassen, B., `Meaning Relations Among Predicates’, Nous 1 (1967), 161–179.
van Fraassen, B., `On the Extension of Beth’s Semantics of Physical Theories’, Philosophy of Science 37 (1970), 325–339.
van Fraassen, B., `Semantic Analysis of Quantum Logic’, in C. A. Hooker (ed.), Contemporary Research in the Foundations and Philosophy of Quantum Theory, D. Reidel, Dordrecht, 1973.
van Fraassen, B., `The Labyrinth of Quantum Logics’, in R. Cohen and M. Wartofsky (eds.), Boston Studies in the Philosophy of Science, Vol. 13, D. Reidel, Dordrecht, 1974.
van Fraassen, B., `Probabilities of Conditionals’, in W. L. Harper and C. A. Hooker (eds.), Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science, vol. I in Western Ontario Series in Philosophy of Science, vol. 6,p. 261, D. Reidel, Dordrecht, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hardegree, G.M. (1976). The Conditional in Quantum Logic. In: Suppes, P. (eds) Logic and Probability in Quantum Mechanics. Synthese Library, vol 78. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-9466-5_4
Download citation
DOI: https://doi.org/10.1007/978-94-010-9466-5_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-1200-4
Online ISBN: 978-94-010-9466-5
eBook Packages: Springer Book Archive