skip to content
Quantum Logic Preview this item
ClosePreview this item
Checking...

Quantum Logic

Author: Peter Mittelstaedt
Publisher: Dordrecht : Springer Netherlands, 1978.
Series: Synthese library, 126.
Edition/Format:   eBook : Document : English
Summary:
In 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper ties of which are given by an orthocomplemented and quasimodular lattice Lq.  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Peter Mittelstaedt
ISBN: 9789400998711 9400998716
OCLC Number: 851392419
Description: 1 online resource (157 pages).
Contents: 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.
Series Title: Synthese library, 126.
Responsibility: by Peter Mittelstaedt.

Abstract:

In 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper ties of which are given by an orthocomplemented and quasimodular lattice Lq. Furthermore, this lattice of quantum mechanical proposi tions has, from a formal point of view, many similarities with a Boolean lattice L8 which is known to be the lattice of classical propositional logic. Therefore, one could conjecture that due to the algebraic structure of quantum mechanical observables a logical calculus Q of quantum mechanical propositions is established, which is slightly different from the calculus L of classical propositional logic but which is applicable to all quantum mechanical propositions (C.F. v. Weizsacker, 1955). This calculus has sometimes been called 'quan tum logic'. However, the statement that propositions about quantum physical systems are governed by the laws of quantum logic, which differ from ordinary classical logic and which are based on the empirically well-established quantum theory, is exposed to two serious objec tions: (a) Logic is a theory which deals with those relationships between various propositions that are valid independent of the content of the respective propositions. Thus, the validity of logical relationships is not restricted to a special type of proposition, e. g. to propositions about classical physical systems.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/851392419> # Quantum Logic
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "851392419" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5091938843#Place/dordrecht> ; # Dordrecht
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://id.loc.gov/authorities/classification/B67> ;
    schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5091938843#Topic/quantenlogik> ; # Quantenlogik
    schema:about <http://id.worldcat.org/fast/1108336> ; # Science--Philosophy
    schema:about <http://dewey.info/class/501/e23/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85118582> ; # Science--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/5091938843#Topic/philosophy_general> ; # Philosophy (General)
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/91831462> ; # Peter Mittelstaedt
    schema:datePublished "1978" ;
    schema:description "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."@en ;
    schema:description "In 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper ties of which are given by an orthocomplemented and quasimodular lattice Lq. Furthermore, this lattice of quantum mechanical proposi tions has, from a formal point of view, many similarities with a Boolean lattice L8 which is known to be the lattice of classical propositional logic. Therefore, one could conjecture that due to the algebraic structure of quantum mechanical observables a logical calculus Q of quantum mechanical propositions is established, which is slightly different from the calculus L of classical propositional logic but which is applicable to all quantum mechanical propositions (C.F. v. Weizsacker, 1955). This calculus has sometimes been called 'quan tum logic'. However, the statement that propositions about quantum physical systems are governed by the laws of quantum logic, which differ from ordinary classical logic and which are based on the empirically well-established quantum theory, is exposed to two serious objec tions: (a) Logic is a theory which deals with those relationships between various propositions that are valid independent of the content of the respective propositions. Thus, the validity of logical relationships is not restricted to a special type of proposition, e. g. to propositions about classical physical systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5091938843> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5091938843#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> ; # Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5091938843#Series/synthese_library> ; # Synthese library ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5091938843#CreativeWork/> ;
    schema:name "Quantum Logic"@en ;
    schema:productID "851392419" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851392419#PublicationEvent/dordrecht_springer_netherlands_1978> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5091938843#Agent/springer_netherlands> ; # Springer Netherlands
    schema:url <http://dx.doi.org/10.1007/978-94-009-9871-1> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3104397> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-94-009-9871-1> ;
    schema:workExample <http://worldcat.org/isbn/9789400998711> ;
    schema:workExample <http://dx.doi.org/10.1007/978-94-009-9871-1> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851392419> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5091938843#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
    schema:name "Springer Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/5091938843#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> # Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851392419> ; # Quantum Logic
    schema:name "Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5091938843#Topic/philosophy_general> # Philosophy (General)
    a schema:Intangible ;
    schema:name "Philosophy (General)"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85118582> # Science--Philosophy
    a schema:Intangible ;
    schema:name "Science--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
    schema:name "Logic"@en ;
    .

<http://id.worldcat.org/fast/1108336> # Science--Philosophy
    a schema:Intangible ;
    schema:name "Science--Philosophy"@en ;
    .

<http://viaf.org/viaf/91831462> # Peter Mittelstaedt
    a schema:Person ;
    schema:familyName "Mittelstaedt" ;
    schema:givenName "Peter" ;
    schema:name "Peter Mittelstaedt" ;
    .

<http://worldcat.org/isbn/9789400998711>
    a schema:ProductModel ;
    schema:isbn "9400998716" ;
    schema:isbn "9789400998711" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.