Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Quantum_logic> ?p ?o. }

• Quantum_logic abstract "In quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett Birkhoff and John von Neumann, who were attempting to reconcile the apparent inconsistency of classical logic with the facts concerning the measurement of complementary variables in quantum mechanics, such as position and momentum.Quantum logic can be formulated either as a modified version of propositional logic or as a noncommutative and non-associative many-valued (MV) logic.Quantum logic has some properties which clearly distinguish it from classical logic, most notably, the failure of the distributive law of propositional logic: p and (q or r) = (p and q) or (p and r),where the symbols p, q and r are propositional variables. To illustrate why the distributive law fails, consider a particle moving on a line and let p = "the particle has momentum in the interval [0, +1/6]" q = "the particle is in the interval [−1, 1]" r = "the particle is in the interval [1, 3]"(using some system of units where the reduced Planck's constant is 1) then we might observe that: p and (q or r) = true in other words, that the particle's momentum is between 0 and +1/6, and its position is between −1 and +3.On the other hand, the propositions "p and q" and "p and r" are both false, since they assert tighter restrictions on simultaneous values of position and momentum than is allowed by the uncertainty principle (they have combined uncertainty 1/3 < 1/2). So, (p and q) or (p and r) = falseThus the distributive law fails.Quantum logic has been proposed as the correct logic for propositional inference generally, most notably by the philosopher Hilary Putnam, at least at one point in his career. This thesis was an important ingredient in Putnam's paper Is Logic Empirical? in which he analysed the epistemological status of the rules of propositional logic. Putnam attributes the idea that anomalies associated to quantum measurements originate with anomalies in the logic of physics itself to the physicist David Finkelstein. However, this idea had been around for some time and had been revived several years earlier by George Mackey's work on group representations and symmetry.The more common view regarding quantum logic, however, is that it provides a formalism for relating observables, system preparation filters and states.[citation needed] In this view, the quantum logic approach resembles more closely the C*-algebraic approach to quantum mechanics. The similarities of the quantum logic formalism to a system of deductive logic may then be regarded more as a curiosity than as a fact of fundamental philosophical importance. A more modern approach to the structure of quantum logic is to assume that it is a diagram – in the sense of category theory – of classical logics (see David Edwards).".
• Quantum_logic wikiPageExternalLink qt-quantlog.
• Quantum_logic wikiPageExternalLink mmql.html.
• Quantum_logic wikiPageID "663426".
• Quantum_logic wikiPageRevisionID "596995671".
• Quantum_logic hasPhotoCollection Quantum_logic.
• Quantum_logic subject Category:Mathematical_logic.
• Quantum_logic subject Category:Non-classical_logic.
• Quantum_logic subject Category:Quantum_mechanics.
• Quantum_logic type Abstraction100002137.
• Quantum_logic type Act100030358.
• Quantum_logic type Activity100407535.
• Quantum_logic type Algorithm105847438.
• Quantum_logic type Event100029378.
• Quantum_logic type Procedure101023820.
• Quantum_logic type PsychologicalFeature100023100.
• Quantum_logic type QuantumAlgorithms.
• Quantum_logic type Rule105846932.
• Quantum_logic type YagoPermanentlyLocatedEntity.
• Quantum_logic comment "In quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account.".
• Quantum_logic label "Logique quantique".
• Quantum_logic label "Lógica cuántica".
• Quantum_logic label "Lógica quântica".
• Quantum_logic label "Quantenlogik".
• Quantum_logic label "Quantum logic".
• Quantum_logic label "Квантовая логика".
• Quantum_logic label "量子論理".
• Quantum_logic sameAs Quantenlogik.
• Quantum_logic sameAs Lógica_cuántica.
• Quantum_logic sameAs Logique_quantique.
• Quantum_logic sameAs 量子論理.
• Quantum_logic sameAs 양자_논리.
• Quantum_logic sameAs Lógica_quântica.
• Quantum_logic sameAs m.030vrg.
• Quantum_logic sameAs Q1206311.
• Quantum_logic sameAs Q1206311.
• Quantum_logic sameAs Quantum_logic.
• Quantum_logic wasDerivedFrom Quantum_logic?oldid=596995671.
• Quantum_logic isPrimaryTopicOf Quantum_logic.