Knowledge closure is the claim that, if an agent S knows P, recognizes that P implies Q, and believes Q because it is implied by P, then S knows Q. Closure is a pivotal epistemological principle that is widely endorsed by contemporary epistemologists. Against Knowledge Closure is the first book-length treatment of the issue and the most sustained argument for closure failure to date. Unlike most prior arguments for closure failure, Marc Alspector-Kelly's critique (...) of closure does not presuppose any particular epistemological theory; his argument is, instead, intuitively compelling and applicable to a wide variety of epistemological views. His discussion ranges over much of the epistemological landscape, including skepticism, warrant, transmission and transmission failure, fallibilism, sensitivity, safety, evidentialism, reliabilism, contextualism, entitlement, circularity and bootstrapping, justification, and justification closure. As a result, the volume will be of interest to any epistemologist or student of epistemology and related subjects. (shrink)

This article aims to provide a structural analysis of the problems related to the easy knowledge problem. The easy knowledge problem is well known. If we accept that we can have basic knowledge via a source without having any prior knowledge about the reliability or accuracy of this source, then we can acquire knowledge about the reliability or accuracy of this source too easily via information delivered by the source. Rejecting any kind of basic (...) class='Hi'>knowledge, however, leads into an infinite regress and, plausibly, to skepticism. The article argues that the third alternative, accepting basic knowledge but rejecting easy knowledge, entails closure failure. This is obviously the case for deductive bootstrapping, but, notably, the problem also arises for inductive bootstrapping. Hence, the set of problems related to the easy knowledge problem has the structure of a trilemma. We are forced to accept easy knowledge, closure failure, or skepticism. (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)

Closure is the principle that a person, who knows a proposition p and knows that p entails q, also knows q. Closure is usually regarded as expressing the commonplace assumption that persons can increase their knowledge through inference from propositions they already know. In this paper, I will not discuss whether closure as a general principle is true. The aim of this paper is to explore the various relations between closure and knowledge through inference. (...) I will show that closure can hold for two propositions p and q for numerous different reasons. The standard reason that S knows q through inference from p, if S knows p and knows that p entails q, is only one of them. Therefore, the relations between closure and inferential knowledge are more complex than one might suspect. (shrink)

In early essays and in more recent work, Fred Dretske argues against the closure of perception, perceptual knowledge, and knowledge itself. In this essay I review his case and suggest that, in a useful sense, perception is closed, and that, while perceptual knowledge is not closed under entailment, perceptually based knowledge is closed, and so is knowledge itself. On my approach, which emphasizes the safe indication account of knowledge, we can both perceive, and (...) know, that sceptical scenarios (such as being a brain in a vat) do not hold. (shrink)

Transmission arguments against closure of knowledge base the case against closure on the premise that a necessary condition for knowledge is not closed. Warfield argues that this kind of argument is fallacious whereas Brueckner, Murphy and Yan try to rescue it. According to them, the transmission argument is no longer fallacious once an implicit assumption is made explicit. I defend Warfield’s objection by arguing that the various proposals for the unstated assumption either do not avoid the (...) fallacy or turn the central premise of the transmission argument, namely that a necessary condition is not closed, into a redundant and superfluous premise. I conclude that Warfield’s advice is still to be heeded: Arguments against closure must not rely essentially on the premise that a necessary condition for knowledge is not closed. (shrink)

Fred Dretske notoriously claimed that knowledge closure sometimes fails. Crispin Wright agrees that warrant does not transmit in the relevant cases, but only because the agent must already be warranted in believing the conclusion in order to acquire her warrant for the premise. So the agent ends up being warranted in believing, and so knowing, the conclusion in those cases too: closure is preserved. Wright's argument requires that the conclusion's having to be warranted beforehand explains transmission failure. (...) I argue that it doesn't, and that the correct explanation does not imply that the agent will end up warranted in believing the conclusion when transmission fails. Those who agree that transmission does fail in those cases, therefore, might as well follow Dretske in denying knowledge closure too. (shrink)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. (...) We also show that the principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

Christoph Jäger (2004) argues that Dretske's information theory of knowledge raises a serious problem for his denial of closure of knowledge under known entailment: Information is closed under known entailment (even under entailment simpliciter); given that Dretske explains the concept of knowledge in terms of "information", it is hard to stick with his denial of closure for knowledge. Thus, one of the two basic claims of Dretske would have to go. Since giving up the (...) denial of closure would commit Dretske to skepticism, it would most probably be better to rather give up the information-theoretic account of knowledge. But that means that one of the best externalist views of knowledge has to be given up. I argue here that Jäger is mistaken and that there is no problem for Dretske. There is a rather easy way out of Jäger’s problem. (shrink)

One common objection to Dretske’s Information Theoretic Account of Knowledge (ITAK) is that it violates closure. I show that it does not, and that extant arguments attempting to establish that it does rely instead on the KK thesis. That thesis does fail for ITAK. I show moreover that an interesting consequence of ITAK obeying the closure principle after all is that on this view if skepticism is false, we can have a great deal of empirical knowledge, (...) but it is in principle impossible to know that skepticism is false. In short, a proper understanding of how ITAK closes off the KK thesis shows that we can 1) take seriously the skeptic, we can 2) respond to her appropriately that we do have knowledge and we can 3) keep closure. (shrink)

This paper argues that Epistemic Contextualism, Knowledge Closure, and the Knowledge Account of Assertion are inconsistent. The argument is developed by considering an objection to Contextualism that is unsuccessful. Some Contextualist responses are canvassed and rejected. Finally, it is argued that an analogue of the inconsistency arises for those who accept that justification is closed under known entailment.

In this paper I argue in favor of the compatibility of semantic externalism with privileged self-knowledge by showing that an argument for incompatibilism from switching scenarios fails. Given the inclusion theory of self-knowledge, the hypothesis according to which I am having twater thoughts while thinking that I have water thoughts simply isn't a (entertainable) possibility. When I am on Earth thinking earthian concepts, I cannot believe that I am thinking that twater is wet for I don't have the (...) concept of twater available; so this concept cannot figure in any of my mental states. Analogously, when I am on Twin Earth, I cannot mistakenly believe that I am entertaining water thoughts. No matter how often I am switched between Earth and Twin Earth, I will never erroneously think that I am having water thoughts while in fact I am having twater thoughts and vice versa. Privileged self-knowledge is therefore immune to skeptical arguments from switching and twinning scenarios. (shrink)

Carter and Pritchard (2016) and Pritchard (2010, 2012, 2016) have tried to reconcile the intuition that perceptual knowledge requires only limited discriminatory abilities with the closure principle. To this end, they have introduced two theoretical innovations: a contrast between two ways of introducing error-possibilities and a distinction between discriminating and favoring evidence. I argue that their solution faces the “sufficiency problem”: it is unclear whether the evidence that is normally available to adult humans is sufficient to retain (...) class='Hi'>knowledge of the entailing proposition and come to know the entailed proposition. I submit that, on either infallibilist or fallibilist views of evidence, Carter and Pritchard have set the bar for deductive knowledge too low. At the end, I offer an alternative solution. I suggest that the knowledge-retention condition of the closure principle is not satisfied in zebra-like scenarios. (shrink)

This paper argues that Epistemic Contextualism, Knowledge Closure, and the Knowledge Account of Assertion are inconsistent. The argument is developed by considering an objection to Contextualism that is unsuccessful. Some Contextualist responses are canvassed and rejected. Finally, it is argued that an analogue of the inconsistency arises for those who accept that justification is closed under known entailment.

Closure principles loom large in recent internalist critiques of epistemic externalism. Cohen (Philos Phenomenol Res 65:309–329, 2002, Philos Phenomenol Res 70:417–430, 2005), Vogel (J Philos 97:602–623, 2000), and Fumerton (Meta-Epistemology and skepticism. Rowman and Littlefield, Lanham, 1995) argue that, given closure, epistemic externalism is committed to the possibility of implausibly easy knowledge. By contrast, Zalabardo (Philos Rev 114:33–61, 2005) proposes that epistemic closure actually precludes the possibility of easy knowledge, and appeals to closure principles (...) to solve the problem of easy knowledge. In my view, disagreement over closure’s bearing on externalism and the problem of easy knowledge is rooted in a failure to bear in mind the familiar distinction between ex ante and ex post forms of epistemic justification and warrant. When this distinction is kept in focus, the result is clear: epistemic closure provides no relief from the problem of easy knowledge. (shrink)

The leading idea of this article is that one cannot acquire knowledge of any non-epistemic fact by virtue of knowing that one that knows something. The lines of reasoning involved in the surprise exam paradox and in Williamson’s _reductio_ of the KK-principle, which demand that one can, are thereby undermined, and new type of counter-example to epistemic closure emerges.

The chapter begins with some general remarks about closure and counter-closure, and is followed with a discussion of the following: I (a) review some (alleged) counterexamples to counter-closure, I then continue by (b) discussing a popular strategy for responding to such counterexamples to counter-closure, and finally I (c) pose a dilemma for this popular strategy. Once I have discussed these three points I conclude the chapter by proposing that we reject counter-closure, but at the same (...) time that we accept an epistemological package that includes closure and another intuitively plausible principle with regards to the psychology and epistemology of deductive inference. (shrink)

The question whether epistemological concepts are closed under deduction is an important one since many skeptical arguments depend on closure. Such skepticism can be avoided if closure is not true of knowledge (or justification). This response to skepticism is rejected by Peter Klein and others. Klein argues that closure is true, and that far from providing the skeptic with a powerful weapon for undermining our knowledge, it provides a tool for attacking the skeptic directly. This (...) paper examines various arguments in favor of closure and Klein's attempted use of closure to refute skepticism. Such a refutation of skepticism is mistaken. But the closure principle is in any case false, so the skepticism that depends on it is undermined. The appeal of the closure principle derives from a failure to recognize an important feature of our epistemological concepts, namely, their context relativity. (shrink)

Radical scepticism contends that our knowledge of the external world is impossible. Particularly, radical scepticism can be motivated by the closure principle. Several commentators have noted that a straightforward way to respond to such arguments is via externalist strategies, e.g., Goldman, Greco, Bergmann. However, these externalist strategies are not effective against a slightly weaker form of the argument, a closure principle for rationally grounded knowledge, closureRK.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${closure}_{RK.}$$\end{document} The (...) sceptical argument, framed around the closureRK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {closure}_{\mathrm{RK}}$$\end{document} principle, targets rationally grounded knowledge. Although externalist strategies are ineffective against this form of argument, its conclusion can nonetheless be resisted by combining, in a novel way, the resources of Wittgenstein and Davidson. In particular, I argue that the sceptic is assuming an unrestricted way of using the closureRK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {closure}_{\mathrm{RK}}$$\end{document} principle, which is incorrect. Alternatively, I argue for The Conditionality of Rational Support Thesis, i.e., the thesis that rational support via competent deduction is conditional. In particular, rational support must be provided within an evaluative system in which hinge propositions are presupposed and contentful beliefs are being evaluated. In the end, we can resist the closureRK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {closure}_{\mathrm{RK }}$$\end{document}-based sceptical argument while retaining the closureRK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {closure}_{\mathrm{RK}}$$\end{document} principle. (shrink)

According to Fred Dretske's externalist theory of knowledge a subject knows that p if and only if she believes that p and this belief is caused or causally sustained by the information that p. Another famous feature of Dretske's epistemology is his denial that knowledge is closed under known entailment. I argue that, given Dretske's construal of information, he is in fact committed to the view that both information and knowledge are closed under known entailment. Hence, if (...) it is true that, as Dretske also believes, accepting closure leads to skepticism, he must either embrace skepticism or abandon his information theory of knowledge. (shrink)

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)

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)

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

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)

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)

Tracking theories of knowledge are widely known to have the consequence that knowledge is not closed. Recent arguments by Vogel and Hawthorne claim both that there are no legitimate examples of knowledge without closure and that the costs of theories that deny closure are too great. This paper considers the tracking theories of Dretske and Nozick and the arguments by Vogel and Hawthorne. We reject the arguments of Vogel and Hawthorne and evaluate the costs of (...) closure denial for tracking theories of knowledge. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the (...) fact that agents do not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (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 is widely thought that if knowledge requires sensitivity, knowledge is not closed because sensitivity is not closed. This paper argues that there is no valid argument from sensitivity failure to non-closure of knowledge. Sensitivity does not imply non-closure of knowledge. Closure considerations cannot be used to adjudicate between safety and sensitivity accounts of knowledge.

Half a century later, a Dretskean stance on epistemic closure remains a minority view. Why? Mainly because critics have successfully poked holes in the epistemologies on which closure fails. However, none of the familiar pro-closure moves works against the counterexamples on display here. It is argued that these counterexamples pose the following dilemma: either accept that epistemic closure principles are false, and steal the thunder from those who attack classical logic on the basis of similarly problematic (...) cases—specifically, relevance logicians and like-minded philosophers—or stick with closure and surrender to relevantist claims of failure in truth-preservation aimed at classical rules of inference. Classicist closure advocates find the promise of a way out of the dilemma in the works of Roy Sorensen and John Hawthorne. The paper argues against their pro-closure move and renews Robert Audi’s call for a theory of closure-failure. (shrink)

It is received wisdom that the skeptic has a devastating line of argument in the following. You probably think, he says, that you know that you have hands. But if you knew that you had hands, then you would also know that you were not a brain in a vat, a brain suspended in fluid with electrodes feeding you perfectly coordinated impressions that are generated by a supercomputer, of a world that looks and moves just like this one. You would (...) know you weren’t in this state if you knew you had hands, since having hands implies you are no brain in a vat. You obviously don’t know you’re not a brain in a vat, though—you have no evidence that would distinguish that state from the normal one you think you’re in. Therefore, by modus tollens, you don’t know you have hands. At least, the skeptic has a devastating argument, it is thought, if we grant him closure of knowledge under known implication, which many of us are inclined to do: roughly, if you know p, and you know that p implies q, then you know q. (shrink)

The notion of the rational closure of a positive knowledge base K of conditional assertions θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} |∼ φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} (standing for if θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} then normally φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document}) was first introduced by Lehmann (1989) and developed by Lehmann (...) and Magidor (1992). Following those authors we would also argue that the rational closure is, in a strong sense, the minimal information, or simplest, rational consequence relation satisfying K. In practice, however, one might expect a knowledge base to consist not just of positive conditional assertions, θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} |∼ φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document}, but also negative conditional assertions, θi φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} (standing for not if θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document} then normally φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$i$$ \end{document}. Restricting ourselves to a finite language we show that the rational closure still exists for satisfiable knowledge bases containing both positive and negative conditional assertions and has similar properties to those exhibited in Lehmann and Magidor (1992). In particular an algorithm in Lehmann and Magidor (1992) which constructs the rational closure can be adapted to this case and yields, in turn, completeness theorems for the conditional assertions entailed by such a mixed knowledge base. (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)

Knowledge closure is, roughly, the following claim: For every agent S and propositions P and Q, if S knows P, knows that P implies Q, and believes Q because it is so implied, then S knows Q. Almost every epistemologist believes that closure is true. Indeed, they often believe that it so obviously true that any theory implying its denial is thereby refuted. Some prominent epistemologists have nevertheless denied it, most famously Fred Dretske and Robert Nozick. There (...) are closure advocates who see other virtues in those accounts, however, and so who introduce revisions of one sort or another in order to preserve closure while maintaining their spirit. One popular approach is to replace the “sensitivity” constraint at the heart of both of those accounts with a “safety” constraint, as advocated by Timothy Williamson, Duncan Pritchard, Ernest Sosa, Stephen Luper, and others. The purpose of this essay is to show that this approach does not succeed: safety does not save closure. And neither does a popular variation on the safety theme, the safe-basis or safe-indicator account. (shrink)

It is argued, on the basis of new counterexamples, that neither knowledge nor epistemic justification (or epistemic rationality ) can reasonably be thought to be closed under logical implication. The argument includes an attempt to reconcile the fundamental intuitions of the opposing parties in the debate.

I argue that fallibilism, single-premise epistemic closure, and one formulation of the “knowledge-action principle” are inconsistent. I will consider a possible way to avoid this incompatibility, by advocating a pragmatic constraint on belief in general, rather than just knowledge. But I will conclude that this is not a promising option for defusing the problem. I do not argue here for any one way of resolving the inconsistency.

How should the contrastivist formulate closure? That is, given that knowledge is a ternary contrastive state Kspq (s knows that p rather than q), how does this state extend under entailment? In what follows, I will identify adequacy conditions for closure, criticize the extant invariantist and contextualist closure schemas, and provide a contrastive schema based on the idea of extending answers. I will conclude that only the contrastivist can adequately formulate closure.

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 (...) class='Hi'>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)

The focus of this paper is the prima facie plausible view, expressed by the principle of Counter-Closure, that knowledge-yielding competent deductive inference must issue from known premises. I construct a case that arguably falsifies this principle and consider five available lines of response that might help retain Counter-Closure. I argue that three are problematic. Of the two remaining lines of response, the first relies on non-universal intuitions and forces one to view the case I construct as exhibiting (...) a justified, true belief to which none of the usual diagnoses of knowledge failure in Gettier cases apply. The second line involves claiming that Fake Barns and its ilk are misdiagnosed by epistemological orthodoxy as Gettier cases. We are thus confronted by a trilemma: either the case I discuss undermines the first-blush plausible principle of Counter-Closure; or the case I discuss instantiates a novel kind of Gettier case; or a popular conception of a key range of alleged Gettier cases must be rejected. No matter which horn we choose, the case points to a philosophically curious conclusion. (shrink)

K-axiom-based epistemic closure for explicit knowledge is rejected for even the most trivial cases of deductive inferential reasoning on account of the fact that the closure axiom does not extend beyond a raw consequence relation. The recognition that deductive inference concerns interaction as much as it concerns consequence allows for perspectives from logics of multi-agent information flow to be refocused onto mono-agent deductive reasoning. Instead of modeling the information flow between different agents in a communicative or announcement (...) setting, we model the information flow between different states of a single agent as that agent reasons deductively. The resource management of the database of agent states for the deductive reasoning fragment in question is covered by the residuated structure that encodes the nonassociative Lambek Calculus with permutation, bottom, and identity: NLP01. (shrink)

According to the safety account of knowledge, one knows that p only if one's belief could not easily have been false. An important issue for the account is whether we should only examine the belief in the target proposition when evaluating whether a belief is safe or not. In this paper, it is argued that if we only examine the belief in the target proposition, then the account fails to account for why beliefs in necessary truths could fall short (...) of knowledge. But, if we also examine beliefs in other relevant propositions, then the account fails to preserve epistemic closure. Therefore, the safety account cannot find a safe path between epistemic closure and necessary truths. (shrink)

It is argued, on the basis of new counterexamples, that neither knowledge nor epistemic justification (or “epistemic rationality”) can reasonably be thought to be closed under logical implication. The argument includes an attempt to reconcile the fundamental intuitions of the opposing parties in the debate.