Matches in DBpedia 2015-10 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 that takes the principles of quantum theory into account. This research area and its name originated in a 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 that 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 each have uncertainty 1/3, which is less than the allowed minimum of 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. 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 mmql.html.
- Quantum_logic wikiPageID "663426".
- Quantum_logic wikiPageLength "29448".
- Quantum_logic wikiPageOutDegree "92".
- Quantum_logic wikiPageRevisionID "678447725".
- Quantum_logic wikiPageWikiLink Alessio_Guglielmi.
- Quantum_logic wikiPageWikiLink Andrew_Gleason.
- Quantum_logic wikiPageWikiLink Andrew_M._Gleason.
- Quantum_logic wikiPageWikiLink Automorphism.
- Quantum_logic wikiPageWikiLink Belavkin_equation.
- Quantum_logic wikiPageWikiLink Boolean_algebra_(structure).
- Quantum_logic wikiPageWikiLink Borel_algebra.
- Quantum_logic wikiPageWikiLink Borel_set.
- Quantum_logic wikiPageWikiLink C*-algebra.
- Quantum_logic wikiPageWikiLink Category:Mathematical_logic.
- Quantum_logic wikiPageWikiLink Category:Non-classical_logic.
- Quantum_logic wikiPageWikiLink Category:Quantum_mechanics.
- Quantum_logic wikiPageWikiLink Category:Systems_of_formal_logic.
- Quantum_logic wikiPageWikiLink Category_theory.
- Quantum_logic wikiPageWikiLink Classical_logic.
- Quantum_logic wikiPageWikiLink Classical_mechanics.
- Quantum_logic wikiPageWikiLink Closed_set.
- Quantum_logic wikiPageWikiLink Complementarity_(physics).
- Quantum_logic wikiPageWikiLink Complemented_lattice.
- Quantum_logic wikiPageWikiLink Consistent_histories.
- Quantum_logic wikiPageWikiLink Constantin_Piron.
- Quantum_logic wikiPageWikiLink Countably_additive_measure.
- Quantum_logic wikiPageWikiLink David_Finkelstein.
- Quantum_logic wikiPageWikiLink De_Morgans_laws.
- Quantum_logic wikiPageWikiLink Deductive.
- Quantum_logic wikiPageWikiLink Deductive_reasoning.
- Quantum_logic wikiPageWikiLink Deep_inference.
- Quantum_logic wikiPageWikiLink Density_matrix.
- Quantum_logic wikiPageWikiLink Determinism.
- Quantum_logic wikiPageWikiLink Deterministic.
- Quantum_logic wikiPageWikiLink Distributive_law.
- Quantum_logic wikiPageWikiLink Distributive_property.
- Quantum_logic wikiPageWikiLink Dynamics_(mechanics).
- Quantum_logic wikiPageWikiLink Epistemology.
- Quantum_logic wikiPageWikiLink Extreme_point.
- Quantum_logic wikiPageWikiLink Formalism_(mathematics).
- Quantum_logic wikiPageWikiLink Garrett_Birkhoff.
- Quantum_logic wikiPageWikiLink George_Mackey.
- Quantum_logic wikiPageWikiLink Gleason_theorem.
- Quantum_logic wikiPageWikiLink Gleasons_theorem.
- Quantum_logic wikiPageWikiLink Group_representation.
- Quantum_logic wikiPageWikiLink HPO_formalism.
- Quantum_logic wikiPageWikiLink Hamiltonian_mechanics.
- Quantum_logic wikiPageWikiLink Hilary_Putnam.
- Quantum_logic wikiPageWikiLink Hilbert_space.
- Quantum_logic wikiPageWikiLink Is_logic_empirical%3F.
- Quantum_logic wikiPageWikiLink John_von_Neumann.
- Quantum_logic wikiPageWikiLink Lattice_(order).
- Quantum_logic wikiPageWikiLink Linear_logic.
- Quantum_logic wikiPageWikiLink Linear_subspace.
- Quantum_logic wikiPageWikiLink Lutz_Straßburger.
- Quantum_logic wikiPageWikiLink Many-valued_logic.
- Quantum_logic wikiPageWikiLink Mathematical_Foundations_of_Quantum_Mechanics.
- Quantum_logic wikiPageWikiLink Mathematical_formulation_of_quantum_mechanics.
- Quantum_logic wikiPageWikiLink Measure_(mathematics).
- Quantum_logic wikiPageWikiLink Momentum_operator.
- Quantum_logic wikiPageWikiLink Multi-valued_logic.
- Quantum_logic wikiPageWikiLink Noncommutative_logic.
- Quantum_logic wikiPageWikiLink Observable.
- Quantum_logic wikiPageWikiLink Orthocomplemented_lattice.
- Quantum_logic wikiPageWikiLink Planck_constant.
- Quantum_logic wikiPageWikiLink Position_operator.
- Quantum_logic wikiPageWikiLink Prakash_Panangaden.
- Quantum_logic wikiPageWikiLink Probability.
- Quantum_logic wikiPageWikiLink Projection-valued_measure.
- Quantum_logic wikiPageWikiLink Proposition.
- Quantum_logic wikiPageWikiLink Propositional_calculus.
- Quantum_logic wikiPageWikiLink Propositional_logic.
- Quantum_logic wikiPageWikiLink Pure_state.
- Quantum_logic wikiPageWikiLink Quantum_field_theory.
- Quantum_logic wikiPageWikiLink Quantum_mechanics.
- Quantum_logic wikiPageWikiLink Quantum_operation.
- Quantum_logic wikiPageWikiLink Quantum_state.
- Quantum_logic wikiPageWikiLink Quantum_statistical_mechanics.
- Quantum_logic wikiPageWikiLink Quasi-set_theory.
- Quantum_logic wikiPageWikiLink Reason.
- Quantum_logic wikiPageWikiLink Reasoning.
- Quantum_logic wikiPageWikiLink Reduced_Plancks_constant.
- Quantum_logic wikiPageWikiLink Richard_Blute.
- Quantum_logic wikiPageWikiLink Richard_Kadison.
- Quantum_logic wikiPageWikiLink Richard_V._Kadison.
- Quantum_logic wikiPageWikiLink Self-adjoint_operator.
- Quantum_logic wikiPageWikiLink Spectral_measure.
- Quantum_logic wikiPageWikiLink Spectral_theory.
- Quantum_logic wikiPageWikiLink Spectral_theory_of_ordinary_differential_equations.
- Quantum_logic wikiPageWikiLink Structural_proof_theory.
- Quantum_logic wikiPageWikiLink Trace_class.
- Quantum_logic wikiPageWikiLink Truth_value.
- Quantum_logic wikiPageWikiLink Uncertainty_principle.
- Quantum_logic wikiPageWikiLink Vector_logic.
- Quantum_logic wikiPageWikiLink Viacheslav_Belavkin.
- Quantum_logic wikiPageWikiLinkText "Quantum logic".
- Quantum_logic wikiPageWikiLinkText "logic".
- Quantum_logic wikiPageWikiLinkText "quantum logic".