This heuristic article introduces a generalization of the idea of drawing colored balls from an urn so as to allow mutually incompatible experiments to be represented, thereby providing a device for thinking about quantum logic and other non-classical statistical situations in a concrete way. Such models have proven valuable in generating examples and counterexamples and in making abstract definitions in quantum logic seem more intuitive.

Nervous systems are intricately organized on many levels of analysis.The intricate organization invites the development of mathematicalsystems that reflect its logical structure. Particular logical structures and choices of invariants within those structures narrowthe ranges of perceptions that are possible and sensorimotorcoordination that may be selected. As in quantum logic, choicesaffect outcomes.Some of the mathematical tools in use in quantum logic havealready also been used in neurobiology, including the mathematicsof ordered structures and a product like a tensor product. Astheoretical neurobiology is (...) developed on its own foundation, wemay expect a rich dialogue between theoretical neurobiology andquantum logic. (shrink)

Quantum stochastic models are developed within the framework of a measure entity. An entity is a structure that describes the tests and states of a physical system. A measure entity endows each test with a measure and equips certain sets of states as measurable spaces. A stochastic model consists of measurable realvalued function on the set of states, called a generalized action, together with measures on the measurable state spaces. This structure is then employed to compute quantum probabilities of test (...) outcomes. We characterize those measure entities that are isomorphic to a quantum probability space. We also show that stochastic models provide a phase space description of quantum mechanics and a realistic model of spin. (shrink)

Piron's axioms for a realistically interpreted quantum mechanics are analyzed in detail within the context of a formal mathematical structure expressed in the conventional set-theoretic idiom of mathematics. As a result, some of the serious misconceptions that have encouraged recent criticisms of Piron's axioms are exposed.

We implement a recent characterization of metaphysical indeterminacy in the context of orthodox quantum theory, developing the syntax and semantics of two propositional logics equipped with determinacy and indeterminacy operators. These logics, which extend a novel semantics for standard quantum logic that accounts for Hilbert spaces with superselection sectors, preserve different desirable features of quantum logic and logics of indeterminacy. In addition to comparing the relative advantages of the two, we also explain how each logic answers Williamson’s challenge to any (...) substantive account of determinacy: For any proposition p, what could the difference between “p” and “it’s determinate that p” ever amount to? (shrink)

We propose a theory for modeling concepts that uses the state-context-property theory (SCOP), a generalization of the quantum formalism, whose basic notions are states, contexts and properties. This theory enables us to incorporate context into the mathematical structure used to describe a concept, and thereby model how context influences the typicality of a single exemplar and the applicability of a single property of a concept. We introduce the notion `state of a concept' to account for this contextual influence, and show (...) that the structure of the set of contexts and of the set of properties of a concept is a complete orthocomplemented lattice. The structural study in this article is a preparation for a numerical mathematical theory of concepts in the Hilbert space of quantum mechanics that allows the description of the combination of concepts. (shrink)