Quantum Logic - Revision history

Tom: /* Problems */

2024-12-18T00:54:12Z

‎Problems

Tom: /* Problems */

2024-12-18T00:34:21Z

‎Problems

Tom: /* Relationship to other logics */

2024-12-18T00:31:04Z

‎Relationship to other logics

Tom: /* Context */

2024-12-18T00:29:28Z

‎Context

Tom at 00:28, 18 December 2024

2024-12-18T00:28:13Z

Tom: Created page with "the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated..."

2024-12-18T00:25:54Z

Created page with "the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated..."

New page

the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure.

* Also see the wiki page on [[Quantum Mechanics]]

@@ Line 8: / Line 8: @@
 The orthocomplemented lattice of any set of quantum propositions can be embedded into a Boolean algebra, which is then amenable to classical logic.<ref>Jeffery Bub and William Demopoulos, "The Interpretation of Quantum Mechanics," in ''[https://archive.org/details/logicalepistemol0000unse Logical and Epistemological Studies in Contemporary Physics]'', Boston Studies in the Philosophy of Science 13, ed.&nbsp;Robert&nbsp;S. Cohen and Marx&nbsp;W. Wartofsky; D.&nbsp;Riedel, 1974.  pp.&nbsp;92-122.  DOI:&nbsp;[http://dx.doi.org/10.1007/978-94-010-2656-7 10.1007/978-94-010-2656-7].  {{ISBN|978-94-010-2656-7}}.</ref>
 ==Problems==
 Quantum logic admits no reasonable [[material conditional]]; any [[logical connective|connective]] that is [[monotonicity of entailment|monotone]] in a certain technical sense reduces the class of propositions to a [[Boolean algebra (structure)|Boolean algebra]].<ref>{{cite journal | url=https://link.springer.com/content/pdf/10.1007/BF00733278.pdf | doi=10.1007/BF00733278 | title=Quantum logic revisited | year=1991 | last1= Román| first1=L. | last2=Rumbos | first2=B. | journal=Foundations of Physics | volume=21 | issue=6 | pages=727–734 | bibcode=1991FoPh...21..727R | s2cid=123383431 }}</ref>  Consequently, quantum logic struggles to represent the passage of time.<ref name=linear />  One possible workaround is the theory of [[Belavkin equation|quantum filtrations]] developed in the late 1970s and 1980s by [[Viacheslav Belavkin|Belavkin]].<ref>
 * {{cite journal

@@ Line 8: / Line 8: @@
 The orthocomplemented lattice of any set of quantum propositions can be embedded into a Boolean algebra, which is then amenable to classical logic.<ref>Jeffery Bub and William Demopoulos, "The Interpretation of Quantum Mechanics," in ''[https://archive.org/details/logicalepistemol0000unse Logical and Epistemological Studies in Contemporary Physics]'', Boston Studies in the Philosophy of Science 13, ed.&nbsp;Robert&nbsp;S. Cohen and Marx&nbsp;W. Wartofsky; D.&nbsp;Riedel, 1974.  pp.&nbsp;92-122.  DOI:&nbsp;[http://dx.doi.org/10.1007/978-94-010-2656-7 10.1007/978-94-010-2656-7].  {{ISBN|978-94-010-2656-7}}.</ref>
 ==Problems==
+*"How many times must a phenomenon occure before it graduates from a coincidence to a pattern?<ref>Yannis Ioannidis, ''The 5th Paradign: AI-Driven Scientific Discovery'' '''CACM 67''' No 12  (2024-12) P8</ref>
 Quantum logic admits no reasonable [[material conditional]]; any [[logical connective|connective]] that is [[monotonicity of entailment|monotone]] in a certain technical sense reduces the class of propositions to a [[Boolean algebra (structure)|Boolean algebra]].<ref>{{cite journal | url=https://link.springer.com/content/pdf/10.1007/BF00733278.pdf | doi=10.1007/BF00733278 | title=Quantum logic revisited | year=1991 | last1= Román| first1=L. | last2=Rumbos | first2=B. | journal=Foundations of Physics | volume=21 | issue=6 | pages=727–734 | bibcode=1991FoPh...21..727R | s2cid=123383431 }}</ref>  Consequently, quantum logic struggles to represent the passage of time.<ref name=linear />  One possible workaround is the theory of [[Belavkin equation|quantum filtrations]] developed in the late 1970s and 1980s by [[Viacheslav Belavkin|Belavkin]].<ref>
 * {{cite journal

@@ Line 7: / Line 7: @@
 The orthocomplemented lattice of any set of quantum propositions can be embedded into a Boolean algebra, which is then amenable to classical logic.<ref>Jeffery Bub and William Demopoulos, "The Interpretation of Quantum Mechanics," in ''[https://archive.org/details/logicalepistemol0000unse Logical and Epistemological Studies in Contemporary Physics]'', Boston Studies in the Philosophy of Science 13, ed.&nbsp;Robert&nbsp;S. Cohen and Marx&nbsp;W. Wartofsky; D.&nbsp;Riedel, 1974.  pp.&nbsp;92-122.  DOI:&nbsp;[http://dx.doi.org/10.1007/978-94-010-2656-7 10.1007/978-94-010-2656-7].  {{ISBN|978-94-010-2656-7}}.</ref>
 ==References==
 * Also see the wiki page on [[Quantum Mechanics]]
 [[Category: Physics]]

@@ Line 3: / Line 3: @@
 ==Context==
 ==References==
 * Also see the wiki page on [[Quantum Mechanics]]
 [[Category: Physics]]

← Older revision		Revision as of 00:28, 18 December 2024
Line 1:		Line 1:
−	~~the~~ structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure.	+	==Full Title or Meme==
		+	The structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure.

		+	==Context==
		+
		+	==References==
	* Also see the wiki page on [[Quantum Mechanics]]		* Also see the wiki page on [[Quantum Mechanics]]
		+	[[Category: Physics]]