Classical Limit and Quantum Logic

S. FORTIN; F. HOLIK

Atlanta

Congreso; The 25th Biennial Meeting of the Philosophy of Science Association (PSA2016); 2016

Philosophy of Science Association

The more common scheme to explain the classical limit of quantum mechanics includes decoherence, which removes from the state the interference terms classically inadmissible since embodying non-Booleanity. In this work we consider the classical limit from a logical viewpoint, as a quantum-to-Boolean transition. The aim is to open the door to a new study based on dynamical logics, that is, logics that change over time. In particular, we appeal to the notion of hybrid logics to describe semiclassical systems. Moreover, we consider systems with many characteristic decoherence times, whose sublattices of properties become distributive at different times.