It seems obvious that when higher-order evidence makes it rational for one to doubt that one’s own belief on some matter is rational, this can undermine the rationality of that belief. This is known as higher-order defeat. However, despite its intuitive plausibility, it has proved puzzling how higher-order defeat works, exactly. To highlight two prominent sources of puzzlement, higher-order defeat seems to defy being understood in terms of conditionalization; and higher-order defeat can sometimes place agents in what seem like epistemic (...) dilemmas. This chapter draws attention to an overlooked aspect of higher-order defeat, namely that it can undermine the resilience of one’s beliefs. The notion of resilience was originally devised to understand how one should reflect the ‘weight’ of one’s evidence. But it can also be applied to understand how one should reflect one’s higher-order evidence. The idea is particularly useful for understanding cases where one’s higher-order evidence indicates that one has failed in correctly assessing the evidence, without indicating whether one has over- or underestimated the degree of evidential support for a proposition. But it is exactly in such cases that the puzzles of higher-order defeat seem most compelling. (shrink)

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

We have reasons to want an epistemology of simple belief in addition to the Bayesian notion of belief which admits of degree. Accounts of simple belief which attempt to reduce it to the notion of credence all face difficulties. We argue that each conception captures an important aspect of our pre-theoretic thinking about epistemology; the differences between the two accounts of belief stem from two different conceptions of unlikelihood. On the one hand there is unlikelihood in the sense of improbability, (...) on the other hand there is unlikelihood in the sense of far-fetchedness. A non-reductive account of simple belief is outlined. Belief aims not just at truth, but at attaining the status of knowledge, and knowledge should satisfy the weak modal principle: If S knows that p then S is certain that there is no possibility very close to actuality at which p is false. The account faces a difficulty in dealing with statistical inductive cases. We sketch a speculative strategy for dealing with such cases, based on the pragmatic considerations that lead to an agent’s partition of the space of possibilities and a nonprobabilistic notion of the “estimated distance” of elements of such a partition from actuality. (shrink)

The primary objective of this paper is to introduce a new epistemic paradox that puts pressure on the claim that justification is closed under multi premise deduction. The first part of the paper will consider two well-known paradoxes—the lottery and the preface paradox—and outline two popular strategies for solving the paradoxes without denying closure. The second part will introduce a new, structurally related, paradox that is immune to these closure-preserving solutions. I will call this paradox, The Paradox of the Pill. (...) Seeing that the prominent closure-preserving solutions do not apply to the new paradox, I will argue that it presents a much stronger case against the claim that justification is closed under deduction than its two predecessors. Besides presenting a more robust counterexample to closure, the new paradox also reveals that the strategies that were previously thought to get closure out of trouble are not sufficiently general to achieve this task as they fail to apply to similar closure-threatening paradoxes in the same vicinity. (shrink)

Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...) main results are: an adequate method of conceptual re-engineering must focus not on individual concepts but on systems of concepts and theories; the linear structure of Carnapian explication must be replaced by a process of mutual adjustments as described by Goodman; Carnap’s condition of similarity can be analysed into two components, one securing a relation to the specific extensions of the pre-existing concepts, one regulating the transition to the new system of concepts; these two criteria of adequacy can be built into Goodman’s account of reflective equilibrium to ensure that the resulting concepts promote theoretical virtues while being sufficiently similar to the concepts we started out with. (shrink)

The present paper investigates the first step of rational belief acquisition. It, thus, focuses on justificatory relations between perceptual experiences and perceptual beliefs, and between their contents, respectively. In particular, the paper aims at outlining how it is possible to reason from the content of perceptual experiences to the content of perceptual beliefs. The paper thereby approaches this aim by combining a formal epistemology perspective with an eye towards recent advances in philosophy of cognition. Furthermore the paper restricts its focus, (...) it concentrates on the case of color perception and perceptual beliefs about color. (shrink)

This is a three-part exchange on the relationship between belief and credence. It begins with an opening essay by Roger Clarke that argues for the claim that the notion of credence generalizes the notion of belief. Julia Staffel argues in her reply that we need to distinguish between mental states and models representing them, and that this helps us explain what it could mean that belief is a special case of credence. Roger Clarke's final essay reflects on the compatibility of (...) the previously discussed views with dualist and monist interpretations of our mental states and our ways of modeling them. (shrink)

This guide accompanies the following article(s): Jackson, E., Philosophy Compass 15/6 (2020) pp. 1-13 10.1111/phc3.12668.x.

This paper addresses the ongoing debate over the relation between belief and credence. A proposal is made to reverse the currently predominant order of analysis, by taking belief as conceptually basic and credence as the phenomenon to be clarified. In brief, the proposal is to explicate an agent’s credence in a proposition P as the agent’s tendency toward believing P. Platitudinous as this reduction may seem, it runs counter to all of the major positions in the debate, including the Threshold (...) View, the Certainty View as conventionally understood, Dualism, Eliminativism, as well as Credence Primitivism. Section 1 gives an overview on the current state of the debate. Section 2 considers unsuccessful predecessors of the proposed belief-first approach to credence. Section 3 motivates and lays out the basics of a conceptual framework for thinking about doxastic states that characterizes such states in terms of two formally independent dimensions, one pertaining to the agent’s tendency toward believing P, the other to the level of resilience with which the agent manifests that tendency. Against this backdrop, it is argued in Sect. 4 that the present reduction satisfies a set of standard, theoretically neutral criteria of adequacy for theories of credence, at least once they are purged of a quite common conflation of tendency and resilience. Section 5 argues against all of the above competing accounts. (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)

When a group of agents attempts to reach an agreement on certain issues, it is usually desirable that the resulting consensus be as close as possible to the original judgments of the individuals. However, when these judgments are logically connected to further beliefs, the notion of closeness should also take into account to what extent the individuals would have to revise their entire belief set to reach an agreement. In this work, we present a model for generation of agreement with (...) respect to a given agenda which allows individual epistemic entrenchment to influence the value of the consensus. While the postulates for the transformation function and their construction resemble those of AGM belief revision, the notion of an agenda is adapted from the theory of judgment aggregation. This allows our model to connect both frameworks. (shrink)

The Precautionary Principle is typically construed as a conservative decision rule aimed at preventing harm. But Martin Peterson (JME 33: 5–10, 2007; The ethics of technology: A geometric analysis of five moral principles, Oxford University Press, Oxford, 2017) has argued that the principle is better understood as an epistemic rule, guiding decision-makers in forming beliefs rather than choosing among possible acts. On the epistemic view, he claims there is a principle concerning expert disagreement underlying precautionary-based reasoning called the ecumenical principle: (...) all expert views should be considered in a precautionary appraisal, not just those that are the most prominent or influential. In articulating the doxastic commitments of decision-makers under this constraint, Peterson precludes any probabilistic rule that might result in combining expert opinions. For combined or consensus probabilities are likely to provide decision-makers with information that is more precise than warranted. Contra Peterson, I argue that upon adopting a broader conception of probability, there is a probabilistic rule, under which expert opinions are combined, that is immune to his criticism and better represents the ecumenical principle. (shrink)

Much linguistic evidence supports the view believing something only requires thinking it likely. I assess and reject a rival view, based on recent work on homogeneity in natural language, according to which belief is a strong, demanding attitude. I discuss the implications of the linguistic considerations about ‘believe’ for our philosophical accounts of belief.

How should we understand the relationship between binary belief and degree of belief? To answer this question, we should look to desire. Whatever relationship we think holds between desire and degree of desire should be used as our model for the relationship we think holds between belief and degree of belief. This parity pushes us towards an account that treats the binary attitudes as primary. But if we take binary beliefs as primary, we seem to face a serious problem. Binary (...) beliefs are insufficiently discriminating. If we treat them as primary, we will lack the resources needed for fruitful theorizing. This problem can, I argue, be solved if we think of an agent’s degree of belief that p as reducible to her binary believing that p and the change in the apparent reasons that would be needed to get her to withhold. (shrink)

The standard approach to solve prediction tasks is to apply inductive methods such as, e.g., the straight rule. Such methods are proven to be access-optimal in specific prediction settings, but not in all. Within the optimality-approach of meta-induction, success-based weighted prediction methods are proven to be access-optimal in all possible continuous prediction settings. However, meta-induction fails to be access-optimal in so-called demonic discrete prediction environments where the predicted value is inversely correlated with the true outcome. In this paper the problem (...) of discrete prediction environments is addressed by embedding them into a synchronised prediction setting. In such a setting the task consists in providing a discrete and a continuous prediction. It is shown that synchronisation constraints exclude the possibility of demonic environments. (shrink)

This manuscript presents a topological argumentation framework for modelling notions of evidence-based (i.e., justified) belief. Our framework relies on so-called topological evidence models to represent the pieces of evidence that an agent has at her disposal, and it uses abstract argumentation theory to select the pieces of evidence that the agent will use to define her beliefs. The tools from abstract argumentation theory allow us to model agents who make decisions in the presence of contradictory information. Thanks to this, it (...) is possible to define two new notions of beliefs, grounded beliefs and fully grounded beliefs. These notions are discussed in this paper, analysed and compared with the existing notion of topological justified belief. This comparison revolves around three main issues: closure under conjunction introduction, the level of consistency and their logical strength. (shrink)

It is certainly well accepted that formal models play a key role in scientific job. Its use goes from natural sciences like physics and even to social sciences like economics and politics. Using mathematics allows the researcher to consider more complicated scenarios involving several variables. Some models are developed to make predictions, others to describe a phenomena, or just to improve the explanation of events in the world. But what has all this to do with philosophy? The aim of the (...) present paper is to investigate debates on the role of formal models in a specific philosophical subject, precisely, the epistemology of rationality. Are we able to explain why models are needed in epistemological work? This answer will be addressed on the assumptions that epistemological theorizing is committed with normative statements. More specifically, epistemologists are concerned with normative questions about what rationality requires from epistemic agents. The first goal is to discuss some assumptions about the role of mathematical models in formal epistemology undertaking. And secondly, I will argue for the following two claims: formal models are useful tools for predicting consequences of normative assumption about what is intuitively required by rationality; and insofar rationality theory is normative in virtue of being instrumentalist and aiming at truth, formal models are means-end tools, therefore, for rationality, mathematical models are devices for maximizing truth in doxastic states. (shrink)

The principle of compositionality claims that the content of a complex concept is determined by its constituent concepts and the way in which they are composed. However, for prototype concepts this principle is often too rigid. Blurring the division between conceptual composition and belief update has therefore been suggested. Inspired by this idea, we develop a normative account of how belief revision and meaning composition should interact in modifications such as “red apple” or “pet hamster”. We do this by combining (...) the well-known selective modification model :485–527 1988) with the rules of Bayesian belief update. Moreover, we relate this model to systems of defeasible reasoning as discussed in the field of artificial intelligence. (shrink)

This paper is about the statics and dynamics of belief states that are represented by pairs consisting of an agent's credences (represented by a subjective probability measure) and her categorical beliefs (represented by a set of possible worlds). Regarding the static side, we argue that the latter proposition should be coherent with respect to the probability measure and that its probability should reach a certain threshold value. On the dynamic side, we advocate Jeffrey conditionalisation as the principal mode of changing (...) one's belief state. This updating method fits the idea of the Lockean Thesis better than plain Bayesian conditionalisation, and it affords a flexible method for adding and withdrawing categorical beliefs. We show that it fails to satisfy the traditional principles of Inclusion and Preservation for belief revision and the principle of Recovery for belief withdrawals{, as well as the Levi and Harper identities. We take this to be a problem for the latter principles rather than for the idea of coherent belief change. (shrink)

This is a response to the papers in the special issue Logical Perspectives on Science and Cognition—The Philosophy of Gerhard Schurz.

This paper argues that representationalism of a Fodorian variety can accommodate the fact that beliefs come in degrees. First, it responds to two key arguments to the contrary. Second, it builds upon these responses and outlines a novel representationalist theory of degrees of beliefs. I call this theory dispositional representationalism, as it involves direct appeal to our dispositions to form representations and propositional attitudes concerning them.