Consistent Quantum Reasoning

摘要: Precise rules are developed in order to formalize the reasoning processes involved standard non-relativistic quantum mechanics, with help of analogies from classical physics. A or description a mechanical system involves {\it framework}, often chosen implicitly, and statement} assertion about which is either true false within framework it associated. Quantum descriptions no less ``objective'' than their counterparts, but differ latter following respects: (i) The employs Hilbert space rather phase space. (ii) for constructing meaningful statements require that associated projectors commute each other and, case time-dependent histories, consistency conditions be satisfied. (iii) There incompatible frameworks cannot combined, making logical inferences them, even though any one these may used separately describing particular physical system. A new type ``generalized history'' introduced extends previous proposals by Omn\`es, Gell-Mann Hartle, corresponding condition does not involve density matrices single out direction time. Applications illustrate formalism include: measurements spin, two-slit diffraction, emergence world fully description.