Formal Epistemology

We introduce a fairness criterion that we call Spanning. Spanning i) is implied by Calibration, ii) retains interesting properties of Calibration that some other ways of relaxing that criterion do not, and iii) unlike Calibration and other prominent ways of weakening it, is consistent with Equalized Odds outside of trivial cases.

Stephen Yablo has argued that ascriptions of belief and knowledge are sensitive to _subject matter_ and that theorising in such terms may help resolve philosophical questions about the semantics of such ascriptions. _Truthmaker semantics_ offers a way of theorising about subject matters. My main aim in this paper is to investigate what a semantics for knowledge or belief ascriptions might look like within truthmaker semantics. I then discuss what the resulting account might have to say about the problem of logical (...) omniscience, the nature of concepts, and rational belief. (shrink)

Real human agents, even when they are rational by everyday standards, sometimes assign different credences to objectively equivalent statements, such as ‘Orwell is a writer’ and ‘E.A. Blair is a writer’, or credences less than 1 to necessarily true statements, such as not-yet-proven theorems of arithmetic. Anna Mahtani calls this the phenomenon of ‘opacity’. Opaque credences seem probabilistically incoherent, which goes against a key modelling assumption of probability theory. I sketch a modelling strategy for capturing opaque credence assignments without abandoning (...) probabilistic coherence. I draw on ideas from judgement-aggregation theory, where we face similar challenges of defining the ‘objects of judgement’. (shrink)

Let T be any logical truth. Does the subject know that T (any random subject)? It is not rational for any subject to believe that they don’t, whoever they are. Similarly, it is not rational for them to believe that their evidence doesn’t support T, and it is not even rational for them to believe that they don’t believe that T. It is not rational for anyone anywhere at any time to believe that they don’t know that T. Such are (...) the conclusions arrived at in this paper. (shrink)

In philosophy, and especially in ethics, reflective equilibrium (RE) is often considered a powerful method for obtaining beliefs that mutually support each other, are justified by evidence, and are backed by good reasons. Beisbart, Betz, and Brun (2021) have introduced a formal model of reflective equilibrium based on the theory of dialectical structures Betz (2013), which they use as a methodological tool to understand the method of reflective equilibrium better. This report is an outcome of the research project 'How far (...) does Reflective Equilibrium Take us? Investigating the Power of a Philosophical Method' and summarizes the findings of assessing the model thoroughly by numerical investigation. We simulate RE processes for a broad spectrum of model parameters and initial conditions and use four different model variants (including the original model). We analyze the dependence of simulation results on different parameters and assess the models' conduciveness towards consistency, and ability to reach global optima and full RE states. The results show that the models' behavior depends crucially on the specifics of the simulation setup. We can, therefore, not draw any general conclusions about the overall performance of the model variants. Rather, the specifics of the context in which an RE model is used must be considered to choose a specific model. Finally, we identify some critical knowledge gaps we cannot close with this report that call for further research into RE modelling. (shrink)

Katie Steele and H. Orri Stefánsson argue that, to reflect an agent’s limited awareness, the algebra of propositions on which that agent’s credences are defined should be relativised to their awareness state. I argue that this produces insurmountable difficulties. But the project of relativising the agent’s algebra to reflect their partial perspective need not be abandoned: the algebra can be relativised, not to the agent’s awareness state, but to what we might call their subjective modality.

Informing others about the world is often a helpful act. In this paper, I study agents who conduct experiments to gather information about the world, committing in advance to fully disclose the nature of the experiment together with all experimental findings. While this appears to be a benign activity, I characterize a type of exploitative informing that is possible even within this restricted setup. I show how exploitative informants use public experiments to predictably manipulate interlocutors’ beliefs and actions to their (...) own advantage. I discuss epistemic and practical grounds on which it may be permissible for agents to resist acts of exploitative informing, then conclude by discussing implications for epistemic injustice and duties to gather evidence. (shrink)

Suppose that an informant (test, expert, device, perceptual system, etc.) is unlikely to err when pronouncing on a particular subject matter. When this is so, it might be tempting to defer to that informant when forming beliefs about that subject matter. How is such an inferential process expected to fare in terms of truth (leading to true beliefs) and evidential fit (leading to beliefs that fit one’s total evidence)? Using a medical diagnostic test as an example, we set out a (...) formal framework to investigate this question. We establish seven results and make one conjecture. The first four results show that when the test’s error probabilities are low, the process of deferring to the test can score well in terms of (i) both truth and evidential fit, (ii) truth but not evidential fit, (iii) evidential fit but not truth, or (iv) neither truth nor evidential fit. Anything is possible. The remaining results and conjecture generalize these results in certain ways. These results are interesting in themselves—especially given that the diagnostic test is not sensitive to the target disease’s base rate—but also have broader implications for the more general process of deferring to an informant. Additionally, our framework and diagnostic example can be used to create test cases for various reliabilist theories of inferential justification. We show, for example, that they can be used to motivate evidentialist process reliabilism over process reliabilism. (shrink)

Crupi and Tentori (2012) propose a condition of adequacy for any Bayesian measure of explanatory power, which they call Explanatory Justice. They criticize a measure recently defended by Schupbach and Sprenger(2011) for failing to satisfy this condition, and they offer a new explanatorily just measure of explanatory power. In this paper, we investigate Explanatory Justice’s merits as a condition of adequacy. We offer three arguments against this condition, thus supporitng the idea that a measure of explanatory power should rather be (...) unjust. Then, in order to ensure that the debate advances beyond a mere battle of intuitions, we offer some new results derived from the empirical study described in (Schupbach, 2011a). All of this strengthens the case for Schupbach and Sprenger’s measure while simultaneously posing new challenges to Crupi and Tentori’s alternative proposal. (shrink)

I defend J. L. Austin's direct realism against the colour delusion argument by employing epistemic logic to demonstrate that perceiving colours does not necessitate an intermediary such as sense-data, thus preserving the directness of perception.

Research on epistemic circularity has focused more on the problem of whether circular arguments are able to justify their conclusions rather than on the nature of circularity itself, and has kept a sharp delimitation from other types of circularities (logical, linguistic, and of definition). In this paper, I aim to move the focus toward the general concept of circularity, which I relate to the concept of ‘epistemic worry’. Through a brief overview on the known types of circularities, I show that (...) circularity has multiple natures (not only that associated with its type), and the linguistic aspect is essential in qualifying a construct as circular, which in turn raises the problem of genuineness of a circularity. Within an extensional approach, I suggest generalizing the meaning of the key epistemological terms referred to in the classical definition of epistemic circularity to also cover additional associated concepts specific to other theoretical disciplines beyond epistemology. The proposed concepts and ideas are reflected in a structural unificatory account of circularity in terms of epistemic determination, which raises a challenge to the relational accounts of determination in regard to the transitivity of the determination relation. (shrink)

I will explore the paradoxical nature of epistemic access. By critiquing the traditional conception of mental states that are labelled as ’knowledge’, I demonstrate the susceptibility of these states to an infinite regress, thus, challenging their existence and validity. I scrutinise the assumption that an epistemic agent can have complete epistemic access to all facts about a given object while simultaneously being ignorant of certain truths that impact the very knowledge claims about the object. I further analyse the implications of (...) this paradox when attempting to fine-grain the parameters of epistemic access, which happens to reveal the vacuity of such definitions and the inevitability of the regress. (shrink)

This chapter develops and defends a formal epistemology of conjunctive explanation by determining the conditions under which multiple distinct explanations are better than one. The general approach is to identify an appropriate measure of explanatory goodness that can then be applied to conjunctive explanations. If a conjunctive explanation is to be preferred it needs to have greater explanatory virtue (e.g., power or scope) with respect to the evidence, but this explanatory gain is insufficient on its own. Given a conjunctive explanation’s (...) greater complexity, it also has a cost associated with it and so a balance needs to be struck between the gain and the cost. This is achieved by employing a Bayesian measure proposed by I. J. Good. This chapter explores some properties of this measure and its application to the epistemology of conjunctive explanation. In so doing, it addresses the general question of whether it is desirable to have more informative, less probable hypotheses when seeking good explanations. (shrink)

Mehdiyev’in Bir Bilme Teorisi adını verdiği eser, içerisinde birçok kavram ve problemi barındırması açısından oldukça zengin ve ufuk açıcı bir teoridir. Onun, bilgi söz konusu olduğunda medeniyet, bilim, teoloji ve sanat gibi sosyal epistemoloji içerisindeki kavramlara atıfla karşılaştırmalar yapması ve inanç, kanı gibi kavramlar üzerinden değerlendirmelerde bulunması; mevcut literatür içindeki kavramlara dair gerek olumlu gerekse olumsuz yeni bakış açılarını bize sağlarken, ayrıca mevcut problemleri, hem çağdaş hem de klasik teoriler içinde ele alması, bize ufuk açıcı yorumlar da kazandırmaktadır.

We present a new justification for methodological triangulation (MT), the practice of using different methods to support the same scientific claim. Unlike existing accounts, our account captures cases in which the different methods in question are associated with, and rely on, incommensurable theories. Using a nonstandard Bayesian model, we show that even in such cases, a commitment to the minimal form of epistemic conservatism, captured by the rigidity condition that stands at the basis of Jeffrey’s conditionalization, supports the practice of (...) MT. (shrink)

Many philosophers of theistic religions claim (1) that there are powerful a posteriori arguments for God’s existence that make it rational to believe that He exists and at the same time maintain (2) that God always has the freedom to do otherwise. In this article, I argue that these two positions are inconsistent because the empirical evidence on which the a posteriori arguments for God’s existence rest can be explained better by positing the existence of a God-like being without the (...) freedom to do otherwise. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it’s claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a minimal constraint on a reasonable treatment (...) of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn’t the response to higher-order evidence that maximizes expected accuracy. (shrink)

You omega know p when you possess every iteration of knowledge of p. This book argues that omega knowledge plays a central role in philosophy. In particular, the book argues that omega knowledge is necessary for permissible assertion, action, inquiry, and belief. Although omega knowledge plays this important role, existing theories of omega knowledge are unsatisfying. One theory, KK, identifies knowledge with omega knowledge. This theory struggles to accommodate cases of inexact knowledge. The other main theory is skeptical, claiming that (...) we do not omega know any ordinary claims about the world. This book develops and critically compares three new theories of omega knowledge. (shrink)

This essay gives an account of epistemic deference for agents with imprecise credences. I look at the two main imprecise deference principles in the literature, known as Identity Reflection and Pointwise Reflection (Moss, 2021). I show that Pointwise Reflection is strictly weaker than Identity Reflection, and argue that, if you are certain you will update by conditionalisation, you should defer to your future self according to Identity Reflection. Then I give a more general justification for Pointwise and Identity Reflection from (...) the assumption that you defer to someone whenever you consider their doxastic state to be better than yours, in the sense of leading to better decision-making. (shrink)

Accuracy-first epistemologists argue that rational agents have probabilistically coherent credences. But why should we care, given that we can’t help being incoherent? A common answer: probabilistic coherence is an ideal to be approximated as best one can. De Bona (in: Philos Sci 84(2), 189–213, 2017) and Staffel (in: Unsettled thoughts: a theory of degrees of rationality, Oxford University Press, 2019) show how accuracy-firsters can spell out this answer by adopting an appropriate notion of approximate coherence. In this essay, I argue (...) that De Bona and Staffel’s proposal is not entirely satisfactory, because it does not show whether, or why, it’s generally better to be more rather than less approximately coherent from an accuracy-first perspective. To address this point, I give a characterisation of their notion of approximate coherence in terms of accuracy. This shows that accuracy-firsters should maintain that more approximately coherent credences are better than less approximately coherent ones _if and only if_ they accept that it’s better to miss out on less rather than more guaranteed accuracy. (shrink)

In this paper we explore the absentminded driver problem using two different scenarios. In the first scenario we assume that the driver is capable of reasoning about his degree of absentmindedness before he hits the highway. This leads to a Savage-style model where the states are mutually exclusive and the act-state independence is in place. In the second we employ centred possibilities, by modelling the states (i.e. the events about which the driver is uncertain) as the possible final destinations indexed (...) by a time period. The optimal probability we find for continuing at an exit is different from almost all papers in the literature. In this scenario, act-state independence is still violated, but states are mutually exclusive and the driver arrives at his optimal choice probability via Bayesian updating. We show that our solution is the only one guaranteeing immunity from sure loss via a Dutch strategy, and that – despite initial appearances – it is time consistent. This raises important implications for the rationality of commitment in such scenarios. (shrink)

Credences are beliefs about evidential probabilities. We give the view an assessment-sensitive formulation, show how it evades the standard objections, and give several arguments in support.

Traditionally epistemologists have taken doxastic states to come in three varieties—belief, disbelief, and suspension. Recently many epistemologists have taken our doxastic condition to be usefully represented by credences—quantified degrees of belief. Moreover, some have thought that this new credal picture is sufficient to account for everything we want to explain with the old traditional picture. Therefore, belief, disbelief, and suspension must map onto the new picture somehow. In this paper I challenge that possibility. Approaching the question from the angle of (...) suspension, I argue that all possible credal accounts face serious challenges. They either (i) falsify central claims that uphold the credal picture itself or (ii) do not permit suspension in cases where it is permissible or (iii) rule out the possibility of plainly possible confidence comparisons. (shrink)

The aim of this paper is to propose a qualitative approach to the theory of conceptual spaces, in contrast to the usual metric framework. This requires qualitative notions of similarity, simple concepts, prototypes and conceptual categorisation. For this purpose, I will introduce three mathematical models for conceptual spaces. The first one is topological and has been proposed by Mormann. The other two are new and are based on atomistic orders and similarity relations. I will discuss how each of them deals (...) with the Design Principles proposed by Douven and Gärdenfors and with further Adequacy Conditions. Despite being apparently different, I will show that these three models are mathematically equivalent. Finally, I will address three objections to the present approach. The first one says that the qualitative notion of a prototype is a bad analogue of the metric one. The second one suggests that, in contrast to the Voronoi construction, the function qualitatively representing the conceptual categorisation process is arbitrary. The last one appeals to Goodman’s companionship and imperfect community problems to show that there is a flaw in defining simple concepts from similarity relations. (shrink)

How should we make decisions when we do not know the relevant physical probabilities? In these ambiguous situations, we cannot use our knowledge to determine expected utilities or payoffs. The traditional Bayesian answer is that we should create a probability distribution using some mix of subjective intuition and objective constraints. Imprecise Bayesians argue that this approach is inadequate for modelling ambiguity. Instead, they represent doxastic states using credal sets. Generally, insofar as we are more uncertain about the physical probability of (...) an event, there is more divergence in the credal set. Hence, their approach can represent these ambiguities via the extent of the divergence. Imprecise Bayesianism has mostly been advocated for its epistemological features. In this article, we examine its properties for decision-making. We develop a model for comparing standard and Imprecise Bayesianism by testing their performances in a classic decision problem. We find that the representational tools of Imprecise Bayesianism also cause it to underperform in our tests. This issue has been overlooked, because previous research on Imprecise Bayesianism has not utilised agent-based modelling to provide information about its performance in the short-run. Overall, we reveal the Ambiguity Dilemma for Imprecise Bayesianism: To what extent should one value representational power or decision-making performance? (shrink)

In a fair finite lottery with n tickets, the probability assigned to each ticket winning is 1/n and no other answer. That is, 1/n is unique. Now, consider a fair lottery over the natural numbers. What probability is assigned to each ticket winning in this lottery? Well, this probability value must be smaller than 1/n for all natural numbers n. If probabilities are real-valued, then there is only one answer: 0, as 0 is the only real and non-negative value that (...) is smaller than 1/n for all natural numbers n. However, this answer seems counter-intuitive, as it violates Regularity: for all possible events A that are assigned a probability, A is assigned a positive probability. It is possible for ticket i to win in the second lottery. So, the set {i} should be assigned a positive probability and not 0. Consequently, in order to satisfy Regularity, probabilities must be allowed to take on `non-real' values, e.g. a positive infinitesimal x that is smaller than 1/n for all natural numbers n. So, what regular probability is assigned to {i} in the second lottery? This probability value must be positive but smaller than 1/n for all natural numbers n. Given the definition of x, x is a correct answer. But x isn't unique, because every other positive infinitesimal is a correct answer as well and there are uncountably many positive infinitesimals. After all, every positive infinitesimal is strictly between 0 and 1/n for all natural numbers n. Nothing about a fair lottery over the natural numbers uniquely determines x as the correct answer and nothing about the lottery rules out other positive infinitesimals as a correct answer as well. What probability to assign to {i} is underdetermined. -/- In this thesis, I explore this difference between fair finite lotteries and fair infinite lotteries. The constraints governing the former uniquely determine the probabilities assigned to events in those lotteries, but this isn't true for the latter lotteries, when Regularity is a constraint on probabilities. Now, although there are uncountably many correct probability values that can be assigned to {i} in the second lottery, there are some applications of probability theory, for which at least one correct probability value must be chosen in order to accomplish that application, e.g. calculation of expected utilities. In this thesis, I spell out sufficient conditions for when a choice like that is problematic. These conditions apply to precise probabilities, imprecise probabilities, and qualitative probabilities. So, I will consider Benci et al. (2018)'s and Pruss (2021)'s suggestion of allowing probabilities to be imprecise, as well as resorting to qualitative probabilities, to overcome the choice problem. I will argue that both don't solve the problem. Furthermore, there's a hitherto unnoticed difficulty in deriving imprecise probabilities by supervaluating over precise `non-real' probability values. To avoid this difficulty, precise probability values should be real-valued. Thus, Regularity cannot be a constraint on probabilities. But as it turns out, dropping Regularity as a constraint and requiring precise probabilities to be real-valued solve the choice problem. (shrink)

Rational agents seem more confident in any possible event than in an impossible event. But if rational credences are real-valued, then there are some possible events that are assigned 0 credence nonetheless. How do we differentiate these events from impossible events then when we order events? de Finetti (1975), Hájek (2012) and Easwaran (2014) suggest that when ordering events, conditional credences and subset relations are as relevant as unconditional credences. I present a counterexample to all their proposals in this paper. (...) While their proposals order possible and impossible events correctly, they deliver the wrong verdict for disjoint possible events assigned equal positive credence. (shrink)

Our doxastic states are our belief-like states, and these include outright doxastic states and degreed doxastic states. The former include believing that p, having the opinion that p, thinking that p, being sure that p, being certain that p, and doubting that p. The latter include degrees of confidence, credences, and perhaps some phenomenal states. But we also have conviction (being convinced simpliciter that p) and degrees of conviction (being more or less convinced that p). This volume shows: how and (...) why all of the outright doxastic states mentioned above can be reduced to conviction thresholds; what degrees of conviction fundamentally are (degreed reliance-dispositions); why degrees of conviction are not credences; when suspending a belief is compatible with continuing to believe; and the surprising extent to which Kant endorsed the theory of conviction that emerges in this volume. (shrink)

Two types of formal models - landscape search tasks and two-armed bandit models - are often used to study the effects that various social factors have on epistemic performance. I argue that they can be understood within a single framework. In this unified framework, I develop a model that may be used to understand the effects of functional and demographic diversity and their interaction. Using the unified model, I find that the benefit of demographic diversity is most pronounced in a (...) functionally homogeneous group, and decreases with the increase of functional diversity. (shrink)

The Preface Paradox is often discussed for its implications for rational belief. Much less discussed is a variant of the Preface Paradox for knowledge. In this paper, I argue that the most plausible closure-friendly resolution to the Preface Paradox for Knowledge is to say that in any given context, we do not know much. I call this view “Socraticism”. I argue that Socraticism is the most plausible view on two accounts—(1) this view is compatible with the claim that most of (...) our knowledge ascriptions are true, and (2) provided that (1) is true, the costs of accepting Socraticism are much less than the costs of accepting any other resolution to the Paradox. I argue for (1) in Section 2 by developing a question-sensitive contextualist model for knowledge that shows how Socraticism is compatible with the claim that most of our knowledge ascriptions are true. I also argue how this contextualist model can achieve this result where other contextualist models fail. I then consider other closure-friendly solutions to the paradox in Section 3 and show how accepting those solutions forces us to give up a number of plausible epistemic principles. (shrink)

Calibration inductive logics are based on accepting estimates of relative frequencies, which are used to generate imprecise probabilities. In turn, these imprecise probabilities are intended to guide beliefs and decisions — a process called “calibration”. Two prominent examples are Henry E. Kyburg's system of Evidential Probability and Jon Williamson's version of Objective Bayesianism. There are many unexplored questions about these logics. How well do they perform in the short-run? Under what circumstances do they do better or worse? What is their (...) performance relative to traditional Bayesianism? -/- In this article, we develop an agent-based model of a classic binomial decision problem, including players based on variations of Evidential Probability and Objective Bayesianism. We compare the performances of these players, including against a benchmark player who uses standard Bayesian inductive logic. We find that the calibrated players can match the performance of the Bayesian player, but only with particular acceptance thresholds and decision rules. Among other points, our discussion raises some challenges for characterising “cautious” reasoning using imprecise probabilities. Thus, we demonstrate a new way of systematically comparing imprecise probability systems, and we conclude that calibration inductive logics are surprisingly promising for making decisions. (shrink)

Bayesianism can be characterized as the following twofold position: (i) rational credences obey the probability calculus; (ii) rational learning, i.e., the updating of credences, is regulated by some form of conditionalization. While the formal aspect of various forms of conditionalization has been explored in detail, the philosophical application to learning from experience is still deeply problematic. Some philosophers have proposed to revise the epistemology of perception; others have provided new formal accounts of conditionalization that are more in line with how (...) we learn from perceptual experience. The current investigation argues that Bayesian epistemology is still incomplete; the epistemology of perception and the epistemology of rational reasoning have not been reconciled. (shrink)

This paper is about a tension between two theses. The first is Value of Evidence: roughly, the thesis that it is always rational for an agent to gather and use cost‐free evidence for making decisions. The second is Rationality of Imprecision: the thesis that an agent can be rationally required to adopt doxastic states that are imprecise, i.e., not representable by a single credence function. While others have noticed this tension, I offer a new diagnosis of it. I show that (...) it arises when an agent with an imprecise doxastic state engages in an unreflective inquiry, an inquiry where they revise their beliefs using an updating rule that doesn't satisfy a weak reflection principle. In such an unreflective inquiry, certain synchronic norms of instrumental rationality can make it instrumentally irrational for an agent to gather and use cost‐free evidence. I then go on to propose a diachronic norm of instrumental rationality that preserves Value of Evidence in unreflective inquiries. This, I suggest, may help us reconcile this thesis with Rationality of Imprecision. (shrink)

The following considerations concern modelling Belief Dynamics (BD) not just in the sense of a formalization, but rather in the sense of building a computational model and implementing the corresponding data structures and algorithms of recomputing beliefs. The purpose of such a project is to illustrate some ideas about belief changes in a Web of Beliefs (WoB) to explore and deepen one's understanding of belief changes by trying to implement or improve corresponding algorithms.

Several philosophers maintain that outright belief exists because it plays a reasoning simplifying role (Holton 2008; Ross and Schroeder 2014; Staffel 2019; Weisberg 2020). This claim has been recently contested, on the grounds that credences also can simplify reasoning (Dinges 2021). This paper takes a step back and asks: what features of an attitude explain its alleged ability to simplify reasoning? The paper contrasts two explanations, one in terms of dispositions and the other in terms of representation, arguing in favour (...) of the latter and against the former. The proposed explanation yields two interesting results: first, both belief and other attitudes, such as acceptance and imagination, can play a reasoning simplifying role; second, credences do not simplify our reasoning. (shrink)

On one view of the traditional doxastic attitudes, belief is credence 1, disbelief is credence 0 and suspension is any precise credence between 0 and 1. In ‘Rational agnosticism and degrees of belief’ (2013) Jane Friedman argues, against this view, that there are cases where a credence of 0 is required but where suspension is permitted. If this were so, belief, disbelief and suspension could not be identified or reduced to the aforementioned credences. I argue that Friedman relies on two (...) different notions of epistemic rationality and two different kinds of evidential absence. I clarify these distinctions and show that her argument is either not valid or includes implausible premisses, twice over. If this is so, the view that belief is credence 1, disbelief is credence 0 and suspension is any precise credence between 0 and 1 cannot be rejected on the grounds that Friedman proposes. (shrink)

According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...) the propositions that contradict this proposition are true” does not have the contrary proposition and does not have the contradictory proposition. In fact: FEX “All the propositions that contradict this proposition are not true” has a different subject: the subject of the proposition X is constituted by all the propositions that contradict the proposition X; by contrast, the subject of the proposition FEX is constituted by all the propositions that contradict the proposition FEX. And FOX “Not all the propositions that contradict this proposition are true” has a different subject: the subject of the proposition X is constituted by the propositions that contradict the proposition X; by contrast, the subject of the proposition FOX is constituted by the propositions that contradict the proposition FOX. According to Aristotle, a singular proposition (in his example: "Socrates is white") which is true must have its negative proposition ("Socrates is not white") which is false. I agree with Aristotle, but there are singular propositions which do not have the corresponding negative proposition. The proposition (or, rather, the pseudo-proposition) L “This same statement is not true” does not have the negative proposition because the proposition FNL “This same statement is true” has a different subject from the subject of the proposition L: the subject of the proposition L is the proposition L; by contrast, the subject of the proposition FNL is the proposition FNL. L and FNL cannot have the same subject. By contrast, the proposition M “This mount is entirely in Swiss territory” and the proposition NM “This mount is not entirely in Swiss territory” can have the same subject (for example, the Mount Eiger): in case the subject of the proposition M and the subject of the proposition NM is the same, M and NM are opposite propositions, NM is the negative proposition of M. By contrast, the proposition (or, rather, the pseudo-proposition) L "This same statement is not true" cannot have the corresponding negative proposition because FNL "This same statement is true" has a different subject: the subject of L is L ; by contrast, the subject of FNL is FNL. Then the paper continues by analyzing some variants of the liar’s paradox: L1 “The statement L1 is not true”; the so-called liar cycle; and the so-called Yablo’s paradox. (shrink)

The "myside bias'' in evaluating arguments is an empirically well-confirmed phenomenon that consists of overweighting arguments that endorse one's beliefs or attack alternative beliefs while underweighting arguments that attack one's beliefs or defend alternative beliefs. This paper makes two contributions: First, it proposes a probabilistic model that adequately captures three salient features of myside bias in argument evaluation. Second, it provides a Bayesian justification of this model, thus showing that myside bias has a rational Bayesian explanation under certain conditions.

A conjunction of two hypotheses may provide a better explanation than either one of them individually, even if each already provides a good explanation on its own. An appropriate measure of explanatory power should reflect this, but none of the measures discussed in the literature do so because they only consider how much an explanatory hypothesis reduces our surprise at the evidence – which is problematic. This chapter introduces and defends a class of coherentist measures of explanatory power, and shows (...) that one particular such measure that combines different intuitions underlying the epistemological notion of coherence overcomes the aforementioned problems of surprise reduction measures. (shrink)

Alongside science and law, argumentation is also of central importance in everyday life. But what characterizes a good argument? This question has occupied philosophers and psychologists for centuries. The theory of Bayesian argumentation is particularly suitable for clarifying it, because it allows us to take into account in a natural way the role of uncertainty, which is central to much argumentation. Moreover, it offers the possibility of measuring the strength of an argument in probabilistic terms. One way to do this, (...) implicit in much work, is to identify the strength of an argument with the degree to which the premises of the argument confirm the conclusion. We criticize this prima facie plausible proposal and suggest instead that the strength of an argument has something to do with how much the premises and the conclusion of the argument cohere with each other. This leads to a new probabilistic measure whose properties we examine in more detail. (shrink)

Coherence considerations play an important role in science and in everyday reasoning. However, it is unclear what exactly is meant by coherence of information and why we prefer more coherent information over less coherent information. To answer these questions, we first explore how to explicate the dazzling notion of ``coherence'' and how to measure the coherence of an information set. To do so, we critique prima facie plausible proposals that incorporate normative principles such as ``Agreement'' or ``Dependence'' and then argue (...) that the coherence of an information set is best understood as an indicator of the truth of the set under certain conditions. Using computer simulations, we then show that a new probabilistic measure of coherence that combines aspects of the two principles above, but without strictly satisfying either principle, performs particularly well in this regard. (shrink)

In a recent opinion paper, it was argued that individuals with multiple retractions or a record of academic misconduct should not serve as editors, including as editors-in-chief, on the editorial boards of scholarly or academic journals. As a first step towards appreciating how such a policy could be applied in practice, the presence of 30 individuals listed on the Retraction Watch Leaderboard on editorial boards was screened. Six cases are highlighted to gain an appreciation of the potential reputational risks that (...) journals and publishers might incur by including individuals with a tainted academic record on editorial boards. Given the reputational, legal and other risks associated with this type of assessment and decision, more formal positioning and guidance are needed by global ethics policy-related bodies such as COPE, the ICMJE, and the CSE, even more so in journals that claim to follow these organizations’ ethical guidelines. (shrink)

Traditional focuses of sociology include social stratification, social class, social mobility, religion, secularization, law, sexuality, gender, and deviance. Recent studies have added socio-technical aspects of the digital divide as a new focus.

Statements containing epistemic modals (e.g., “by spring 2023 most European countries may have the Covid-19 pandemic under control”) are common expressions of epistemic uncertainty. In this paper, previous published findings (Knobe & Yalcin, 2014; Khoo & Phillips, 2018) on the opposition between Contextualism and Relativism for epistemic modals are re-examined. It is found that these findings contain a substantial degree of individual variation. To investigate whether participants differ in their interpretation of epistemic modals, an experiment with multiple phases and sessions (...) is used to classify participants according to the three semantic theories of Relativism, Contextualism, and Objectivism. Through this study, some of the first empirical evidence for the kind of truth-value shifts postulated by semantic Relativism is presented. It is furthermore found that participants’ disagreement judgments match their truth evaluations and that participants are capable of distinguishing between truth and justification. In a second experimental session, it is investigated whether participants thus classified follow the norm of retraction which Relativism uses to account for argumentation with epistemic modals. Here the results are less favorable for Relativism. In a second experiment, these results are replicated and the normative beliefs of participants concerning the norm of retraction are investigated following work on measuring norms by Bicchieri (2017). Again, it is found that on average participants show no strong preferences concerning the norm of retraction for epistemic modals. Yet, it was found that participants who had committed to Objectivism and had training in logics applied the norm of retraction to might-statements. These results present a substantial challenge to the account of argumentation with epistemic modals presented in MacFarlane (2014), as discussed. Keywords: Epistemic Modals, Relativism, Norm Conflicts, Retraction, Semantics, Truth Conditions, Argumentation. (shrink)

The orgulity objection of Belot (2013) is recast in the form of a decision problem.

We can have credences in an infinite number of propositions—that is, our opinion set can be infinite. Accuracy-first epistemologists have devoted themselves to evaluating credal states with the help of the concept of ‘accuracy’. Unfortunately, under several innocuous assumptions, infinite opinion sets yield several undesirable results, some of which are even fatal, to accuracy-first epistemology. Moreover, accuracy-first epistemologists cannot circumvent these difficulties in any standard way. In this regard, we will suggest a non-standard approach, called a relativistic approach, to accuracy-first (...) epistemology and show that such an approach can successfully circumvent undesirable results while having some advantages over the standard approach. (shrink)

Guessing is a familiar activity, one we engage in when we are uncertain of the answer to a question under discussion. It is also an activity that lends itself to normative evaluation: some guesses are better than others. The question that interests me here is what makes for a good guess. In recent work, Dorst and Mandelkern have argued that good guesses are distinguished from bad ones by how well they optimize a tradeoff between accuracy and specificity. Here I argue (...) that Dorst and Mandelkern’s implementation of this idea fails to satisfy some plausible constraints on good guesses, and I develop an alternative implementation that satisfies the relevant constraints. The result is a new account of good guesses which retains the positive aspects of Dorst and Mandelkern’s proposal, but without the drawbacks. (shrink)