We commonly say that some evidence supports a hypothesis or that some premise evidentially supports a conclusion. Both internalists and externalists attempt to analyze this notion of evidential support, and the primary purpose of this paper is to argue that reliabilist and proper functionalist accounts of this relation fail. Since evidential support is one component of inferential justification, the upshot of this failure is that their accounts of inferential justification also fail. In Sect. 2, I clarify the evidential support relation. (...) In Sects. 3–5, I subject reliabilist and proper functionalist accounts of evidential support to various counterexamples. In Sect. 6, I show that the most promising ways to address these counterexamples aren’t very promising. (shrink)

According to a captivating picture, epistemic justification is essentially a matter of epistemic or evidential likelihood. While certain problems for this view are well known, it is motivated by a very natural thought—if justification can fall short of epistemic certainty, then what else could it possibly be? In this paper I shall develop an alternative way of thinking about epistemic justification. On this conception, the difference between justification and likelihood turns out to be akin to the more widely recognised difference (...) between ceteris paribus laws and brute statistical generalisations. I go on to discuss, in light of this suggestion, issues such as classical and lottery-driven scepticism as well as the lottery and preface paradoxes. (shrink)

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

In this paper I draw attention to a peculiar epistemic feature exhibited by certain deductively valid inferences. Certain deductively valid inferences are unable to enhance the reliability of one's belief that the conclusion is true—in a sense that will be fully explained. As I shall show, this feature is demonstrably present in certain philosophically significant inferences—such as GE Moore's notorious 'proof' of the existence of the external world. I suggest that this peculiar epistemic feature might be correlated with the much (...) discussed phenomenon that Crispin Wright and Martin Davies have called 'transmission failure'—the apparent failure, on the part of some deductively valid inferences to transmit one's justification for believing the premises. (shrink)

Augment the propositional language with two modal operators: □ and ■. Define ⧫ to be the dual of ■, i.e. ⧫=¬■¬. Whenever (X) is of the form φ → ψ, let (X⧫) be φ→⧫ψ . (X⧫) can be thought of as the modally qualified counterpart of (X)—for instance, under the metaphysical interpretation of ⧫, where (X) says φ implies ψ, (X⧫) says φ implies possibly ψ. This paper shows that for various interesting instances of (X), fairly weak assumptions suffice for (...) (X⧫) to imply (X)—so, the modally qualified principle is as strong as its unqualified counterpart. These results have surprising and interesting implications for issues spanning many areas of philosophy. (shrink)

A variety of recent work in epistemology employs a notion of normality to provide novel theories of knowledge or justification. While such theories are commonly advertised as affording particularly strong epistemic logics, they often make substantive assumptions about the background notion of normality and its logic. This article takes recent normality-based defences of the KK principle as a case study to submit such assumptions to scrutiny. After clarifying issues regarding the natural language use of normality claims, the article isolates a (...) number of choice points regarding the role of contingency, context-sensitivity and similarity in our theorizing with normality. It turns out that both weaker and stronger logics of normality can be motivated depending on how such choices are resolved. And yet securing logics of normality strong enough for normality to play its envisaged role in epistemology may have unwelcome downstream consequences for the resultant theories of knowledge or justification. (shrink)

This is part A of a paper in which we defend a semantics for counterfactuals which is probabilistic in the sense that the truth condition for counterfactuals refers to a probability measure. Because of its probabilistic nature, it allows a counterfactual ‘ifAthenB’ to be true even in the presence of relevant ‘Aand notB’-worlds, as long such exceptions are not too widely spread. The semantics is made precise and studied in different versions which are related to each other by representation theorems. (...) Despite its probabilistic nature, we show that the semantics and the resulting system of logic may be regarded as a naturalistically vindicated variant of David Lewis’ truth-conditional semantics and logic of counterfactuals. At the same time, the semantics overlaps in various ways with the non-truth-conditional suppositional theory for conditionals that derives from Ernest Adams’ work. We argue that counterfactuals have two kinds of pragmatic meanings and come attached with two types of degrees of acceptability or belief, one being suppositional, the other one being truth based as determined by our probabilistic semantics; these degrees could not always coincide due to a new triviality result for counterfactuals, and they should not be identified in the light of their different interpretation and pragmatic purpose. However, for plain assertability the difference between them does not matter. Hence, if the suppositional theory of counterfactuals is formulated with sufficient care, our truth-conditional theory of counterfactuals is consistent with it. The results of our investigation are used to assess a claim considered by Hawthorne and Hájek, that is, the thesis that most ordinary counterfactuals are false. (shrink)

This paper offers an account of propositional absurdity and investigates its connection to falsity. I propose that instances of absurdity just are cases of what I call maximal abnormality. In light of the works of Smith (2016) and Pietroski and Rey (1995) on normic conditionals which link normality to explanatory demands, I suggest that absurdity also has a close tie with explanations (more precisely, the lacking thereof). Interesting consequences follow under such an account – first, I argue that we should (...) see absurdity as ceteris paribus guide to falsehood – what is absurd is expected to be false, unless further evidence suggests otherwise; second (and relatedly), when further evidence indeed suggests otherwise, absurd propositions would not cease to be absurd. (shrink)

This paper offers an account of propositional absurdity and investigates its connection to falsity. I propose that instances of absurdity just are cases of what I call maximal abnormality. In light of the works of Smith (2016) and Pietroski and Rey (1995) on normic conditionals which link normality to explanatory demands, I suggest that absurdity also has a close tie with explanations (more precisely, the lacking thereof). Interesting consequences follow under such an account – first, I argue that we should (...) see absurdity as ceteris paribus guide to falsehood – what is absurd is expected to be false, unless further evidence suggests otherwise; second (and relatedly), when further evidence indeed suggests otherwise, absurd propositions would not cease to be absurd. (shrink)

This paper offers an account of propositional absurdity and investigates its connection to falsity. I propose that instances of absurdity just are cases of what I call maximal abnormality. In light of the works of Smith (2016) and Pietroski and Rey (1995) on normic conditionals which link normality to explanatory demands, I suggest that absurdity also has a close tie with explanations (more precisely, the lacking thereof). Interesting consequences follow under such an account – first, I argue that we should (...) see absurdity as ceteris paribus guide to falsehood – what is absurd is expected to be false, unless further evidence suggests otherwise; second (and relatedly), when further evidence indeed suggests otherwise, absurd propositions would not cease to be absurd. (shrink)

Materialism—the view that all of reality is wholly determined by the very, very small—and extreme nominalism—the view that properties, kinds, and qualities do not really exist—have been the dominant view in analytic philosophy for the last 100 years or so. Both views, however, have failed to provide adequate accounts for the possibility of intentionality and of knowledge. We must therefore look to alternatives. One well-tested alternative, the hylomorphism of Aristotle and the medieval scholastics, was rejected without being refuted and so (...) deserves further examination. I will argue that Aristotelian hylomorphic provides a markedly superior account of knowledge, cognitive normativity, and intentionality. (shrink)

Thought experiments invite us to evaluate philosophical theses by making judgements about hypothetical cases. When the judgements and the theses conflict, it is often the latter that are rejected. But what is the nature of the judgements such that they are able to play this role? I answer this question by arguing that typical judgements about thought experiments are in fact judgements of normal counterfactual sufficiency. I begin by focusing on Anna-Sara Malmgren’s defence of the claim that typical judgements about (...) thought experiments are mere possibility judgements. This view is shown to fail for two closely related reasons: it cannot account for the incorrectness of certain misjudgements, and it cannot account for the inconsistency of certain pairs of conflicting judgements. This prompts a reconsideration of Timothy Williamson’s alternative proposal, according to which typical judgements about thought experiments are counterfactual in nature. I show that taking such judgements to concern what would normally hold in instances of the relevant hypothetical scenarios avoids the objections that have been pressed against this kind of view. I then consider some other potential objections, but argue that they provide no grounds for doubt. (shrink)

This paper explores the question of what makes an action morally worthy. I start with a popular theory of moral worth which roughly states that a right action is morally praiseworthy if and only if it is performed in response to the reasons which make the action right. While I think the account provides promising foundations for determining praiseworthiness, I argue that the view lacks the resources to adequately satisfy important desiderata associated with theories of moral worth. Firstly, the view (...) does not adequately capture the degree to which an action has moral worth, and secondly, the view does not identify if right actions produced from overdetermined motives have moral worth. However, all is not lost; I also argue that the account can satisfy the desiderata when it attends to the agent’s counterfactual motives in addition to their actual motives. By considering counterfactual motives, we can measure the robustness of the actual praiseworthy motive, and attending to motivational robustness allows the new proposal to fully satisfy the two desiderata. At the end of this paper, I respond to some criticisms typically brought against a counterfactual view of moral worth. (shrink)

The method of thought experiments or possible cases is widespread in philosophy and elsewhere. Thought experiments come with variegated theoretical commitments. These commitments are risky. They may turn out to be false or at least controversial. Other things being equal, it seems preferable to do with minimal commitments. I explore exemplary ways of minimising commitments, focusing on modal ones. There is a near-consensus to treat the scenarios considered in thought experiments as metaphysical possibilities. I challenge this consensus. Paradigmatic thought experiments (...) do not have to come with a commitment to metaphysical possibilities. In the first section, I point out difficulties with the prevailing focus on metaphysical possibilities. In the second section, I present alternative formalisations of a paradigmatic thought experiment, the Gettier experiment. Gettier’s words leave open the kind of possibilities under consideration. The standard way of spelling out Gettier’s argument uses metaphysical possibilities. One alternative proposal uses nomological possibilities. A second one uses epistemic possibilities. My modest conclusion: as long as it is not established that a thought experiment requires a commitment to metaphysical modality, one should avoid such a commitment. My preferred way of doing so is to replace the commitment to one particular formalisation by a commitment to a disjunction of alternative formalisations. (shrink)

According to the KK-principle, knowledge iterates freely. It has been argued, notably in Greco, that accounts of knowledge which involve essential appeal to normality are particularly conducive to defence of the KK-principle. The present article evaluates the prospects for employing normality in this role. First, it is argued that the defence of the KK-principle depends upon an implausible assumption about the logical principles governing iterated normality claims. Once this assumption is dropped, counter-instances to the principle can be expected to arise. (...) Second, it is argued that even if the assumption is maintained, there are other logical properties of normality which can be expected to lead to failures of KK. Such failures are noteworthy, since they do not depend on either a margins-for-error principle or safety condition of the kinds Williamson appeals to in motivating rejection KK. “Introduction: KK and Being in a Position to Know” Section formulates two versions of the KK-Principle; “Inexact Knowledge and Margins for Error” Section presents a version of Williamson’s margins-for-error argument against it; “Knowledge and Normality” and “Iterated Normality” Sections discuss the defence of the KK-Principle due to Greco and show that it is dependent upon the implausible assumption that the logic of normality ascriptions is at least as strong as K4; finally, “Knowledge in Abnormal Conditions” and “Higher-Order Ignorance Inside the Margins” Sections argue that a weakened version of Greco’s constraint on knowledge is plausible and demonstrate that this weakened constraint will, given uncontentious assumptions, systematically generate counter-instances to the KK-principle of a novel kind. (shrink)

Philosophy and Phenomenological Research, Volume 104, Issue 1, Page 19-49, January 2022.

Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (shrink)

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