In hisStudy of War, Q. Wright considered a model for the probability of warP during a period ofn crises, and proposed the equationP=1– n, wherep is the probability of war escalating at each individual crisis. This probability measure was formally derived recently by Cioffi -Revilla, using the general theory of political reliability and an interpretation of the n-crises problem as a branching process. Two new, alternate solutions are presented here, one using D. Bernoulli''s St. Petersburg Paradox as an analogue, the (...) other based on the logic of conditional probabilities. Analysis shows that, while Wright''s solution is robust with regard to the general overall behavior ofp andn, some significant qualitative and quantitative differences emerge from the alternative solutions. In particular,P converges to 1 only in a special case and not generally. (shrink)

We develop an algorithm that can be used to approximate a decisionmaker’s beliefs for a class of preference structures that includes, among others, α-maximin expected utility preferences, Choquet expected utility preferences, and, more generally, constant additive preferences. For both exact and statistical approximation, we demonstrate convergence in an appropriate sense to the true belief structure.

Any theory of confirmation must answer the following question: what is the purpose of its conception of confirmation for scientific inquiry? In this article, we argue that no Bayesian conception of confirmation can be used for its primary intended purpose, which we take to be making a claim about how worthy of belief various hypotheses are. Then we consider a different use to which Bayesian confirmation might be put, namely, determining the epistemic value of experimental outcomes, and thus to decide (...) which experiments to carry out. Interestingly, Bayesian confirmation theorists rule out that confirmation be used for this purpose. We conclude that Bayesian confirmation is a means with no end. 1 Introduction2 Bayesian Confirmation Theory3 Bayesian Confirmation and Belief4 Confirmation and the Value of Experiments5 Conclusion. (shrink)

Bayesian models typically assume that agents are rational, logically omniscient and opinionated. The last of these has little descriptive or normative appeal, however, and limits our ability to describe how agents make up their minds (as opposed to changing them) or how they can suspend or withdraw their opinions. To address these limitations this paper represents the attitudinal states of non-opinionated agents by sets of (permissible) probability and desirability functions. Several basic ways in which such states of mind can be (...) changed are then characterised and compared with those found in AGM style models of attitude revision. Finally these models are employed to describe how agents make up their mind when deliberating. (shrink)

Corroborating Testimony, Probability and Surprise’, Erik J. Olsson ascribes to L. Jonathan Cohen the claims that if two witnesses provide us with the same information, then the less probable the information is, the more confident we may be that the information is true (C), and the stronger the information is corroborated (C*). We question whether Cohen intends anything like claims (C) and (C*). Furthermore, he discusses the concurrence of witness reports within a context of independent witnesses, whereas the witnesses in (...) Olsson's model are not independent in the standard sense. We argue that there is much more than, in Olsson's words, ‘a grain of truth’ to claim (C), both on his own characterization as well as on Cohen's characterization of the witnesses. We present an analysis for independent witnesses in the contexts of decision-making under risk and decision-making under uncertainty and generalize the model for n witnesses. As to claim (C*), Olsson's argument is contingent on the choice of a particular measure of corroboration and is not robust in the face of alternative measures. Finally, we delimit the set of cases to which Olsson's model is applicable. 1 Claim (C) examined for Olsson's characterization of the relationship between the witnesses 2 Claim (C) examined for two or more independent witnesses 3 Robustness and multiple measures of corroboration 4 Discussion. (shrink)

In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj, j = 1… k, is analyzed, in the independent setup. The e-value of a hypothesis H, ev, is a Bayesian epistemic, credibility or truth value defined under the Full Bayesian Significance Testing mathematical apparatus. The questions addressed concern the important issue of how the truth value of H, and the truth function of the corresponding FBST structure M, relate to (...) the truth values of its elementary constituents, Hj, and to the truth functions of their corresponding FBST structures Mj, respectively. (shrink)

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because it (...) is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

Savage denied that Bayesian decision theory applies in large worlds. This paper proposes a minimal extension of Bayesian decision theory to a large-world context that evaluates an event E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E$$\end{document} by assigning it a number π\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} that reduces to an orthodox probability for a class of measurable events. The Hurwicz criterion evaluates π\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} (...) as a weighted arithmetic mean of its upper and lower probabilities, which we derive from the measurable supersets and subsets of E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E$$\end{document}. The ambiguity aversion reported in experiments on the Ellsberg paradox is then explained by assigning a larger weight to the lower probability of winning than to the upper probability. However, arguments are given here that would make anything but equal weights irrational when using the Hurwicz criterion. The paper continues by embedding the Hurwicz criterion in an extension of expected utility theory that we call expectant utility. (shrink)

Autobiographical memories typically give rise either to memory reports (“I remember going swimming”) or to first person past-tense judgements (“I went swimming”). This article focuses on first person past-tense judgements that are (epistemically) based on autobiographical memories. Some of these judgements have the IEM property of being immune to error through misidentification. This article offers an account of when and why first person past-tense judgements have the IEM property.

We introduce a distinction, unnoticed in the literature, between four varieties of objective Bayesianism. What we call ' strong objective Bayesianism' is characterized by two claims, that all scientific inference is 'logical' and that, given the same background information two agents will ascribe a unique probability to their priors. We think that neither of these claims can be sustained; in this sense, they are 'dogmatic'. The first fails to recognize that some scientific inference, in particular that concerning evidential relations, is (...) not (in the appropriate sense) logical, the second fails to provide a non-question-begging account of 'same background information'. We urge that a suitably objective Bayesian account of scientific inference does not require either of the claims. Finally, we argue that Bayesianism needs to be fine-grained in the same way that Bayesians fine-grain their beliefs. (shrink)

There is a debate in Bayesian confirmation theory between subjective and non-subjective accounts of evidence. Colin Howson has provided a counterexample to our non-subjective account of evidence: the counterexample refers to a case in which there is strong evidence for a hypothesis, but the hypothesis is highly implausible. In this article, we contend that, by supposing that strong evidence for a hypothesis makes the hypothesis more believable, Howson conflates the distinction between confirmation and evidence. We demonstrate that Howson’s counterexample fails (...) for a different pair of hypotheses. (shrink)

This paper investigates some classical oppositional categories, like synthetic vs. analytic, posterior vs. prior, imagination vs. grammar, metaphor vs. hermeneutics, metaphysics vs. observation, innovation vs. routine, and image vs. sound, and the role they play in epistemology and philosophy of science. The epistemological framework of objective cognitive constructivism is of special interest in these investigations. Oppositional relations are formally represented using algebraic lattice structures like the cube and the hexagon of opposition, with applications in the contexts of modern color theory, (...) Kantian philosophy, Jungian psychology, and linguistics. (shrink)

Intelligence can be understood as a form of rationality, in the sense that an intelligent system does its best when its knowledge and resources are insufficient with respect to the problems to be solved. The traditional models of rationality typically assume some form of sufficiency of knowledge and resources, so cannot solve many theoretical and practical problems in Artificial Intelligence (AI). New models based on the Assumption of Insufficient Knowledge and Resources (AIKR) cannot be obtained by minor revisions or extensions (...) of the traditional models, and have to be established fully according to the restrictions and freedoms provided by AIKR. The practice of NARS, an AI project, shows that such new models are feasible and promising in providing a new theoretical foundation for the study of rationality, intelligence, consciousness, and mind. (shrink)

Many who think that naked statistical evidence alone is inadequate for a trial verdict think that use of probability is the problem, and something other than probability – knowledge, full belief, causal relations – is the solution. I argue that the issue of whether naked statistical evidence is weak can be formulated within the probabilistic idiom, as the question whether likelihoods or only posterior probabilities should be taken into account in our judgment of a case. This question also identifies a (...) major difference between the Process Reliabilist and Probabilistic Tracking views of knowledge and other concepts. Though both are externalist, and probabilistic, epistemic theories, Tracking does and Process Reliabilism does not put conditions on likelihoods. So Tracking implies that a naked statistic is not adequate evidence about an individual, and does not yield knowledge, whereas the Reliabilist thinks it gives justified belief and knowledge. Not only does the Tracking view imply that naked statistical evidence is insufficient for a verdict, but it gives us resources to explain why, in terms of risk and the special conditions of a trial. (shrink)

The justification of induction is of central significance for cross-cultural social epistemology. Different ‘epistemological cultures’ do not only differ in their beliefs, but also in their belief-forming methods and evaluation standards. For an objective comparison of different methods and standards, one needs (meta-)induction over past successes. A notorious obstacle to the problem of justifying induction lies in the fact that the success of object-inductive prediction methods (i.e., methods applied at the level of events) can neither be shown to be universally (...) reliable (Hume's insight) nor to be universally optimal. My proposal towards a solution of the problem of induction is meta-induction. The meta-inductivist applies the principle of induction to all competing prediction methods that are accessible to her. By means of mathematical analysis and computer simulations of prediction games I show that there exist meta-inductive prediction strategies whose success is universally optimal among all accessible prediction strategies, modulo a small short-run loss. The proposed justification of meta-induction is mathematically analytical. It implies, however, an a posteriori justification of object-induction based on the experiences in our world. In the final section I draw conclusions about the significance of meta-induction for the social spread of knowledge and the cultural evolution of cognition, and I relate my results to other simulation results which utilize meta-inductive learning mechanisms. (shrink)

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources (...) of classical logic. Among the contributions included in the volume, one chapter focuses on the “inferential preferential method”, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson’s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the role of logic in philosophy. (shrink)

Probabilistic coherence is not an absolute requirement of rationality; nevertheless, it is an ideal of rationality with substantive normative import. An idealized rational agent who avoided making implicit logical errors in forming his preferences would be coherent. In response to the challenge, recently made by epistemologists such as Foley and Plantinga, that appeals to ideal rationality render probabilism either irrelevant or implausible, I argue that idealized requirements can be normatively relevant even when the ideals are unattainable, so long as they (...) define a structure that links imperfect and perfect rationality in a way that enables us to make sense of the notion of better approximations to the ideal. I then analyze the notion of approximation to the ideal of coherence by developing a generalized theory of belief functions that allows for incoherence, and showing how such belief functions can be ordered with regard to greater or lesser coherence. (shrink)

The so-called "non-commutativity" of probability kinematics has caused much unjustified concern. When identical learning is properly represented, namely, by identical Bayes factors rather than identical posterior probabilities, then sequential probability-kinematical revisions behave just as they should. Our analysis is based on a variant of Field's reformulation of probability kinematics, divested of its (inessential) physicalist gloss.

This paper argues that chance (risk or opportunity) discovery is challenging, from a reasoning point of view, because it represents a dilemma for inductive reasoning. Chance discovery shares many features with the grue paradox. Consequently, Bayesian approaches represent a potential solution. The Bayesian solution evaluates alternative models generated using a temporal logic planner to manage the chance. Surprise indices are used in monitoring the conformity of the real world and the assessed probabilities. Game theoretic approaches are proposed to deal with (...) multi-agent interaction in chance management. (shrink)

This paper argues that the difference between contemporary software intensive scientific practice and more traditional non-software intensive varieties results from the characteristically high conditionality of software. We explain why the path complexity of programs with high conditionality imposes limits on standard error correction techniques and why this matters. While it is possible, in general, to characterize the error distribution in inquiry that does not involve high conditionality, we cannot characterize the error distribution in inquiry that depends on software. Software intensive (...) science presents distinctive error and uncertainty modalities that pose new challenges for the epistemology of science. (shrink)

We explore which types of probabilistic updating commute with convex IP pooling. Positive results are stated for Bayesian conditionalization, imaging, and a certain parameterization of Jeffrey conditioning. This last observation is obtained with the help of a slight generalization of a characterization of externally Bayesian pooling operators due to Wagner :336–345, 2009). These results strengthen the case that pooling should go by imprecise probabilities since no precise pooling method is as versatile.

Bayesians often appeal to “merging of opinions” to rebut charges of excessive subjectivity. But what happens in the short run is often of greater interest than what happens in the limit. Seidenfeld and coauthors use this observation as motivation for investigating the counterintuitive short run phenomenon of dilation, since, they allege, dilation is “the opposite” of asymptotic merging of opinions. The measure of uncertainty relevant for dilation, however, is not the one relevant for merging of opinions. We explicitly investigate the (...) short run behavior of the metric relevant for merging, and show that dilation is independent of the opposite of merging. (shrink)

Ideal agents are role models whose perfection in some normative domain we try to approximate. But which form should this striving take? It is well known that following ideal rules of practical reasoning can have disastrous results for non-ideal agents. Yet, this issue has not been explored with respect to rules of theoretical reasoning. I show how we can extend Bayesian models of ideally rational agents in order to pose and answer the question of whether non-ideal agents should form new (...) degrees of belief in the same way as their ideal counterparts. I demonstrate that the epistemic and the practical case are parallel: following ideal rules does not always lead to optimal outcomes for non-ideal agents. (shrink)

Both the quantity of information and the informational content of a signal are defined in the context of signaling games. Informational content is a generalization of standard philosophical notions of propositional content. It is shown how signals that initially carry no information may spontaneously acquire informational content by evolutionary or learning dynamics. It is shown how information can flow through signaling chains or signaling networks.

This article suggests a ‘best alternative' justification of induction (in the sense of Reichenbach) which is based on meta-induction . The meta-inductivist applies the principle of induction to all competing prediction methods which are accessible to her. It is demonstrated, and illustrated by computer simulations, that there exist meta-inductivistic prediction strategies whose success is approximately optimal among all accessible prediction methods in arbitrary possible worlds, and which dominate the success of every noninductive prediction strategy. The proposed justification of meta-induction is (...) mathematically analytical. It implies, however, an a posteriori justification of object-induction based on the experiences in our world. *Received November 2005; revised March 2008. †To contact the author, please write to: Department of Philosophy, University of Duesseldorf, Universitaetsstrasse 1, Geb. 23.21, Duesseldorf, Germany D-40225; e-mail: [email protected]. (shrink)

Systems of logico-probabilistic reasoning characterize inference from conditional assertions that express high conditional probabilities. In this paper we investigate four prominent LP systems, the systems _O, P_, _Z_, and _QC_. These systems differ in the number of inferences they licence _. LP systems that license more inferences enjoy the possible reward of deriving more true and informative conclusions, but with this possible reward comes the risk of drawing more false or uninformative conclusions. In the first part of the paper, we (...) present the four systems and extend each of them by theorems that allow one to compute almost-tight lower-probability-bounds for the conclusion of an inference, given lower-probability-bounds for its premises. In the second part of the paper, we investigate by means of computer simulations which of the four systems provides the best balance of reward versus risk. Our results suggest that system _Z_ offers the best balance. (shrink)

Nelson Goodman has constructed two theories of simplicity: one of predicates; one of hypotheses. I offer a simpler theory by generalization and abstraction from his. Generalization comes by dropping special conditions Goodman imposes on which unexcluded extensions count as complicating and which excluded extensions count as simplifying. Abstraction is achieved by counting only nonisomorphic models and subinterpretations. The new theory takes into account all the hypotheses of a theory in assessing its complexity, whether they were projected prior to, or result (...) from, projection of a given hypothesis. It assigns simplicity post-projection priority over simplicity pre-projection. It better orders compound conditionals than does the theory of simplicity of hypotheses, and it does not inherit an anomaly of the theory of simplicity of predicates — its failure to order the ordering relations. Drop Goodman's special conditions, and the problems fall away with them. (shrink)

This paper discusses two senses in which a hypothesis may be said to unify evidence. One is the ability of the hypothesis to increase the mutual information of a set of evidence statements; the other is the ability of the hypothesis to explain commonalities in observed phenomena by positing a common origin for them. On Bayesian updating, it is only mutual information unification that contributes to the incremental support of a hypothesis by the evidence unified. This poses a challenge for (...) the view that explanation is a confirmatory virtue that contributes to such incremental support; its advocates must ground it in some relevant difference between humans and a Bayesian agent. (shrink)

A Bayesian account of the virtue of unification is given. On this account, the ability of a theory to unify disparate phenomena consists in the ability of the theory to render such phenomena informationally relevant to each other. It is shown that such ability contributes to the evidential support of the theory, and hence that preference for theories that unify the phenomena need not, on a Bayesian account, be built into the prior probabilities of theories.

Bayesian reasoning has been applied formally to statistical inference, machine learning and analysing scientific method. Here I apply it informally to more common forms of inference, namely natural language arguments. I analyse a variety of traditional fallacies, deductive, inductive and causal, and find more merit in them than is generally acknowledged. Bayesian principles provide a framework for understanding ordinary arguments which is well worth developing.

Weight of evidence continues to be a powerful metaphor within formal approaches to epistemology. But attempts to construe the metaphor in precise and useful ways have encountered formidable obstacles. This paper shows that two quite different understandings of evidential weight can be traced back to one 1878 article by C.S. Peirce. One conception, often associated with I.J. Good, measures the balance or net weight of evidence, while the other, generally associated with J.M. Keynes, measures the gross weight of evidence. Conflations (...) of these two notions have contributed to misunderstandings in the literature on weight. This paper shows why Peirce developed each conception of weight, why he distinguished them, and why they are easily mistaken for one another. (shrink)

A probability forecast scored ex post using a probability scoring rule (e.g. Brier) is analogous to a risky financial security. With only superficial adaptation, the same economic logic by which securities are valued ex ante – in particular, portfolio theory and the capital asset pricing model (CAPM) – applies to the valuation of probability forecasts. Each available forecast of a given event is valued relative to each other and to the “market” (all available forecasts). A forecast is seen to be (...) more valuable the higher its expected score and the lower the covariance of its score with the market aggregate score. Forecasts that score highly in trials when others do poorly are appreciated more than those with equal success in “easy” trials where most forecasts score well. The CAPM defines economically rational (equilibrium) forecast prices at which forecasters can trade shares in each other’s ex post score – or associated monetary payoff – thereby balancing forecast risk against return and ultimately forming optimally hedged portfolios. Hedging this way offers risk averse forecasters an “honest” alternative to the ruse of reporting conservative probability assessments. (shrink)

Simulation evidence obtained within a Bayesian model of price-setting in a betting market, where anonymous gamblers queue to bet against a risk-neutral bookmaker, suggests that a gambler who wants to maximize future profits should trade on the advice of the analyst cum probability forecaster who records the best probability score, rather than the highest trading profits, during the preceding observation period. In general, probability scoring rules, specifically the log score and better known “Brier” (quadratic) score, are found to have higher (...) probability of ranking rival analysts in predetermined “correct” order than either (i) the more usual method of counting categorical forecast errors (misclassifications), or (ii) an economic measure of forecasting success, described here as the “Kelly score” and defined as the trading profits accumulated by making log optimal bets (i.e. Kelly betting) against the market maker based on the probability forecasts of the analyst being assessed. This runs counter to the conventional wisdom that financial forecasts are more aptly evaluated in terms of their financial consequences than by an abstract non-monetary measure of statistical accuracy such as the number of misclassifications or a probability score. (shrink)

There are different Bayesian measures to calculate the degree of confirmation of a hypothesis H in respect of a particular piece of evidence E. Zalabardo (Analysis 69:630–635, 2009) is a recent attempt to defend the likelihood-ratio measure (LR) against the probability-ratio measure (PR). The main disagreement between LR and PR concerns their sensitivity to prior probabilities. Zalabardo invokes intuitive plausibility as the appropriate criterion for choosing between them. Furthermore, he claims that it favours the ordering of pairs evidence/hypothesis generated by (...) LR. We will argue, however, that the intuitive non-numerical example provided by Zalabardo does not show that prior probabilities do not affect the degree of confirmation. On account of this, we conclude that there is no compelling reason to endorse LR qua measure of degree of confirmation. On the other side, we should not forget some technicalities which still benefit PR. (shrink)

Subjective probability plays an increasingly important role in many fields concerned with human cognition and behavior. Yet there have been significant criticisms of the idea that probabilities could actually be represented in the mind. This paper presents and elaborates a view of subjective probability as a kind of sampling propensity associated with internally represented generative models. The resulting view answers to some of the most well known criticisms of subjective probability, and is also supported by empirical work in neuroscience and (...) behavioral psychology. The repercussions of the view for how we conceive of many ordinary instances of subjective probability, and how it relates to more traditional conceptions of subjective probability, are discussed in some detail. (shrink)

Kyburg’s opposition to the subjective Bayesian theory, and in particular to its advocates’ indiscriminate and often questionable use of Dutch Book arguments, is documented and much of it strongly endorsed. However, it is argued that an alternative version, proposed by both de Finetti at various times during his long career, and by Ramsey, is less vulnerable to Kyburg’s misgivings. This is a logical interpretation of the formalism, one which, it is argued, is both more natural and also avoids other, widely-made (...) objections to Bayesianism. (shrink)

Bandyopadhyay, Taper, and Brittan advance a measure of evidential support that first appeared in the statistical and philosophical literature four decades ago and have been extensively discussed since. I have argued elsewhere, however, that it is vulnerable to a simple counterexample. BTB claim that the counterexample is flawed because it conflates evidence with confirmation. In this reply, I argue that the counterexample stands, and is fatal to their theory.

The No-Miracles Argument has a natural representation as a probabilistic argument. As such, it commits the base-rate fallacy. In this article, I argue that a recent attempt to show that there is still a serviceable version that avoids the base-rate fallacy fails, and with it all realistic hope of resuscitating the argument.

The paper provides a formal proof that efficient estimates of parameters, which vary as as little as possible when measurements are repeated, may be expected to provide more accurate predictions. The definition of predictive accuracy is motivated by the work of Akaike (1973). Surprisingly, the same explanation provides a novel solution for a well known problem for standard theories of scientific confirmation — the Ravens Paradox. This is significant in light of the fact that standard Bayesian analyses of the paradox (...) fail to account for the predictive utility of universal laws like All ravens are black. (shrink)

The (recent, Bayesian) cognitive science literature on The Wason Task (WT) has been modeled largely after the (not-so-recent, Bayesian) philosophy of science literature on The Paradox of Confirmation (POC). In this paper, we apply some insights from more recent Bayesian approaches to the (POC) to analogous models of (WT). This involves, first, retracing the history of the (POC), and, then, reexamining the (WT) with these historico-philosophical insights in mind.