The purpose of this paper is to sketch an attack on the general problem of representing a composite physical system in terms of its constituent parts. For quantum-mechanical systems, this is traditionally accomplished by forming either direct sums or tensor products of the Hilbert spaces corresponding to the component systems. Here, a more general mathematical construction is given which includes the standard quantum-mechanical formalism as a special case.

In orthodox quantum mechanics, it has virtually become the custom to identify properties of a physical system with operationally testable propositions about the system. The causes and consequences of this practice are explored mathematically in this paper. Among other things, it is found that such an identification imposes severe constraints on the admissible states of the physical system.

A comprehensive formal system is developed that amalgamates the operational and the realistic approaches to quantum mechanics. In this formalism, for example, a sharp distinction is made between events, operational propositions, and the properties of physical systems.