In this work, we focus on the philosophical aspects and technical challenges that underlie the axiomatization of the non-Kolmogorovian probability framework, in connection with the problem of quantum contextuality. This fundamental feature of quantum theory has received a lot of attention recently, given that it might be connected to the speed-up of quantum computers—a phenomenon that is not fully understood. Although this problem has been extensively studied in the physics community, there are still many philosophical questions that (...) should be properly formulated. We analyzed different problems from a conceptual standpoint using the non-Kolmogorovian probability approach as a technical tool. (shrink)

In this short survey article, I discuss Bell’s theorem and some strategies that attempt to avoid the conclusion of non-locality. I focus on two that intersect with the philosophy of probability: (1) quantum probabilities and (2) superdeterminism. The issues they raised not only apply to a wide class of no-go theorems about quantum mechanics but are also of general philosophical interest.

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)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability (...) calculus. The previous attempts all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

My dissertation is about Bayesian rationality for non-ideal agents. I show how to derive subjective probabilities from preferences using much weaker rationality assumptions than other standard representation theorems. I argue that non-ideal agents might be uncertain about how they will update on new information and consider two consequences of this uncertainty: such agents should sometimes reject free information and make choices which, taken together, yield sure loss. The upshot is that Bayesian rationality for non-ideal agents makes very different normative demands (...) than ideal Bayesian rationality. (shrink)

We will flip a fair coin infinitely many times. Al calls the first flip, claiming it will land heads. Betty calls every odd numbered flip, claiming they will all land heads. Carl calls every flip bar none, claiming they will all land heads. Pre-theoretically, it seems that Al's claim is infinitely more likely than Betty's, and that Betty's claim is infinitely more likely than Carl's. But standard, real-valued probability theory says that, while Al's claim is infinitely more likely (...) than Betty's, Betty's claim is exactly as likely as Carl's. I use John Conway's surreal numbers to capture these pre-theoretic judgements about the relative probabilities of Al's, Betty's, and Carl's claims. Surreal-valued probabilities also allow us to calculate precise numerical values for those claims. For instance, we will see that Betty's claim has a probability equal to the reciprocal of the product of the square root of cardinality of the continuum and the fourth root of 2. The article provides a 'user's guide' to surreal-valued probabilities and raises questions for further research. (shrink)

We study the origin of quantum probabilities as arising from non-Boolean propositional-operational structures. We apply the method developed by Cox to non distributive lattices and develop an alternative formulation of non-Kolmogorovian probability measures for quantum mechanics. By generalizing the method presented in previous works, we outline a general framework for the deduction of probabilities in general propositional structures represented by lattices (including the non-distributive case).

The classical theory of probability has long been abandoned and is seen by most philosophers as a non-contender—a mere precursor to newer and better theories. In this paper I argue that this is a mistake. The main reasons for its rejection—all related to the notorious principle of indifference—are that it is circular, of limited applicability, inconsistent, and dependent upon unjustified empirical assumptions. I argue that none of these claims is true and that the classical theory remains to (...) be refuted. (shrink)

We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions relative to that logic, coinciding with the standard probability functions in the special case of classical logic but allowing consideration of other classes of "essentially Kolmogorovian" probability functions relative to other logics. We take a broad view of the Bayesian approach as dictating inter alia that from the perspective of a given logic, rational degrees (...) of belief are those representable by probability functions from the class appropriate to that logic. Classical Bayesianism, which fixes the logic as classical logic, is only one version of this general approach. Another, which we call Intuitionistic Bayesianism, selects intuitionistic logic as the preferred logic and the associated class of probability functions as the right class of candidate representions of epistemic states (rational allocations of degrees of belief). Various objections to classical Bayesianism are, we argue, best met by passing to intuitionistic Bayesianism—in which the probability functions are taken relative to intuitionistic logic—rather than by adopting a radically non-Kolmogorovian, for example, nonadditive, conception of (or substitute for) probability functions, in spite of the popularity of the latter response among those who have raised these objections. The interest of intuitionistic Bayesianism is further enhanced by the availability of a Dutch Book argument justifying the selection of intuitionistic probability functions as guides to rational betting behavior when due consideration is paid to the fact that bets are settled only when/if the outcome bet on becomes known. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (...) (or objective Bayesianism or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to (...) the introduction of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

Most of us are either philosophically naïve scientists or scientifically naïve philosophers, so we misjudged Schrödinger’s “very burlesque” portrait of Quantum Theory (QT) as a profound conundrum. The clear signs of a strawman argument were ignored. The Ontic Probability Interpretation (TOPI) is a metatheory: a theory about the meaning of QT. Ironically, equating Reality with Actuality cannot explain actual data, justifying the century-long philosophical struggle. The actual is real but not everything real is actual. The ontic character (...) of the Probable has been elusive for so long because it cannot be grasped directly from experiment; it can only be inferred from physical setups that do not morph it into the Actual. In this Part III, Born’s Rule and the quantum formalism for the microworld are intuitively surmised from instances in our macroworld. The posited reality of the quanton’s probable states and properties is probed and proved. After almost a century, TOPI aims at setting the record straight: the so-called ‘Basis’ and ‘Measurement’ problems are ill-advised. About the first, all bases are legitimate regardless of state and milieu. As for the second, its premise is false: there is no need for a physical ‘collapse’ process that would convert many states into a single state. Under TOPI, a more sensible variant of the ‘measurement problem’ can be reformulated in non-anthropic terms as a real problem. Yet, as such, it is not part of QT per se and will be tackled in future papers. As for the mythical cat, the ontic state of a radioactive nucleus is not pure, so its evolution is not governed by Schrödinger’s equation – let alone the rest of his “hellish machine”. Einstein was right: “The Lord is subtle but not malicious”. However, ‘The Lord’ turned out to be much subtler than what Einstein and Schrödinger could have ever accepted. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [1]. (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)

Many epistemologists hold that an agent can come to justifiably believe that p is true by seeing that it appears that p is true, without having any antecedent reason to believe that visual impressions are generally reliable. Certain reliabilists think this, at least if the agent’s vision is generally reliable. And it is a central tenet of dogmatism (as described by James Pryor) that this is possible. Against these positions it has been argued (e.g. by Stewart Cohen and Roger White) (...) that this violates some principles from probabilistic learning theory. To see the problem, let’s note what the dogmatist thinks we can learn by paying attention to how things appear. (The reliabilist says the same things, but we’ll focus on the dogmatist.). (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)

After identifying in Part I [1] a conceptual confusion (TCC), a Reality preconception (TRP1), and a fallacious dichotomy (TFD), the famous EPR/EPRB [2] [3] [4] [5] [6] argument for correlated ‘particles’ is now studied in the light of the Ontic Probability Interpretation of Quantum Theory (QT/TOPI). Another Reality preconception (TRP2) is found, showing that EPR used and ignored QT predictions in a single paralogism. Employing TFD and TRP2, EPR unveiled a contradiction veiled in its premises. By removing nonlocality (...) from QT’s Ontology [1] by fiat, EPR preordained its incompleteness. The Petitio Principii fallacy was at work from the outset. Einstein surmised the proper solution to his incompleteness/nonlocality dilemma in 1949 [7], but never abandoned his philosophical stance [8]. It is concluded that there are no definitions of Reality: we have to accept that Reality may not conform to our prejudices and, if an otherwise successful theory predicts what we do not believe in, no gedankenexperiment will help because our biases may slither through. Only actual experiments could assist in solving Einstein’s dilemma, as has been proven in the last 50 years. Notwithstanding, EPR is one of the most influential papers in history and has immensely sparked both conceptual and technological progress. Part III of this series further develops QT/TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [9]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [10]. (shrink)

It can often seem like the attitude we hold towards a conditional should be our attitude in the consequent on the supposition of the antecedent. Following by Williamson (Suppose and Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020), we call this The suppositional rule (SR). The Adams-style non-propositional theories of indicatives upholds some key implications of SR, allowing, for instance, our credence in a conditional to be the probability of the consequent given the antecedent. Williamson (Suppose (...) and Tell: The Semantics and Heuristics of Conditionals. Oxford University Press, 2020) has recently provided a series of inconsistency arguments against SR. He thereby intends to undermine non-propositional views as well as other rivals to his favoured material conditional account. I outline a strategy which theorists of all stripes can employ to avoid Williamson’s arguments. I then show how non-propositionalists can implement this strategy. I show how they can uphold SR when it is intuitively compelling, whilst allowing it to fail when it is not. (shrink)

We begin by showing that every theory of the value of uncertain prospects must have one of three unpalatable properties. _Reckless_ theories recommend giving up a sure thing, no matter how good, for an arbitrarily tiny chance of enormous gain; _timid_ theories permit passing up an arbitrarily large potential gain to prevent a tiny increase in risk; _non-transitive_ theories deny the principle that, if A is better than B and B is better than C, then A must be better (...) than C. Having set up this trilemma, we study its horns. Non-transitivity has been much discussed; we focus on drawing out the costs and benefits of recklessness and timidity when it comes to axiology, decision theory, and normative uncertainty. (shrink)

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines (...) the various options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

Neutrosophy considers a proposition, theory, event, concept, or entity, "A" in relation to its opposite, "Anti A" and that which is not A, "Non-A", and that which is neither "A" nor "Anti-A", denoted by "Neut-A". Neutrosophy is the basis of neutrosophic logic, neutrosophic probability, neutrosophic set, and neutrosophic statistics.

In situations where we ignore everything but the space of possibilities, we ought to suspend judgment—that is, remain agnostic—about which of these possibilities is the case. This means that we cannot sum our degrees of belief in different possibilities, something that has been formalized as an axiom of non-additivity. Consistent with this way of representing our ignorance, I defend a doxastic norm that recommends that we should nevertheless follow a certain additivity of possibilities: even if we cannot sum degrees of (...) belief in different possibilities, we should be more confident in larger groups of possibilities. It is thus shown that, in the type of situation considered (in so-called ‘classical ignorance’, i.e. “behind a thin veil of ignorance”), it is epistemically rational for advocates of suspending judgment to endorse this comparative confidence; while on the other hand it is shown that, even in classical ignorance, no stronger belief—such as a precise uniform probability distribution—is warranted. (shrink)

I set up two axiomatic theories of inductive support within the framework of Kolmogorovian probability theory. I call these theories ‘Popperian theories of inductive support’ because I think that their specific axioms express the core meaning of the word ‘inductive support’ as used by Popper (and, presumably, by many others, including some inductivists). As is to be expected from Popperian theories of inductive support, the main theorem of each of them is an anti-induction theorem, the stronger one (...) of them saying, in fact, that the relation of inductive support is identical with the empty relation. It seems to me that an axiomatic treatment of the idea(s) of inductive support within orthodox probability theory could be worthwhile for at least three reasons. Firstly, an axiomatic treatment demands from the builder of a theory of inductive support to state clearly in the form of specific axioms what he means by ‘inductive support’. Perhaps the discussion of the new anti-induction proofs of Karl Popper and David Miller would have been more fruitful if they had given an explicit definition of what inductive support is or should be. Secondly, an axiomatic treatment of the idea(s) of inductive support within Kolmogorovian probability theory might be accommodating to those philosophers who do not completely trust Popperian probability theory for having theorems which orthodox Kolmogorovian probability theory lacks; a transparent derivation of anti-induction theorems within a Kolmogorovian frame might bring additional persuasive power to the original anti-induction proofs of Popper and Miller, developed within the framework of Popperian probability theory. Thirdly, one of the main advantages of the axiomatic method is that it facilitates criticism of its products: the axiomatic theories. On the one hand, it is much easier than usual to check whether those statements which have been distinguished as theorems really are theorems of the theory under examination. On the other hand, after we have convinced ourselves that these statements are indeed theorems, we can take a critical look at the axioms—especially if we have a negative attitude towards one of the theorems. Since anti-induction theorems are not popular at all, the adequacy of some of the axioms they are derived from will certainly be doubted. If doubt should lead to a search for alternative axioms, sheer negative attitudes might develop into constructive criticism and even lead to new discoveries. -/- I proceed as follows. In section 1, I start with a small but sufficiently strong axiomatic theory of deductive dependence, closely following Popper and Miller (1987). In section 2, I extend that starting theory to an elementary Kolmogorovian theory of unconditional probability, which I extend, in section 3, to an elementary Kolmogorovian theory of conditional probability, which in its turn gets extended, in section 4, to a standard theory of probabilistic dependence, which also gets extended, in section 5, to a standard theory of probabilistic support, the main theorem of which will be a theorem about the incompatibility of probabilistic support and deductive independence. In section 6, I extend the theory of probabilistic support to a weak Popperian theory of inductive support, which I extend, in section 7, to a strong Popperian theory of inductive support. In section 8, I reconsider Popper's anti-inductivist theses in the light of the anti-induction theorems. I conclude the paper with a short discussion of possible objections to our anti-induction theorems, paying special attention to the topic of deductive relevance, which has so far been neglected in the discussion of the anti-induction proofs of Popper and Miller. (shrink)

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are (...) half true, or whatever—then it’s far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (shrink)

In my essay I consider the imaginary case of a future mother who refuses to undergo genetic alteration on her germline although she knows that her, as yet unconceived, child will have a serious genetic disorder. I analyze the good and bad points of two branches of arguments directed against her decision, consequentialist and rights-based. Then I discuss whether accepting one line of these arguments or the other makes a difference in moral assessment. I conclude that, although from the preanalytical (...) perspective we strongly oppose the refusal of genetic treatment in my imaginary case, it is probably impossible to construct one coherent theory which embraces all possible moral dilemmas triggered by our actions which affect the number and the identity of future people. (shrink)

In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation that (...) satisfies certain arguably acceptable postulates determines a (finitely additive) probability distribution over the states and a utility assignment to the consequences, such that the preferences among acts are determined by their expected utilities. Additional problematic assumptions are however required in Savage's proofs. First, there is a Boolean algebra of events (sets of states) which determines the richness of the set of acts. The probabilities are assigned to members of this algebra. Savage's proof requires that this be a σ-algebra (i.e., closed under infinite countable unions and intersections), which makes for an extremely rich preference relation. On Savage's view we should not require subjective probabilities to be σ-additive. He therefore finds the insistence on a σ-algebra peculiar and is unhappy with it. But he sees no way of avoiding it. Second, the assignment of utilities requires the constant act assumption: for every consequence there is a constant act, which produces that consequence in every state. This assumption is known to be highly counterintuitive. The present work contains two mathematical results. The first, and the more difficult one, shows that the σ-algebra assumption can be dropped. The second states that, as long as utilities are assigned to finite gambles only, the constant act assumption can be replaced by the more plausible and much weaker assumption that there are at least two non-equivalent constant acts. The second result also employs a novel way of deriving utilities in Savage-style systems -- without appealing to von Neumann-Morgenstern lotteries. The paper discusses the notion of “idealized agent" that underlies Savage's approach, and argues that the simplified system, which is adequate for all the actual purposes for which the system is designed, involves a more realistic notion of an idealized agent. (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience (...) within a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (shrink)

The question of the rationality of conspiratorial belief ¬divides philosophers into mainly two camps. The particularists believe that each conspiracy theory ought to be examined on its own merits. The generalist, by contrast, argues that there is something inherently suspect about conspiracy theories that makes belief in them irrational. Recent empirical findings indicate that conspiratorial thinking is commonplace among ordinary people, which has naturally shifted attention to the particularists. Yet, even the particularist must agree that not all conspiracy belief (...) is rational, in which case she must explain what separates rational from non-rational conspiratorial thinking. In this paper, I contrast three strategies to this end: 1) the probabilistic objectivist, who assesses the objective probability of conspiracies; 2) the subjectivist, who rather focuses on the perspective of the believer, and typically views the decision to believe in a conspiracy as a problem of decision making under risk. Approaches 1) and 2) rely on assessments of the probability of conspiracy which, I argue, limits their applicability. Instead, I explore 3) viewing the problem facing the potential believer as a decision problem under uncertainty about probabilities. I argue, furthermore, that focusing solely on epistemic utilities fails to do justice to the particular character of conspiracy beliefs, which are not exclusively epistemically motivated, and I investigate the rationality of such beliefs under a number of standard decision rules. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

In this paper, I argue that causal theories of memory are typically committed to two independent, non-mutually entailing theses. The first thesis pertains to the necessity of appropriate causation in memory, specifying a condition token memories need to satisfy. The second pertains to the explanation of memory reliability in causal terms and it concerns memory as a type of mental state. Post-causal theories of memory can reject only the first (weak post-causalism) or both (strong post-causalism) theses. Upon this backdrop, I (...) examine Werning’s (2020) causalist argument from probabilistic correlation. I argue that it doesn’t establish the necessity of appropriate causation and thus it can only target strong post-causalist theories. I end up by presenting some general considerations, suggesting that memories may not always be causally linked to past experiences. (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

Non-Consequentialist moral theories posit the existence of moral constraints: prohibitions on performing particular kinds of wrongful acts, regardless of the good those acts could produce. Many believe that such theories cannot give satisfactory verdicts about what we morally ought to do when there is some probability that we will violate a moral constraint. In this article, I defend Non-Consequentialist theories from this critique. Using a general choice-theoretic framework, I identify various types of Non-Consequentialism that have otherwise been conflated in (...) the debate. I then prove a number of formal possibility and impossibility results establishing which types of Non-Consequentialism can -- and which cannot -- give us adequate guidance through through a risky world. (shrink)

Theory unification is a central aim of scientific investigation. In this paper, I lay down the sketch of a Bayesian analysis of the virtue of unification that entails that the unification of a theory has direct implications for the confirmation of the theory’s logical consequences and for its prior probability. This shows that scientists do have epistemic, and not just pragmatic, reasons to prefer unified theories to non-unified ones.

The purpose of this paper is not to show that the answer to the question in the title is ‘no’, but to show that it is ‘probably not’, at least on one particular theory of memory. Assuming that an experience will only be an episodic memory if we are ‘disposed to take the relevant experience into account when judging about the past’ (Debus 2010, p. 25), there are many obstacles to answering the question in the affirmative. If one holds (...) that it is possible to have episodic memories during dreams, they will have to accept more implications than may be palatable. Specifically, they will have to believe, contra Sosa (2007), that we can actually make judgments during dreams and not just imagine doing so; that we retain a fairly high degree of rationality during dreams; and that there is a respectable sense in which we can refer to the past at all when we dream. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act (...) as if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

It is a core feature of the conception of freedom as non-domination that freedom requires the absence of exposure to arbitrary power across a range of relevant possible worlds. While this modal robustness is critical to the analysis of paradigm cases of unfreedom such as slavery, critics such as Gerald Gaus have argued that it leads to absurd conclusions, with barely-felt constraints appearing as sources of unfreedom. I aim to clarify the demands of the modal robustness requirement, and offer a (...) reinterpretation of its place in the conceptual framework of freedom as non-domination. I illustrate this point through a discussion of low-probability threats of interference which are central to Gaus’s critique, which I term ‘distant threats’. I argue that those committed to robust conceptions of freedom should still be concerned by these kinds of threats, which will sometimes constitute genuine sources of unfreedom. But rather than leading to absurd conclusions, we should instead view them as diagnostic of deficiencies within existing regimes of non-domination. The challenge posed by distant threats of domination to the republican conception of freedom does not prove it implausible, but illustrates some of its most important insights about the social and economic conditions of free status, and the fragility of that freedom. (shrink)

Purpose – The internet creates ample opportunities to start a mobile social commerce business. The literature confirms the issue of customer trust for social commerce businesses is a challenge that must be addressed. Hence, this study aims to examine the antecedents of trust in mobile social commerce by applying linear and non-linear relationships based on partial least squares structural equation modeling and an artificial neural network model. -/- Design/methodology/approach – This study applied a non-linear artificial neural network approach to provide (...) a further understanding of the determinants of trust in mobile social commerce based on a non-linear and non-compensatory model. Besides, a questionnaire was distributed to 340 social commerce customers in Malaysia. -/- Findings – The conceptual framework for investigating trust in mobile social commerce has various advantages and contributions to predicting consumer behaviour. The results of the study showed there is a positive and significant relationship between social support, presence and unified theory of acceptance and use of technology2 (UTAUT2). In addition, UTAUT2 has fully mediated the relationship between social support, presence and trust in social commerce. Finally, the results concluded the relationship between UTAUT2 and trust in social commerce would be stronger when the diffusion of innovation and innovation resistance is high and low, respectively. -/- Research limitations/implications – The current study provides a novel perspective on how customers can trust social m-commerce to provide real solutions to managers of encouraging e-marketing among consumers. -/- Practical implications – This paper shows how businesses can develop trust in social m-commerce in Malaysian markets. The findings of this study probably could be extended to other businesses in Asia or other countries. Because trust in social e-commerce has a dynamic role in consumer behaviour and intention to purchase. -/- Originality/value – This study provided a new perspective on mobile social commerce and paid more attention to an investigation of such emerging commerce. The originality of this study is embodied by investigating an integrated model that included different theories that presented new directions of trust in mobile social commerce through social and behavioural determinants. (shrink)

What does it feel like to be a bat? Is conscious experience of echolocation closer to that of vision or audition? Or do bats process echolocation nonconsciously, such that they do not feel anything about echolocation? This famous question of bats' experience, posed by a philosopher Thomas Nagel in 1974, clarifies the difficult nature of the mind–body problem. Why a particular sense, such as vision, has to feel like vision, but not like audition, is totally puzzling. This is especially so (...) given that any conscious experience is supported by neuronal activity. Activity of a single neuron appears fairly uniform across modalities and even similar to those for non-conscious processing. Without any explanation on why a particular sense has to feel the way it does, researchers cannot approach the question of the bats' experience. Is there any theory that gives us a hope for such explanation? Currently, probably none, except for one. Integrated information theory has potential to offer a plausible explanation. IIT essentially claims that any system that is composed of causally interacting mechanisms can have conscious experience. And precisely how the system feels is determined by the way the mechanisms influence each other in a holistic way. In this article, I will give a brief explanation of the essence of IIT. Further, I will briefly provide a potential scientific pathway to approach bats' conscious experience and its philosophical implications. If IIT, or its improved or related versions, is validated enough, the theory will gain credibility. When it matures enough, predictions from the theory, including nature of bats' experience, will have to be accepted. I argue that a seemingly impossible question about bats' consciousness will drive empirical and theoretical consciousness research to make big breakthroughs, in a similar way as an impossible question about the age of the universe has driven modern cosmology. (shrink)

A non-relativistic quantum mechanical theory is proposed that describes the universe as a continuum of worlds whose mutual interference gives rise to quantum phenomena. A logical framework is introduced to properly deal with propositions about objects in a multiplicity of worlds. In this logical framework, the continuum of worlds is treated in analogy to the continuum of time points; both “time” and “world” are considered as mutually independent modes of existence. The theory combines elements of Bohmian mechanics and (...) of Everett’s many-worlds interpretation; it has a clear ontology and a set of precisely defined postulates from where the predictions of standard quantum mechanics can be derived. Probability as given by the Born rule emerges as a consequence of insufficient knowledge of observers about which world it is that they live in. The theory describes a continuum of worlds rather than a single world or a discrete set of worlds, so it is similar in spirit to many-worlds interpretations based on Everett’s approach, without being actually reducible to these. In particular, there is no splitting of worlds, which is a typical feature of Everett-type theories. Altogether, the theory explains (1) the subjective occurrence of probabilities, (2) their quantitative value as given by the Born rule, and (3) the apparently random “collapse of the wavefunction” caused by the measurement, while still being an objectively deterministic theory. (shrink)

In standard probability theory, probability zero is not the same as impossibility. But many have suggested that only impossible events should have probability zero. This can be arranged if we allow infinitesimal probabilities, but infinitesimals do not solve all of the problems. We will see that regular probabilities are not invariant over rigid transformations, even for simple, bounded, countable, constructive, and disjoint sets. Hence, regular chances cannot be determined by space-time invariant physical laws, and regular credences (...) cannot satisfy seemingly reasonable symmetry principles. Moreover, the examples here are immune to the objections against Williamson’s infinite coin flips. (shrink)

It is difficult to extract reliable criteria for causal locality from the limited ingredients found in textbook quantum theory. In the end, Bell humbly warned that his eponymous theorem was based on criteria that “should be viewed with the utmost suspicion.” Remarkably, by stepping outside the wave-function paradigm, one can reformulate quantum theory in terms of old-fashioned configuration spaces together with ‘unistochastic’ laws. These unistochastic laws take the form of directed conditional probabilities, which turn out to provide a (...) hospitable foundation for encoding microphysical causal relationships. This unistochastic reformulation provides quantum theory with a simpler and more transparent axiomatic foundation, plausibly resolves the measurement problem, and deflates various exotic claims about superposition, interference, and entanglement. Making use of this reformulation, this paper introduces a new principle of causal locality that is intended to improve on Bell's criteria, and shows directly that systems that remain at spacelike separation cannot exert causal influences on each other, according to that new principle. These results therefore lead to a general hidden-variables interpretation of quantum theory that is arguably compatible with causal locality. (shrink)

There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability (...) class='Hi'>theory provide appropriate rationality norms for uncertain conditionals. I advocate coherence based probability logic as an appropriate framework for investigating uncertain conditionals. Detailed proofs of the probabilistic non-informativeness of a paradox of the material conditional illustrate the approach from a formal point of view. I survey selected data on human reasoning about uncertain conditionals which additionally support the plausibility of the approach from an empirical point of view. (shrink)

In this paper, I show how realist moral naturalists can provide an intra-theoretic explanation of the epistemic possibility of wholesale moral error. This is a requirement on metaethical theories that has been recently defended by Akhlaghi (2021). After clarifying Akhlaghi’s argument and responding to Evers’s (2021) recent rebuttal, I argue that even under the assumption that moral facts are grounded in an appropriate subset of natural facts (N-facts), there is still a non-zero probability of wholesale moral error. This is (...) demonstrated by considering three types of epistemically possible scenarios: specifically, it could either be that N-facts do not actually exist, or that N-facts exist in a way that entails wholesale moral error, or that N-facts exist in a non-error theoretic way, but their existence is temporally restricted. (shrink)

I address the question, ‘Should a retributivist support an entrapment defense and if so, under what circumstances?’, by considering the culpability of entrapped defendants. An entrapment defense is invoked by defendants who claim they violated the law because they were enticed to crime by the police and would not otherwise have committed the crime. There are different rationales for the defense: people who are normally law abiding, and who are not predisposed to commit crimes, do not commit crimes merely when (...) the opportunity is presented, without further coaxing—only criminals do—and so spending resources to entice and then punish such “false criminals” is wasteful from a utilitarian perspective. Several theorists assume retributivists must oppose the defense: entrapped defendants have broken the law and, according to one version of retributivism (Mabbott), this itself might warrant punishment; they are still culpable although they were enticed, because succumbing to temptation is no defense—there is no ‘private entrapment defense’; and to not punish the non-predisposed who are enticed to crime by government, while punishing those who are predisposed, is wrongly to assert that a person’s culpability hinges on their predisposition and wrongly to punish someone not for their present conduct but for their character or past actions. I explore some reasons why a retributivist can support an entrapment defense. First, entrapped defendants may be less culpable than the privately enticed insofar as they do not cause harm. As police control the situation, no actual harm is caused, and whether one actually causes harm may bear on one’s culpability; and if one’s predisposition was weak and required substantial police coaxing to be triggered, we might say that the police action and not the defendant caused the crime in the relevant sense. Second, applying Robert Nozick’s account of coercion in a novel way, I consider the argument that entrapped defendants may be less culpable insofar as their action was not fully voluntary, in that unlike in private enticement cases, they necessarily underestimate the probability of being caught before making their choice. (shrink)

A new philosophical analysis is provided of the notorious Sleeping Beauty Problem. It is argued that the correct solution is one-third, but not in the way previous philosophers have typically meant this. A modified version of the Problem demonstrates that neither self-locating information nor amnesia is relevant to the core Problem, which is simply to evaluate the conditional chance of heads given an undated Monday-or-Tuesday awakening. Previous commentators have failed to appreciate the significance of the information that Beauty gains upon (...) waking, and which is relevant to the conditional chance of heads: de re acquaintance with the awakening itself and the non-locating knowledge that it is an experimental awakening. David Lewis and company are committed to several unjustifiable and unacceptable probability assessments. Previous commentators have in effect confused the information that Beauty undergoes this particular experimental awakening for the information that she undergoes some experimental awakening or other. Lewis in particular thereby illegitimately tips the scales both in favor of heads and in favor of Monday. The Sleeping Beauty Problem is equivalent to a ball-in-urn word problem in elementary probability theory. (shrink)

Traditional computers work with finite numbers. Situations where the usage of infinite or infinitesimal quantities is required are studied mainly theoretically. In this paper, a recently introduced computational methodology (that is not related to the non-standard analysis) is used to work with finite, infinite, and infinitesimal numbers numerically. This can be done on a new kind of a computer – the Infinity Computer – able to work with all these types of numbers. The new computational tools both give possibilities to (...) execute computations of a new type and open new horizons for creating new mathematical models where a computational usage of infinite and/or infinitesimal numbers can be useful. A number of numerical examples showing the potential of the new approach and dealing with divergent series, limits, probability theory, linear algebra, and calculation of volumes of objects consisting of parts of different dimensions are given. (shrink)

Many theories of rational action are predicated on the idea that what it is rational to do in a given situation depends, in part, on what it is rational to believe in that situation. In short: they treat epistemic rationality as explanatorily prior to practical rationality. If they are right in doing so, it follows, on pain of explanatory circularity, that epistemic rationality cannot itself be a form of practical rationality. Yet, many epistemologists have defended just such a view of (...) epistemic rationality. According to them, there is no such thing as a distinctively epistemic form of rationality which could be explanatorily prior to practical rationality. Rather, they maintain, there is just one form of rationality—practical rationality—of which epistemic rationality is a species. What to make of this conflict? The aim of this paper is to motivate a view about the relationship between epistemic and practical rationality which resolves the conflict in a way that should be attractive to both sides. The central idea is to ground both epistemic and practical rationality in an independently motivated notion of evidential probability which is itself to be understood in non-normative terms. Doing so, I argue, allows us to unify epistemic and practical rationality in a way that does justice to the idea that what it is rational to do depends, in part, on what it is rational to believe; and to do so in a way that avoids explanatory circularity. (shrink)

Epistemic closure under known implication is the principle that knowledge of "p" and knowledge of "p implies q", together, imply knowledge of "q". This principle is intuitive, yet several putative counterexamples have been formulated against it. This paper addresses the question, why is epistemic closure both intuitive and prone to counterexamples? In particular, the paper examines whether probability theory can offer an answer to this question based on four strategies. The first probability-based strategy rests on the accumulation (...) of risks. The problem with this strategy is that risk accumulation cannot accommodate certain counterexamples to epistemic closure. The second strategy is based on the idea of evidential support, that is, a piece of evidence supports a proposition whenever it increases the probability of the proposition. This strategy makes progress and can accommodate certain putative counterexamples to closure. However, this strategy also gives rise to a number of counterintuitive results. Finally, there are two broadly probabilistic strategies, one based on the idea of resilient probability and the other on the idea of assumptions that are taken for granted. These strategies are promising but are prone to some of the shortcomings of the second strategy. All in all, I conclude that each strategy fails. Probability theory, then, is unlikely to offer the account we need. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

This chapter focuses on the relations between objective probabilities in physical theories at different levels. In general philosophy of probability, it is frequently assumed that a fundamental deterministic theory cannot support probabilistic phenomena at any higher level, or more generally that there cannot be non-trivial probabilities in higher-level theories that are not encoded in probabilities at the lower level. These assumptions face significant challenges from some well-understood physical theories – I focus on statistical mechanics and Bohmian mechanics – (...) where a deterministic description at some lower level gives rise to an effectively probabilistic theory at some higher level; in each case, constraints arising from an objective physical limitation on the acquisition of evidence concerning the lower level plays a crucial role in supporting the higher-level probabilities. (shrink)

A probability aggregation rule assigns to each profile of probability functions across a group of individuals (representing their individual probability assignments to some propositions) a collective probability function (representing the group's probability assignment). The rule is “non-manipulable” if no group member can manipulate the collective probability for any proposition in the direction of his or her own probability by misrepresenting his or her probability function (“strategic voting”). We show that, except in trivial (...) cases, no probability aggregation rule satisfying two mild conditions (non-dictatorship and consensus preservation) is non-manipulable. (shrink)