Graduate studies at Western
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531 (1980)
|Abstract||This paper explores the development of mathematics on a quantum logical base when mathematical postulates are taken as necessary truths. First it is shown that first-order Peano arithmetic formulated with quantum logic has the same theorems as classical first-order Peano arithmetic. Distribution for first-order arithmetical formulas is a theorem not of quantum logic but rather of arithmetic. Second, it is shown that distribution fails for second-order Peano arithmetic without extensionality. Third, it is shown that distribution holds for second-order Peano arithmetic (second-order quantum logic) with extensionality. Some remarks about extensions to quantum set theory are made.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Shmuel Lifsches & Saharon Shelah (1997). Peano Arithmetic May Not Be Interpretable in the Monadic Theory of Linear Orders. Journal of Symbolic Logic 62 (3):848-872.
Richard Kaye (1991). Model-Theoretic Properties Characterizing Peano Arithmetic. Journal of Symbolic Logic 56 (3):949-963.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Sergei Artëmov & Franco Montagna (1994). On First-Order Theories with Provability Operator. Journal of Symbolic Logic 59 (4):1139-1153.
H. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
J. L. Bell (1986). A New Approach to Quantum Logic. British Journal for the Philosophy of Science 37 (1):83-99.
Charles Sayward (2005). Why Axiomatize Arithmetic? Sorites 16:54-61.
Satoko Titani, Heiji Kodera & Hiroshi Aoyama (2013). Systems of Quantum Logic. Studia Logica 101 (1):193-217.
J. F. Pabion (1982). Saturated Models of Peano Arithmetic. Journal of Symbolic Logic 47 (3):625-637.
J. Michael Dunn (1979). Relevant Robinson's Arithmetic. Studia Logica 38 (4):407 - 418.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Richard Pettigrew (2009). On Interpretations of Bounded Arithmetic and Bounded Set Theory. Notre Dame Journal of Formal Logic 50 (2):141-152.
Added to index2011-05-29
Total downloads29 ( #48,152 of 739,354 )
Recent downloads (6 months)23 ( #5,515 of 739,354 )
How can I increase my downloads?