The Structure of the Propositional Calculus of a Physical Theory

Harald Atmanspacher A, F.R. Krueger, H. Scheingraber

Othman Qasim Malhas

Evert Willem Beth

M. D. Srinivas

Statistical physical theories are frequently formulated in terms of probabilistic structures founded on a ’’logic of experimentally verifiable propositions.’’ It is argued that to each experimentally verifiable proposition there corresponds an experimental procedure which, in general, alters the state of the system, and is completely characterized by a ’’measurement transformation’’ or ’’operation.’’ An analysis of the relations among these experimental procedures leads us to a ’’logic of operations’’ which is quite different from the ’’lattice theoretic logics’’ that are often considered (albeit inadequate empirical justification), as models for the calculus of experimentally verifiable propositions of quantum theory. It is seen that the quantum probability theory based on the logic of operations provides the proper mathematical framework for discussing the statistics of successive observations in quantum theory. We also indicate how a theory of quantum stochastic processes can be formulated in a way similar to the Kolmogorov formulation of the classical theory.

Peter Bongaarts

Simon Kochen, Ernst P. Specker

The logical structures studied in this paper are generalizations of the propositional calculus. The classical propositional calculus is essentially Boolean algebra or, alternatively, the theory of functions on an arbitrary set S with values in a two-element set. The generalization consists in allowing partial functions on the set S , i.e., functions defined on certain subsets of S , and defining an equivalence relation among these functions such that any two constant functions with the same constant value belong to the same equivalence class. The generalization is equally natural for functions with values in the field of real numbers and we shall consider this case first. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.