We study the model-theoretic aspects of a probability logic suited for talking about measure spaces. This nonclassical logic has a model theory rather different from that of classical predicate logic. In general, not every satisfiable set of sentences has a countable model, but we show that one can always build a model on the unit interval. Also, the probability logic under consideration is not compact. However, using ultraproducts we can prove a compactness theorem for a certain class (...) of weak models. (shrink)

Cardinality arguments against regular probability measures aim to show that no matter which ordered field ℍ we select as the measures for probability, we can find some event space F of sufficiently large cardinality such that there can be no regular probability measure from F into ℍ. In particular, taking ℍ to be hyperreal numbers won't help to guarantee that probability measures can always be regular. I argue that such cardinality arguments fail, since they (...) rely on the wrong conception of the role of numbers as measures of probability. With the proper conception of their role we can see that for any event space F, of any cardinality, there are regular hyperreal-valued probability measures. (shrink)

We give a direct and elementary proof of the fact that every real-valued probability measure can be approximated—up to an infinitesimal—by a hyperreal-valued one which is regular and defined on the whole powerset of the sample space.

In a recent paper, probabilistic processes are used to generate Borel probability measures on topological spaces X that are equipped with a representation in the sense of type-2 theory of effectivity. This gives rise to a natural representation of the set of Borel probability measures on X. We compare this representation to a canonically constructed representation which encodes a Borel probability measure as a lower semicontinuous function from the open sets to the unit interval. We show (...) that this canonical representation is admissible with respect to the weak topology on Borel probability measures. Moreover, we prove that for countably-based topological spaces the representation via probabilistic processes is equivalent to the canonical representation and thus admissible with respect to the weak topology. (shrink)

In this paper a theory of finitistic and frequentistic approximations — in short: f-approximations — of probability measures P over a countably infinite outcome space N is developed. The family of subsets of N for which f-approximations converge to a frequency limit forms a pre-Dynkin system $${{D\subseteq\wp(N)}}$$. The limiting probability measure over D can always be extended to a probability measure over $${{\wp(N)}}$$, but this measure is not always σ-additive. We conclude that (...) class='Hi'>probability measures can be regarded as idealizations of limiting frequencies if and only if σ-additivity is not assumed as a necessary axiom for probabilities. We prove that σ-additive probability measures can be characterized in terms of so-called canonical and in terms of so-called full f-approximations. We also show that every non-σ-additive probability measure is f-approximable, though neither canonically nor fully f-approximable. Finally, we transfer our results to probability measures on open or closed formulas of first-order languages. (shrink)

Probability measures can be constructed using the measure-theoretic techniques of Caratheodory and Hausdorff. Under these constructions one obtains first an outer measure over "events" or "propositions." Then, if one restricts this outer measure to the measurable propositions, one finally obtains a classical probability theory. What I argue is that outer measures can also be used to yield the structures of probability theories in quantum mechanics, provided we permit them to range over at least some (...) unmeasurable propositions. I thereby show that nonclassical probability theories can be seen to arise naturally within the framework of possible worlds semantics. (shrink)

We construct, for any finite dimension n, a new hidden measurement model for quantum mechanics based on representing quantum transition probabilities by the volume of regions in projective Hilbert space. For n=2 our model is equivalent to the Aerts sphere model and serves as a generalization of it for dimensions n .≥ 3 We also show how to construct a hidden variables scheme based on hidden measurements and we discuss how joint distributions arise in our hidden variables scheme and (...) their relationship with the results of Fine [J. Math. Phys. 23 1306 (1982)]. (shrink)

A small probability space representation of quantum mechanical probabilities is defined as a collection of Kolmogorovian probability spaces, each of which is associated with a context of a maximal set of compatible measurements, that portrays quantum probabilities as Kolmogorovian probabilities of classical events. Bell's theorem is stated and analyzed in terms of the small probability space formalism.

The measurement of one or more observables can be considered to yield sample points which are in general fuzzy sets. Operationally these fuzzy sample points are the outcomes of calibration procedures undertaken to ensure the internal consistency of a scheme of measurement. By introducing generalized probability measures on σ-semifields of fuzzy events, one can view a quantum mechanical state as an ensemble of probability measures which specify the likelihood of occurrence of any specific fuzzy sample point at some (...) instant. These sample points are the possible outcomes of any infinitely rapid succession of measurements at that instant of any sequence of observables of the system. (shrink)

This paper is a discussion note on Isaacs et al. (2022), who have claimed to offer a new motivation for imprecise probabilities, based on the mathematical phenomenon of non-measurability. In this note, I clarify some consequences of their proposal. In particular, I show that if their proposal is applied to a bounded 3-dimensional space, then they have to reject at least one of the following: (i) If A is at most as probable as B and B is at most (...) as probable as C, then A is at most as probable as C. (ii) Let A ∩ C = B ∩ C = ∅. A is at most as probable as B iff (A ∪ C) is at most as probable as (B ∪ C). But rejecting either statement seems unattractive. (shrink)

We use Bub's (2016) correlation arrays and Pitowksy's (1989b) correlation polytopes to analyze an experimental setup due to Mermin (1981) for measurements on the singlet state of a pair of spin-12 particles. The class of correlations allowed by quantum mechanics in this setup is represented by an elliptope inscribed in a non-signaling cube. The class of correlations allowed by local hidden-variable theories is represented by a tetrahedron inscribed in this elliptope. We extend this analysis to pairs of particles of arbitrary (...) spin. The class of correlations allowed by quantum mechanics is still represented by the elliptope; the subclass of those allowed by local hidden-variable theories by polyhedra with increasing numbers of vertices and facets that get closer and closer to the elliptope. We use these results to advocate for an interpretation of quantum mechanics like Bub's. Probabilities and expectation values are primary in this interpretation. They are determined by inner products of vectors in Hilbert space. Such vectors do not themselves represent what is real in the quantum world. They encode families of probability distributions over values of different sets of observables. As in classical theory, these values ultimately represent what is real in the quantum world. Hilbert space puts constraints on possible combinations of such values, just as Minkowski space-time puts constraints on possible spatio-temporal constellations of events. Illustrating how generic such constraints are, the equation for the elliptope derived in this paper is a general constraint on correlation coefficients that can be found in older literature on statistics and probability theory. Yule (1896) already stated the constraint. De Finetti (1937) already gave it a geometrical interpretation. (shrink)

On our ordinary representations of space, space is composed of indivisible, dimensionless points; extended regions are understood as infinite sets of points. Region-based theories of space reverse this atomistic picture, by taking as primitive several relations on extended regions, and recovering points as higher-order abstractions from regions. Over the years, such theories have focused almost exclusively on the topological and geometric structure of space. We introduce to region-based theories of space a new primitive binary relation (...) (‘qualitative probability’) that is tied to _measure_. It expresses that one region is _smaller than or equal in size_ to another. Algebraic models of our theory are _separation_ _σ_-_algebras with qualitative probability_: \((\mathbb {B}, \ll, \preceq )\), where \(\mathbb {B}\) is a Boolean _σ_-algebra, ≪ is a separation relation on \(\mathbb {B}\), and ≼ is a qualitative probability on \(\mathbb {B}\). We show that from algebraic models of this kind we can, in an interesting class of cases, recover a compact Hausdorff topology _X_, together with a countably additive measure _μ_ on a _σ_-field of Borel subsets of that topology, and that \((\mathbb {B}, \ll, \preceq )\) is isomorphic to a ‘standard model’ arising out of the pair (_X_, _μ_). It follows from one of our main results that any closed ball in Euclidean space, \(\mathbb {R}^{n}\), together with Lebesgue measure arises in this way from a separation _σ_-algebra with qualitative probability. (shrink)

It will be shown that the probability calculus of a quantum mechanical entity can be obtained in a deterministic framework, embedded in a real space, by introducing a lack of knowledge in the measurements on that entity. For all n ∃ ℕ we propose an explicit model in $\mathbb{R}^{n^2 } $ , which entails a representation for a quantum entity described by an n-dimensional complex Hilbert space þn, namely, the “þn,Euclidean hidden measurement representation.” This Euclidean hidden measurement (...) representation is also in a more general sense equivalent with the orthodox Hilbert space formulation of quantum mechanics, since every mathematical ingredient of ordinary quantum mechanics can easily be translated into the framework of these representations. (shrink)

A certain generalization of the mathematical formalism of quantum mechanics beyond operator algebras is considered. The approach is based on the concept of conditional probability and the interpretation of the Lüders-von Neumann quantum measurement as a probability conditionalization rule. A major result shows that the operator algebras must be replaced by order-unit spaces with some specific properties in the generalized approach, and it is analyzed under which conditions these order-unit spaces become Jordan algebras. An application of this result (...) provides a characterization of the projection lattices in operator algebras. (shrink)

It is well-known that Isaac Newton’s conception of space and time as absolute -- “without reference to anything external” (Principia, 408) -- was anticipated, and probably influenced, by a number of figures among the earlier generation of seventeenth century natural philosophers, including Pierre Gassendi, Henry More, and Newton’s own teacher Isaac Barrow. The absolutism of Newton’s contemporary and friend, John Locke, has received much less attention, which is unfortunate for several reasons. First, Locke’s views of space and time (...) undergo a dramatic evolution that mirrors the overall absolutist trend of the era. Second, there are good reasons to suppose that Locke was influenced late in this evolution by Newton’s Principia, which he read and reviewed shortly after its 1687 publication. It is even possible that Locke read or knew of the earlier and unpublished, though now famous, Newtonian tract De Gravitatione. Third, despite the influence of Newton, Locke’s retains a skeptical attitude concerning our empirical knowledge of absolute space and time. He is especially cautious about absolute time, bucking a widespread tendency to treat time as strongly analogous to space. Their disagreement about the measure of absolute time, we will suggest, reflects a deeper disagreement in the philosophy of science. While Locke counts as scientific knowledge only ideas and demonstrations derivable from immediate experience, Newton endorses a more theory-driven brand of empiricism, which holds that our best explanations of the phenomena provide genuine knowledge that goes beyond what we can directly observe. (shrink)

We prove a Gleason-type theorem for the quantum probability rule using frame functions defined on positive-operator-valued measures, as opposed to the restricted class of orthogonal projection-valued measures used in the original theorem. The advantage of this method is that it works for two-dimensional quantum systems and even for vector spaces over rational fields—settings where the standard theorem fails. Furthermore, unlike the method necessary for proving the original result, the present one is rather elementary. In the case of a qubit, (...) we investigate similar results for frame functions defined upon various restricted classes of POVMs. For the so-called trine measurements, the standard quantum probability rule is again recovered. (shrink)

This paper is concerned with a two-sorted probabilistic language, denoted by $\textsf{QPL}$, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of $\textsf{QPL}$ containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from Fagin et al. (1990, Inform. Comput., 87, 78–128). We shall prove that the $\textsf{QPL}$-theory of the Lebesgue measure on $\left [ 0, 1 \right ]$ is decidable, and (...) moreover, all atomless spaces have the same $\textsf{QPL}$-theory. Also, we shall introduce the notion of elementary invariant for $\textsf{QPL}$ and use it to translate the semantics for $\textsf{QPL}$ into the setting of elementary analysis. This will allow us to obtain further decidability results as well as to provide exact complexity upper bounds for a range of interesting undecidable theories. (shrink)

Weak and strong consistency of the Abstract Principal Principle are defined in terms of classical probability measure spaces. It is proved that the Abstract Principal Principle is both weakly and strongly consistent. The Abstract Principal Principle is strengthened by adding a stability requirement to it. Weak and strong consistency of the resulting Stable Abstract Principal Principle are defined. It is shown that the Stable Abstract Principal Principle is weakly consistent. Strong consistency of the Stable Abstract Principal principle remains (...) an open question. (shrink)

I explain the difficulty of making various concepts of and relating to probability precise, rigorous and physically significant when attempting to apply them in reasoning about objects living in infinite-dimensional spaces, working through many examples from cosmology. I focus on the relation of topological to measure-theoretic notions of and relating to probability, how they diverge in unpleasant ways in the infinite-dimensional case, and are even difficult to work with on their own. Even in cases where an appropriate (...) family of spacetimes is finite-dimensional, and so admits a measure of the relevant sort, however, it is always the case that the family is not a compact topological space, and so does not admit a physically significant, well behaved probability measure. Problems of a different but still deeply troubling sort plague arguments about likelihood in that context, which I also discuss. I conclude that most standard forms of argument used in cosmology to estimate the likelihood of the occurrence of various properties or behaviors of spacetimes have serious mathematical, physical and conceptual problems. (shrink)

Let ℋ be a finite-dimensional complex Hilbert space and D the set of density matrices on ℋ, i.e., the positive operators with trace 1. Our goal in this note is to identify a probability measure u on D that can be regarded as the uniform distribution over D. We propose a measure on D, argue that it can be so regarded, discuss its properties, and compute the joint distribution of the eigenvalues of a random density matrix (...) distributed according to this measure. (shrink)

Extending the ideas from (Hofer-Szabó and Rédei [2006]), we introduce the notion of causal up-to-n-closedness of probability spaces. A probability space is said to be causally up-to-n-closed with respect to a relation of independence R_ind iff for any pair of correlated events belonging to R_ind the space provides a common cause or a common cause system of size at most n. We prove that a finite classical probability space is causally up-to-3-closed w.r.t. the relation (...) of logical independence iff its probability measure is constant on the set of atoms of non-0 probability. (The latter condition is a weakening of the notion of measure uniformity.) Other independence relations are also considered. (shrink)

Any realist interpretation of quantum theory must grapple with the measurement problem and the status of state-vector collapse. In a no-collapse approach, measurement is typically modeled as a dynamical process involving decoherence. We describe how the minimal modal interpretation closes a gap in this dynamical description, leading to a complete and consistent resolution to the measurement problem and an effective form of state collapse. Our interpretation also provides insight into the indivisible nature of measurement—the fact that you can't stop a (...) measurement part-way through and uncover the underlying 'ontic' dynamics of the system in question. Having discussed the hidden dynamics of a system's ontic state during measurement, we turn to more general forms of open-system dynamics and explore the extent to which the details of the underlying ontic behavior of a system can be described. We construct a space of ontic trajectories and describe obstructions to defining a probability measure on this space. (shrink)

This paper proposes an extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system. Chaitin's Ω is defined as the probability that the universal self-delimiting Turing machine U halts, and plays a central role in the development of algorithmic information theory. In the theory, there are two equivalent ways to define the program-size complexity H of a given finite binary string s. In the standard way, H is defined as the length of (...) the shortest input string for U to output s. In the other way, the so-called universal probability m is introduced first, and then H is defined as –log2m without reference to the concept of program-size.Mathematically, the statistics of outcomes in a quantum measurement are described by a positive operator-valued measure in the most general setting. Based on the theory of computability structures on a Banach space developed by Pour-El and Richards, we extend the universal probability to an analogue of POVM in an infinite dimensional quantum system, called a universal semi-POVM. We also give another characterization of Chaitin's Ω numbers by universal probabilities. Then, based on this characterization, we propose to define an extension of Ω as a sum of the POVM elements of a universal semi-POVM. The validity of this definition is discussed.In what follows, we introduce an operator version equation image of H in a Hilbert space of infinite dimension using a universal semi-POVM, and study its properties. (shrink)

Probability logics have been an active topic of investigation of beliefs in type spaces in game theoretical economics. Beliefs are expressed as subjective probability measures. Savage’s postulates in decision theory imply that subjective probability measures are not necessarily countably additive but finitely additive. In this paper, we formulate a probability logic Σ + that is strongly complete with respect to this class of type spaces with finitely additive probability measures, i.e. a set of formulas is (...) consistent in Σ + iff it is satisfied in a finitely additive type space. Although we can characterize Σ + -theories satisfiable in the class as maximally consistent sets of formulas, we prove that any canonical model of maximally consistent sets is not universal in the class of type spaces with finitely additive measures, and, moreover, it is not a type space. At the end of this paper, we show that even a minimal use of probability indices causes the failure of compactness in probability logics. (shrink)

The title alone of McCall’s book reveals its ambitious enterprise. The book’s structure is a long inference to the best explanation: chapters present problems that are solved by a single, ontological model. Problems as diverse as time flow, quantum measurement, counterfactual semantics, and free will are discussed. McCall’s style of writing is lucid and pointed—in general, very pleasant to read.

Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable (...) as Popper functions, and that every Popper function is representable in terms of the standard real values of some infinitesimal measure. Our main goal in this article is to study the constraints on (qualitative and probabilistic) change imposed by an extended version of McGee's result. We focus on an extension capable of allowing for iterated changes of view. Such extension, we argue, seems to be needed in almost all considered applications. Since most of the available axiomatizations stipulate (definitionally) important constraints on iterated change, we propose a non-questionbegging framework, Iterative Probability Systems (IPS) and we show that every Popper function can be regarded as a Bayesian IPS. A generalized version of McGee's result is then proved and several of its consequences considered. In particular we note that our proof requires the imposition of Cumulativity, i.e. the principle that a proposition that is accepted at any stage of an iterative process of acceptance will continue to be accepted at any later stage. The plausibility and range of applicability of Cumulativity is then studied. In particular we appeal to a method for defining belief from conditional probability (first proposed in [42] and then slightly modified in [6] and [3]) in order to characterize the notion of qualitative change induced by Cumulative models of probability kinematics. The resulting cumulative notion is then compared with existing axiomatizations of belief change and probabilistic supposition. We also consider applications in the probabilistic accounts of conditionals [1] and [30]. (shrink)

We propose an alternative approach to probability theory closely related to the framework of numerosity theory: non-Archimedean probability (NAP). In our approach, unlike in classical probability theory, all subsets of an infinite sample space are measurable and only the empty set gets assigned probability zero (in other words: the probability functions are regular). We use a non-Archimedean field as the range of the probability function. As a result, the property of countable additivity in (...) Kolmogorov’s axiomatization of probability is replaced by a different type of infinite additivity. (shrink)

A partition $\{C_i\}_{i\in I}$ of a Boolean algebra Ω in a probability measure space (Ω, p) is called a Reichenbachian common cause system for the correlation between a pair A,B of events in Ω if any two elements in the partition behave like a Reichenbachian common cause and its complement; the cardinality of the index set I is called the size of the common cause system. It is shown that given any non-strict correlation in (Ω, p), and (...) given any finite natural number n > 2, the probability space (Ω,p) can be embedded into a larger probability space in such a manner that the larger space contains a Reichenbachian common cause system of size n for the correlation. (shrink)

Modern scientific cosmology pushes the boundaries of knowledge and the knowable. This is prompting questions on the nature of scientific knowledge. A central issue is what defines a 'good' model. When addressing global properties of the Universe or its initial state this becomes a particularly pressing issue. How to assess the probability of the Universe as a whole is empirically ambiguous, since we can examine only part of a single realisation of the system under investigation: at some point, data (...) will run out. We review the basics of applying Bayesian statistical explanation to the Universe as a whole. We argue that a conventional Bayesian approach to model inference generally fails in such circumstances, and cannot resolve, e.g., the so-called 'measure problem' in inflationary cosmology. Implicit and non-empirical valuations inevitably enter model assessment in these cases. This undermines the possibility to perform Bayesian model comparison. One must therefore either stay silent, or pursue a more general form of systematic and rational model assessment. We outline a generalised axiological Bayesian model inference framework, based on mathematical lattices. This extends inference based on empirical data (evidence) to additionally consider the properties of model structure (elegance) and model possibility space (beneficence). We propose this as a natural and theoretically well-motivated framework for introducing an explicit, rational approach to theoretical model prejudice and inference beyond data. (shrink)

The role of probability is one of the most contested issues in the interpretation of contemporary physics. In this paper, I’ll be reevaluating some widely held assumptions about where and how probabilities arise. Larry Sklar voices the conventional wisdom about probability in classical physics in a piece in the Stanford Online Encyclopedia of Philosophy, when he writes that “Statistical mechanics was the first foundational physical theory in which probabilistic concepts and probabilistic explanation played a fundamental role.” And the (...) conventional wisdom about quantum probabilities is that they are basic, not reducible to the types of probabilities we see in statistical mechanics. In the first section of this paper, I’ll argue that in fact classical physics was steeped in probability long before statistical mechanics came on the scene, specifically, that an objective measure over phase space is an indispensable component of any informative physical theory. In the next section, I’ll argue that this objective measure is the fundamental form of physical probability and that quantum probabilities can be defined in terms of it. In the last, I’ll raise some questions about the metaphysical status of the fundamental measure. (shrink)

Contents: Part I. Probability and the Idealizational Theory of Science. Marek GAUL: Statistical dependencies, statements and the idealizational theory of science. Part II. Probability - theoretical concepts in psychology - measurement. Douglas WAHLSTEN: Probability and the understanding of individual differences. Bodo KRAUSE: Modeling cognitive learning steps. Dieter HEYER, and Rainer MAUSFELD: A theoretical and experimental inquiry into the relation of theoretical concepts and probabilistic measurement scales in experimental psychology. Part III. Methods of data analysis. Tadeusz B. IWINSKI: (...) Rough set methods in psychology. Wilma KOUTSTAAL, and Robert ROSENTHAL: Contrast analysi in behavioral research. Part IV. Artifacts in psychological research and diagnostic assessment. David B. STROHMETZ, and Ralph L. ROSNOW: A mediational model of research artifacts. Jerzy BRZEZINSKI: Dimensions of diagnostic space. (shrink)

It is shown that the Kolmogorovian Censorship Hypothesis, according to which quantum probabilities are interpretable as conditional probabilities in a classical probability measure space, holds not only for Hilbert space quantum mechanics but for general quantum probability theories based on the theory of von Neumann algebras.

In finite probability theory, events are subsets S⊆U of the outcome set. Subsets can be represented by 1-dimensional column vectors. By extending the representation of events to two dimensional matrices, we can introduce "superposition events." Probabilities are introduced for classical events, superposition events, and their mixtures by using density matrices. Then probabilities for experiments or `measurements' of all these events can be determined in a manner exactly like in quantum mechanics (QM) using density matrices. Moreover the transformation of the (...) density matrices induced by the experiments or `measurements' is the Lüders mixture operation as in QM. And finally by moving the machinery into the n-dimensional vector space over ℤ₂, different basis sets become different outcome sets. That `non-commutative' extension of finite probability theory yields the pedagogical model of quantum mechanics over ℤ₂ that can model many characteristic non-classical results of QM. (shrink)

The Adams Thesis holds for a conditional → and a probability assignment P if and only if P=P whenever P>0. The restriction ensures that P is well defined by the classical formula P=P/P. Drawing on deep results of Maharam on measure algebras, it is shown that, notwithstanding well-known triviality results, any probability space can be extended to a probability space with a new conditional satisfying the Adams Thesis and satisfying a number of axioms for (...) conditionals. This puts significant limits on how far triviality results can go. (shrink)

This paper investigates aspects of measure and randomness in the context of locale theory . We prove that every measure μ, on the σ-frame of opens of a fitted σ-locale X, extends to a measure on the lattice of all σ-sublocales of X . Furthermore, when μ is a finite measure with μ=M, the σ-locale X has a smallest σ-sublocale of measure M . In particular, when μ is a probability measure, X has (...) a smallest σ-sublocale of measure 1. All σ prefixes can be dropped from these statements whenever X is a strongly Lindelöf locale, as is the case in the following applications. When μ is the Lebesgue measure on the Euclidean space Rn, Theorem 1 produces an isometry-invariant measure that, via the inclusion of the powerset P in the lattice of sublocales, assigns a weight to every subset of Rn. When μ is the uniform probability measure on Cantor space {0,1}ω, the smallest measure-1 sublocale, given by Theorem 2, provides a canonical locale of random sequences, where randomness means that all probabilistic laws are satisfied. (shrink)

I shall argue that there is no such property of an event as its “probability.” This is why standard interpretations cannot give a sound definition in empirical terms of what “probability” is, and this is why empirical sciences like physics can manage without such a definition. “Probability” is a collective term, the meaning of which varies from context to context: it means different — dimensionless [0, 1]-valued — physical quantities characterising the different particular situations. In other words, (...) probability is a reducible concept, supervening on physical quantities characterising the state of affairs corresponding to the event in question. On the other hand, however, these “probability-like” physical quantities correspond to objective features of the physical world, and are objectively related to measurable quantities like relative frequencies of physical events based on finite samples — no matter whether the world is objectively deterministic or indeterministic. (shrink)

The rejection of an infinitesimal solution to the zero-fit problem by A. Elga ([2004]) does not seem to appreciate the opportunities provided by the use of internal finitely-additive probability measures. Indeed, internal laws of probability can be used to find a satisfactory infinitesimal answer to many zero-fit problems, not only to the one suggested by Elga, but also to the Markov chain (that is, discrete and memory-less) models of reality. Moreover, the generalization of likelihoods that Elga has in (...) mind is not as hopeless as it appears to be in his article. In fact, for many practically important examples, through the use of likelihoods one can succeed in circumventing the zero-fit problem. 1 The Zero-fit Problem on Infinite State Spaces 2 Elga's Critique of the Infinitesimal Approach to the Zero-fit Problem 3 Two Examples for Infinitesimal Solutions to the Zero-fit Problem 4 Mathematical Modelling in Nonstandard Universes? 5 Are Nonstandard Models Unnatural? 6 Likelihoods and Densities A Internal Probability Measures and the Loeb Measure Construction B The (Countable) Coin Tossing Sequence Revisited C Solution to the Zero-fit Problem for a Finite-state Model without Memory D An Additional Note on ‘Integrating over Densities’ E Well-defined Continuous Versions of Density Functions. (shrink)

Although there is a complete consensus among working physicists with respect to the practical and operational meanings of quantum states, and also a rather loosely formulated general philosophic view called the Copenhagen interpretation, a great deal of confusion and divergence of opinions exist as to the details of the measurement process and its effects upon quantum states. This paper reviews the current expositions of the measurement problem, limiting itself for lack of space primarily to the writings of physicists; it (...) calls attention to inconsistencies and proposes resolutions. Except for a summary of the properties of statistical matrices which are needed in Part II, the first part is non-mathematical and deals largely with two kinds of probability, reducible and irreducible probabilities, which need to be distinguished for a proper understanding of the measurement act. (shrink)

We critically examine the role and status probabilities, as they enter via the Quantum Equilibrium Hypothesis, play in the standard, deterministic interpretation of deBroglie’s and Bohm’s Pilot Wave Theory (dBBT), by considering interpretations of probabilities in terms of ignorance, typicality and Humean Best Systems, respectively. We argue that there is an inherent conflict between dBBT and probabilities, thus construed. The conflict originates in dBBT’s deterministic nature, rooted in the Guidance Equation. Inquiring into the latter’s role within dBBT, we find it (...) explanatorily redundant (in particular for dBBT’s solution of the Measurement Problem, which only requires that the corpuscles possess definite positions), and subject to a number of difficulties. Following a suggestion from Bell, we propose to abandon the Guidance Equation, whilst retaining dBBT’s point particle-based Primitive Ontology, with positions as local beables. The resultant theory, which we identify as a stochastic, minimally deBroglie-Bohmian theory, describes a random walk through configuration space. Its probabilities, we propose, are best understood as dispositions of possible corpuscle configurations to manifest themselves. We subsequently evaluate the merits of sdBBT vis-à-vis dBBT, such as the justification of the Symmetrisation Postulate and the violation of the Action-Reaction Principle. Not only is sdBBT an attractive Bohmian theory that, whilst retaining dBBT's virtues, overcomes many of its shortcomings; it also sparks off a number of exciting follow-up questions, such as a comparison between sdBBT and other stochastic hidden-variable theories, e.g. Nelson Stochastics, or between sdBBT and the Everett interpretation. (shrink)

“Negative probability” in practice. Quantum Communication: Very small phase space regions turn out to be thermodynamically analogical to those of superconductors. Macro-bodies or signals might exist in coherent or entangled state. Such physical objects having unusual properties could be the basis of quantum communication channels or even normal physical ones … Questions and a few answers about negative probability: Why does it appear in quantum mechanics? It appears in phase-space formulated quantum mechanics; next, in quantum correlations (...) … and for wave-particle dualism. Its meaning:- mathematically: a ratio of two measures (of sets), which are not collinear; physically: the ratio of the measurements of two physical quantities, which are not simultaneously measurable. The main innovation is in the mapping between phase and Hilbert space, since both are sums. Phase space is a sum of cells, and Hilbert space is a sum of qubits. The mapping is reduced to the mapping of a cell into a qubit and vice versa. Negative probability helps quantum mechanics to be represented quasi-statistically by quasi-probabilistic distributions. Pure states of negative probability cannot exist, but they, where the conditions for their expression exists, decrease the sum probability of the integrally positive regions of the distributions. They reflect the immediate interaction (interference) of probabilities common in quantum mechanics. (shrink)

This paper introduces the logic of evidence and truth \ as an extension of the Belnap–Dunn four-valued logic \. \ is a slightly modified version of the logic \, presented in Carnielli and Rodrigues. While \ is equipped only with a classicality operator \, \ is equipped with a non-classicality operator \ as well, dual to \. Both \ and \ are logics of formal inconsistency and undeterminedness in which the operator \ recovers classical logic for propositions in its scope. (...) Evidence is a notion weaker than truth in the sense that there may be evidence for a proposition \ even if \ is not true. As well as \, \ is able to express preservation of evidence and preservation of truth. The primary aim of this paper is to propose a probabilistic semantics for \ where statements \\) and \\) express, respectively, the amount of evidence available for \ and the degree to which the evidence for \ is expected to behave classically—or non-classically for \ \). A probabilistic scenario is paracomplete when \ + P 1\), and in both cases, \ < 1\). If \ = 1\), or \ = 0\), classical probability is recovered for \. The proposition \, a theorem of \, partitions what we call the information space, and thus allows us to obtain some new versions of known results of standard probability theory. (shrink)

This paper develops a general theory of uniform probability for compact metric spaces. Special cases of uniform probability include Lebesgue measure, the volume element on a Riemannian manifold, Haar measure, and various fractal measures (all suitably normalized). This paper first appeared fall of 1990 in the Journal of Theoretical Probability, vol. 3, no. 4, pp. 611—626. The key words by which this article was indexed were: ε-capacity, weak convergence, uniform probability, Hausdorff dimension, and capacity (...) dimension. (shrink)

The Bohm-Bub hidden-variable theory is able to predict the results of measuring a quantum system only in the special case where the set of commuting observables being measured is complete. To handle the much more common case where the set is incomplete, Tutsch has proposed a generalization of the Bohm-Bub model. Unfortunately, as we show here, Tutsch's original method does not yield the correct quantum mechanical transition probabilities. On the other hand, Belinfante's modification of Tutsch's method does yield the correct (...) probabilities, and it gives a satisfactory hidden-variable theory of partial measurement for the case where one or more commuting variable(s) are measured at a single space-time point. In the case where the variables are measured at different space-time points, the theory is inadequate, due to the fact that it is not relativistically covariant, and does not take relaxation of the hidden variables into account. (shrink)

In this paper we present two families of probability logics (denoted _QLP_ and \(QLP^{ORT}\) ) suitable for reasoning about quantum observations. Assume that \(\alpha \) means “O = a”. The notion of measuring of an observable _O_ can be expressed using formulas of the form \(\square \lozenge \alpha \) which intuitively means “if we measure _O_ we obtain \(\alpha \) ”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic (...) extended with the corresponding modal laws for the modal logic \({\textbf{B}}\). We consider probability formulas of the form \(CS_{z_{1},\rho _{1}; \ldots ; z_{m},\rho _{m}} \square \lozenge \alpha \) related to an observable _O_ and a possible world (vector) _w_: if _a_ is an eigenvalue of _O_, \(w_{1}\),..., \(w_{m}\) form a base of a closed subspace of the considered Hilbert space which corresponds to eigenvalue _a_, and if _w_ is a linear combination of the basis vectors such that \(w=c_{1}\cdot w_{1}+ \cdots + c_{m}\cdot w_{m}\) for some \(c_{i}\in {\mathbb {C}}\), then \(\Vert c_{1}-z_{1}\Vert \le \rho _{1}\),..., \(\Vert c_{m}-z_{m}\Vert \le \rho _{m}\), and the probability of obtaining _a_ while measuring _O_ in the state _w_ is equal to \(\Sigma _{i=1}^{m}\Vert c_{i}\Vert ^{2}\). Formulas are interpreted in reflexive and symmetric Kripke models equipped with probability distributions over families of subsets of possible worlds that are orthocomplemented lattices, while for \(QLP^{ORT}\) also satisfy ortomodularity. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems, and also decidability for _QLP_-logics. (shrink)

We develop and defend the thesis that the Hilbert space formalism of quantum mechanics is a new theory of probability. The theory, like its classical counterpart, consists of an algebra of events, and the probability measures defined on it. The construction proceeds in the following steps: (a) Axioms for the algebra of events are introduced following Birkhoff and von Neumann. All axioms, except the one that expresses the uncertainty principle, are shared with the classical event space. (...) The only models for the set of axioms are lattices of subspaces of inner product spaces over a field K. (b) Another axiom due to Soler forces K to be the field of real, or complex numbers, or the quaternions. We suggest a probabilistic reading of Soler's axiom. (c) Gleason's theorem fully characterizes the probability measures on the algebra of events, so that Born's rule is derived. (d) Gleason's theorem is equivalent to the existence of a certain finite set of rays, with a particular orthogonality graph (Wondergraph). Consequently, all aspects of quantum probability can be derived from rational probability assignments to finite "quantum gambles". (e) All experimental aspects of entanglement- the violation of Bell's inequality in particular- are explained as natural outcomes of the probabilistic structure. (f) We hypothesize that even in the absence of decoherence macroscopic entanglement can very rarely be observed, and provide a precise conjecture to that effect .We also discuss the relation of the present approach to quantum logic, realism and truth, and the measurement problem. (shrink)

Since the world is full of indeterminacy, the neutrosophics found their place into contemporary research. We now introduce for the first time the notions of neutrosophic measure and neutrosophic integral. Neutrosophic Science means development and applications of neutrosophic logic/set/measure/integral/ probability etc. and their applications in any field. It is possible to define the neutrosophic measure and consequently the neutrosophic integral and neutrosophic probability in many ways, because there are various types of indeterminacies, depending on the (...) problem we need to solve. Indeterminacy is different from randomness. Indeterminacy can be caused by physical space materials and type of construction, by items involved in the space, or by other factors. Neutrosophic measure is a generalization of the classical measure for the case when the space contains some indeterminacy. Neutrosophic Integral is defined on neutrosophic measure. Simple examples of neutrosophic integrals are given. (shrink)

Extension is probably the most general natural property. Is it a fundamental property? Leibniz claimed the answer was no, and that the structureless intuition of extension concealed more fundamental properties and relations. This paper follows Leibniz's program through Herbart and Riemann to Grassmann and uses Grassmann's algebra of points to build up levels of extensions algebraically. Finally, the connection between extension and measurement is considered.

Every quantum state can be represented as a probability distribution over the outcomes of an informationally complete measurement. But not all probability distributions correspond to quantum states. Quantum state space may thus be thought of as a restricted subset of all potentially available probabilities. A recent publication (Fuchs and Schack, arXiv:0906.2187v1, 2009) advocates such a representation using symmetric informationally complete (SIC) measurements. Building upon this work we study how this subset—quantum-state space—might be characterized. Our leading characteristic (...) is that the inner products of the probabilities are bounded, a simple condition with nontrivial consequences. To get quantum-state space something more detailed about the extreme points is needed. No definitive characterization is reached, but we see several new interesting features over those in Fuchs and Schack (arXiv:0906.2187v1, 2009), and all in conformity with quantum theory. (shrink)