- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Quantum logic in intuitionistic perspective
Studia Logica 70 (3):411-440 (2002)
Abstract
In their seminal paper Birkhoff and von Neumann revealed the following dilemma:[ ] whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic.Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Unification of Two Approaches to Quantum Logic: Every Birkhoff – von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.Jarosław Pykacz - 2010 - Studia Logica 95 (1-2):5-20.
Von Neumann’s Concept of Quantum Logic and Quantum Probability.Miklós Rédei - 2001 - Vienna Circle Institute Yearbook 8:153-172.
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.
Algebra and Probability in Many-Valued Reasoning.Ioana Leuştean & Vincenzo Marra - 2010 - Studia Logica 94 (2):147-150.
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic.Zhiguang Zhao - 2023 - Studia Logica 111 (6):1057-1082.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
An Intuitionistic Completeness Theorem for Classical Predicate Logic.Victor N. Krivtsov - 2010 - Studia Logica 96 (1):109-115.
Analytics
Added to PP
2009-01-28
Downloads
165 (#142,023)
6 months
2 (#1,687,048)
2009-01-28
Downloads
165 (#142,023)
6 months
2 (#1,687,048)
Historical graph of downloads
Author's Profile
Citations of this work
Bohrification of operator algebras and quantum logic.Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2012 - Synthese 186 (3):719 - 752.
Intuitionistic Quantum Logic of an n-level System.Martijn Caspers, Chris Heunen, Nicolaas P. Landsman & Bas Spitters - 2009 - Foundations of Physics 39 (7):731-759.
Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples.Bob Coecke, David J. Moore & Sonja Smets - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 527--555.
Quantum Interpretation of Semantic Paradox: Contextuality and Superposition.Heng Zhou, Yongjun Wang, Baoshan Wang & Jian Yan - forthcoming - Studia Logica:1-43.
References found in this work
On State Spaces and Property Lattices.D. J. Moore - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (1):61-83.
Description of many separated physical entities without the paradoxes encountered in quantum mechanics.Dirk Aerts - 1982 - Foundations of Physics 12 (12):1131-1170.
Orthomodularity is not elementary.Robert Goldblatt - 1984 - Journal of Symbolic Logic 49 (2):401-404.
Louis Osgood Kattsoff. Modality and probability. The philosophical review, vol. 46 (1937), pp. 78–85.Garrett Birkhoff & John von Neumann - 1937 - Journal of Symbolic Logic 2 (1):44-44.
On State Spaces and Property Lattices.D. Moore - 1998 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (1):61-83.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-xlp8h uwo