According to Probability 1 Infallibilism (henceforth, Infallibilism), if one knows that p, then the probability of p given one’s evidence is 1. Jessica Brown (2018, 2013) has recently argued that Infallibilism leads to scepticism unless the infallibilist also endorses the claim that if one knows that p, then p is part of one’s evidence for p. By doing that, however, the infalliblist has to explain why it is infelicitous to cite p as evidence for itself. (...) And yet, the infallibilist doesn’t seem to have a satisfying explanation available. Call this the Infelicity Challenge for Probability 1 Infallibilism. By exploiting the distinction between the justifying and the motivating role of evidence, in this paper, I argue that, contrary to first appearances, the Infelicity Challenge doesn’t arise for Probability 1 Infallibilism. However, after anticipating and resisting two objections to my argument, I show that we can identify a different version of infallibilism which seems to face a problem that is even more serious than the Infelicity Challenge. (shrink)

Infallibilism is the view that a belief cannot be at once warranted and false. In this essay we assess three nonpartisan arguments for infallibilism, arguments that do not depend on a prior commitment to some substantive theory of warrant. Three premises, one from each argument, are most significant: (1) if a belief can be at once warranted and false, then the Gettier Problem cannot be solved; (2) if a belief can be at once warranted and false, then its (...) warrant can be transferred to an accidentally true belief; (3) if a belief can be at once warranted and false, then it can be warranted and accidentally true. We argue that each of these is either false or no more plausible than its denial. Along the way, we offer a solution to the Gettier Problem that is compatible with fallibilism. (shrink)

I present a cumulative case for the thesis that we only know propositions that are certain for us. I argue that this thesis can easily explain the truth of eight plausible claims about knowledge: -/- (1) There is a qualitative difference between knowledge and non-knowledge. (2) Knowledge is valuable in a way that non-knowledge is not. (3) Subjects in Gettier cases do not have knowledge. (4) If S knows that P, P is part of S’s evidence. (5) If S knows (...) that P, ~P is epistemically impossible for S. (6) If S knows that P, S can rationally act as if P. (7) If S knows that P, S can rationally stop inquiring whether P. (8) If S knows each of {P1, P2, … Pn}, and competently deduces Q from these propositions, S knows that Q. -/- I then argue that the skeptical costs of this thesis are outweighed by its explanatory power. (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.

Probability can be used to measure degree of belief in two ways: objectively and subjectively. The objective measure is a measure of the rational degree of belief in a proposition given a set of evidential propositions. The subjective measure is the measure of a particular subject’s dispositions to decide between options. In both measures, certainty is a degree of belief 1. I will show, however, that there can be cases where one belief is stronger than another yet both beliefs (...) are plausibly measurable as objectively and subjectively certain. In ordinary language, we can say that while both beliefs are certain, one belief is more certain than the other. I will then propose second, non probabilistic dimension of measurement, which tracks this variation in certainty in such cases where the probability is 1. A general principle of rationality is that one’s subjective degree of belief should match the rational degree of belief given the evidence available. In this paper I hope to show that it is also a rational principle that the maximum stake size at which one should remain certain should match the rational weight of certainty given the evidence available. Neither objective nor subjective measures of certainty conform to the axioms of probability, but instead are measured in utility. This has the consequence that, although it is often rational to be certain to some degree, there is no such thing as absolute certainty. (shrink)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that (...) probabilities always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

According to the Lockean thesis, a proposition is believed just in case it is highly probable. While this thesis enjoys strong intuitive support, it is known to conflict with seemingly plausible logical constraints on our beliefs. One way out of this conflict is to make probability 1 a requirement for belief, but most have rejected this option for entailing what they see as an untenable skepticism. Recently, two new solutions to the conflict have been proposed that are alleged to (...) be non-skeptical. We compare these proposals with each other and with the Lockean thesis, in particular with regard to the question of how much we gain by adopting any one of them instead of the probability 1 requirement, that is, of how likely it is that one believes more than the things one is fully certain of. (shrink)

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect (...) whether it is the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. -/- This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. (shrink)

The topic of this thesis is how we should treat tiny probabilities of vast value. This thesis consists of six independent papers. Chapter 1 discusses the idea that utilities are bounded. It shows that bounded decision theories prescribe prospects that are better for no one and worse for some if combined with an additive axiology. Chapter 2, in turn, points out that standard axiomatizations of Expected Utility Theory violate dominance in cases that involve possible states of zero probability. Chapters (...) 3–6 discuss the idea that we should ignore tiny probabilities in practical decision-making. Chapter 3 argues that discounting small probabilities solves the ‘Intrapersonal Addition Paradox’ and thus helps avoid the Repugnant Conclusion. Chapter 4 explores what the most plausible version of this view might look like and what problems the different versions have. Chapter 5 focuses on one type of problem, namely, money pumps. The Independence Money Pump, in particular, presents a difficult challenge for those who wish to discount small probabilities. Finally, Chapter 6 discusses the implications of discounting small probabilities for the value of the far future. (shrink)

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)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability (...) of being true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (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 Pryor (2000) and Pryor (2004)) that this is possible. Against these positions it has been argued (e.g. by Cohen (2005) (...) and White (2006)) 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.) Suppose an agent receives an appearance that p, and comes to believe that p. Letting Ap be the proposition that it appears to the agent that p, and → be the material implication, we can say that the agent learns that p, and hence is in a position to infer Ap → p, once they receive the evidence Ap.1 This is surprising, because we can prove the following. (shrink)

This paper attempts to reconstruct Hume's argument in Treatise 1.4.1, 'Of Scepticism with Regard to Reason'.

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)

Ignited by Einstein and Bohr a century ago, the philosophical struggle about Reality is yet unfinished, with no signs of a swift resolution. Despite vast technological progress fueled by the iconic Einstein/Podolsky/Rosen paper (EPR) [1] [2] [3], the intricate link between ontic and epistemic aspects of Quantum Theory (QT) has greatly hindered our grip on Reality and further progress in physical theory. Fallacies concealed by tortuous logical negations made EPR comprehension much harder than it could have been had Einstein written (...) it himself in German. EPR is plagued with preconceptions about what a physical property is, the 'Uncertainty Principle', and the Principle of Locality. Numerous interpretations of QT vis à vis Reality exist and are keenly disputed [4] [5] [6] [7] [8] [9] [10] [11]. This is the first of a series of articles arguing for a novel physical interpretation I call ‘The Ontic Probability Interpretation’ (TOPI). A gradual explanation of TOPI is given intertwined with a meticulous logico-philosophical scrutiny of EPR, with Part I focusing on the meaning of Einstein’s ‘incompleteness’ claim for QT: a conceptual confusion, a preconception about Reality, and a flawed dichotomy are shown to be severe obstacles for the EPR argument to succeed. Part II completes the analysis, proving EPR claim of ‘incompleteness’ for QT is fallacious [12]. Part III further develops TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [13]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [14]. (shrink)

This note discusses three issues that Allen and Pardo believe to be especially problematic for a probabilistic interpretation of standards of proof: (1) the subjectivity of probability assignments; (2) the conjunction paradox; and (3) the non-comparative nature of probabilistic standards. I offer a reading of probabilistic standards that avoids these criticisms.

Research on preference reversals has demonstrated a disproportionate influence of outcome probability on choices between monetary gambles. The aim was to investigate the hypothesis that this is a prominence effect originally demonstrated for riskless choice. Another aim was to test the structure compatibility hypothesis as an explanation of the effect. The hypothesis implies that probability should be the prominent attribute when compared with value attributes both in a choice and a preference rating procedure. In Experiment 1, two groups (...) of undergraduates were presented with medical treatments described by two value attributes (effectiveness and pain-relief). All participants performed both a matching task and made preference ratings. In the latter task, outcome probabilities were added to the descriptions of the medical treatments for one of the groups. In line with the hypothesis, this reduced the prominence effect on the preference ratings observed for effectiveness. In Experiment 2, a matching task was used to demonstrate that probability was considered more important by a group of participating undergraduates than the value attributes. Furthermore, in both choices and preference ratings the expected prominence effect was found for probability. (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)

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)

Several scholars, including Martin Hengel, R. Alan Culpepper, and Richard Bauckham, have argued that Papias had knowledge of the Gospel of John on the grounds that Papias’s prologue lists six of Jesus’s disciples in the same order that they are named in the Gospel of John: Andrew, Peter, Philip, Thomas, James, and John. In “A Note on Papias’s Knowledge of the Fourth Gospel” (JBL 129 [2010]: 793–794), Jake H. O’Connell presents a statistical analysis of this argument, according to which the (...) probability of this correspondence occurring by chance is lower than 1%. O’Connell concludes that it is more than 99% probable that this correspondence is the result of Papias copying John, rather than chance. I show that O’Connell’s analysis contains multiple mistakes, both substantive and mathematical: it ignores relevant evidence, overstates the correspondence between John and Papias, wrongly assumes that if Papias did not know John he ordered the disciples randomly, and conflates the probability of A given B with the probability of B given A. In discussing these errors, I aim to inform both Johannine scholarship and the use of probabilistic methods in historical reasoning. (shrink)

*This work is no longer under development* Two major themes in the literature on indicative conditionals are that the content of indicative conditionals typically depends on what is known;1 that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity by (...) exploiting such equivalences as: A⇔¬A A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P = P 1For example, Nolan ; Weatherson ; Gillies. 2For example Stalnaker ; McGee ; Adams. 3Lewis. See Nolan for criticism. 4‘epistemically possible’ here means incompatible with what is known. 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’. (shrink)

There are many scientific and everyday cases where each of Pr and Pr is high and it seems that Pr is high. But high probability is not transitive and so it might be in such cases that each of Pr and Pr is high and in fact Pr is not high. There is no issue in the special case where the following condition, which I call “C1”, holds: H 1 entails H 2. This condition is sufficient for transitivity in (...) high probability. But many of the scientific and everyday cases referred to above are cases where it is not the case that H 1 entails H 2. I consider whether there are additional conditions sufficient for transitivity in high probability. I consider three candidate conditions. I call them “C2”, “C3”, and “C2&3”. I argue that C2&3, but neither C2 nor C3, is sufficient for transitivity in high probability. I then set out some further results and relate the discussion to the Bayesian requirement of coherence. (shrink)

This supplement provides the full proof of Theorem 2 from "'Adding Up' Reasons" (where the Theorem is stated and a proof is only gestured at).

Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth function (conditional LP function). The Semantic Information Measure (SIM) proposed is compatible with Shannon’s information theory and Fisher’s likelihood method. It can ensure that the less the LP of a predicate is and the larger the true value of the proposition is, the more information there is. (...) So the SIM can be used as Popper's information criterion for falsification or test. The SIM also allows us to optimize the true-value of counterexamples or degrees of disbelief in a hypothesis to get the optimized degree of belief, i. e. Degree of Confirmation (DOC). To explain confirmation, this paper 1) provides the calculation method of the DOC of universal hypotheses; 2) discusses how to resolve Raven Paradox with new DOC and its increment; 3) derives the DOC of rapid HIV tests: DOC of “+” =1-(1-specificity)/sensitivity, which is similar to Likelihood Ratio (=sensitivity/(1-specificity)) but has the upper limit 1; 4) discusses negative DOC for excessive affirmations, wrong hypotheses, or lies; and 5) discusses the DOC of general hypotheses with GPS as example. (shrink)

Many epistemologists have responded to the lottery paradox by proposing formal rules according to which high probability defeasibly warrants acceptance. Douven and Williamson present an ingenious argument purporting to show that such rules invariably trivialise, in that they reduce to the claim that a probability of 1 warrants acceptance. Douven and Williamson’s argument does, however, rest upon significant assumptions – amongst them a relatively strong structural assumption to the effect that the underlying probability space is both finite (...) and uniform. In this paper, I will show that something very like Douven and Williamson’s argument can in fact survive with much weaker structural assumptions – and, in particular, can apply to infinite probability spaces. (shrink)

This paper generalises an argument for probabilism due to Lindley [9]. I extend the argument to a number of non-classical logical settings whose truth-values, seen here as ideal aims for belief, are in the set $\{0,1\}$, and where logical consequence $\models $ is given the “no-drop” characterization. First I will show that, in each of these settings, an agent’s credence can only avoid accuracy-domination if its canonical transform is a (possibly non-classical) probability function. In other words, if an agent (...) values accuracy as the fundamental epistemic virtue, it is a necessary requirement for rationality that her credence have some probabilistic structure. Then I show that for a certain class of reasonable measures of inaccuracy, having such a probabilistic structure is sufficient to avoid accuracy-domination in these non-classical settings. (shrink)

We have defined the Neutrosophic Over- /Under-/Off-Set and -Logic for the first time in 1995 and published in 2007. During 1995-2016 we presented them to various national and international conferences and seminars ([16]-[37]) and did more publishing during 2007-2016 ([1]-[15]). These new notions are totally different from other sets/logics/probabilities. We extended the neutrosophic set respectively to Neutrosophic Overset {when some neutrosophic component is > 1}, to Neutrosophic Underset {when some neutrosophic component is < 0}, and to Neutrosophic Offset {when some (...) neutrosophic components are off the interval [0, 1], i.e. some neutrosophic component > 1 and other neutrosophic component < 0}. This is no surprise since our real-world has numerous examples and applications of over-/under-/off-neutrosophic components. (shrink)

DNA evidence is one of the most significant modern advances in the search for truth since the cross examination, but its format as a random-match-probability makes it difficult for people to assign an appropriate probative value (Koehler, 2001). While Frequentist theories propose that the presentation of the match as a frequency rather than a probability facilitates more accurate assessment (e.g., Slovic et al., 2000), Exemplar-Cueing Theory predicts that the subjective weight assigned may be affected by the frequency or (...) probability format, and how easily examples of the event, i.e., ‘exemplars’, are generated from linguistic cues that frame the match in light of further evidence (Koehler & Macchi, 2004). This paper presents two juror research studies to examine the difficulties that jurors have in assigning appropriate probative value to DNA evidence when contradictory evidence is presented. Study 1 showed that refuting evidence significantly reduced guilt judgments when exemplars were linguistically cued, even when the probability match and the refuting evidence had the same objective probative value. Moreover, qualitative reason for judgment responses revealed that interpreting refuting evidence was found to be complex and not necessarily reductive; refutation was found indicative of innocence or guilt depending on whether exemplars have been cued or not. Study 2 showed that the introduction of judges’ directions to linguistically cue exemplars, did not increase the impact of refuting evidence beyond its objective probative value, but less guilty verdicts were returned when jurors were instructed to consider all possible explanations of the evidence. The results are discussed in light of contradictory frequentist and exemplar-cueing theoretical positions, and their real-world consequences. (shrink)

The paper discusses the origin of dark matter and dark energy from the concepts of time and the totality in the final analysis. Though both seem to be rather philosophical, nonetheless they are postulated axiomatically and interpreted physically, and the corresponding philosophical transcendentalism serves heuristically. The exposition of the article means to outline the “forest for the trees”, however, in an absolutely rigorous mathematical way, which to be explicated in detail in a future paper. The “two deductions” are two successive (...) stage of a single conclusion mentioned above. The concept of “transcendental invariance” meaning ontologically and physically interpreting the mathematical equivalence of the axiom of choice and the well-ordering “theorem” is utilized again. Then, time arrow is a corollary from that transcendental invariance, and in turn, it implies quantum information conservation as the Noether correlate of the linear “increase of time” after time arrow. Quantum information conservation implies a few fundamental corollaries such as the “conservation of energy conservation” in quantum mechanics from reasons quite different from those in classical mechanics and physics as well as the “absence of hidden variables” (versus Einstein’s conjecture) in it. However, the paper is concentrated only into the inference of another corollary from quantum information conservation, namely, dark matter and dark energy being due to entanglement, and thus and in the final analysis, to the conservation of quantum information, however observed experimentally only on the “cognitive screen” of “Mach’s principle” in Einstein’s general relativity. therefore excluding any other source of gravitational field than mass and gravity. Then, if quantum information by itself would generate a certain nonzero gravitational field, it will be depicted on the same screen as certain masses and energies distributed in space-time, and most presumably, observable as those dark energy and dark matter predominating in the universe as about 96% of its energy and matter quite unexpectedly for physics and the scientific worldview nowadays. Besides on the cognitive screen of general relativity, entanglement is available necessarily on still one “cognitive screen” (namely, that of quantum mechanics), being furthermore “flat”. Most probably, that projection is confinement, a mysterious and ad hoc added interaction along with the fundamental tree ones of the Standard model being even inconsistent to them conceptually, as far as it need differ the local space from the global space being definable only as a relation between them (similar to entanglement). So, entanglement is able to link the gravity of general relativity to the confinement of the Standard model as its projections of the “cognitive screens” of those two fundamental physical theories. (shrink)

The current study evaluates qualitatively how the mathematical dimension of gambling is reflected in the content of gambling websites. A number of gambling websites have been reviewed for their content in that respect. A statistical analysis recorded the presence of the mathematical dimension of gambling and its forms in the content of the participating websites, and a qualitative research study analyzed and assessed the quality of the content with respect to that dimension. The technical reports associated with this study describe (...) the methods used in the processes of review and content analysis, details of the processes, and the specific challenges and difficulties that they posed. (shrink)

Neutrosophic Over-/Under-/Off-Set and -Logic were defined for the first time by Smarandache in 1995 and published in 2007. They are totally different from other sets/logics/probabilities. He extended the neutrosophic set respectively to Neutrosophic Overset {when some neutrosophic component is > 1}, Neutrosophic Underset {when some neutrosophic component is < 0}, and to Neutrosophic Offset {when some neutrosophic components are off the interval [0, 1], i.e. some neutrosophic component > 1 and other neutrosophic component < 0}. This is no surprise with (...) respect to the classical fuzzy set/logic, intuitionistic fuzzy set/logic, or classical/imprecise probability, where the values are not allowed outside the interval [0, 1], since our real-world has numerous examples and applications of over-/under-/off-neutrosophic components. (shrink)

Studies on mind-wandering frequently use reading as an experimental task. In these studies, reading is conceived as a cognitive process that potentially offers a contrast to mind-wandering, because it seems to be task-related, goal-directed and stimulus-dependent. More recent work attempts to avoid the dichotomy of successful cognitive processes and processes of mind-wandering found in earlier studies. We approach the issue from the perspective that texts provoke modes of cognitive involvement different from the information processing and recall account that underlies many (...) early mind-wandering studies. After all, reading itself is an umbrella term for activities that are characterized by a variety of phenomenological and functional signatures. We conceptualize reading and mind-wandering in relation to each other through the framework of enculturated predictive processing, which is informed by research in literary studies. Earlier accounts think of reading predominantly in terms of the construction of situation models that organize textual information. By contrast, enculturated predictive processing foregrounds shifting stances readers can take in relation to the text. Characters featuring in literary texts might be mind-wandering themselves, or passages in literary style might make the construction of a clearly defined situational model impossible. Furthermore, we take into account that texts often elicit mind-wandering through the construction of task-relevant and attention-driven virtual scenarios in readers' minds. This more complex account of reading can enrich recent attempts to understand mind-wandering as a complex, multi-dimensional phenomenon. The study of mind-wandering can benefit, we argue, from a closer attention to the process of reading and to the texts it deploys as stimuli. The emerging perspective from enculturated predictive processing and literary studies makes distinctions in reading that in turn enable research on mind-wandering to ask more precise questions about (1) different kinds of mind-wandering, (2) different modes of reading, and (3) how and where they interconnect across time. (shrink)

This is Part 1 of a four part paper, intended to redress some of the most fundamental confusions in the subject of physical time directionality, and represent the concepts accurately. There are widespread fallacies in the subject that need to be corrected in introductory courses for physics students and philosophers. We start in Part 1 by analysing the time reversal symmetry of quantum probability laws. Time reversal symmetry is defined as the property of invariance under the time reversal transformation, (...) T: t --> -t. It is shown that quantum mechanics (classical or relativistic) is strongly time asymmetric in its probability laws. This contradicts the orthodox analysis, found throughout the conventional literature on physical time, which claims that quantum mechanics is time symmetric or reversible. This is widely claimed as settled scientific fact, and large philosophical and scientific conclusions are drawn from it. But it is an error. The fact is that while quantum mechanics is widely claimed to be reversible on the basis of two formal mathematical properties (that it does have), these properties do not represent invariance under the time reversal transformation. A recent experiment (Batalhão at alia, 2015) showing irreversibility of quantum thermodynamics is discussed as an illustration of this result. Most physicists remain unaware of the errors, decades after they were first demonstrated. Orthodox specialists in the philosophy of time who are aware of the error continue to refer to the ‘time symmetry’ or ‘reversibility’ of quantum mechanics anyway – and exploit the ambiguity to claim false implications about physical time reversal symmetry in nature. The excuse for perpetrating the confusion is that, since it is has now become customary to refer to the formal properties of quantum mechanics as ‘reversibility’ or ‘time reversal symmetry’, we should just keep referring to them by this name, even though they are not time reversal symmetry. This causes endless confusion, in attempts to explain the physical irreversibility of our universe, and in philosophical discussions of implications of physics for the nature of time. The failure of genuine time reversal symmetry in quantum mechanics changes the interpretation of modern physics in a deep way. It changes the problem of explaining the real irreversibility found throughout nature. (shrink)

Nous distinguons ordinairement le corps de l’esprit : nous parvenons aisément à concevoir (même si nous n’y croyons pas forcément) que notre esprit survive à notre corps, ou qu’il aille se loger dans un autre corps. Il y a là, pensons-nous, une véritable différence de nature. Mais bien que cette distinction nous soit très intuitive, dès lors que nous cherchons à spécifier le critère sur lequel elle repose, elle se dérobe. Tout se passe comme si nous n’avions aucun mal à (...) classer les choses d’un côté ou de l’autre de la frontière qui sépare le corps de l’esprit, mais que nous ne parvenions pas à la définir précisément. A quel critère obéissons- nous en effet lorsque nous opérons une bipartition entre phénomènes mentaux et phénomènes physiques dans un ensemble tel que : une croyance, le téléphone du salon, un aimant, l’envie d’un florentin, le Mont Blanc, la vue du Mont Blanc, un claquement de porte, un regret, le bruit d’un moulin, la connaissance du théorème de Thalès, la jalousie, la couleur de la neige, le souvenir d’un citronnier à Menton ? Nous serions probablement tous d’accord pour ranger du côté des phénomènes physiques le téléphone du salon, le claquement de porte, la couleur de la neige, l’aimant, le Mont Blanc et le bruit du moulin ; et du côté des phénomènes mentaux la croyance, l’envie d’un florentin, le regret, la vue du Mont Blanc, la connaissance du théorème de Thalès, la jalousie et le souvenir d’un citronnier de Menton. Mais nous divergerions probablement si nous avions à formuler le critère d’après lequel nous avons opéré cette bipartition. La première chose à faire est donc de tenter d’examiner les critères qui peuvent nous permettre d’établir la distinction entre le corps et l’esprit afin de retenir le plus pertinent. Dans la mesure du possible, celui-ci devra être à la fois informatif (ne pas nous renvoyer simplement à la distinction intuitive que nous pratiquons quotidiennement) et neutre (par exemple être acceptable aussi bien par un dualiste que par un matérialiste). Une fois cette distinction établie, nous serons en mesure de poser trois problèmes. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – (...) Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

In this paper I respond to Samantha Vice’s prescriptions for living morally as a white person in South Africa today. I allow that her ‘How do I live in this strange place?’ (2010) is convincing when read – probably against intent – as a descriptive account. It fails, though, in its attempt to provide an attractive set of moral prescriptions. I set out an argument against both shame and silence, focussing primarily on shame as I contend that the need to (...) withdraw or keep silent follows from feeling ashamed. I argue that shame is experienced as a diminution of the self, whereas guilt is experienced as a burdening of the self by wrongful behaviour; the diminution of the self in shame experiences is intrinsically harmful, and instead of enabling the self to be moral, actually inhibits the moral instincts of a person by cutting the self off from other selves. In a group context this type of severance has unhealthy moral features, as well as negative consequences for inter-group relations. (shrink)

“Neutrosophics Knowledge” has been created for publications on advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics that started in 1995 and their applications in any field, such as the neutrosophic structures developed in algebra, geometry, topology, etc. The submitted papers should be professional, in good English and Arabic, containing a brief review of a problem and obtained results. Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities, as well (...) as their interactions with different ideational spectra. (shrink)

The paper re-expresses arguments against the normative validity of expected utility theory in Robin Pope (1983, 1991a, 1991b, 1985, 1995, 2000, 2001, 2005, 2006, 2007). These concern the neglect of the evolving stages of knowledge ahead (stages of what the future will bring). Such evolution is fundamental to an experience of risk, yet not consistently incorporated even in axiomatised temporal versions of expected utility. Its neglect entails a disregard of emotional and financial effects on well-being before a particular risk is (...) resolved. These arguments are complemented with an analysis of the essential uniqueness property in the context of temporal and atemporal expected utility theory and a proof of the absence of a limit property natural in an axiomatised approach to temporal expected utility theory. Problems of the time structure of risk are investigated in a simple temporal framework restricted to a subclass of temporal lotteries in the sense of David Kreps and Evan Porteus (1978). This subclass is narrow but wide enough to discuss basic issues. It will be shown that there are serious objections against the modification of expected utility theory axiomatised by Kreps and Porteus (1978, 1979). By contrast the umbrella theory proffered by Pope that she has now termed SKAT, the Stages of Knowledge Ahead Theory, offers an epistemically consistent framework within which to construct particular models to deal with particular decision situations. A model by Caplin and Leahy (2001) will also be discussed and contrasted with the modelling within SKAT (Pope, Leopold and Leitner 2007). (shrink)

The value of knowledge can vary in that knowledge of important facts is more valuable than knowledge of trivialities. This variation in the value of knowledge is mirrored by a variation in evidential standards. Matters of greater importance require greater evidential support. But all knowledge, however trivial, needs to be evidentially certain. So on one hand we have a variable evidential standard that depends on the value of the knowledge, and on the other, we have the invariant standard of evidential (...) certainty. This paradox in the concept of knowledge runs deep in the history of philosophy. We approach this paradox by proposing a bet settlement theory of knowledge. Degrees of belief can be measured by the expected value of a bet divided by stake size, with the highest degree of belief being probability 1, or certainty. Evidence sufficient to settle the bet makes the expectation equal to the stake size and therefore has evidential probability 1. This gives us the invariant evidential certainty standard for knowledge. The value of knowledge relative to a bet is given by the stake size. We propose that evidential probability can vary with stake size, so that evidential certainty at low stakes does not entail evidential certainty at high stakes. This solves the paradox by allowing that certainty is necessary for knowledge at any stakes, but that the evidential standards for knowledge vary according to what is at stake. We give a Stake Size Variation Principle that calculates evidential probability from the value of evidence and the stakes. Stake size variant degrees of belief are probabilistically coherent and explain a greater range of preferences than orthodox expected utility theory, namely the Ellsberg and Allais preferences. The resulting theory of knowledge gives an empirically adequate, rationally grounded, unified account of evidence, value and probability. (shrink)

The idea that knowledge can be extended by inference from what is known seems highly plausible. Yet, as shown by familiar preface paradox and lottery-type cases, the possibility of aggregating uncertainty casts doubt on its tenability. We show that these considerations go much further than previously recognized and significantly restrict the kinds of closure ordinary theories of knowledge can endorse. Meeting the challenge of uncertainty aggregation requires either the restriction of knowledge-extending inferences to single premises, or eliminating epistemic uncertainty in (...) known premises. The first strategy, while effective, retains little of the original idea—conclusions even of modus ponens inferences from known premises are not always known. We then look at the second strategy, inspecting the most elaborate and promising attempt to secure the epistemic role of basic inferences, namely Timothy Williamson’s safety theory of knowledge. We argue that while it indeed has the merit of allowing basic inferences such as modus ponens to extend knowledge, Williamson’s theory faces formidable difficulties. These difficulties, moreover, arise from the very feature responsible for its virtue- the infallibilism of knowledge. (shrink)

We humans are natural-born engineers. As such, we model after machines not only isolated, naturally occurring systems, but also the basic laws of physics, sharing with machines a local-evolution-of-state `grammar'. However, previous work by the author casts doubt upon this mechanistic paradigm, suggesting that it is to blame for the stubbornness of many open problems in physics. Simple experiments are therefore proposed to identify `non-machines'. In one experiment, `non mechanistic correlations' in the spirit of Bell are sought in a pair (...) of separated but previously coupled (macroscopic) chaotic systems. In another it is tested whether chaotic systems could fuzzily `remember their future' in the sense that a future binary perturbation applied to them could be inferred from their present behavior with probability$>1/2$. Chaotic systems are chosen as candidates because the long-time application of their (deterministic) mechanistic description is conceptually groundless: All scales are significant and mutually coupled in that regime, down to scales governed by QM, yet the quantum-classical transition remains inexplicable---if only due to the measurement problem. Similarly for non-deterministic chaotic systems, modeled as such purely for defying a short-time deterministic mechanistic description. Should a non mechanistic signature be found in such simple systems, the implications for science as a whole and life sciences in particular cannot be overstated. (shrink)

Adam Elga takes the Sleeping Beauty example to provide a counter-example to Reflection, since on Sunday Beauty assigns probability 1/2 to H, and she is certain that on Monday she will assign probability 1/3. I will show that there is a natural way for Bas van Fraassen to defend Reflection in the case of Sleeping Beauty, building on van Fraassen’s treatment of forgetting. This will allow me to identify a lacuna in Elga’s argument for 1/3. I will then (...) argue, however, that not all is well with Reflection: there is a problem with van Fraassen’s treatment of forgetting. Ultimately I will agree with Elga’s 1/3 answer. David Lewis maintains that the answer is 1/2; I will argue that cases of forgetting can be used to show that the premiss of Lewis’s argument for 1/2 is false. (shrink)

The strong law of large numbers and considerations concerning additional information strongly suggest that Beauty upon awakening has probability 1/3 to be in a heads-awakening but should still believe the probability that the coin landed heads in the Sunday toss to be 1/2. The problem is that she is in a heads-awakening if and only if the coin landed heads. So, how can she rationally assign different probabilities or credences to propositions she knows imply each other? This is (...) the problem I address in this article. I suggest that ‘p whenever q and vice versa’ may be consistent with p and q having different probabilities if one of them refers to a sample space containing ordinary possible worlds and the other to a sample space containing centred possible worlds, because such spaces may fail to combine into one composite probability space and, as a consequence, ‘whenever’ may not be well defined; such is the main contribution of this article. 1The Sleeping Beauty Game2Groisman’s and Peter Lewis’s Approaches3Discussing Beauty’s Credences4The Principle of Equivalence's Failure5Making Sense of the Principle of Equivalence's Failure6Elga’s and Lewis’s Approaches7ConclusionAppendix. (shrink)

In his recent paper, C. Fuchs formulates QBism in the form of eight postulates. We criticise QBism as an anti-realist position and propose an alternative – contextual quantum realism (QCR). 1. A quantum state is not “an agent’s personal judgement” (QBism), nor is it subjective (QBism), but objective (QCR). It describes not the current experience (QBism), but a state of a physical system in context (QCR). 2. A quantum measurement is a (literally) measurement of quantum reality (QCR), rather than an (...) agent’s action upon its external world (QBism). It can only be regarded as an action in the sense in which a cognitive Wittgensteinian language game is an action (QCR). 3. The result of a quantum meas- urement is objective, though context-sensitive (QCR), rather than subjective (QBism), personal to the agent performing the action (QBism). 4. The quantum formalism is normative (QCR and QBism) and at the same time descriptive (QCR). The wave function tells us what to expect and how a quantum experiment should be conducted (i.e. plays the role of a norm), and also describes the state of a quantum system in context (QCR). 5. Unitary evolution is objective (QCR), not subjective (QBism). It does not express an agent’s degrees of belief (QBism). 6. Probability 1 is ontic (QCR), not an agent’s maximum degree of subjective certainty without ontic content (QBism). 7. In general, measurement outcomes are not predetermined (QCR and QBism), i.e. “unperformed measurements have no outcomes” (for QCR, this is an analytical judgement; for QBism this is a thesis), but they are predeter- mined in the case of probabilities 1 and 0 (QCR). In the case of probabilities 0 and 1, one can speak of performed measurements (QCR). 8. Quantum theory is a universal Wittgen- steinian rule (norm), i.e. a rule (norm) rooted in experience, reality (QCR). It can be used by any competent subject (QCR and QBism). We illustrate the difference between QCR and QBism on the example of how they treat “Wigner’s friend” thought experiment and consider their attitude to phenomenology. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play (...) a central role in their theorizing. (shrink)

Prevailing opinion—defended by Jason Brennan and others—is that voting to change the outcome is irrational, since although the payoffs of tipping an election can be quite large, the probability of doing so is extraordinarily small. This paper argues that prevailing opinion is incorrect. Voting is shown to be rational so long as two conditions are satisfied: First, the average social benefit of electing the better candidate must be at least twice as great as the individual cost of voting, and (...) second, the chance of casting the decisive vote must be at least 1/N, where N stands for the number of citizens. It is argued that both of these conditions are often true in the real world. (shrink)

Dilation occurs when an interval probability estimate of some event E is properly included in the interval probability estimate of E conditional on every event F of some partition, which means that one’s initial estimate of E becomes less precise no matter how an experiment turns out. Critics maintain that dilation is a pathological feature of imprecise probability models, while others have thought the problem is with Bayesian updating. However, two points are often overlooked: (1) knowing that (...) E is stochastically independent of F (for all F in a partition of the underlying state space) is sufficient to avoid dilation, but (2) stochastic independence is not the only independence concept at play within imprecise probability models. In this paper we give a simple characterization of dilation formulated in terms of deviation from stochastic independence, propose a measure of dilation, and distinguish between proper and improper dilation. Through this we revisit the most sensational examples of dilation, which play up independence between dilator and dilatee, and find the sensationalism undermined by either fallacious reasoning with imprecise probabilities or improperly constructed imprecise probability models. (shrink)

We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has (...) the finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)

The Sleeping Beauty problem remains controversial with disagreement between so-called Halfers and Thirders, although the Thirders appear to be leading these days. I analyze three popular arguments for the Thirder position, including the long-run frequency argument, Egla’s ‘symmetry’ argument, and new-information arguments, and find problems with each. The long-run frequency argument is almost unequivocally thought to strongly support Thirders, but in formalizing the argument for an arbitrary number of repetitions, I show that the expected proportion of Heads-Awakenings for a single-trial (...) experiment is unambiguously 1/2. My criticisms of Elga’s symmetry argument and the new-information arguments point to subtle misalignments between the narrative/causal description of thought-experiments and the mathematical probability expressions and theory we use to describe these narratives. I end with distinguishing two varieties of possibility—a dynamic forward type and static historical type—that help clarify the Sleeping Beauty problem, nullify the main criticism against Lewis’s Halfer argument, and have applicability to probability theory in general. (shrink)