Change as a new semantics for logic

A stochastic semantics for logic is defined where proofs are interpreted into sets of observables (i.e. sets of trajectories of suitable stochastic processes).