We report the results of four empirical studies designed to investigate the extent to which an epistemic closure principle for knowledge is reflected in folk epistemology. Previous work by Turri (2015a) suggested that our shared epistemic practices may only include a source-relative closure principle—one that applies to perceptual beliefs but not to inferential beliefs. We argue that the results of our studies provide reason for thinking that individuals are making a performance error when their knowledge attributions (...) and denials conflict with the closure principle. When we used research materials that overcome what we think are difficulties with Turri’s original materials, we found that participants did not reject closure. Furthermore, when we presented Turri’s original materials to non-philosophers with expertise in deductive reasoning (viz., professional mathematicians), they endorsed closure for both perceptual and inferential beliefs. Our results suggest that an unrestricted closure principle—one that applies to all beliefs, regardless of their source—provides a better model of folk patterns of knowledge attribution than a source-relative closure principle. (shrink)

This article gives an overview over different principles of epistemic closure, their attractions and their problems.

This paper considers two novel Bayesian responses to a well-known skeptical paradox. The paradox consists of three intuitions: first, given appropriate sense experience, we have justification for accepting the relevant proposition about the external world; second, we have justification for expanding the body of accepted propositions through known entailment; third, we do not have justification for accepting that we are not disembodied souls in an immaterial world deceived by an evil demon. The first response we consider rejects the third intuition (...) and proposes an explanation of why we have a faulty intuition. The second response, which we favor, accommodates all three intuitions; it reconciles the first and the third intuition by the dual component model of justification, and defends the second intuition by distinguishing two principles of epistemic closure. (shrink)

According to the principle of epistemic closure, knowledge is closed under known implication. The principle is intuitive but it is problematic in some cases. Suppose you know you have hands and you know that ‘I have hands’ implies ‘I am not a brain-in-a-vat’. Does it follow that you know you are not a brain-in-a-vat? It seems not; it should not be so easy to refute skepticism. In this and similar cases, we are confronted with a puzzle: epistemic (...) closure is an intuitive principle, but at times, it does not seem that we know by implication. In response to this puzzle, the literature has been mostly polarized between those who are willing to do away with epistemic closure and those who think we cannot live without it. But there is a third way. Here I formulate a restricted version of the principle of epistemic closure. In the standard version, the principle can range over any proposition; in the restricted version, it can only range over those propositions that are within the limits of a given epistemic inquiry and that do not constitute the underlying assumptions of the inquiry. If we adopt the restricted version, I argue, we can preserve the advantages associated with closure, while at the same time avoiding the puzzle I’ve described. My discussion also yields an insight into the nature of knowledge. I argue that knowledge is best understood as a topic-restricted notion, and that such a conception is a natural one given our limited cognitive resources. (shrink)

In spite of the intuitiveness of epistemic closure, there has been a stubborn stalemate regarding whether it is true, largely because some of the “Moorean” things we seem to know easily seem clearly to entail “heavyweight” philosophical things that we apparently cannot know easily—or perhaps even at all. In this paper, I will show that two widely accepted facts about what we do and don’t know—facts with which any minimally acceptable understanding of knowledge must comport—are jointly inconsistent with (...) the truth of CLR. The proof works by supposing the truth of “Categorialism,” a thesis about the relation between basic categories and common nouns and predicates, which is itself a heavyweight claim that cannot be easily known to be either true or false. (shrink)

The idea that knowledge can be extended by inference from what is known seems highly plausible. Yet, as shown by familiar preface paradox and lottery-type cases, the possibility of aggregating uncertainty casts doubt on its tenability. We show that these considerations go much further than previously recognized and significantly restrict the kinds of closure ordinary theories of knowledge can endorse. Meeting the challenge of uncertainty aggregation requires either the restriction of knowledge-extending inferences to single premises, or eliminating epistemic (...) uncertainty in known premises. The first strategy, while effective, retains little of the original idea—conclusions even of modus ponens inferences from known premises are not always known. We then look at the second strategy, inspecting the most elaborate and promising attempt to secure the epistemic role of basic inferences, namely Timothy Williamson’s safety theory of knowledge. We argue that while it indeed has the merit of allowing basic inferences such as modus ponens to extend knowledge, Williamson’s theory faces formidable difficulties. These difficulties, moreover, arise from the very feature responsible for its virtue- the infallibilism of knowledge. (shrink)

It has been argued that an advantage of the safety account over the sensitivity account is that the safety account preserves epistemic closure, while the sensitivity account implies epistemic closure failure. However, the argument fails to take the method-relativity of the modal conditions on knowledge, viz., sensitivity and safety, into account. In this paper, I argue that the sensitivity account and the safety account are on a par with respect to epistemic closure once the (...) method-relativity of the modal conditions is taken into account. Therefore, epistemic closure is no longer an arbiter in the debate. (shrink)

Epistemic closure refers to the assumption that humans are able to recognize what entails or contradicts what they believe and know, or more accurately, that humans’ epistemic states are closed under logical inferences. Epistemic closure is part of a larger theory of mind ability, which is arguably crucial for downstream NLU tasks, such as inference, QA and conversation. In this project, we introduce a new automatically constructed natural language inference dataset that tests inferences related to (...) epistemic closure. We test and further fine tune the model RoBERTa-large-mnli on the new dataset, with limited positive results. (shrink)

This is an encyclopedia article about epistemic closure principles. The article explains what they are, their various philosophical uses, how they are argued for or against, and provides an overview of the related literature.

Generally, an epistemic fallibilist considers it reasonable to claim, “I know that P, but I may be wrong.” An epistemic infallibilist, on the other hand, would consider this claim absurd. I argue initially that infallibilism presents more advantages in its assertion of the claim’s absurdity than fallibilism does in making the claim. One, infallibilism is not faulted with the propensity for violations of epistemic closure that beleaguers some fallibilist accounts, due in part to the latter’s problematic (...) shunting of fallible epistemic standards across inferential chains. Two, infallibilism is more easily modelled doxastically than fallibilism, as the former’s understanding of certainty is more tractable than the latter’s idea of what counts as a viable standard of fallibility. A rectification of these fallibilist issues may then be called upon to motivate gradualist variants of fallibilism. For epistemic gradualism, the problematic modellability and shunting of standards is curtailed via an awareness that the standard for knowledge is just one out of many along a gradient that includes, at one extreme, the infallibilist standard of certainty. Specifically, first, gradualism, along with infallibilism, can be modelled doxastically through elucidating upon an obtaining relation between doubt and knowledge; next, the problem with violating closure, although not generally applicable to infallibilism, can be answered by gradualism with a reasonable denial of closure altogether that makes precise which epistemic standard is relevant for which part of an inferential chain; lastly, these modelling resources can be appropriated, by both gradualism and infallibilism, to successfully address a doxastically pertinent form of closure violation called rational self-doubt. (shrink)

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske (...) develops an analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

The epistemic closure principle says that knowledge is closed under known entailment. The closure principle is deeply implicated in numerous core debates in contemporary epistemology. Closure’s opponents claim that there are good theoretical reasons to abandon it. Closure’s proponents claim that it is a defining feature of ordinary thought and talk and, thus, abandoning it is radically revisionary. But evidence for these claims about ordinary practice has thus far been anecdotal. In this paper, I report (...) five studies on the status of epistemic closure in ordinary practice. Despite decades of widespread assumptions to the contrary in philosophy, ordinary practice is ambivalent about closure. Ordinary practice does not endorse an unqualified version of the epistemic closure principle, although it might endorse a source-relative version of the principle. In particular, whereas inferential knowledge is not viewed as closed under known entailment, perceptual knowledge might be. (shrink)

Kripke’s puzzle has puts pressure on the intuitive idea that one can believe that Superman can fly without believing that Clark Kent can fly. If this idea is wrong then many theories of belief and belief ascription are built from faulty data. I argue that part of the proper analysis of Kripke’s puzzle refutes the closure principles that show up in many important arguments in epistemology, e.g., if S is rational and knows that P and that P entails Q, (...) then if she considers these two beliefs and Q, then she is in a position to know that.. (shrink)

The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that all (...) that stands between knowing the truth of the premises of a valid inference and knowledge of its conclusion is inferring it from the premises, the evidence for each of the premises may jointly count against the conclusion. The intuitive view regarding inferred knowledge says one thing, the evidence says another. One epistemological framework that seems to have the resources to resolve this tension endorses the view that knowledge always requires conclusive evidence. A second framework resolves the tension by limiting the scope of the closure principle. Only inferences drawn directly from propositions contained in the scope of a single knowledge operator are considered closed. The aim of the present essay is to revive the unpopular third option, the idea that knowledge is open. The essay proceeds by arguing that in different ways the two former frameworks only succeed in relocating the problem, not in resolving it. The first framework, the infallibilist view, relocates the problem to a sharp separation between knowledge of the occurrences of events from knowledge of their chance of occurring, a separation leading to several significant additional problems. The fallibilist view, the second framework, in endorsing closure neglects to take into full account the ways in which evidence fails to be transitive. For instance, evidence can count in favor of a conjunction while counting against each of its conjuncts. This fact, which is argued for in the essay on probabilistic as well as non-probabilistic grounds, is used as the foundation of an argument against closed knowledge that can be used as a way to understand several of the most fundamental challenges of epistemology. Not only can an open knowledge view that is based on open evidence resolve all these problems in a simple and natural way, it can also respond to formidable challenges that significantly hinder other open knowledge views. There are good reasons, then, to view both knowledge and evidence as open. (shrink)

According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic (...) paradox should not require appeal to a metaphysics of truth-makers, situations, or impossible worlds, by contrast with Jago’s official semantics. My second goal is to elaborate on the proof theory. I show how to axiomatize a family of logics with principles of indeterminate epistemic closure. (shrink)

In this article, I define and then defend the principle of information closure (pic) against a sceptical objection similar to the one discussed by Dretske in relation to the principle of epistemic closure. If I am successful, given that pic is equivalent to the axiom of distribution and that the latter is one of the conditions that discriminate between normal and non-normal modal logics, a main result of such a defence is that one potentially good reason to (...) look for a formalization of the logic of “ $S$ is informed that $p$ ” among the non-normal modal logics, which reject the axiom, is also removed. This is not to argue that the logic of “ $S$ is informed that $p$ ” should be a normal modal logic, but that it could still be insofar as the objection that it could not be, based on the sceptical objection against pic, has been removed. In other word, I shall argue that the sceptical objection against pic fails, so such an objection provides no ground to abandon the normal modal logic B (also known as KTB) as a formalization of “ $S$ is informed that $p$ ”, which remains plausible insofar as this specific obstacle is concerned. (shrink)

Epistemic closure under known implication is the principle that knowledge of "p" and knowledge of "p implies q", together, imply knowledge of "q". This principle is intuitive, yet several putative counterexamples have been formulated against it. This paper addresses the question, why is epistemic closure both intuitive and prone to counterexamples? In particular, the paper examines whether probability theory can offer an answer to this question based on four strategies. The first probability-based strategy rests on the (...) accumulation of risks. The problem with this strategy is that risk accumulation cannot accommodate certain counterexamples to epistemic closure. The second strategy is based on the idea of evidential support, that is, a piece of evidence supports a proposition whenever it increases the probability of the proposition. This strategy makes progress and can accommodate certain putative counterexamples to closure. However, this strategy also gives rise to a number of counterintuitive results. Finally, there are two broadly probabilistic strategies, one based on the idea of resilient probability and the other on the idea of assumptions that are taken for granted. These strategies are promising but are prone to some of the shortcomings of the second strategy. All in all, I conclude that each strategy fails. Probability theory, then, is unlikely to offer the account we need. (shrink)

In response to the claim that certain epistemically defective inferences such as Moore’s argument lead us to the conclusion that we ought to abandon closure, Crispin Wright suggests that we can avoid doing so by distinguishing it from a stronger principle, namely transmission. Where closure says that knowledge of a proposition is a necessary condition on knowledge of anything one knows to entail it, transmission makes a stronger claim, saying that by reasoning deductively from known premises one can (...) thereby acquire knowledge of or justification for the conclusion. Wright’s thought is that in cases such as Moore what is really going on is a failure of transmission, not a failure of closure. The problem with this claim is that it relies on an outdated formulation of closure which few nowadays would find plausible. Once we stipulate that it is the intuitive closure principle that deserves our attention, it becomes far less obvious that the project of diagnosing what is wrong with arguments such as Moore in terms of transmission failure but not closure failure can be vindicated. In order to demonstrate this claim, I consider intuitive closure of propositional justification vs. transmission of propositional justification and concede that perhaps these can come apart in the way that Wright suggests. I then argue that despite this concession, we also need an answer to the question of whether intuitive closure for doxastic justification and transmission for doxastic justification can come apart. We need an answer to this question because our ultimate interest in these issues stems from our interest in whether knowledge obeys closure, not merely whether propositional justification does. I argue that, even on the assumption that there is transmission failure of propositional justification, there is no transmission failure of doxastic justification. And if this is true, then there is no transmission failure of knowledge either. The transmission failure diagnosis of Moore’s argument and its ilk is thus in trouble. (shrink)

This paper looks at an argument strategy for assessing the epistemic closure principle. This is the principle that says knowledge is closed under known entailment; or (roughly) if S knows p and S knows that p entails q, then S knows that q. The strategy in question looks to the individual conditions on knowledge to see if they are closed. According to one conjecture, if all the individual conditions are closed, then so too is knowledge. I give a (...) deductive argument for this conjecture. According to a second conjecture, if one (or more) condition is not closed, then neither is knowledge. I give an inductive argument for this conjecture. In sum, I defend the strategy by defending the claim that knowledge is closed if, and only if, all the conditions on knowledge are closed. After making my case, I look at what this means for the debate over whether knowledge is closed. (shrink)

This paper argues that if knowledge is defined in terms of probabilistic tracking then the benefits of epistemic closure follow without the addition of a closure clause. (This updates my definition of knowledge in Tracking Truth 2005.) An important condition on this result is found in "Closure Failure and Scientific Inquiry" (2017).

Recent research has identified a tension between the Safety principle that knowledge is belief without risk of error, and the Closure principle that knowledge is preserved by competent deduction. Timothy Williamson reconciles Safety and Closure by proposing that when an agent deduces a conclusion from some premises, the agent’s method for believing the conclusion includes their method for believing each premise. We argue that this theory is untenable because it implies problematically easy epistemic access to one’s methods. (...) Several possible solutions are explored and rejected. (shrink)

Duncan Pritchard’s Epistemic Angst promises a novel solution to the closure-based sceptical problem that, unlike more traditional solutions, does not entail revising our fundamental epistemological commitments. In order to do this, it appeals to a Wittgensteinian account of rational evaluation, the overarching theme of which is that it neither makes sense to doubt nor to believe in our anti-sceptical hinge commitments. The purpose of this paper is to show that the argument for the claim that there can be (...) no rational basis to believe our anti-sceptical hinge commitments relies upon an implicit assumption about rational support that I label The Pritchensteinian Rational Grounds Principle. I argue that, insofar as this principle is intended to apply to closure-style inferences, it leads to irrational doxastic attitudes. I consider a seemingly plausible modification of the principle that would avoid this result but show that this modified principle faces serious problems of its own. -/- . (shrink)

Duncan Pritchard recently proposed a Wittgensteinian solution to closure-based skepticism. According to Wittgenstein, all epistemic systems assume certain truths. The notions that we are not disembodied brains, that the Earth has existed for a long time and that one’s name is such-and-such all function as “hinge commitments.” Pritchard views a hinge commitment as a positive propositional attitude that is not a belief. Because closure principles concern only knowledge-apt beliefs, they do not apply to hinge commitments. Thus, from (...) the fact that a subject knows that he is sitting in a room, and the fact that the subject’s sitting in a room entails his bodily existence, it does not follow that the subject also knows that he is not an envatted brain. This paper rejects Pritchard’s non-belief reading of hinge commitments. I start by showing that the non-belief reading fails to solve the skeptical paradox because the reasons that Pritchard uses to support the non-belief reading do not exempt hinge propositions from closure principles. I then proceed to argue that the non-belief reading is false as it claims that hinge commitments, unlike ordinary beliefs, are rationally unresponsive—with the help of a scenario in which a subject’s experience is internally chaotic, we can safely conclude that the hinge commitment that one is not systematically mistaken about the world is equally responsive to one’s evidential situations. (shrink)

The most prominent arguments for scepticism in modern epistemology employ closure principles of some kind. To begin my discussion of such arguments, consider Simple Knowledge Closure (SKC): (SKC) (Kxt[p] ∧ (p → q)) → Kxt[q].1 Assuming its truth for the time being, the sceptic can use (SKC) to reason from the two assumptions that, firstly, we don’t know ¬sh and that, secondly, op entails ¬sh to the conclusion that we don’t know op, where ‘op’ and ‘sh’ are shorthand (...) for ‘ordinary proposition’ and ‘sceptical hypothesis’ respectively. (SKC), however, fails for familiar reasons: since knowledge entails belief (KB), we can derive the falsity (F) from (SKC) by hypothetical syllogism, and thus reduce (SKC) to absurdity: (KB) Kxt[p] → Bxt[p]. (F) (Kxt[p] ∧ (p → q)) → Bxt[q]. (shrink)

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

In this paper, I consider the so-called Access Problem for Duncan Pritchard’s Epistemological Disjunctivism (2012). After reconstructing Pritchard’s own response to the Access Problem, I argue that in order to assess whether Pritchard’s response is a satisfying one, we first need an account of the notion of ‘Reflective Access’ that underpins Pritchard’s Epistemological Disjunctivism. I provide three interpretations of the notion of Reflective Access: a metaphysical interpretation, a folk interpretation, and an epistemic interpretation. I argue that none of these (...) three interpretations comes without problems. I conclude that, until we have a clear and unproblematic account of Reflective Access, the Access Problem remains a challenge for Pritchard’s Epistemological Disjunctivism. (shrink)

The topic of this article is the closure of a priori knowability under a priori knowable material implication: if a material conditional is a priori knowable and if the antecedent is a priori knowable, then the consequent is a priori knowable as well. This principle is arguably correct under certain conditions, but there is at least one counterexample when completely unrestricted. To deal with this, Anderson proposes to restrict the closure principle to necessary truths and Horsten suggests to (...) restrict it to formulas that belong to less expressive languages. In this article it is argued that Horsten’s restriction strategy fails, because one can deduce that knowable ignorance entails necessary ignorance from the closure principle and some modest background assumptions, even if the expressive resources do not go beyond those needed to formulate the closure principle itself. It is also argued that it is hard to find a justification for Anderson’s restricted closure principle, because one cannot deduce it even if one assumes very strong modal and epistemic background principles. In addition, there is an independently plausible alternative closure principle that avoids all the problems without the need for restriction. (shrink)

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling epistemic (...) problem. Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (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 book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 \textbf{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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{8} examines the interaction between Elohim's 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 $\Omega$-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 \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{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 paper focuses on the early sixteenth-century epistemic logic developed by John Mair’s circle and discusses iterated epistemic modalities, epistemic closure and Bradwardinian semantics related to the logic of epistemic statements. These topics are addressed as part of setting up and solving epistemic sophisms based on traditional scenarios which can be traced back to fourteenth-century British epistemic logic. While the ultimate source for the debate appears to be the second chapter of William Heytesbury’s (...) Regule solvendi sophismata, the immediate source is the Italian editorial, commentarial and philosophical tradition, notably Paul of Venice and Cajetan of Thiene. (shrink)

Crispin Wright has articulated and defended the view that by incorporating non-evidential entitlements into our theory of knowledge, we can achieve a satisfactory reply to key skeptical challenges. Crucial to this view is the thesis that regions of thought are underpinned by ‘cornerstone’ propositions— propositions for which warrant is antecedently required in order for ordinary beliefs in that region to be supported by experiential evidence. Critics have noted that because cornerstone propositions are entailed by ordinary propositions, Closure delivers two (...) unwelcome results: (i) one can acquire evidential justification for cornerstones via deduction (alchemy); and (ii) the epistemic risk involved in accepting cornerstone propositions impugns the evidential justification we are supposed to have for ordinary propositions (leaching). It is argued here that leaching has been misdiagnosed by Wright and his critics as relying essentially on a Closure principle. Instead, it relies on a Counter-Closure-style principle. Once this point is recognized , Wright’s own solution to the leaching problem becomes unsatisfactory. However, a guiding maxim from the extant literature for demarcating true from false Counter-Closure-style principles can be usefully applied to identify a successful resolution to the leaching worry on Wright’s behalf. (shrink)

We have to gain from recognizing a relation between epistemic agents and the parts of subject matters that play a role in their cognitive lives. I call this relation “grasping”. Namely, I zone in on one notion of having a partial grasp of a subject matter—that of agents grasping part of the subject matter that they are attending to—and characterize it. I propose that giving up the idealization that we fully grasp the subject matters we attend to allows one (...) to more realistically characterize the epistemic life of agents. To show this, I propose an epistemic logic with partial grasp that has in mind considerations from first-order aboutness theory with the aim of avoiding certain forms of logical omniscience, and which provides an alternative to immanent closure (Yablo Aboutness, Princeton University Press, 2014). (shrink)

Skeptical puzzles and arguments often employ knowledge-closure principles . Epistemologists widely believe that an adequate reply to the skeptic should explain why her reasoning is appealing albeit misleading; but it’s unclear what would explain the appeal of the skeptic’s closure principle, if not for its truth. In this paper, I aim to challenge the widespread commitment to knowledge-closure. But I proceed by first examining a new puzzle about failing to know—what I call the New Ignorance Puzzle . (...) This puzzle resembles to the Old Ignorance Puzzle , although it does not involve a closure principle. It instead centers on the standard view of ignorance, a highly intuitive principle stating that ignorance is merely a failure to know. In Sects. 2 and 3, I argue that the best way to solve the New Ignorance Puzzle is to reject the standard view of ignorance and to explain away its appeal via conversational implicature. I then use this solution to the New Ignorance Puzzle as a way of explaining why knowledge-closure principles would seem true, and why abominable conjunctions would seem abominable, even if such principles were false . The upshot is a new way of explaining why the skeptic’s reasoning is appealing albeit misleading. (shrink)

According to a popular objection against epistemic contextualism, contextualists who endorse the factivity of knowledge, the principle of epistemic closure and the knowledge norm of assertion cannot coherently defend their theory without abandoning their response to skepticism. After examining and criticizing three responses to this objection, we offer our own solution. First, we question the assumption that contextualists ought to be interpreted asassertingthe content of their theory. Second, we argue that contextualists need not hold that high (...) class='Hi'>epistemic standards govern contexts in which they defend their theory. (shrink)

Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being closed under logical consequence. (...) I provide three arguments. The first two show that anti-exceptionalism about logic provides an epistemic challenge to both the closure and the equivalence claims; the third shows that logical realism provides a metaphysical challenge to both the closure and the equivalence claims. Along the way, I show that there are important methodological upshots for metaphysicians and philosophers of logic. In particular, there are lessons to be drawn about certain conceptions of naturalism as constraining the possibilities for metaphysics and the philosophy of logic. (shrink)

In this essay I defend a solution to a skeptical paradox. The paradox I focus on concerns epistemic justification (rather than knowledge), and skeptical scenarios that entail that most of our ordinary beliefs about the external world are false. This familiar skeptical paradox hinges on a “closure” principle. The solution is to restrict closure, despite its first appearing as a fully general principle, so that it can no longer give rise to the paradox. This has some extra (...) advantages. First, it suggests a general strategy that provides solutions to other versions of the paradox, not just those that depend on closure. Second, it clarifies the relation between the paradox and other kinds of skeptical problem. (shrink)

The "hard problem" of consciousness has long been debated in philosophy, with mysterianism suggesting that it may be inherently unsolvable due to cognitive or epistemic limitations. This paper introduces a new argument for mysterianism, drawing on insights from the complexity of artificial neural networks. Using a simple multilayer neural network trained to classify images as an example, it is shown that even understanding a single artificial neuron’s role in information processing can be beyond our cognitive capabilities. When considering the (...) complexity of biological neurons, which far exceed artificial neurons in intricacy, the challenges become even more pronounced. This raises questions about the feasibility of understanding consciousness, a vastly more complex phenomenon, by suggesting that our cognitive limitations extend to fundamental principles of interpreting complex systems. The paper emphasizes the challenges posed by layered abstractions, drawing parallels with other multi-level systems like microprocessors to argue that certain problems may be insurmountable. (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 offer reasons for thinking that two prominent sceptical arguments in the literature – the underdetermination-based sceptical argument and the closure-based sceptical argument – are less philosophically interesting than is commonly supposed. The underdetermination-based argument begs the question against a non-sceptic and can be dismissed with little fanfare. The closure-based argument, though perhaps not question-begging per se, does rest upon contentious assumptions that a non-sceptic is under no pressure to accept.

I defend the thesis that friendship can constitutively require epistemic irrationality against a recent, forceful challenge, raised by proponents of moral and pragmatic encroachment. Defenders of the “encroachment strategy” argue that exemplary friends who are especially slow to believe that their friends have acted wrongly are simply sensitive to the high prudential or moral costs of falsely believing in their friends’ guilt. Drawing on psychological work on epistemic motivation (and in particular on the notion of “need for (...) class='Hi'>closure”), I propose a different picture of what friendship requires in the doxastic realm. I argue that contrary to what the encroachment strategy suggests, exemplary friends’ belief formation ought not be guided by a concern with accuracy or error avoidance, but instead by a need to avoid a “specific closure” – namely, a need to avoid concluding in their friends’ guilt. I propose that exemplary friendship often generates a defeasible, doxastic obligation to exemplify such a need, despite its inherent corrupting effects on exemplary friends’ epistemic faculties. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation (...) models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

If the reliability of a source of testimony is open to question, it seems epistemically illegitimate to verify the source’s reliability by appealing to that source’s own testimony. Is this because it is illegitimate to trust a questionable source’s testimony on any matter whatsoever? Or is there a distinctive problem with appealing to the source’s testimony on the matter of that source’s own reliability? After distinguishing between two kinds of epistemically illegitimate circularity—bootstrapping and self-verification—I argue for a qualified version of (...) the claim that there is nothing especially illegitimate about using a questionable source to evaluate its own reliability. Instead, it is illegitimate to appeal to a questionable source’s testimony on any matter whatsoever, with the matter of the source’s own reliability serving only as a special case. (shrink)

The Neo-Moorean response to the radical skeptical challenge boldly maintains that we can know we’re not the victims of radical skeptical hypotheses; accordingly, our everyday knowledge that would otherwise be threatened by our inability to rule out such hypotheses stands unthreatened. Given the leverage such an approach has against the skeptic from the very start, the Neo-Moorean line is an especially popular one; as we shall see, though, it faces several commonly overlooked problems. An initial problem is that this particular (...) brand of anti-skeptical strategy is available only to a theory of knowledge that will compromise itself to especially weak epistemic standards—indeed, standards as weak as our epistemic grounds are for accepting the denials of skeptical hypotheses. With this said, the aim here is to investigate whether the Neo-Moorean line could be advanced against the skeptic in a way that wouldn’t require wholesale lowering of epistemic standards. Unfortunately, as we’ll see, Sosa’s (2007; 2009) view as well as what I argue to be the other two most plausible contender-views for maintaining a Neo-Moorean line—Greco’s and Pritchard’s—run (for similar reasons) into dead ends. The way forward, I’ll argue, is to take on board a unique variety of robust virtue epistemology accord­ing to which knowledge is thought to be situated a certain way within a gradient balance between ability and luck. (shrink)

From the premise that our biology imposes cognitive constraints on our epistemic activities, a series of prominent authors – most notably Fodor, Chomsky and McGinn – have argued that we are cognitively closed to certain aspects and properties of the world. Cognitive constraints, they argue, entail cognitive closure. I argue that this is not the case. More precisely, I detect two unwarranted conflations at the core of arguments deriving closure from constraints. The first is a conflation of (...) what I will refer to as ‘representation’ and ‘object of representation’. The second confuses the cognitive scope of the assisted mind for that of the unassisted mind. Cognitive closure, I conclude, cannot be established from pointing out the (uncontroversial) existence of cognitive constraints. (shrink)

The paper provides both a description of conspiracy beliefs and an insight into their cultural significance. On one side, it highlights their specific formal features, on the other, and this constitutes its peculiarity in the recent literature on the topic, it considers them within the broader genre of general conceptual beliefs, whose main characteristics are weak methodology and logical structure, strong affective and dispositional constraints, epistemic closure and mauvaise foi, and whose main function is practical and self-representative (not (...) epistemic). The paper also claims that political theory and social sciences had some influence in legitimizing certain ideas and stereotypes that are exacerbated in conspiracy beliefs, while other te(le)ological conceptions, such as finalism and providence, may be an important source of ideas that turn out to be widely spread in contemporary criticism towards those same beliefs. (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)

Higher-order evidence is, roughly, evidence of evidence. The idea is that evidence comes in levels. At the first, or lowest, evidential level is evidence of the familiar type—evidence concerning some proposition that is not itself about evidence. At a higher evidential level the evidence concerns some proposition about the evidence at a lower level. Only in relatively recent years has this less familiar type of evidence been explicitly identified as a subject of epistemological focus, and the work on it remains (...) relegated to a small circle of authors and a short stack of published articles—far disproportionate to the attention it deserves. It deserves to occupy center stage for several reasons. First, higher-order evidence frequently arises in a strikingly diverse range of epistemic contexts, including testimony, disagreement, empirical observation, introspection, and memory, among others. Second, in many of the contexts in which it arises, such evidence plays a crucial epistemic role. Third, the precise role it plays is complex, gives rise to a number of interesting epistemological puzzles, and for these reasons remains controversial and is not yet fully understood. As such, higher-order evidence merits systematic investigation. This thesis undertakes such an investigation. It aims to produce a thorough account of higher-order evidence—what it is, how it works, and its epistemic consequences. Chapter 1 serves as a general introduction to the topic and an overview of the existing literature, but primarily aims to further elucidate the concept of higher-order evidence and build a theoretical framework for later chapters. Chapter 2 develops an account of what I call “higher-order support”: the bearing higher-order evidence has, not on corresponding “lower-order evidence” (roughly, the evidence the higher-order evidence is about), but on corresponding “object-level propositions” (roughly, the propositions the higher-order evidence alleges the lower-order evidence to be about). Chapter 3 develops an account of “levels interaction”: the effect on overall support when the different evidential levels combine. Chapter 4 identifies important consequences of the theoretical results of the previous two chapters and applies the theory to four select cases of current epistemological controversy—testimony, memory, the closure of inquiry, and disagreement. (shrink)

Two principles in epistemology are apparent examples of the close connection between rationality and truth. First, adding a disjunct to what it is rational to believe yields a proposition that’s also rational to believe. Second, what’s likely if believed is rational to believe. While these principles are accepted by many, it turns out that they clash. In light of this clash, we must relinquish the second principle. Reflecting on its rationale, though, reveals that there are two distinct ways to understand (...) the connection between rationality and truth. Rationality is fundamentally a guide to the belief-independent truth, rather than a guide to acquiring true beliefs. And this in turn has important implications for current discussions of permissivism, epistemic reasons, and epistemic consequentialism. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates the (...) epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)