Quantum Logic - Mittelstaedt, Peter

. .

Biographie:
Prof. Dr. Peter Mittelstaedt is emeritus professor at the University of Cologne. His main research fields are Foundations of Quantum Theory, Relativity Theory, Philosophy of Science and Logic. He has published various books with Springer: Laws of Nature (2005, together with P.A. Weingartner), The Quantum Theory of Measurement (1996, together with P. Busch and P.J. Lahti) and Quantum Logic (1978). Dr. Kristina Engelhard edited this 2nd enlarged edition of the book by Prof. P. Mittelstaedt. She obtained her PhD in Philosophy at the University of Cologne with a thesis entitled The Simple and Matter. Inquiries into Kant's Antinomy of Division and she is currently Research and Teaching Assistant at the Philosophy Department of the University of Cologne (Germany)....

Sommaire:
1 / The Hilbert Space Formulation of Quantum Physics.- 1.1 The Hilbert Space.- 1.2 The Lattice of Subspaces of Hilbert Space.- 1.3 Projection Operators.- 1.4 States and Properties of a Physical System.- 2 / The Logical Interpretation of the Lattice Lq.- 2.1 The Quasimodular Lattice Lq.- 2.2 The Relation of Commensurability.- 2.3 The Material Quasi-implication.- 2.4 The Relation between Lattice Theory and Logic.- 3 / The Material Propositions of Quantum Physics.- 3.1 Elements of a Language of Quantum Physics.- 3.2 Argument-rules for Compound Propositions.- 3.3 Commensurability and Incommensurability.- 3.4 The Material Dialog-game.- 4 / The Calculus of Effective Quantum Logic.- 4.1 Formally True Propositions.- 4.2 Formal Dialogs with Material Commensurabilities.- 4.3 The Formal Dialog-game.- 4.4 The Calculus Qeff of Effective Quantum Logic.- 5 / The Lattice of Effective Quantum Logic.- 5.1 The Quasi-implicative Lattice Lqi.- 5.2 Properties of the Lattice Lqi.- 5.3 The Relation between Lqi and the Lattice Li.- 5.4 The Relation between Lqi and the Lattice Lq.- 6 / The Calculus of Full Quantum Logic.- 6.1 Value-definite Material Propositions.- 6.2 The Value-definiteness of Compound Propositions.- 6.3 The Extension of the Calculus Qeff.- 6.4 The Principle of Excluded Middle.- Concluding Remarks: Classical Logic and Quantum Logic.