- 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
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
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
From intuitionistic logic to dynamic operational quantum logic.Sonja Smets - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
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.
Fuzzy intuitionistic quantum logics.Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini - 1993 - Studia Logica 52 (3):419 - 442.
Quantum logic as a fragment of independence-friendly logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
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.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Analytics
Added to PP
2009-01-28
Downloads
156 (#118,746)
6 months
3 (#1,002,413)
2009-01-28
Downloads
156 (#118,746)
6 months
3 (#1,002,413)
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 J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 527--555.
References found in this work
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.
Description of many separated physical entities without the paradoxes encountered in quantum mechanics.Dirk Aerts - 1982 - Foundations of Physics 12 (12):1131-1170.
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.
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.
Orthomodularity is not elementary.Robert Goldblatt - 1984 - Journal of Symbolic Logic 49 (2):401-404.
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-7c76586df8-l2pxr uwo