This is a study in the meaning of natural language probability operators, sentential operators such as probably and likely. We ask what sort of formal structure is required to model the logic and semantics of these operators. Along the way we investigate their deep connections to indicative conditionals and epistemic modals, probe their scalar structure, observe their sensitivity to contex- tually salient contrasts, and explore some of their scopal idiosyncrasies.

Adams’ thesis is generally agreed to be linguistically compelling for simple conditionals with factual antecedent and consequent. We propose a derivation of Adams’ thesis from the Lewis- Kratzer analysis of if-clauses as domain restrictors, applied to probability operators. We argue that Lewis’s triviality result may be seen as a result of inexpressibility of the kind familiar in generalized quantifier theory. Some implications of the Lewis- Kratzer analysis are presented concerning the assignment of probabilities to compounds of conditionals.

We use joint probabilities to analyze the EPR argument in the Bohm's example of spins.(1) The properties of distribution functions for two, three, or more noncommuting spin components are explicitly studied and their limitations are pointed out. Within the statistical ensemble interpretation of quantum theory (where only statements about repeated events can be made), the incompleteness of quantum theory does not follow, as the consistent use of joint probabilities shows. This does not exclude a completion of quantum mechanics, going beyond (...) it, by a more general theory of single events, using hidden variables, for example. (shrink)

Motivated by a recent proof of free choices in linking equations to the experiments they describe, I clarify some relations among purely mathematical entities featured in quantum mechanics (probabilities, density operators, partial traces, and operator-valued measures), thereby allowing applications of these entities to the modeling of a wider variety of physical situations. I relate conditional probabilities associated with projection-valued measures to conditional density operators identical, in some cases but not in others, to the usual reduced density operators. (...) While a fatal obstacle precludes associating conditional density operators with general non-projective measures, tensor products of general positive operator-valued measures (POVMs) are associated with conditional density operators. This association together with the free choice of probe particles allows a postulate of state reductions to be replaced by a theorem. An application shows an equivalence between one form of quantum key distribution and another with respect to certain eavesdropping attacks. (shrink)

We develop the concept of quantum probability based on ideas of R. Feynman. The general guidelines of quantum probability are translated into rigorous mathematical definitions. We then compare the resulting framework with that of operational statistics. We discuss various relationship between measurements and define quantum stochastic processes. It is shown that quantum probability includes both conventional probability theory and traditional quantum mechanics. Discrete quantum systems, transition amplitudes, and discrete Feynman amplitudes are treated. We close with some (...) examples that illustrate previously defined concepts. (shrink)

Explaining the emergence of stochastic irreversible macroscopic dynamics from time-reversible deterministic microscopic dynamics is one of the key problems in philosophy of physics. The Mori-Zwanzig projection operator formalism, which is one of the most important methods of modern nonequilibrium statistical mechanics, allows for a systematic derivation of irreversible transport equations from reversible microdynamics and thus provides a useful framework for understanding this issue. However, discussions of the MZ formalism in philosophy of physics tend to focus on simple variants rather than (...) on the more sophisticated ones used in modern physical research. In this work, I will close this gap by studying the problems of probability and irreversibility using the example of Grabert’s time-dependent projection operator formalism. This allows to better understand how general proposals for understanding probability in statistical mechanics, namely quantum approaches and almost-objective probabilities, can be accomodated in the MZ formalism. Moreover, I will provide a detailed physical analysis, based on the MZ formalism, of various proposals from the philosophical literature, such as Robertson’s theory of justifying coarse-graining via autonomous macrodynamics, Myrvold’s problem of explaining autonomous macrodynamics, and Wallace’s simple dynamical conjecture. (shrink)

We discuss a generalization of the standard notion of probability space and show that the emerging framework, to be called operational probability theory, can be considered as underlying quantal theories. The proposed framework makes special reference to the convex structure of states and to a family of observables which is wider than the familiar set of random variables: it appears as an alternative to the known algebraic approach to quantum probability.

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic (...) structure that interacts directly with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

When a doctor tells you there’s a one percent chance that an operation will result in your death, or a scientist claims that his theory is probably true, what exactly does that mean? Understanding probability is clearly very important, if we are to make good theoretical and practical choices. In this engaging and highly accessible introduction to the philosophy of probability, Darrell Rowbottom takes the reader on a journey through all the major interpretations of probability, with reference (...) to real–world situations. In lucid prose, he explores the many fallacies of probabilistic reasoning, such as the ‘gambler’s fallacy’ and the ‘inverse fallacy’, and shows how we can avoid falling into these traps by using the interpretations presented. He also illustrates the relevance of the interpretation of probability across disciplinary boundaries, by examining which interpretations of probability are appropriate in diverse areas such as quantum mechanics, game theory, and genetics. Using entertaining dialogues to draw out the key issues at stake, this unique book will appeal to students and scholars across philosophy, the social sciences, and the natural sciences. (shrink)

Quantum probability (QP) theory can be seen as a type of vector symbolic architecture (VSA): mental states are vectors storing structured information and manipulated using algebraic operations. Furthermore, the operations needed by QP match those in other VSAs. This allows existing biologically realistic neural models to be adapted to provide a mechanistic explanation of the cognitive phenomena described in the target article by Pothos & Busemeyer (P&B).

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)

Recent years have witnessed a proliferation of attempts to apply the mathematical theory of probability to the semantics of natural language probability talk. These sorts of “probabilistic” semantics are often motivated by their ability to explain intuitions about inferences involving “likely” and “probably”—intuitions that Angelika Kratzer’s canonical semantics fails to accommodate through a semantics based solely on an ordering of worlds and a qualitative ranking of propositions. However, recent work by Wesley Holliday and Thomas Icard has been widely (...) thought to undercut this motivation: they present a world-ordering semantics that yields essentially the same logic as probabilistic semantics. In this paper, I argue that the challenge remains: defenders of world-ordering semantics have yet to offer a plausible semantics that captures the logic of comparative likelihood. Holliday & Icard’s semantics yields an adequate logic only if models are restricted to Noetherian pre-orders. But I argue that the Noetherian restriction faces problems in cases involving infinitely large domains of epistemic possibilities. As a result, probabilistic semantics remains the better explanation of the data. (shrink)

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities (...) of conditionals violate standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

Wittgenstein did not write very much on the topic of probability. The little we have comes from a few short pages of the Tractatus, some 'remarks' from the 1930s, and the informal conversations which went on during that decade with the Vienna Circle. Nevertheless, Wittgenstein's views were highly influential in the later development of the logical theory of probability. This paper will attempt to clarify and defend Wittgenstein's conception of probability against some oft-cited criticisms that stem from (...) a misunderstanding of his views. Max Black, for instance, criticises Wittgenstein for formulating a theory of probability that is capable of being used only against the backdrop of the ideal language of the Tractatus. I argue that on the contrary, by appealing to the 'hypothetical laws of nature', Wittgenstein is able to make sense of probability statements involving propositions that have not been completely analysed. G.H. von Wright criticises Wittgenstein's characterisation of these very hypothetical laws. He argues that by introducing them Wittgenstein makes what is distinctive about his theory superfluous, for the hypothetical laws are directly inspired by statistical observations and hence these observations indirectly determine the mechanism by which the logical theory of probability operates. I argue that this is not the case at all, and that while statistical observations play a part in the formation of the hypothetical laws, these observations are only necessary, but not sufficient conditions for the introduction of these hypotheses. (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)

We describe a dual-process theory of how individuals estimate the probabilities of unique events, such as Hillary Clinton becoming U.S. President. It postulates that uncertainty is a guide to improbability. In its computer implementation, an intuitive system 1 simulates evidence in mental models and forms analog non-numerical representations of the magnitude of degrees of belief. This system has minimal computational power and combines evidence using a small repertoire of primitive operations. It resolves the uncertainty of divergent evidence for single events, (...) for conjunctions of events, and for inclusive disjunctions of events, by taking a primitive average of non-numerical probabilities. It computes conditional probabilities in a tractable way, treating the given event as evidence that may be relevant to the probability of the dependent event. A deliberative system 2 maps the resulting representations into numerical probabilities. With access to working memory, it carries out arithmetical operations in combining numerical estimates. Experiments corroborated the theory's predictions. Participants concurred in estimates of real possibilities. They violated the complete joint probability distribution in the predicted ways, when they made estimates about conjunctions: P, P, P, disjunctions: P, P, P, and conditional probabilities P, P, P. They were faster to estimate the probabilities of compound propositions when they had already estimated the probabilities of each of their components. We discuss the implications of these results for theories of probabilistic reasoning. (shrink)

There is a vast literature that seeks to uncover features underlying moral judgment by eliciting reactions to hypothetical scenarios such as trolley problems. These thought experiments assume that participants accept the outcomes stipulated in the scenarios. Across seven studies, we demonstrate that intuition overrides stipulated outcomes even when participants are explicitly told that an action will result in a particular outcome. Participants instead substitute their own estimates of the probability of outcomes for stipulated outcomes, and these probability estimates (...) in turn influence moral judgments. Our findings demonstrate that intuitive likelihoods are one critical factor in moral judgment, one that is not suspended even in moral dilemmas that explicitly stipulate outcomes. Features thought to underlie moral reasoning, such as intention, may operate, in part, by affecting the intuitive likelihood of outcomes, and, problematically, moral differences between scenarios may be confounded with non-moral intuitive probabilities. (shrink)

Transition Probability (fidelity) for pairs of density operators can be defined as a “functor” in the hierarchy of “all” quantum systems and also within any quantum system. The Introduction of “amplitudes” for density operators allows for a more intuitive treatment of these quantities, also pointing to a natural parallel transport. The latter is governed by a remarkable gauge theory with strong relations to the Riemann-Bures metric.

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 probability that a fair coin tossed yesterday landed heads is either 0 or 1, but the probability that it would land heads was 0.5. In order to account for the latter type of probabilities, past probabilities, a temporal restriction operator is introduced and axiomatically characterized. It is used to construct a representation of conditional past probabilities. The logic of past probabilities turns out to be strictly weaker than the logic of standard probabilities.

When a doctor tells you there’s a one percent chance that an operation will result in your death, or a scientist claims that his theory is probably true, what exactly does that mean? Understanding probability is clearly very important, if we are to make good theoretical and practical choices. In this engaging and highly accessible introduction to the philosophy of probability, Darrell Rowbottom takes the reader on a journey through all the major interpretations of probability, with reference (...) to real–world situations. In lucid prose, he explores the many fallacies of probabilistic reasoning, such as the ‘gambler’s fallacy’ and the ‘inverse fallacy’, and shows how we can avoid falling into these traps by using the interpretations presented. He also illustrates the relevance of the interpretation of probability across disciplinary boundaries, by examining which interpretations of probability are appropriate in diverse areas such as quantum mechanics, game theory, and genetics. Using entertaining dialogues to draw out the key issues at stake, this unique book will appeal to students and scholars across philosophy, the social sciences, and the natural sciences. (shrink)

The sum, difference, product and quotient of two functions with different domains are usually defined only on their common domain. This paper extends these definitions so that the sum and other operations are essentially defined anywhere that at least one of the components is defined. This idea is applied to propositions and events, expressed as indicator functions, to define conditional propositions and conditional events as three-valued indicator functions that are undefined when their condition is false. Extended operations of "and", "or", (...) "not" and "conditioning" are then defined on these conditional events with variable conditions. The probabilities of the disjunction and of the conjunction of two conditionals are expressed in terms of the conditional probabilities of the component conditionals. In a special case, these are shown to be weighted averages of the component conditional probabilities where the weights are the relative probabilities of the various conditions. Next, conditional random variables are defined to be random variables X whose domain has been restricted by a condition on a second random variable Y. The extended sum, difference, product and conditioning operations on functions are then applied to these conditional random variables. The expectation of a random variable and the conditional expectation of a conditional random variable are recounted. Theorem 1 generalizes the standard result that the conditional expectation of the sum of two conditional random variables with disjoint and exhaustive conditions is a weighted sum of the conditional expectations of the component conditional random variables. Because of the extended operations, the theorem is true for arbitrary conditions. Theorem 2 gives a formula for the expectation of the product of two conditional random variables. After the definition of independence of two random variables is extended to accommodate the extended operations, it is applied to the formula of Theorem 2 to simplify the expectation of a product of conditional random variables. Two examples end the paper. The first concerns a work force of n workers of different output levels and work shifts. The second example involves two radars with overlapping surveillance regions and different detection error rates. One radar's error rate is assumed to be sensitive to fog and the other radar's error rate is assumed to be sensitive to air traffic density. The combined error rate over the combined surveillance region given heavy fog and moderate air traffic is computed. (shrink)

The understanding of the interrelationship between brain and mind remains far from clear. It is well established that the brain's capacity to integrate information from numerous sources forms the basis for cognitive abilities. However, the core unresolved question is how information about the "objective" physical entities of the external world can be integrated, and how unifiedand coherent mental states (or Gestalts) can be established in the internal entities of distributed neuronal systems. The present paper offers a unified methodological and conceptual (...) basis for a possible mechanism of how the transient synchronization of brain operations may construct the unified and relatively stable neural states, which underlie mental states. It was shown that the sequence of metastable spatial EEG mosaics does exist and probably reflects the rapid stabilization periods of the interrelation of large neuron systems. At the EEG level this is reflected in the stabilization of quasi-stationary segments on corresponding channels. Within the introduced framework, physical brain processes and psychological processes are considered as two basic aspects of a single whole informational brain state. The relations between operational process of the brain, mental states and consciousness are discussed. (shrink)

A new formal model of belief dynamics is proposed, in which the epistemic agent has both probabilistic beliefs and full beliefs. The agent has full belief in a proposition if and only if she considers the probability that it is false to be so close to zero that she chooses to disregard that probability. She treats such a proposition as having the probability 1, but, importantly, she is still willing and able to revise that probability assignment (...) if she receives information that gives her sufficient reasons to do so. Such a proposition is undoubted, but not undoubtable. In the formal model it is assigned a probability 1 − δ, where δ is an infinitesimal number. The proposed model employs probabilistic belief states that contain several underlying probability functions representing alternative probabilistic states of the world. Furthermore, a distinction is made between update and revision, in the same way as in the literature on belief change. The formal properties of the model are investigated, including properties relevant for learning from experience. The set of propositions whose probabilities are infinitesimally close to 1 forms a belief set. Operations that change the probabilistic belief state give rise to changes in this belief set, which have much in common with traditional operations of belief change. (shrink)

A recent argument by Hawthorne and Lasonen-Aarnio purports to show that we can uphold the principle that competently forming conjunctions is a knowledge-preserving operation only at the cost of a rampant skepticism about the future. A key premise of their argument is that, in light of quantum-mechanical considerations, future contingents never quite have chance 1 of being true. We argue, by drawing attention to the order of magnitude of the relevant quantum probabilities, that the skeptical threat of Hawthorne and Lasonen-Aarnio’s (...) argument is illusory. (shrink)

Conditional probability is often used to represent the probability of the conditional. However, triviality results suggest that the thesis that the probability of the conditional always equals conditional probability leads to untenable conclusions. In this paper, I offer an interpretation of this thesis in a possible worlds framework, arguing that the triviality results make assumptions at odds with the use of conditional probability. I argue that these assumptions come from a theory called the operator theory (...) and that the rival restrictor theory can avoid these problematic assumptions. In doing so, I argue that recent extensions of the triviality arguments to restrictor conditionals fail, making assumptions which are only justified on the operator theory. (shrink)

Philosophical accounts of quantum theory commonly suppose that the observables of a quantum system form a Type-I factor von Neumann algebra. Such algebras always have atoms, which are minimal projection operators in the case of quantum mechanics. However, relativistic quantum field theory and the thermodynamic limit of quantum statistical mechanics make extensive use of von Neumann algebras of more general types. This chapter addresses the question whether interpretations of quantum probability devised in the usual manner continue to apply (...) in the more general setting. Features of non-type I factor von Neumann algebras are cataloged. It is shown that these novel features do not cause the familiar formalism of quantum probability to falter, since Gleason's Theorem and the Lüders Rule can be generalized. However, the features render the problem of the interpretation of quantum probability more intricate. (shrink)

This paper studies connections between two alternatives to the standard probability calculus for representing and reasoning about uncertainty: imprecise probability andcomparative probability. The goal is to identify complete logics for reasoning about uncertainty in a comparative probabilistic language whose semantics is given in terms of imprecise probability. Comparative probability operators are interpreted as quantifying over a set of probability measures. Modal and dynamic operators are added for reasoning about epistemic possibility and updating (...) sets of probability measures. (shrink)

Tversky and Koehler's support theory attempts to explain why probability judgments are affected by the manner in which formally similar events are described. Support theory suggests that as the explicitness of a description increases, an event will be judged to be more likely. In the present experiment, experienced decision-makers from large, international accounting firms were given case-specific information about an audit client and asked to provide a series of judgments regarding the perceived likelihood of events. Unpacking a hypothesis into (...) four formally equivalent hypotheses more than doubled its perceived likelihood. These results are largely consistent with support theory, extending its generalizability to applied contexts involving business professionals. Further, the paper finds that task-specific factors, a previously untested area, can also affect support theory interpretations. (shrink)

Order of information plays a crucial role in the process of updating beliefs across time. In fact, the presence of order effects makes a classical or Bayesian approach to inference difficult. As a result, the existing models of inference, such as the belief-adjustment model, merely provide an ad hoc explanation for these effects. We postulate a quantum inference model for order effects based on the axiomatic principles of quantum probability theory. The quantum inference model explains order effects by transforming (...) a state vector with different sequences of operators for different orderings of information. We demonstrate this process by fitting the quantum model to data collected in a medical diagnostic task and a jury decision-making task. To further test the quantum inference model, a new jury decision-making experiment is developed. Using the results of this experiment, we compare the quantum inference model with two versions of the belief-adjustment model, the adding model and the averaging model. We show that both the quantum model and the adding model provide good fits to the data. To distinguish the quantum model from the adding model, we develop a new experiment involving extreme evidence. The results from this new experiment suggest that the adding model faces limitations when accounting for tasks involving extreme evidence, whereas the quantum inference model does not. Ultimately, we argue that the quantum model provides a more coherent account for order effects that was not possible before. (shrink)

It, is shown that Birkhoff –von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family of fuzzy subsets of S or, equivalently, as a family of propositional functions with arguments ranging over S and belonging to the domain of infinite-valued Łukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Łukasiewicz intersection and (...) union of fuzzy sets in the first case and Łukasiewicz conjunction and disjunction in the second. Relations between old and new operations are studied and it is shown that although they coincide whenever new operations are defined, they are not identical in general. The hypothesis that quantum-logical conjunction and disjunction should be represented by Łukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered. (shrink)

In a quantum universe with a strong arrow of time, it is standard to postulate that the initial wave function started in a particular macrostate---the special low-entropy macrostate selected by the Past Hypothesis. Moreover, there is an additional postulate about statistical mechanical probabilities according to which the initial wave function is a ''typical'' choice in the macrostate. Together, they support a probabilistic version of the Second Law of Thermodynamics: typical initial wave functions will increase in entropy. Hence, there are two (...) sources of randomness in such a universe: the quantum-mechanical probabilities of the Born rule and the statistical mechanical probabilities of the Statistical Postulate. I propose a new way to understand time's arrow in a quantum universe. It is based on what I call the Thermodynamic Theories of Quantum Mechanics. According to this perspective, there is a natural choice for the initial quantum state of the universe, which is given by not a wave function but by a density matrix. The density matrix plays a microscopic role: it appears in the fundamental dynamical equations of those theories. The density matrix also plays a macroscopic / thermodynamic role: it is exactly the projection operator onto the Past Hypothesis subspace. Thus, given an initial subspace, we obtain a unique choice of the initial density matrix. I call this property "the conditional uniqueness" of the initial quantum state. The conditional uniqueness provides a new and general strategy to eliminate statistical mechanical probabilities in the fundamental physical theories, by which we can reduce the two sources of randomness to only the quantum mechanical one. I also explore the idea of an absolutely unique initial quantum state, in a way that might realize Penrose's idea of a strongly deterministic universe. (shrink)

The framework of elementary probabilistic operations (EPO) explains the structure of elementary probabilistic reasoning tasks as well as people’s performance on these tasks. The framework comprises three components: (a) Three types of probabilities: joint, marginal, and conditional probabilities; (b) three elementary probabilistic operations: combination, marginalization, and conditioning, and (c) quantitative inference schemas implementing the EPO. The formal part of the EPO framework is a computational level theory that provides a problem space representation and a classification of elementary probabilistic problems based (...) on computational requirements for solving a problem. According to the EPO framework, current methods for improving probabilistic reasoning are of two kinds: First, reduction of Bayesian problems to a type of probabilistic problems requiring less conceptual and procedural competencies. Second, enhancing people’s utilization competence by fostering the application of quantitative inference schemas. The approach suggests new applications, including the teaching of probabilistic reasoning, using analogical problem solving in probabilistic reasoning, and new methods for analyzing errors in probabilistic problem solving. (shrink)

A non-monotonic theory of probability is put forward and shown to have applicability in the quantum domain. It is obtained simply by replacing Kolmogorov's positivity axiom, which places the lower bound for probabilities at zero, with an axiom that reduces that lower bound to minus one. Kolmogorov's theory of probability is monotonic, meaning that the probability of A is less then or equal to that of B whenever A entails B. The new theory violates monotonicity, as its (...) name suggests; yet, many standard theorems are also theorems of the new theory since Kolmogorov's other axioms are retained. What is of particular interest is that the new theory can accommodate quantum phenomena (photon polarization experiments) while preserving Boolean operations, unlike Kolmogorov's theory. Although non-standard notions of probability have been discussed extensively in the physics literature, they have received very little attention in the philosophical literature. One likely explanation for that difference is that their applicability is typically demonstrated in esoteric settings that involve technical complications. That barrier is effectively removed for non-monotonic probability theory by providing it with a homely setting in the quantum domain. Although the initial steps taken in this paper are quite substantial, there is much else to be done, such as demonstrating the applicability of non-monotonic probability theory to other quantum systems and elaborating the interpretive framework that is provisionally put forward here. Such matters will be developed in other works. (shrink)

Should we understand implicit attitudes on the model of belief? I argue that implicit attitudes are (probably) members of a different psychological kind altogether, because they seem to be insensitive to the logical form of an agent’s thoughts and perceptions. A state is sensitive to logical form only if it is sensitive to the logical constituents of the content of other states (e.g., operators like negation and conditional). I explain sensitivity to logical form and argue that it is a (...) necessary condition for belief. I appeal to two areas of research that seem to show that implicit attitudes fail spectacularly to satisfy this condition—although persistent gaps in the empirical literature leave matters inconclusive. I sketch an alternative account, according to which implicit attitudes are sensitive merely to spatiotemporal relations in thought and perception, i.e., the spatial and temporal orders in which people think, see, or hear things. (shrink)

A source of much difficulty and confusion in the interpretation of quantum mechanics is a naive realism about operators. By this we refer to various ways of taking too seriously the notion of operator-as-observable, and in particular to the all too casual talk about measuring operators that occurs when the subject is quantum mechanics. Without a specification of what should be meant by measuring a quantum observable, such an expression can have no clear meaning. A definite specification is (...) provided by Bohmian mechanics, a theory that emerges from Schrödinger's equation for a system of particles when we merely insist that particles means particles. Bohmian mechanics clarifies the status and the role of operators as observables in quantum mechanics by providing the operational details absent from standard quantum mechanics. It thereby allows us to readily dismiss all the radical claims traditionally enveloping the transition from the classical to the quantum realm — for example, that we must abandon classical logic or classical probability. The moral is rather simple: Beware naive realism, especially about operators! (shrink)

We consider probabilistic theories in which the most elementary system, a two-dimensional system, contains one bit of information. The bit is assumed to be contained in any complete set of mutually complementary measurements. The requirement of invariance of the information under a continuous change of the set of mutually complementary measurements uniquely singles out a measure of information, which is quadratic in probabilities. The assumption which gives the same scaling of the number of degrees of freedom with the dimension as (...) in quantum theory follows essentially from the assumption that all physical states of a higher dimensional system are those and only those from which one can post-select physical states of two-dimensional systems. The requirement that no more than one bit of information (as quantified by the quadratic measure) is contained in all possible post-selected two-dimensional systems is equivalent to the positivity of density operator in quantum theory. (shrink)

The original development of the formalism of quantum mechanics involved the study of isolated quantum systems in pure states. Such systems fail to capture important aspects of the warm, wet, and noisy physical world which can better be modelled by quantum statistical mechanics and local quantum field theory using mixed states of continuous systems. In this context, we need to be able to compute quantum probabilities given only partial information. Specifically, suppose that B is a set of operators. This (...) set need not be a von Neumann algebra. Simple axioms are proposed which allow us to identify a function which can be interpreted as the probability, per unit trial of the information specified by B, of observing the (mixed) state of the world restricted to B to be σ when we are given ρ – the restriction to B of a prior state. This probability generalizes the idea of a mixed state (ρ) as being a sum of terms (σ) weighted by probabilities. The unique function satisfying the axioms can be defined in terms of the relative entropy. The analogous inference problem in classical probability would be a situation where we have some information about the prior distribution, but not enough to determine it uniquely. In such a situation in quantum theory, because only what we observe should be taken to be specified, it is not appropriate to assume the existence of a fixed, definite, unknown prior state, beyond the set B about which we have information. The theory was developed for the purposes of a fairly radical attack on the interpretation of quantum theory, involving many-worlds ideas and the abstract characterization of observers as finite information-processing structures, but deals with quantum inference problems of broad generality. (shrink)

We resolve a useful formulation of the question how a statistician can coherently incorporate the information in a consulted expert’s probability assessment for an event into a personal posterior probability assertion. Using a framework that recognises the total information available as composed of units available only to each of them along with units available to both, we show: that a sufficient statistic for all the information available to both the expert and the statistician is the product of their (...) odds ratios in favour of the event; that the geometric mean of their two probabilities specifies a contour of pairs of assertions in the unit-square that yield the same posterior probability; that the information-combining function is parameterised by an unknown probability for the event conditioned only on the unspecified information common to both the statistician and the expert; and that an assessable mixing distribution over this unspecified probability allows an integrable mixture distribution to represent a computable posterior probability. The exact results allow the identification of the subclass of coherent probabilities that are externally Bayesian operators. This subclass is equivalent to the class of combining functions that honour the principles of uniformity and compromise. (shrink)

Purpose: Yerkish is an artificial language created in 1971 for the specific purpose of exploring the linguistic potential of nonhuman primates. The aim of this paper is to remind the research community of some important issues and concepts related to Yerkish that seem to have been forgotten or appear to be distorted. These are, particularly, its success, its promising aspects for future research and last but not least that it was Ernst von Glasersfeld who invented Yerkish: he coined the term (...) “lexigrams,” created the first 120 of them and designed the grammar that regulated their combination. Design: The first part of this paper begins with a short outline of the context in which the Yerkish language originated: the original LANA project. It continues by presenting the language itself in more detail: first, its design, focusing on its “lexigrams” and its “correlational” grammar, and then its use by the chimpanzee Lana in formulating sentences. The second part gives a brief introduction to the foundation of Yerkish in Silvio Ceccato’s Operational Methodology, particularly his idea of the correlational structure of thought and concludes with the main insights that can be derived from the Yerkish experiment seen in the light of Operational Methodology. Findings: Lana’s success in language learning and the success of Yerkish during the past decades are probably due to the characteristics of Yerkish, particularly its foundation in operational methodology. The operation of correlation could be what constitutes thinking in a chimpanzee and an attentional system could be what delivers the mental content that correlation assembles into triads and networks. Research implications: Since no other assessment or explanation of Lana’s performances has considered these foundational issues, a new research project or program should validate the above-mentioned hypotheses, particularly the correlational structure of chimpanzee thinking. (shrink)

The theoretical construction and practical use of prior probabilities, in particular for systems having many degrees of freedom, are investigated. It becomes clear that it is operationally unsound to use mutually consistent priors if one wishes to draw sensible conclusions from practical experiments. The prior cannot usefully be identified with a state of knowledge, and indeed it is not so identified in common scientific practice. Rather, it can be identified with the question one asks. Accordingly, priors are free constructions. Their (...) informal, ill-defined and subjective characteristics must carry over into the conclusions one chooses to draw from experiments or observations. (shrink)

Ambiguity affects decisions of people who exhibit a distaste of and require a premium for dealing with it. Do ambiguity-neutral subjects completely disregard ambiguity and react to any vague news? Online vending platforms often attempt to affect buyer’s decisions by messages like “20 people are looking at this item right now” or “The average score based on 567 reviews is 7.9/10”. We augment the two-color Ellsberg experiment with similarly worded signals about the unknown probability of success. All decision-makers, including (...) ambiguity-neutral, recognize and account for ambiguity; ambiguity-neutral subjects are less likely to respond to vague signals. The difference between decisions of ambiguity-neutral and non-neutral subjects vanishes for high precision signals; still less than 60% subjects choose the ambiguous urn, even for high communicated probabilities of success. We conjecture participants may discard information, if they see no contradiction between it and their prior beliefs, hence the latter are not updated. Higher confidence makes subjects more likely to discard the news, and empirically ambiguity-neutral subjects appear more confident than those ambiguity-averse. (shrink)

In his entry on "Quantum Logic and Probability Theory" in the Stanford Encyclopedia of Philosophy, Alexander Wilce (2012) writes that "it is uncontroversial (though remarkable) the formal apparatus quantum mechanics reduces neatly to a generalization of classical probability in which the role played by a Boolean algebra of events in the latter is taken over the 'quantum logic' of projection operators on a Hilbert space." For a long time, Patrick Suppes has opposed this view (see, for example, (...) the paper collected in Suppes and Zanotti (1996). Instead of changing the logic and moving from a Boolean algebra to a non-Boolean algebra, one can also 'save the phenomena' by weakening the axioms of probability theory and work instead with upper and lower probabilities. However, it is fair to say that despite Suppes' efforts upper and lower probabilities are not particularly popular in physics as well as in the foundations of physics, at least so far. Instead, quantum logic is booming again, especially since quantum information and computation became hot topics. Interestingly, however, imprecise probabilities are becoming more and more popular in formal epistemology as recent work by authors such as James Joye (2010) and Roger White (2010) demonstrates. (shrink)

We demonstrate in this paper that the probabilities for sequential measurements have features very different from those of single-time measurements. First, they cannot be modelled by a classical stochastic process. Second, they are contextual, namely they depend strongly on the specific measurement scheme through which they are determined. We construct Positive-Operator-Valued measures (POVM) that provide such probabilities. For observables with continuous spectrum, the constructed POVMs depend strongly on the resolution of the measurement device, a conclusion that persists even if we (...) consider a quantum mechanical measurement device or the presence of an environment. We then examine the same issues in alternative interpretations of quantum theory. We first show that multi-time probabilities cannot be naturally defined in terms of a frequency operator. We next prove that local hidden variable theories cannot reproduce the predictions of quantum theory for sequential measurements, even when the degrees of freedom of the measuring apparatus are taken into account. Bohmian mechanics, however, does not fall in this category. We finally examine an alternative proposal that sequential measurements can be modeled by a process that does not satisfy the Kolmogorov axioms of probability. This removes contextuality without introducing non-locality, but implies that the empirical probabilities cannot be always defined (the event frequencies do not converge). We argue that the predictions of this hypothesis are not ruled out by existing experimental results (examining in particular the “which way” experiments); they are, however, distinguishable in principle. (shrink)