How can the propositional attitudes of several individuals be aggregated into overall collective propositional attitudes? Although there are large bodies of work on the aggregation of various special kinds of propositional attitudes, such as preferences, judgments, probabilities and utilities, the aggregation of propositional attitudes is seldom studied in full generality. In this paper, we seek to contribute to …lling this gap in the literature. We sketch the ingredients of a general theory of propositional attitude aggregation and prove two new theorems. (...) Our …rst theorem simultaneously characterizes some prominent aggregation rules in the cases of probability, judgment and preference aggregation, including linear opinion pooling and Arrovian dictatorships. Our second theorem abstracts even further from the speci…c kinds of attitudes in question and describes the properties of a large class of aggregation rules applicable to a variety of belief-like attitudes. Our approach integrates some previously disconnected areas of investigation. (shrink)

In the context of a general framework for belief dynamics which interprets revision as doxastic constraint satisfaction, we discuss a proposal for revising quasi-probabilistic belief measures with finite sets of graded conditionals. The belief states are ranking measures with divisible values (generalizing Spohn’s epistemology), and the conditionals are interpreted as ranking constraints. The approach is inspired by the minimal information paradigm and based on the principle-guided canonical construction of a ranking model of the input conditionals. This is achieved by extending (...) techniques known from conditional default reasoning. We give an overview of how it handles different principles for conditional and parallel revision and compare it with similar accounts. (shrink)

Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking function from its iterated contraction behavior uniquely up to multiplicative constant and thus how to measure ranks on a ratio scale. Thereby, it also shows how to completely axiomatize that behavior. The complete set of laws of iterated contraction it specifies amend the laws hitherto discussed in the literature.

Objective standards for justification or for being a reason would be desirable, but inductive skepticism tells us that they cannot be presupposed. Rather, we have to start from subjective-relative notions of justification and of being a reason. The paper lays out the strategic options we have given this dilemma. The paper explains the requirements for this subject-relative notion and how they may be satisfied. Then it discusses four quite heterogeneous ways of providing more objective standards, which combine without guaranteeing complete (...) success. (shrink)

The paper is motivated by the need of accounting for the practical syllogism as a piece of defeasible reasoning. To meet the need, the paper first refers to ranking theory as an account of defeasible descriptive reasoning. It then argues that two kinds of ought need to be distinguished, purely normative and fact-regarding obligations. It continues arguing that both kinds of ought can be iteratively revised and should hence be represented by ranking functions, too, just as iteratively revisable beliefs. Its (...) central proposal will then be that the fact-regarding normative ranking function must be conceived as the sum of a purely normative ranking function and an epistemic ranking function. The distinctions defends this proposal with a comparative discussion of some critical examples and some other distinctions made in the literature. It gives a more rigorous justification of this proposal. Finally, it starts developing the logic of purely normative and of fact-regarding normative defeasible reasoning, points to the difficulties of completing the logic of the fact-regarding side, but reaches the initial aim of accounting for the defeasible nature of the practical syllogism. (shrink)

The paper is motivated by the need of accounting for the practical syllogism as a piece of defeasible reasoning. To meet the need, the paper first refers to ranking theory as an account of defeasible descriptive reasoning. It then argues that two kinds of ought need to be distinguished, purely normative and fact-regarding obligations (in analogy to intrinsic and extrinsic utilities). It continues arguing that both kinds of ought can be iteratively revised and should hence be represented by ranking functions, (...) too, just as iteratively revisable beliefs. Its central proposal will then be that the fact-regarding normative ranking function must be conceived as the sum of a purely normative ranking function and an epistemic ranking function (as suggested in qualitative decision theory). The distinctions defends this proposal with a comparative discussion of some critical examples and some other distinctions made in the literature. It gives a more rigorous justification of this proposal. Finally, it starts developing the logic of purely normative and of fact-regarding normative defeasible reasoning, points to the difficulties of completing the logic of the fact-regarding side, but reaches the initial aim of accounting for the defeasible nature of the practical syllogism. (shrink)

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (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)

We explore ways in which purely qualitative belief change in the AGM tradition throws light on options in the treatment of conditional probability. First, by helping see why it can be useful to go beyond the ratio rule defining conditional from one-place probability. Second, by clarifying what is at stake in different ways of doing that. Third, by suggesting novel forms of conditional probability corresponding to familiar variants of qualitative belief change, and conversely. Likewise, we explain how recent work on (...) the qualitative part of probabilistic inference leads to a very broad class of 'proto-probability' functions. (shrink)

When the likelihood ratio approach is employed for evidential reasoning in law, it is often necessary to employ subjective probabilities, which are probabilities derived from the opinions and judgement of a human. At least three concerns arise from the use of subjective probabilities in legal applications. Firstly, human beliefs concerning probabilities can be vague, ambiguous and inaccurate. Secondly, the impact of this vagueness, ambiguity and inaccuracy on the outcome of a probabilistic analysis is not necessarily fully understood. Thirdly, the provenance (...) of subjective probabilities and the associated potential sources of vagueness, ambiguity and inaccuracy tend to be poorly understood, making it difficult for the outcome of probabilistic reasoning to be explained and validated, which is crucial in legal applications. The former two concerns have been addressed by a wide body of research in AI. The latter, however, has received little attention. This paper presents a novel approach to employ argumentation to reason about probability distributions in probabilistic models. It introduces a range of argumentation schemes and corresponding sets of critical questions for the construction and validation of argument models that define sets of probability distributions. By means of an extended example, the paper demonstrates how the approach, argumentation schemes and critical questions can be employed for the development of models and their validation in legal applications of the likelihood ratio approach to evidential reasoning. (shrink)

Kroedel has proposed a new solution, the permissibility solution, to the lottery paradox. The lottery paradox results from the Lockean thesis according to which one ought to believe a proposition just in case one’s degree of belief in it is sufficiently high. The permissibility solution replaces the Lockean thesis by the permissibility thesis according to which one is permitted to believe a proposition if one’s degree of belief in it is sufficiently high. This note shows that the epistemology of belief (...) that results from the permissibility thesis and the epistemology of degrees of belief is empty in the sense that one need not believe anything, even if one’s degrees of belief are maximally bold. Since this result can also be achieved by simply dropping the Lockean thesis, or by replacing it with principles that are logically stronger than the permissibility thesis, the question arises what the permissibility solution is a solution of. (shrink)

The paper provides an argument for the thesis that an agent’s degrees of disbelief should obey the ranking calculus. This Consistency Argument is based on the Consistency Theorem. The latter says that an agent’s belief set is and will always be consistent and deductively closed iff her degrees of entrenchment satisfy the ranking axioms and are updated according to the ranktheoretic update rules.

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)

Recently some epistemologists have approached the question whether epistemic justification comes in degrees from a linguistic perspective. Drawing insights from linguistic analyses of gradable adjectives, they investigate whether epistemic occurrences of ‘justified’ are gradable and if yes what type of gradability they involve. These authors conclude that the adjective passes standard tests for gradability, but they classify it as belonging to different categories: as either an absolute or a relative gradable adjective. The aim of this paper is to further clarify (...) the question of what kind of gradability is instantiated by epistemic uses of ‘justified’, and to investigate the consequences that this may have on epistemological theorizing. In particular, we challenge the alleged evidence provided by Siscoe (2021: 517–59) for the relative gradability of ‘justified’ and we provide positive arguments for the claim that ‘justified’ is a specific kind of absolute gradable adjective (a totally closed scale absolute with default minimal reading). We consider some important philosophical implications of these results. We also argue that the scale type of ‘justified’ is ordinal, and we consider which other properties typically associated to justification possess a similar type of scale. We argue that several popular contemporary models of graded justification, such as probabilistic and reliabilist accounts and various kinds of Lockean views, do not fit well with our results about the gradability of ‘justified’. Linguistic data rather favour normalcy and plausibility accounts of graded justification. (shrink)

This paper studies the Lockean thesis from the perspective of contemporary epistemic logic. The Lockean thesis states that belief can be defined as ‘sufficiently high degree of belief’. Its main problem is that it gives rise to a notion of belief which is not closed under conjunction. This problem is typical for classical epistemic logic: it is single-agent and static. I argue that from the perspective of contemporary epistemic logic, the Lockean thesis fares much better. I briefly mention that it (...) can successfully be extended from single-agent to multi-agent settings. More importantly, I show that accepting the Lockean thesis (and a more sophisticated version for conditional beliefs) leads to a significant and unexpected unification in the dynamic behavior of (conditional) belief and high (conditional) probability with respect to public announcements. This constitutes a methodological argument in favor of the Lockean thesis. Furthermore, if one accepts Baltag’s Erlangen program for epistemology, this technical observation has even stronger philosophical implications: because belief and high probability display the same dynamic behavior, it is plausible that they are indeed one and the same epistemic notion. (shrink)

It seems that epistemically rational agents should avoid incoherent combinations of beliefs and should respond correctly to their epistemic reasons. However, some situations seem to indicate that such requirements cannot be simultaneously satisfied. In such contexts, assuming that there is no unsolvable dilemma of epistemic rationality, either (i) it could be rational that one’s higher-order attitudes do not align with one’s first-order attitudes or (ii) requirements such as responding correctly to epistemic reasons that agents have are not genuine rationality requirements. (...) This result doesn’t square well with plausible theoretical assumptions concerning epistemic rationality. So, how do we solve this puzzle? In this paper, I will suggest that an agent can always reason from infallible higher-order reasons. This provides a partial solution to the above puzzle. (shrink)

As the ongoing literature on the paradoxes of the Lottery and the Preface reminds us, the nature of the relation between probability and rational acceptability remains far from settled. This article provides a novel perspective on the matter by exploiting a recently noted structural parallel with the problem of judgment aggregation. After offering a number of general desiderata on the relation between finite probability models and sets of accepted sentences in a Boolean sentential language, it is noted that a number (...) of these constraints will be satisfied if and only if acceptable sentences are true under all valuations in a distinguished non-empty set W. Drawing inspiration from distance-based aggregation procedures, various scoring rule based membership conditions for W are discussed and a possible point of contact with ranking theory is considered. The paper closes with various suggestions for further research. (shrink)

We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating to each possible distribution a plausibility ranking. Beliefs are defined as in Belief Revision Theory, in terms of truth in the most plausible worlds. We consider two forms of conditioning or belief update, corresponding to the acquisition of two types of information: learning observable evidence obtained by (...) repeated sampling from the unknown distribution; and learning higher-order information about the distribution. The first changes only the plausibility map, but leaves the given set of possible distributions essentially unchanged; the second rules out some distributions, thus shrinking the set of possibilities, without changing their plausibility ordering.. We look at stability of beliefs under either of these types of learning, defining two related notions, as well as a measure of the verisimilitude of a given plausibility model. We prove a number of convergence results, showing how our agent’s beliefs track the true probability after repeated sampling, and how she eventually gains in a sense knowledge of that true probability. Finally, we sketch the contours of a dynamic doxastic logic for statistical learning. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

To clarify and illuminate the place of probability in science Ellery Eells and James H. Fetzer have brought together some of the most distinguished philosophers ...

Ranking theory is one of the salient formal representations of doxastic states. It differs from others in being able to represent belief in a proposition (= taking it to be true), to also represent degrees of belief (i.e. beliefs as more or less firm), and thus to generally account for the dynamics of these beliefs. It does so on the basis of fundamental and compelling rationality postulates and is hence one way of explicating the rational structure of doxastic states. Thereby (...) it provides foundations for accounts of defeasible or nonmonotonic reasoning. It has widespread applications in philosophy, it proves to be most useful in Artificial Intelligence, and it has started to find applications as a model of reasoning in psychology. (shrink)

Epistemology is the study of knowledge and justified belief. Belief is thus central to epistemology. It comes in a qualitative form, as when Sophia believes that Vienna is the capital of Austria, and a quantitative form, as when Sophia's degree of belief that Vienna is the capital of Austria is at least twice her degree of belief that tomorrow it will be sunny in Vienna. Formal epistemology, as opposed to mainstream epistemology (Hendricks 2006), is epistemology done in a formal way, (...) that is, by employing tools from logic and mathematics. The goal of this entry is to give the reader an overview of the formal tools available to epistemologists for the representation of belief. A particular focus will be the relation between formal representations of qualitative belief and formal representations of quantitative degrees of belief. (shrink)

An organizing theme of the dissertation is the issue of how to make philosophical theories useful for scientific purposes. An argument for the contention is presented that it doesn’t suffice merely to theoretically motivate one’s theories, and make them compatible with existing data, but that philosophers having this aim should ideally contribute to identifying unique and hard to vary predictions of their theories. This methodological recommendation is applied to the ranking-theoretic approach to conditionals, which emphasizes the epistemic relevance and the (...) expression of reason relations as part of the semantics of the natural language conditional. As a first step, this approach is theoretically motivated in a comparative discussion of other alternatives in psychology of reasoning, like the suppositional theory of conditionals, and novel approaches to the problems of compositionality and accounting for the objective purport of indicative conditionals are presented. In a second step, a formal model is formulated, which allows us to derive quantitative predictions from the ranking-theoretic approach, and it is investigated which novel avenues of empirical research that this model opens up for. Finally, a treatment is given of the problem of logical omniscience as it concerns the issue of whether ranking theory (and other similar approaches) makes too idealized assumptions about rationality to allow for interesting applications in psychology of reasoning. Building on the work of Robert Brandom, a novel solution to this problem is presented, which both opens up for new perspectives in psychology of reasoning and appears to be capable of satisfying a range of constraints on bridge principles between logic and norms of reasoning, which would otherwise stand in a tension. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

How can the propositional attitudes of several individuals be aggregated into overall collective propositional attitudes? Although there are large bodies of work on the aggregation of various special kinds of propositional attitudes, such as preferences, judgments, probabilities and utilities, the aggregation of propositional attitudes is seldom studied in full generality. In this paper, we seek to contribute to filling this gap in the literature. We sketch the ingredients of a general theory of propositional attitude aggregation and prove two new theorems. (...) Our first theorem simultaneously characterizes some prominent aggregation rules in the cases of probability, judgment and preference aggregation, including linear opinion pooling and Arrovian dictatorships. Our second theorem abstracts even further from the specific kinds of attitudes in question and describes the properties of a large class of aggregation rules applicable to a variety of belief-like attitudes. Our approach integrates some previously disconnected areas of investigation. (shrink)