HPO Formalism - Temporal Quantum Logic

Temporal Quantum Logic

Representing history propositions by projectors on the history Hilbert space naturally encodes the logical structure of history propositions. The lattice operations on the set of projection operations on the history Hilbert space can be applied to model the lattice of logical operations on history propositions.

If two homogeneous histories and don't share the same temporal support they can be modified so that they do. If is in the temporal support of but not (for example) then a new homogeneous history proposition which differs from by including the "always true" proposition at each time can be formed. In this way the temporal supports of can always be joined together. What shall therefore assume that all homogeneous histories share the same temporal support.

We now present the logical operations for homogeneous history propositions and such that

Read more about this topic:  HPO Formalism

Famous quotes containing the words temporal, quantum and/or logic:

    What’s this, Aurora Leigh,
    You write so of the poets and not laugh?
    Those virtuous liars, dreamers after dark,
    Exaggerators of the sun and moon,
    And soothsayers in a tea-cup? I write so
    Of the only truth-tellers, now left to God,—
    The only speakers of essential truth,
    Opposed to relative, comparative,
    And temporal truths;...
    The only teachers who instruct mankind,
    From just a shadow on a charnel-wall.
    Elizabeth Barrett Browning (1806–1861)

    The receipt to make a speaker, and an applauded one too, is short and easy.—Take of common sense quantum sufficit, add a little application to the rules and orders of the House, throw obvious thoughts in a new light, and make up the whole with a large quantity of purity, correctness, and elegancy of style.
    Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.
    Sir Peter Frederick Strawson (b. 1919)