Different similarity relations on sets are introduced, and their logical properties are investigated. Close relationships are shown to hold between similarity relations that are based on symmetrical difference and operators of belief contraction that are based on relational selection functions. Two new rationality criteria for minimal belief contraction, the maximizing property and the reducing property, are proposed.

Two types of measures of probabilistic uncertainty are introduced and investigated. Dispersion measures report how diffused the agent’s second-order probability distribution is over the range of first-order probabilities. Robustness measures reflect the extent to which the agent’s assessment of the prior (objective) probability of an event is perturbed by information about whether or not the event actually took place. The properties of both types of measures are investigated. The most obvious type of robustness measure is shown to coincide with one (...) of the major candidates for a dispersion measure, the mean square deviation measure. (shrink)

In the most common approaches to belief dynamics, states of belief are represented by sets that are closed under logical consequence. In an alternative approach, they are represented by non-closed belief bases. This representation has attractive properties not shared by closed representations. Most importantly, it can account for repeated belief changes that have not yet been satisfactorily accounted for in the closed approach.

Although it has often been claimed that all the information contained in second-order probabilities can be contained in first-order probabilities, no practical recipe for the elimination of second-order probabilities without loss of information seems to have been presented. Here, such an elimination method is introduced for repeatable events. However, its application comes at the price of losses in cognitive realism. In spite of their technical eliminability, second-order probabilities are useful because they can provide models of important features of the world (...) that are cognitively more plausible than those that can be obtained with single-level probabilities. (shrink)

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined. Descriptors are introduced as a versatile tool for expressing the success conditions of belief change, addressing both local and global descriptor revision. The book presents dynamic descriptors such as Ramsey descriptors that convey how an agent’s beliefs tend to be changed (...) in response to different inputs. It also explores sentential revision and demonstrates how local and global operations of revision by a sentence can be derived as a special case of descriptor revision. Lastly, the book examines revocation, a generalization of contraction in which a specified sentence is removed in a process that may possibly also involve the addition of some new information to the belief set. (shrink)

Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.

Common-sense philosophers typically maintain that common-sense propositions have a certain kind of epistemic privilege that allows them to evade the threats of skepticism or radical revisionism. Butwhydo they have this special privilege? In response to this question, the “Common-Sense Tradition” contains many different strands of arguments. In this paper, I will develop a strategy that combines two of these strands of arguments. First, the “Dynamic Argument” (or the “starting-point argument”), inspired by Thomas Reid and Charles S. Peirce (but which will (...) be strengthened with the help of Gilbert Harman’s epistemology of belief revision). Second, G.E. Moore’s “greater certainty argument” (interpreted along the lines of Soames’ and Pollock’s construal). This combined strategy, I will argue, is the strong core of Common-Sense Philosophy, and relies on extremely modest and widely held assumptions. (shrink)

When the meta-philosophies of Nominalism and Realism are compared, it is often said that Nominalism is motivated by a methodology of ontological economy, while Realism would be motivated by an appeal to Common Sense. In this paper, I argue that this association is misguided. After briefly comparing the meta-philosophy of Common Sense and the meta-philosophy of economy, I show that the core motivation in favour of Realism relies in fact in a principle of economy which violates the methodology of Common (...) Sense. I conclude that Common Sense philosophers should endorse Nominalism. (shrink)

A lot of philosophy taught to science students consists of scientific methodology. But many philosophy of science textbooks have a fraught relationship with methodology, presenting it either a system of universal principles or entirely permeated by contingent factors not subject to normative assessment. In this paper, I argue for an alternative, heuristic perspective for teaching methodology: as fallible, purpose- and context-dependent, subject to cost-effectiveness considerations and systematically biased, but nevertheless subject to normative assessment. My pedagogical conclusion from this perspective is (...) that philosophers should aim to teach science students heuristic reasoning: strategies of normative method choice appraisal that are sensitive to purposes, contexts, biases and cost-effectiveness considerations; and that we should do so by teaching them exemplars of such reasoning. I illustrate this proposal at the hand of three such exemplars, showing how they help students to appreciate the heuristic nature of both methods and methodology, and to normatively assess method choice in such circumstances. (shrink)

In the debate between simple inference heuristics and complex decision mechanisms, we take a position squarely in the middle. A decision making process that extends to both naturalistic and novel settings should extend beyond the confines of this debate; both simple heuristics and complex mechanisms are cognitive skills adapted to and appropriate for some circumstances but not for others. Rather than ask `Which skill is better?'' it is often more important to ask `When is a skill justified?'' The selection and (...) application of an appropriate cognitive skill for a particular problem has both costs and benefits, and therefore requires the resolution of a tradeoff. In revisiting satisficing, we observe that the essence of satisficing is tradeoff. Unlike heuristics, which derive their justification from empirical phenomena, and unlike optimal solutions, which derive their justification by an evaluation of alternatives, satisficing decision-making derives its justification by an evaluation of consequences. We formulate and present a satisficing decision paradigm that has its motivation in Herbert Simon''s work on bounded rationality. We characterize satisficing using a cost–benefit tradeoff, and generate a decision rule applicable to both designing intelligent machines as well as describing human behavior. (shrink)

This paper continues the recent tradition of investigating iterated AGM revision by reasoning directly about the dynamics for total pre-order (“implausibility ordering”) representations of AGM revision functions. We reorient discussion, however, by proving that symmetry considerations, almost by themselves, suffice to determine a particular, AGM-friendly implausibility ordering dynamics due to Spohn 1988, which we call “J-revision”. After exploring the connections between implausibility ordering dynamics and the social choice theory of Arrow 1963, we provide symmetry arguments in the social choice-theoretic framework (...) for an interesting generalization of J-revision due to Nayak 1994. We conclude by arguing that the symmetry principles that uniquely favor J-revision and its generalizations are importantly expressive of the purely qualitative framework for representing beliefs that distinguishes the AGM program. Our results therefore comprehensively vindicate Spohn's 1988 conjecture that essentially J-revision is the best that can be done by way of a purely qualitative model of belief revision. (shrink)

Economic theory reduces the concept of rationality to internal consistency. As far as beliefs are concerned, rationality is equated with having a prior belief over a “Grand State Space”, describing all possible sources of uncertainties. We argue that this notion is too weak in some senses and too strong in others. It is too weak because it does not distinguish between rational and irrational beliefs. Relatedly, the Bayesian approach, when applied to the Grand State Space, is inherently incapable of describing (...) the formation of prior beliefs. On the other hand, this notion of rationality is too strong because there are many situations in which there is not sufficient information for an individual to generate a Bayesian prior. It follows that the Bayesian approach is neither sufficient not necessary for the rationality of beliefs. (shrink)

Economic theory reduces the concept of rationality to internal consistency. As far as beliefs are concerned, rationality is equated with having a prior belief over a “Grand State Space”, describing all possible sources of uncertainties. We argue that this notion is too weak in some senses and too strong in others. It is too weak because it does not distinguish between rational and irrational beliefs. Relatedly, the Bayesian approach, when applied to the Grand State Space, is inherently incapable of describing (...) the formation of prior beliefs. On the other hand, this notion of rationality is too strong because there are many situations in which there is not sufficient information for an individual to generate a Bayesian prior. It follows that the Bayesian approach is neither sufficient not necessary for the rationality of beliefs. (shrink)

This note argues that, under some circumstances, it is more rational not to behave in accordance with a Bayesian prior than to do so. The starting point is that in the absence of information, choosing a prior is arbitrary. If the prior is to have meaningful implications, it is more rational to admit that one does not have sufficient information to generate a prior than to pretend that one does. This suggests a view of rationality that requires a compromise between (...) internal coherence and justification, similarly to compromises that appear in moral dilemmas. Finally, it is argued that Savage's axioms are more compelling when applied to a naturally given state space than to an analytically constructed one; in the latter case, it may be more rational to violate the axioms than to be Bayesian. (shrink)

There is an important class of conditionals whose assertibility conditions are not given by the Ramsey test but by an inductive extension of that test. Such inductive Ramsey conditionals fail to satisfy some of the core properties of plain conditionals. Associated principles of nonmonotonic inference should not be assumed to hold generally if interpretations in terms of induction or appeals to total evidence are not to be ruled out.

The AGM theory of belief contraction is extended tomultiple contraction, i.e. to contraction by a set of sentences rather than by a single sentence. There are two major variants: Inpackage contraction all the sentences must be removed from the belief set, whereas inchoice contraction it is sufficient that at least one of them is removed. Constructions of both types of multiple contraction are offered and axiomatically characterized. Neither package nor choice contraction can in general be reduced to contractions by single (...) sentences; in the finite case choice contraction allows for reduction. (shrink)

Gauthier's argument for constrained maximization, presented inMorals by Agreement, is perfected by taking into account the possibility of accidental exploitation and discussing the limitations on the values of the parameters which measure the translucency of the actors. Gauthier's argument is nevertheless shown to be defective concerning the rationality of constrained maximization as a strategic choice. It can be argued that it applies only to a single actor entering a population of individuals who are themselves not rational actors but simple rule-followers. (...) A proper analysis of the strategic choice situation involving two rational actors who confront each other shows that constrained maximization as the choice of both actors can only result under very demanding assumptions. (shrink)

Virtue epistemology has been divided into two camps: reliabilists and responsibilists. This division has been attributed in part to a focus on different types of virtues, viz., faculty virtues and character virtues. I will argue that this distinction is unhelpful, and that we should carve up the theoretical terrain differently. Making several better distinctions among virtues will show us two important things. First, that responsibilists and reliabilists are actually engaged in different, complementary projects; and second, that certain responsibilist critiques of (...) reliabilism miss the mark. With these distinctions on the table, we can see that the virtue reliabilist project is in some ways more fundamental than the responsibilist project, since the latter importantly depends on the former. I argue that the distinctively epistemic value of the responsibilist’s character virtues is derived from their connections to the reliabilist’s constitutive virtues. While this will give us a unified account of the epistemic value of intellectual virtues, it is not a reduction of the responsibilist project to the reliabilist one; rather, it as a way of securing the separate importance of each project by clarifying how they relate to one another. (shrink)

It is valuable for inquiry to have researchers who are committed advocates of their own theories. However, in light of pervasive disagreement, such a commitment is not well explained by the idea that researchers believe their theories. Instead, this commitment, the rational attitude to take toward one’s favored theory during the course of inquiry, is what I call endorsement. Endorsement is a doxastic attitude, but one which is governed by a different type of epistemic rationality. This inclusive epistemic rationality is (...) sensitive to reasons beyond those to think the particular proposition in question is true. Instead, it includes extrinsic epistemic reasons, which concern the health of inquiry more generally. Such extrinsic reasons include the distribution of cognitive labor that a researcher will contribute to by endorsing a particular theory. Recognizing endorsement and inclusive epistemic rationality thus allows us to smooth a tension between individual rationality and collective rationality. It does so by showing how it can be epistemically rational to endorse a theory on the basis of the way this endorsement will benefit collective inquiry. I provide a decision theoretic treatment for inclusive epistemic rationality and endorsement which illustrates how this can be accomplished. (shrink)

Intellectual courage requires acting to promote epistemic goods despite significant risk of harm. Courage is distinguished from recklessness and cowardice because the expected epistemic benefit of a courageous action outweighs (in some sense) the threatened harm. Sometimes, however, inquirers pursue theories that are not best supported by their current evidence. For these inquirers, the expected epistemic benefit of their actions cannot be explained by appeal to their evidence alone. The probability of pursuing the true theory cannot contribute enough to the (...) expected epistemic benefit for the action to count as courageous rather than reckless. Thus, there must be some other epistemic consideration which favors their action, besides evidence for their theory. I argue that the proper account of intellectual courage requires recognition of inquisitive reasons: a distinct category of epistemic reasons which concern successful inquiry. This category includes reasons to think a theory itself is promising, e.g., that the theory suggests potentially fruitful new research. It also includes social epistemic reasons, e.g., that pursuing a theory will improve the distribution of cognitive labor. Inquisitive reasons help explain why researchers who pursue improbable theories count as intellectually courageous, rather than reckless. The expected epistemic benefit of an action is partially determined by the inquisitive reasons in its favor. On my account, intellectually courageous inquiry requires acting in a way that is sensitive to inquisitive reasons. (shrink)

I argue that recognizing a distinct doxastic attitude called endorsement, along with the epistemic norms governing it, solves the self-undermining problem for conciliationism about disagreement. I provide a novel account of how the self-undermining problem works by pointing out the auxiliary assumptions the objection relies on. These assumptions include commitment to certain epistemic principles linking belief in a theory to following prescriptions of that theory. I then argue that we have independent reason to recognize the attitude of endorsement. Endorsement is (...) the attitude of resilient and committed advocacy which is appropriate for researchers to have toward their own theory. Recognizing the importance of endorsement, and of its resiliency, gives us reason to deny the epistemic principles that serve as auxiliary assumptions in the self-undermining objection. This defuses the objection, and provides additional support for the theory of endorsement. (shrink)

Scientists, philosophers, and other researchers commonly assert their theories. This is surprising, as there are good reasons for skepticism about theories in cutting-edge research. I propose a new account of assertion in research contexts that vindicates these assertions. This account appeals to a distinct propositional attitude called endorsement, which is the rational attitude of committed advocacy researchers have to their theories. The account also appeals to a theory of conversational pragmatics known as the Question Under Discussion model, or QUD. Hence, (...) I call the theory the EQUD model. Motivating this account is a recognition that the speech act of assertion has two roles to play in research contexts. The first is the advocacy role, in which researchers assert a theory in order to advocate for it. The second is the evidential role, which is used to add to the common stock of information available to a field of inquiry. The EQUD model provides an account of warranted assertion for both these roles in research contexts. This success provides support for the theory of endorsement. It also provides support for information updating accounts of assertion. (shrink)

Do time travellers retain their normal freedom and abilities when they travel back in time? Lewis, Horwich and Sider argue that they do. Time-travelling Tim can kill his young grandfather, his younger self, or whomever else he pleases—and so, it seems can reasonably deliberate about whether to do these things. He might not succeed. But he is still just as free as a non-time traveller. I’ll disagree. The freedom of time travellers is limited by a rational constraint. Tim can’t reasonably (...) deliberate on killing his grandfather, certain that he’ll fail. If Tim follows his evidence, and appropriately self-predicts, he will be certain he won’t kill his grandfather. So if Tim is both evidentially and deliberatively rational, he can’t deliberate on killing his grandfather. This result has consequences. Firstly, it shows how evidential limits in the actual world contribute to our conception of the future as open. Secondly, it undercuts arguments against the possibility of time travel. Thirdly, it affects how we evaluate counterfactuals in time travel worlds, as well as our own. I’ll use the constraint to motivate an evidential and temporally neutral method of evaluating counterfactuals that holds fixed what a relevant deliberating agent has evidence of, independently of her decision. Using this method, an agent’s local abilities may be affected by what happens globally at other times, including the future. (shrink)

The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions" was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twentyfive years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in (...) the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original (...) framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

Fundamental physics makes no clear use of causal notions; it uses laws that operate in relevant respects in both temporal directions and that relate whole systems across times. But by relating causation to evidence, we can explain how causation fits in to a physical picture of the world and explain its temporal asymmetry. This paper takes up a deliberative approach to causation, according to which causal relations correspond to the evidential relations we need when we decide on one thing in (...) order to achieve another. Tamsin's taking her umbrella is a cause of her staying dry, for example, if and only if her deciding to take her umbrella for the sake of staying dry is adequate grounds for believing she'll stay dry. This correspondence explains why causation matters: knowledge of causal structure helps us make decisions that are evidence of outcomes we seek. The account also explains why we can control the future and not the past, and why causes come before their effects. When agents properly deliberate, their decisions can never count as evidence for any outcomes they may seek in the past. From this it follows that causal relations don't run backwards. This deliberative asymmetry is itself traced back to asymmetries of evidence and entropy, providing a new way of deriving causal asymmetry from temporally symmetric laws. (shrink)

The paper investigates what type of motivation can be given for adopting a knowledge-based decision theory. KBDT seems to have several advantages over competing theories of rationality. It is commonly argued that this theory would naturally fit with the intuitive idea that being rational is doing what we take to be best given what we know, an idea often supported by appeal to ordinary folk appraisals. Moreover, KBDT seems to strike a perfect balance between the problematic extremes of subjectivist and (...) objectivist decision theory. We argue that these alleged advantages do not stand up to a closer scrutiny: KBDT inherits the same kinds of problems as alternative decision theoretic frameworks but doesn’t retain any of the respective advantages. Moreover, differently from other knowledge-action principles advanced in the literature, KBDT cannot fully explain the intuitive connections between knowledge and rational action. We conclude that the most serious challenge for knowledge-based decision theorists is to provide a substantive rationale for the adoption of such a view. (shrink)

Philosophers cannot agree on whether the rule of Countable Additivity should be an axiom of probability. Edwin T. Jaynes attacks the problem in a way which is original to him and passed over in the current debate about the principle: he says the debate only arises because of an erroneous use of mathematical infinity. I argue that this solution fails, but I construct a different argument which, I argue, salvages the spirit of the more general point Jaynes makes. I argue (...) that in Jaynes’s objective Bayesianism we might have good reasons to adopt Countable Additivity, and some of the major problems this adoption is known to entail need not worry us. In particular, I propose to adopt this new angle on Countable Additivity in Jon Williamson’s version of objective Bayesianism. (shrink)

Two compelling principles, the Reasonable Range Principle and the Preservation of Irrelevant Evidence Principle, are necessary conditions that any response to peer disagreements ought to abide by. The Reasonable Range Principle maintains that a resolution to a peer disagreement should not fall outside the range of views expressed by the peers in their dispute, whereas the Preservation of Irrelevant Evidence Principle maintains that a resolution strategy should be able to preserve unanimous judgments of evidential irrelevance among the peers. No standard (...) Bayesian resolution strategy satisfies the PIE Principle, however, and we give a loss aversion argument in support of PIE and against Bayes. The theory of imprecise probability allows one to satisfy both principles, and we introduce the notion of a set-based credal judgment to frame and address a range of subtle issues that arise in peer disagreements. (shrink)

Say that an agent is "epistemically humble" if she is less than certain that her opinions will converge to the truth, given an appropriate stream of evidence. Is such humility rationally permissible? According to the orgulity argument : the answer is "yes" but long-run convergence-to-the-truth theorems force Bayesians to answer "no." That argument has no force against Bayesians who reject countable additivity as a requirement of rationality. Such Bayesians are free to count even extreme humility as rationally permissible.

On an evidentialist position, it is epistemically rational for us to believe propositions that are (stably) supported by our total evidence. We are epistemically permitted to believe such propositions, and perhaps even ought to do so. Epistemic rationality is normative. One popular way to explain the normativity appeals to epistemic teleology. The primary aim of this paper is to argue that appeals to epistemic teleology do not support that we ought to believe what is rational to believe, only that we (...) are permitted to do so. In arguing for that, I defend an epistemic teleological position that is radical in nature. It involves no commitment to aiming at the truth. I conclude by dispelling some worries that have been raised about my position. (shrink)

Enjoying great popularity in decision theory, epistemology, and philosophy of science, Bayesianism as understood here is fundamentally concerned with epistemically ideal rationality. It assumes a tight connection between evidential probability and ideally rational credence, and usually interprets evidential probability in terms of such credence. Timothy Williamson challenges Bayesianism by arguing that evidential probabilities cannot be adequately interpreted as the credences of an ideal agent. From this and his assumption that evidential probabilities cannot be interpreted as the actual credences of human (...) agents either, he concludes that no interpretation of evidential probabilities in terms of credence is adequate. I argue to the contrary. My overarching aim is to show on behalf of Bayesians how one can still interpret evidential probabilities in terms of ideally rational credence and how one can maintain a tight connection between evidential probabilities and ideally rational credence even if the former cannot be interpreted in terms of the latter. By achieving this aim I illuminate the limits and prospects of Bayesianism. (shrink)