Abstract
It has been argued, most notably by Putnam (1969, 1974) that socalled quantum logic (which we shall often refer to as. orthomodular logic (OML)) is the one true logic,-as has been shown by quantum mechanical experiments. Putnam also has strong universalist tendencies, which would require him to use the same logic in all domains of reasoning, including mathematics, and it has been urged, recently (as one horn of a dilemma) by Hellman (1981), that there might be some problems in working out the classical mathematics of the Hilbertspace foundations of.quantum mechanics in a quantum logic framework.In this paper we show (given one natural framework)(§3) first that if the first-order Peano arithmetic is formulated with quantum logic that it has the same theorems as the classical first-order Peano arithmetic. Distribution (for first-order arithmetical formulas) is a theorem not of quantum logic but rather of arithmetic.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
