This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the (...) non-material accounts which hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

We put forth an account for when to believe causal and evidential conditionals. The basic idea is to embed a causal model in an agent’s belief state. For the evaluation of conditionals seems to be relative to beliefs about both particular facts and causal relations. Unlike other attempts using causal models, we show that ours can account rather well not only for various causal but also evidential conditionals.

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. (...) The validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

Once upon a time, some thought that indicative conditionals could be effectively analyzed as material conditionals. Later on, an alternative theoretical construct has prevailed and received wide acceptance, namely, the conditional probability of the consequent given the antecedent. Partly following critical remarks recently ap- peared in the literature, we suggest that evidential support—rather than conditional probability alone—is key to understand indicative conditionals. There have been motivated concerns that a theory of evidential conditionals (unlike their more tra- (...) ditional counterparts) cannot generate a sufficiently interesting logical system. Here, we will describe results dispelling these worries. Happily, and perhaps surprisingly, appropriate technical variations of Ernst Adams’s classical approach allow for the construction of a logic of evidential conditionals with distinctive fea- tures, which is also well-behaved and reasonably strong. (shrink)

Advocates of Causal Decision Theory (CDT) argue that Evidential Decision Theory (EDT) is inadequate because it gives the wrong result in Newcomb problems. Egan (2007) provides a recipe for converting Newcomb problems to counterexamples to CDT, arguing that CDT is inadequate too. Proposed by Edgington (2011), the Conditional Causal Decision Theory (CCDT) is widely taken uncritically in the recent literature as a version of CDT that conforms to the supposedly correct pre-theoretic judgments about the rationality of acts in (...) Newcomb problems and Egan cases. While the renewed attention to the debate between EDT and CDT is mostly focused on how various theories treat Egan cases, this paper scrutinizes Edgington’s treatment of Newcomb problems and argues that, despite Edgington’s promise, CCDT actually fails in Newcomb problems. This, I assume, shows that CCDT is superior neither to the classic visions of CDT nor to EDT. The paper concludes by arguing, in general, that CCDT is systematically bound to deliver the same results as does EDT in any decision problem. Despite being formulated in terms of causal notions, therefore, it collapses back into the classic EDT. (shrink)

Evidential Pluralism maintains that in order to establish a causal claim one normally needs to establish the existence of an appropriate conditional correlation and the existence of an appropriate mechanism complex, so when assessing a causal claim one ought to consider both association studies and mechanistic studies. Hitherto, Evidential Pluralism has been applied to medicine, leading to the EBM+ programme, which recommends that evidence-based medicine should systematically evaluate mechanistic studies alongside clinical studies. This paper argues that (...) class='Hi'>Evidential Pluralism can also be fruitfully applied to the social sciences. In particular, Evidential Pluralism provides (i) a new approach to evidence-based policy; (ii) an account of the evidential relationships in more theoretical research; and (iii) new philosophical motivation for mixed methods research. The application of Evidential Pluralism to the social sciences is also defended against two objections. (shrink)

In this paper, I respond to Frank Hofmann’s reply to my (2022) argument against “evidential minimalism” (EM). According to defenders of EM, there is a close connection between evidence and normative reasons for belief: evidence is either itself, or (under certain “minimal” conditions) gives rise to, a normative reason for belief. In my (2022), I argued against EM by showing that there are cases where: (i) S possesses strong evidence E for the truth of p at time t, (ii) (...) all minimal conditions for the normativity of E are met at t, (iii) S doesn’t believe p at t, yet (iv) S isn’t criticizable on account of (i)-(iii) at t. I then appealed to a linking claim connecting criticizability with the existence of normative reasons for belief. Hofmann’s reply invokes a distinction between two different kinds of epistemic criticism: a strong and a weak form. I will argue that Hofmann’s distinction fails to save EM from my argument. (shrink)

Is evidential support transitive? The answer is negative when evidential support is understood as confirmation so that X evidentially supports Y if and only if p(Y | X) > p(Y). I call evidential support so understood “support” (for short) and set out three alternative ways of understanding evidential support: support-t (support plus a sufficiently high probability), support-t* (support plus a substantial degree of support), and support-tt* (support plus both a sufficiently high probability and a substantial degree (...) of support). I also set out two screening-off conditions (under which support is transitive): SOC1 and SOC2. It has already been shown that support-t is non-transitive in the general case (where it is not required that SOC1 holds and it is not required that SOC2 holds), in the special case where SOC1 holds, and in the special case where SOC2 holds. I introduce two rather weak adequacy conditions on support measures and argue that on any support measure meeting those conditions it follows that neither support-t* nor support-tt* is transitive in the general case, in the special case where SOC1 holds, or in the special case where SOC2 holds. I then relate some of the results to Douven’s evidential support theory of conditionals along with a few rival theories. (shrink)

In current philosophical discussions on evidence in the medical sciences, epidemiology has been used to exemplify a specific version of evidential pluralism. According to this view, known as the Russo–Williamson Thesis, evidence of both difference-making and mechanisms is produced to make causal claims in the health sciences. In this paper, I present an analysis of data and evidence in epidemiological practice, with a special focus on research on the exposome, and I cast doubt on the extent to which (...) class='Hi'>evidential pluralism holds in this case. I start by focusing on the claim that molecular data allows for the production of mechanistic evidence. On the basis of a close look at the ways in which molecular data is used in exposome research, I caution against interpretations in terms of mechanistic evidence. Secondly, I expand my critical remarks on the thesis by addressing the conditions under which data is categorised as evidence in exposome research. I argue that these show that the classification of a dataset as a type of evidence is dependent on the ways in which the data is used. This is in contrast with the approach of evidential pluralism, where evidence is classified in different types on the basis of its intrinsic properties. Finally, I come back to what I consider the core of the thesis and suggest that the epidemiological research analysed in the paper indicates different interpretations of evidential pluralism and its applicability in the health sciences. (shrink)

Evidence is often taken to be “normative” for doxastic agents. What accounts for the normativity of evidence? According to the view that I’ll call “evidential minimalism”, there is a close connection between strong evidence for the truth of p and a normative reason to believe p: evidence is either itself a normative reason for belief, or evidence gives rise to such a reason when certain other minimal conditions are met. In this paper, I argue against evidential minimalism. I (...) will argue that there are cases where: (i) an individual S possesses strong evidence E for the truth of p at time t, (ii) all other minimal conditions for the normativity of E are met at t, (iii) S doesn’t believe p at t, yet (iv) S isn’t open to any form of criticism on account of (i)-(iii) at t. I will then formulate a plausible linking claim connecting openness to criticism and the existence of normative reasons for belief. The minimalist can either accept or reject this linking claim. I will argue that, either way, the minimalist view falters. (shrink)

According to the analysis of concessive conditionals suggested by Crupi and Iacona, a concessive conditional \(p{{\,\mathrm{\hookrightarrow }\,}}q\) is adequately formalized as a conjunction of conditionals. This paper presents a sound and complete axiomatic system for concessive conditionals so understood. The soundness and completeness proofs that will be provided rely on a method that has been employed by Raidl, Iacona, and Crupi to prove the soundness and completeness of an analogous system for evidential conditionals.

In natural language, conditionals are frequently used for giving explanations. Thus the antecedent of a conditional is typically understood as being connected to, being relevant for, or providing evidential support for the conditional's consequent. This aspect has not been adequately mirrored by the logics that are usually offered for the reasoning with conditionals: neither in the logic of the material conditional or the strict conditional, nor in the plethora of logics for suppositional conditionals that have (...) been produced over the past 50 years. In this paper I survey some recent attempts to come to terms with the problem of encoding evidential support or relevance in the logic of conditionals. I present models in a qualitative-modal and in a quantitative-probabilistic setting. Focussing on some particular examples, I show that no perfect match between the two kinds of settings has been achieved yet. (shrink)

David Builes presents a paradox concerning how confident you should be that any given member of an infinite collection of fair coins landed heads, conditional on the information that they were all flipped and only finitely many of them landed heads. We argue that if you should have any conditional credence at all, it should be 1/2.

Glymour's "bootstrap" account of confirmation is designed to provide an analysis of evidential relevance, which has been a serious problem for hypothetico-deductivism. As set out in Theory and Evidence, however, the "bootstrap" condition allows confirmation in clear cases of evidential irrelevance. The difficulties with Glymour's account seem to be due to a basic feature which it shares with hypothetico-deductive accounts, and which may explain why neither can give a satisfactory analysis of evidential relevance.

ABSTRACTWhat conditions must be satisfied if a group is to count as having a justified belief? Jennifer Lackey has recently argued that any adequate account of group justification must be sensitive to both the evidence actually possessed by enough of a group's operative members as well as the evidence those members should have possessed. I first draw attention to a range of objections to Lackey's specific view of group justification and a range of concrete case intuitions any plausible view of (...) group justification must explain. I then offer an alternative view of group justification where the basic idea is that group justification is a matter of groups responsibly responding to their total evidence. This view both avoids the problems facing Lackey's account and also explains the relevant concrete case intuitions. (shrink)

Andy Egan has presented a dilemma for decision theory. As is well known, Newcomb cases appear to undermine the case for evidential decision theory. However, Egan has come up with a new scenario which poses difficulties for causal decision theory. I offer a simple solution to this dilemma in terms of a modified EDT. I propose an epistemological test: take some feature which is relevant to your evaluation of the scenarios under consideration, evidentially correlated with the actions under consideration (...) albeit, causally independent of them. Hold this feature fixed as a hypothesis. The test shows that, in Newcomb cases, EDT would mislead the agent. Where the test shows EDT to be misleading, I propose to use fictive conditional credences in the EDT-formula under the constraint that they are set to equal values. I then discuss Huw Price’s defence of EDT as an alternative to my diagnosis. I argue that my solution also applies if one accepts the main premisses of Price’s argument. I close with applying my solution to Nozick’s original Newcomb problem. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of (...) validity outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

Recent studies indicate that indicative conditionals like "If people wear masks, the spread of Covid-19 will be diminished" require a probabilistic dependency between their antecedents and consequents to be acceptable (Skovgaard-Olsen et al., 2016). But it is easy to make the slip from this claim to the thesis that indicative conditionals are acceptable only if this probabilistic dependency results from a causal relation between antecedent and consequent. According to Pearl (2009), understanding a causal relation involves multiple, hierarchically organized conceptual dimensions: (...) prediction, intervention, and counterfactual dependence. In a series of experiments, we test the hypothesis that these conceptual dimensions are differentially encoded in indicative and counterfactual conditionals. If this hypothesis holds, then there are limits as to how much of a causal relation is captured by indicative conditionals alone. Our results show that the acceptance of indicative and counterfactual conditionals can become dissociated. Furthermore, it is found that the acceptance of both is needed for accepting a causal relation between two co-occurring events. The implications that these findings have for the hypothesis above, and for recent debates at the intersection of the psychology of reasoning and causal judgment, are critically discussed. Our findings are consistent with viewing indicative conditionals as answering predictive queries requiring evidential relevance (even in the absence of direct causal relations). Counterfactual conditionals in contrast target causal relevance, specifically. Finally, we discuss the implications our results have for the yet unsolved question of how reasoners succeed in constructing causal models from verbal descriptions. (shrink)

The Ramsey Test is considered to be the default test for the acceptability of indicative conditionals. I will argue that it is incompatible with some of the recent developments in conceptualizing conditionals, namely the growing empirical evidence for the _Relevance Hypothesis_. According to the hypothesis, one of the necessary conditions of acceptability for an indicative conditional is its antecedent being positively probabilistically relevant for the consequent. The source of the idea is _Evidential Support Theory_ presented in Douven (2008). I (...) will defend the hypothesis against alleged counterexamples, and show that it is supported by growing empirical evidence. Finally, I will present a version of the Ramsey test which incorporates the relevance condition and therefore is consistent with growing empirical evidence for the relevance hypothesis. (shrink)

Evidentiality refers to the linguistic marking of the nature/directness of source of evidence of an asserted event. Some languages (e.g., Turkish) mark source obligatorily in their grammar, while other languages (e.g., English) provide only lexical options for conveying source. The present study examined whether or under what conditions firsthand source information is relied on more than nonfirsthand sources in establishing discourse coherence. Turkish- and English-speaking participants read a series of somewhat incongruous two-sentence narratives and were to come up with a (...) way of completing each narrative so that it would form a coherent story. Each narrative contrasted two source types (firsthand vs. hearsay, firsthand vs. inference, or inference vs. hearsay) and two information types (general vs. particular information) each presented first or second. Analysis of story completions showed greater overall reliance on firsthand information when it was presented second and referred to a particular event. When the firsthand source occurred first and the particular event occurred second, the latter was favored, especially by Turkish participants. Taken together, the findings suggest that evidentiality interacts with information type in establishing discourse coherence and that both firsthand and particular information are relied on more when presented later rather than earlier in discourse. (shrink)

There is an ongoing debate in the philosophical literature whether the conditionals that are central to deliberation are subjunctive or indicative conditionals and, if the latter, what semantics of the indicative conditional is compatible with the role that conditionals play in deliberation. We propose a possible-world semantics where conditionals of the form “if I take action _a_ the outcome will be _x_” are interpreted as material conditionals. The proposed framework is illustrated with familiar examples and both qualitative and probabilistic (...) beliefs are considered. Issues such as common-cause cases and ‘Egan-style’ cases are discussed. (shrink)

"The Personal is Political": This was an often-heard slogan of feminist groups in the late sixties and early seventies. The slogan is no doubt open to many interpretations. There is one interpretation which touches on the epistemology of social facts, viz. the slogan claims that in assessing the features of a political system, personal experiences have privileged evidentiary value. For instancte, in the face of third person reports about political corruption, I may remain unmoved in my belief that the political (...) powers are morally upstanding, and it is only when I myself am adversely affected, that I come to change my views. There are two standard patterns of explanation of this type of belief formation: (i) We know that third-person reports may be lessreliable than first-person experiences; (ii) If the third-person reports are no less reliable than first-person experiences, we may just be dealing with a standard pattern of epistemic irrationality. However, we argue that there is also a much more surprising pattern of explanation: under certain conditions, a Bayesian argument can be proffered to the effect that it is rational to change one's beliefs in the face of personal experiences and not in the face of third-person reports, even if these experiences and reports are equally reliable. Hence, the feminist slogan (at least on one particular interpretation of it) receives unexpected support from Bayesian comers. We also show that this pattern of explanation has surprising repercussions on the question of the evidentiary value of miracles in philosophy of religion. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

Evidential decision theory (EDT) says that the choiceworthiness of an option depends on its evidential connections to possible outcomes. Causal decision theory (CDT) holds that it depends on your beliefs about its causal connections. While Newcomb cases support CDT, Arif Ahmed has described examples that support EDT. A new account is needed to get all cases right. I argue that an option A's choiceworthiness is determined by the probability that a good outcome ensues at possible A‐worlds that match (...) actuality in the facts causally unaffected by your decision (the “unaffected facts”). Moreover, you should evaluate A on the assumption that A is compossible with the unaffected facts. This view entails that you should use EDT when evaluating A on the assumption that the unaffected facts determine your action, but use CDT when assessing A on the opposite assumption. A's choiceworthiness equals a weighted average of these conditional assessments. The weights are determined by your beliefs about whether the unaffected fact determine your action. This account gets both Newcomb and Ahmed cases right. According to an influential view, whether you take the unaffected facts to determine your action can make a difference to whether you can regard yourself as free and the action as being under your control. While my account is neutral on this issue, it entails that whether you take the unaffected facts to determine your action is important in a different way: it matters to whether you should follow EDT or CDT. (shrink)

This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...) puzzles that concern, respectively, contraposing reasons, conflicting reasons, and supererogatory reasons, and opens a new perspective on some classical issues concerning non-deductive inferences. (shrink)

Many epistemologists are enamored with a defeat condition on knowledge. In this paper we present some implementation problems for defeatism, understood along either internalist or externalist lines. We then propose that one who accepts a knowledge norm of belief, according to which one ought to believe only what one knows, can explain away much of the motivation for defeatism. This is an important result, because on the one hand it respects the plausibility of the intuitions about defeat shared by many (...) in epistemology; but on the other hand, it obviates the need to provide a unified account of defeat which plays well with the most plausible views of how knowledge fits with evidential probability. (shrink)

This paper discusses some key connexive principles construed as principles about reasons, that is, as principles that express logical properties of sentences of the form ‘_p_ is a reason for _q_’. Its main goal is to show how the theory of reasons outlined by Crupi and Iacona, which is based on their evidential account of conditionals, yields a formal treatment of such sentences that validates a restricted version of the principles discussed, overcoming some limitations that affect most extant accounts (...) of conditionals. (shrink)

Extreme Permissivism is the view that a body of evidence could rationally permit both the attitude of belief and disbelief towards a proposition. This paper puts forward a new argument against Extreme Permissivism, which improves on a similar style of argument due to Roger White (2005, 2014). White’s argument is built around the principle that the support relation between evidence and a hypothesis is objective: so that if evidence E makes it rational for an agent to believe a hypothesis H, (...) then E makes it rational to believe H, for all agents. In this paper, I construct a new argument against Extreme Permissivism that appeals to a logically weaker, less demanding view about evidential support, Relational Objectivity: whether a body of evidence E is more likely if H is true than if H is false is an objective matter and does not depend on how any agent interprets the relationship between E and H. Relational Objectivity is solely concerned with the conditional probabilities called likelihoods and does not put substantive constraints on an agent’s prior and posterior credences. For this reason, the presented argument avoids the standard permissivist criticism levelled against White’s argument. (shrink)

According to evidentialism, a belief is propositionally justified just in case it fits one’s evidence. A fully developed evidentialist theory of justification will require an account of the evidential fit relation. Some evidentialists have embraced an explanationist account of this relation. Some of these accounts, such as Kevin McCain’s, place an awareness requirement on evidential fit. That is, they claim that a proposition, p, fits a subject’s evidence, e, only if the subject is aware of the explanatory connection (...) between p and e. I argue by way of example that this version of explanationism fails. As a result, I suggest a friendly revision of explanationism that excludes an awareness condition. Finally, I field some objections to my version of explanationism. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This chapter has four central aims. First, in §1, I distinguish two ideas within epistemology that sometimes travel under the name ‘contextualism’ — the ‘situational contextualist’ idea that an individual’s context, especially their social context, can make for a difference in what they know, and the ‘linguistic contextualist’ idea that discourse using the word ‘knows’ and its cognates is context-sensitive, expressing dif- ferent contents in different conversational contexts. -/- Second, in §2, I situate contextualism with respect to several influential ideas (...) in feminist epistemology. These ideas are thoroughgoingly contextualist in the situational sense; I’ll explore the prospects for linguistic contextualist analogues or implementations of them. Simple connections between these feminist ideas and linguistic contextualism will prove elusive, but more subtle ones are possible, and sometimes attractive. -/- §3 considers the degree to which contextual epistemic parameters are determined interpersonally, as opposed to individualistically. Should contextualists hold that speakers can individually determine the contextual parameters that influence the truth- conditions of their utterances? Or are they fixed at a broader social level? I’ll rehearse some influential reasons to opt for the latter, more social, form of contextualism. -/- In §4 I discuss the practical and moral significance of speakers’ choices of epistemic parameters, given contextualism. For example, I’ll consider how standards-raising can be used to discredit evidential sources, with an eye towards the social and moral consequences of such moves. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play (...) a central role in their theorizing. (shrink)

A growing number of authors defend putative examples of knowledge from falsehood (KFF), inferential knowledge based in a critical or essential way on false premises, and they argue that KFF has important implications for many areas of epistemology (whether evidence can be false, the Gettier debate, defeasibility theories of knowledge, etc.). I argue, however, that there is no KFF, because in any supposed example either the falsehood does not contribute to the knowledge or the subject lacks knowledge. In particular, I (...) show that if the subject actually has knowledge in putative KFF cases, then there is always a veridical evidential path meeting the basing conditions that accounts for her knowledge; if there is no such path, then the subject is in a type of Gettier case. All the recent arguments that rely on KFF are therefore based on a mistake. (shrink)

The epistemic probability of A given B is the degree to which B evidentially supports A, or makes A plausible. This paper is a first step in answering the question of what determines the values of epistemic probabilities. I break this question into two parts: the structural question and the substantive question. Just as an object’s weight is determined by its mass and gravitational acceleration, some probabilities are determined by other, more basic ones. The structural question asks what probabilities are (...) not determined in this way—these are the basic probabilities which determine values for all other probabilities. The substantive question asks how the values of these basic probabilities are determined. I defend an answer to the structural question on which basic probabilities are the probabilities of atomic propositions conditional on potential direct explanations. I defend this against the view, implicit in orthodox mathematical treatments of probability, that basic probabilities are the unconditional probabilities of complete worlds. I then apply my answer to the structural question to clear up common confusions in expositions of Bayesianism and shed light on the “problem of the priors.”. (shrink)

Normatively inappropriate scientific dissent prevents warranted closure of scientific controversies and confuses the public about the state of policy-relevant science, such as anthropogenic climate change. Against recent criticism by de Melo-Martín and Intemann of the viability of any conception of normatively inappropriate dissent, I identify three conditions for normatively inappropriate dissent: its generation process is politically illegitimate, it imposes an unjust distribution of inductive risks, and it adopts evidential thresholds outside an accepted range. I supplement these conditions with an (...) inference-to-the-best-explanation account of knowledge-based consensus and dissent to allow policy makers to reliably identify unreliable scientific dissent. (shrink)

I advance a novel argument for an infallibilist theory of knowledge, according to which we know all and only those propositions that are certain for us. I argue that this theory lets us reconcile major extant theories of knowledge, in the following sense: for any of these theories, if we require that its central condition (evidential support, reliability, safety, etc.) obtains to a maximal degree, we get a theory of knowledge extensionally equivalent to infallibilism. As such, the infallibilist can (...) affirm that, when their conditions are suitably interpreted, most post-Gettier theories of knowledge offer necessary and sufficient conditions for knowledge. The infallibilist can thus reconcile major theories of knowledge, and is in a better position to explain the intuitive appeal of these theories than the fallibilist who only accepts one of them, and rejects the rest. (shrink)

A popular account of luck, with a firm basis in common sense, holds that a necessary condition for an event to be lucky, is that it was suitably improbable. It has recently been proposed that this improbability condition is best understood in epistemic terms. Two different versions of this proposal have been advanced. According to my own proposal :361–377, 2010), whether an event is lucky for some agent depends on whether the agent was in a position to know that the (...) event would occur. And according to Stoutenburg :319–334, 2015, Synthese, 1–15, 2018), whether an event is lucky for an agent depends on whether the event was guaranteed or certain to occur in light of the agent’s evidence. In this paper, I argue that we should prefer the account in terms of knowledge over that in terms of evidential certainty. (shrink)

This paper provides new tools for philosophical argument analysis and fresh empirical foundations for ‘critical’ ordinary language philosophy. Language comprehension routinely involves stereotypical inferences with contextual defeaters. J.L. Austin’s Sense and Sensibilia first mooted the idea that contextually inappropriate stereotypical inferences from verbal case-descriptions drive some philosophical paradoxes; these engender philosophical problems that can be resolved by exposing the underlying fallacies. We build on psycholinguistic research on salience effects to explain when and why even perfectly competent speakers cannot help making (...) stereotypical inferences which are contextually inappropriate. We analyse a classical paradox about perception, suggest it relies on contextually inappropriate stereotypical inferences from appearance-verbs, and show that the conditions we identified as leading to contextually inappropriate stereotypical inferences are met in formulations of the paradox. Three experiments use a forced-choice plausibility-ranking task to document the predicted inappropriate inferences, in English, German, and Japanese. The cross-linguistic study allows us to assess the wider relevance of the proposed analysis. Our findings open up new perspectives for ‘evidential’ experimental philosophy. (shrink)

Martin Smith has recently proposed, in this journal, a novel and intriguing approach to puzzles and paradoxes in evidence law arising from the evidential standard of the Preponderance of the Evidence. According to Smith, the relation of normic support provides us with an elegant solution to those puzzles. In this paper I develop a counterexample to Smith’s approach and argue that normic support can neither account for our reluctance to base affirmative verdicts on bare statistical evidence nor resolve the (...) pertinent paradoxes. Normic support is, as a consequence, not a successful epistemic anti-luck condition. (shrink)

Assertions about appearances license inferences about the speaker's perceptual experience. For instance, if I assert, 'Tom looks like he's cooking', you will infer both that I am visually acquainted with Tom (what I call the "individual acquaintance inference"), and that I am visually acquainted with evidence that Tom is cooking (what I call the "evidential acquaintance inference"). By contrast, if I assert, 'It looks like Tom is cooking', only the latter inference is licensed. I develop an account of the (...) acquaintance inferences of appearance assertions building on two main previous lines of research: first, the copy raising literature, which has aimed to account for individual acquaintance inferences through the "perceptual source" semantic role; second, the subjectivity literature, which has focused on the status of acquaintance inferences with predicates of personal taste, but hasn't given much attention to the added complexities introduced by appearance language. I begin by developing what I take to be the most empirically-sound version of a perceptual source analysis. I then show how its insights can be maintained, while however taking anything about perception out of the truth conditions of appearance sentences. This, together with the assumption that appearance assertions express experiential attitudes, allows us to capture the acquaintance inferences of bare appearance assertions without making incorrect predictions about the behavior of appearance verbs in embedded environments. (shrink)

In this paper, I argue against the view that the representational structure of the implicit attitudes responsible for implicitly biased behaviour is propositional—as opposed to associationist. The proposal under criticism moves from the claim that implicit biased behaviour can occasionally be modulated by logical and evidential considerations to the view that the structure of the implicit attitudes responsible for such biased behaviour is propositional. I argue, in particular, against the truth of this conditional. Sensitivity to logical and (...) class='Hi'>evidential considerations, I contend, proves to be an inadequate criterion for establishing the true representational structure of implicit attitudes. Considerations of a different kind, which emphasize the challenges posed by the structural social injustice that implicit attitudes reflect, offer, I conclude, better support for deciding this issue in favour of an associationist view. (shrink)

What exactly is a philosophical intuition? And what makes such an intuition reliable, when it is reliable? This paper provides a terminological framework that is able answer to the first question, and then puts the framework to work developing an answer to the second question. More specifically, the paper argues that we can distinguish between two different "evidential roles" which intuitions can occupy: under certain conditions they can provide information about the representational structure of an intuitor's concept, and under (...) different conditions, they can provide information about whether or not a property is instantiated. The paper describes two principles intended to capture the difference between the two sets of conditions---that is, the paper offers a principle that explains when an intuition will be a reliable source of evidence about the representation structure of an intuitor's concept, and another principle that explains when an intuition will be a reliable source of evidence about whether or not a property is instantiated. The paper concludes by briefly arguing that, insofar as philosophers are interested using intuitions to determine whether or not some philosophically interesting property is instantiated by some scenario (for instance, whether knowledge is instantiated in a Gettier-case), the reliability of the intuition in question does not depend on whether or not the intuition is widely shared. (shrink)

The coherence of independent reports provides a strong reason to believe that the reports are true. This plausible claim has come under attack from recent work in Bayesian epistemology. This work shows that, under certain probabilistic conditions, coherence cannot increase the probability of the target claim. These theorems are taken to demonstrate that epistemic coherentism is untenable. To date no one has investigated how these results bear on different conceptions of coherence. I investigate this situation using Thagard’s ECHO model of (...) explanatory coherence. Thagard’s ECHO model provides a natural representation of the evidential significance of multiple independent reports. (shrink)

Say that two goals are normatively coincident just in case one cannot aim for one goal without automatically aiming for the other. While knowledge and justification are distinct epistemic goals, with distinct achievement conditions, this paper begins from the suggestion that they are nevertheless normatively coincident—aiming for knowledge and aiming for justification are one and the same activity. A number of surprising consequences follow from this—both specific consequences about how we can ascribe knowledge and justification in lottery cases and more (...) general consequences about the nature of justification and the relationship between justification and evidential probability. Many of these consequences turn out to be at variance with conventional, prevailing views. (shrink)

Extant literature on Goodman’s ‘New Riddle of Induction’ deals mainly with two versions. I consider both of them, starting from the (‘epistemic’) version of Goodman’s classic of 1954. It turns out that it belongs to the realm of applications of inductive logic, and that it can be resolved by admitting only significant evidence (as I call it) for confirmations of hypotheses. Sect. 1 prepares some ground for the argument. As much of it depends on the notion of evidential significance, (...) this concept is defined and its introduction motivated. Further, I introduce and explain the distinction between support and confirmation: put in a slogan, ‘confirmation is support by significant evidence’. The second section deals with the Riddle itself. I demonstrate that, given the provisions of the first section, not ‘anything confirms anything’: significant green-evidence confirms only green-hypotheses (and no grue-hypotheses), and significant grue-evidence confirms only grue-hypotheses (and no green-hypotheses), whichever terms we use for expressing these evidences or hypotheses. The third section rounds off my treatment. First I show that Frank Jackson’s use of his counterfactual condition is unsuccessful. Further, I argue that no unwanted consequences result, if one starts from the other, ‘objective’, definition of ‘grue’, as it constitutes no more than a mere fact of logic that cannot do any harm. Finally, I present a grue-case involving both kinds of definition, where the exclusive confirmation of either the green- or the grue-hypothesis is shown. (shrink)

In this paper, I argue against the view that the representational structure of the implicit attitudes responsible for implicitly biased behaviour is propositional—as opposed to associationist. The proposal under criticism moves from the claim that implicit biased behaviour can occasionally be modulated by logical and evidential considerations to the view that the structure of the implicit attitudes responsible for such biased behaviour is propositional. I argue, in particular, against the truth of this conditional. Sensitivity to logical and (...) class='Hi'>evidential considerations, I contend, proves to be an inadequate criterion for establishing the true representational structure of implicit attitudes. Considerations of a different kind, which emphasize the challenges posed by the structural social injustice that implicit attitudes reflect, offer, I conclude, better support for deciding this issue in favour of an associationist view.En este artículo cuestiono la tesis de que la estructura representacional de las actitudes implícitas responsables del comportamiento implícitamente sesgado es proposicional—en lugar de asociacionista. De acuerdo con la propuesta criticada, si la conducta implícita sesgada puede ocasionalmente ser modulada por consideraciones lógicas y evidenciales, entonces la estructura de las actitudes implícitas responsables de esa conducta es proposicional. Cuestiono, en particular, la verdad de este condicional. Sostengo que la sensibilidad de las actitudes implícitas a consideraciones lógicas y evidenciales resulta ser un criterio inadecuado para establecer su verdadera estructura representacional. Consideraciones de otro tipo, que enfatizan los desafíos planteados por la injusticia social estructural que las actitudes implícitas reflejan, ofrecen, concluyo, un mejor apoyo para decidir esta cuestión a favor de una visión asociacionista. (shrink)

The main question addressed in this paper is whether some false sentences can constitute evidence for the truth of other propositions. In this paper it is argued that there are good reasons to suspect that at least some false propositions can constitute evidence for the truth of certain other contingent propositions. The paper also introduces a novel condition concerning propositions that constitute evidence that explains a ubiquitous evidential practice and it contains a defense of a particular condition concerning the (...) possession of evidence. The core position adopted here then is that false propositions that are approximately true reports of measurements can constitute evidence for the truth of other propositions. So, it will be argued that evidence is only quasi-factive in this very specific sense. (shrink)

Entitlement is conceived as a kind of positive epistemic status, attaching to certain propositions, that involves no cognitive or intellectual accomplishment on the part of the beneficiary — a status that is in place by default. In this paper I will argue that the notion of entitlement — or something very like it — falls out of an idea that may at first blush seem rather disparate: that the evidential support relation can be understood as a kind of variably (...) strict conditional (in the sense of Lewis 1973). Lewis provided a general recipe for deriving what he termed inner modalities from any variably strict conditional governed by a logic meeting certain constraints. On my proposal, entitlement need be nothing more exotic than the inner necessity associated with evidential support. Understanding entitlement in this way helps to answer some common concerns — in particular, the concern that entitlement could only be a pragmatic, and not genuinely epistemic, status. (shrink)