Dretske is a “conciliatory skeptic” on self-knowledge. Take some subject S such that S thinks that P and S knows that she has thoughts. Dretske’s theory can be put as follows: S has a privileged way of knowing what she thinks, but she has no privileged way of knowing that she thinks it. There is much to be said on behalf of conciliatory skepticism and Dretske’s defense of it. We aim to show, however, that Dretske’s defense fails, in that if (...) his defense of CS’s skeptical half succeeds, then his defense of CS’s conciliatory half fails. We then suggest a potential way forward. We suggest in particular that the correct way of being a Dretskean conciliatory skeptic is to deny that S has a privileged way of knowing about her thoughts, but to grant that she is nonetheless an authority on her thoughts. (shrink)

The topic of this paper may be introduced by fast zooming in and out of the philosophy of information. In recent years, philosophical interest in the nature of information has been increasing steadily. This has led to a focus on semantic information, and then on the logic of being informed, which has attracted analyses concentrating both on the statal sense in which S holds the information that p (this is what I mean by logic of being informed in the rest (...) of this article) and on the actional sense in which S becomes informed that p. One of the consequences of the logic debate has been a renewed epistemological interest in the principle of information closure (henceforth PIC), which finally has motivated a revival of a skeptical objection against its tenability first made popular by Dretske. This is the topic of the paper, in which I seek to defend PIC against the skeptical objection. If I am successful, this means – and we are now zooming out – that the plausibility of PIC is not undermined by the skeptical objection, and therefore that a major epistemological argument against the formalization of the logic of being informed based on the axiom of distribution in modal logic is removed. But since the axiom of distribution discriminates between normal and non-normal modal logics, this means that a potentially good reason to look for a formalization of the logic of being informed among the non-normal modal logics, which reject the axiom, is also removed. And this in turn means that a formalization of the logic of being informed in terms of the normal modal logic B (also known as KTB) is still very plausible, at least insofar as this specific obstacle is concerned. In short, I shall argue that the skeptical objection against PIC fails, so it is not a good reason to abandon the normal modal logic B as a good formalization of the logic of being informed. (shrink)

In this paper I look at Fred Dretske’s account of information and knowledge as developed in Knowledge and The Flow of Information. In particular, I translate Dretske’s probabilistic definition of information to a modal logical framework and subsequently use this to explicate the conception of information and its flow which is central to his account, including the notions of channel conditions and relevant alternatives. Some key products of this task are an analysis of the issue of information closure and an (...) investigation into some of the logical properties of Dretske’s account of information flow. (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)

Dretske’s theory of self-knowledge is interesting but peculiar and can seem implausible. He denies that we can know by introspection that we have thoughts, feelings, and experiences. But he allows that we can know by introspection what we think, feel, and experience. We consider two puzzles. The first puzzle, PUZZLE 1, is interpretive. Is there a way of understanding Dretske’s theory on which the knowledge affirmed by its positive side is different than the knowledge denied by its negative side? The (...) second puzzle, PUZZLE 2, is substantive. Each of the following theses has some prima facie plausibility: there is introspective knowledge of thoughts, knowledge requires evidence, and there are no experiences of thoughts. It is unclear, though, that these claims form a consistent set. These puzzles are not unrelated. Dretske’s theory of self-knowledge is a potential solution to PUZZLE 2 in that Dretske’s theory is meant to show how,, and can all be true. We provide a solution to PUZZLE 1 by appeal to Dretske’s early work in the philosophy of language on contrastive focus. We then distinguish between “Closure” and “Transmissibility”, and raise and answer a worry to the effect that Dretske’s theory of self-knowledge runs counter to Transmissibility. These results help to secure Dretske’s theory as a viable solution to PUZZLE 2. (shrink)

The paper argues that knowledge is not closed under logical inference. The argument proceeds from the openness of evidential support and the dependence of empirical knowledge on evidence, to the conclusion that knowledge is open. Without attempting to provide a full-fledged theory of evidence, we show that on the modest assumption that evidence cannot support both a proposition and its negation, or, alternatively, that information that reduces the probability of a proposition cannot constitute evidence for its truth, the relation of (...) evidential support is not closed under known entailment. Therefore the evidence-for relation is deductively open regardless of whether evidence is probabilistic or not. Given even a weak dependence of empirical knowledge on evidence, we argue that empirical knowledge is also open. On this basis, we also respond to the strongest argument in support of knowledge closure. Finally, we present a number of significant benefits of our position, namely, offering a unified explanation for a range of epistemological puzzles. (shrink)

Jaegwon Kim’s influential exclusion argument attempts to demonstrate the inconsistency of nonreductive materialism in the philosophy of mind. Kim’s argument begins by showing that the three main theses of nonreductive materialism, plus two additional considerations, lead to a specific and familiar picture of mental causation. The exclusion argument can succeed only if, as Kim claims, this picture is not one of genuine causal overdetermination. Accordingly, one can resist Kim’s conclusion by denying this claim, maintaining instead that the effects of the (...) mental are always causally overdetermined. I call this strategy the ‘ overdetermination challenge’. One of the main aims of this paper is to show that the overdetermination challenge is the most appropriate response to Kim’s exclusion argument, at least in its latest form. I argue that Kim fails to adequately respond to the overdetermination challenge, thus failing to prevent his opponents from reasonably maintaining that the effects of the mental are always causally overdetermined. Interestingly, this discussion reveals a curious dialectical feature of Kim’s latest response to the overdetermination challenge: if it succeeds, then a new, simpler and more compact version of the exclusion argument is available. While I argue against the consequent of this conditional, thereby also rejecting the antecedent, this dialectical feature should be of interest to philosophers on either side of this debate. (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)

The general principle of epistemic closure stipulates that epistemic properties are transmissible through logical means. According to this principle, an epistemic operator, say ε, should satisfy any valid scheme of inference, such as: if ε(p entails q), then ε(p) entails ε(q). The principle of epistemic closure under known entailment (ECKE), a particular instance of epistemic closure, has received a good deal of attention since the last thirty years or so. ECKE states that: if one knows that p entails q, and (...) she knows that p, then she knows that q. It is widely accepted that ECKE constitutes an important piece of the skeptical argument, but the acceptance of an unrestricted version of ECKE is still a matter of debate. On the side of the defenders of ECKE, one finds Stine (1976), Brueckner (1985), Vogel (1990), and Feldman (1995). Others proposed a refutation or a limitation of the principle, like Dretske (1970), Nozick (1981), Hales (1995), Williams (1996), and Sosa (1999). As it turns out, the relevant alternatives view (RAV) elaborated by Dretske, which restricts the scope of ECKE, has been discussed extensively and acknowledged as one of the most important contributions. There is nonetheless a major unsolved difficulty pertaining to Dretske-RAV: the notion of relevant alternatives is defined in such a way that it is bounded by counterfactual possibilities. This ontological import leaves open the door to the skeptic. Some have tried to give more precision to this notion, like Stine (1976), who appealed to a Gricean approach to define relevant alternatives in conversational contexts. My proposal is in accordance with the gist of Dretske’s strategy, i.e. to restrict the validity of ECKE, and I claim that in order to escape the difficulties inherent to RAV one has to introduce a more robust notion, the notion of epistemic context. Epistemic contexts are a subclass of propositional contexts. In that perspective, the closure property is expressed in terms of a property of a relation between epistemic contexts. ECKE holds when and only when either the epistemic context of the premisses is the same as the epistemic context of the conclusion, or the epistemic context change between the premisses and the conclusion is permissible. Permissibility of epistemic context change is a function of consistency. By means of this epistemic context approach, I will show that: (1) epistemic contexts are defined by basic propositions (unchallenged justified beliefs), (2) ECKE holds only under very specific constraints, and (3) the skeptical argument involves a non-permissible change of epistemic context and, by the same token, cannot rely upon ECKE. (shrink)

Christoph Jäger has argued that Dretske’s information-based account of knowledge is committed to both knowledge and information closure under known entailment. However, in a reply to Jäger, Dretske defended his view on the basis of a discrepancy between the relation of information and the relation of logical implication. This paper shares Jäger’s criticism that Dretske’s externalist notion of information implies closure, but provides an analysis based on different grounds. By means of a distinction between two perspectives, the mathematical perspective and (...) the epistemological perspective, I present, in the former, a notion of logical implication that is compatible with the notion of information in the mathematical theory of information, and I show how, in the latter, Dretske’s logical reading of the closure principle is incompatible with his information-theoretic epistemological framework. (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)

The conclusive reasons view of knowledge entails the “abominable conjunction” that I know that I have hands but I do not know that I am not a brain in a vat. The argument from abomination takes this as a reason to reject the view. This paper aims to buttress the argument from abomination by adding a new sort to this list: the logical abominations. These include: “I know that argument is sound and that sound arguments have true conclusions but I (...) don’t know whether the conclusion of that argument is true”. Two standard replies to the argument from abomination are raised. It is argued that the logical abominations open new holes in both. (shrink)

This paper explicates and argues for the thesis that individual rational judgment, of the kind required for rational justification in non-formal, substantive domains – i.e. in empirical knowledge or in morals (both ethics and justice) – is in fundamental part socially and historically based, although these social and historical aspects of rational justification are consistent with realism about the objects of empirical knowledge and with strict objectivity about basic moral principles. The central thesis is that, to judge fully rationally that (...) one judges – in ways which provide rational justification of one’s judgment about any substantive matter – requires recognising one’s inherent fallibility and consequently also recognising our mutual interdependence for assessing our own and each others’ judgments and their justification. This explication provides a pragmatic account of rational justification in substantive domains which puts paid to the traditional distinction, still influential today, between ‘rational’ and ‘historical’ knowledge. (Note: This paper is a counterpart to Westphal 2011b; each paper contains substantial material not included in the other.). (shrink)

In his earlier writings, Fred Dretske proposed an anti-skeptical strategy that is based on a rejection of the view that knowledge is closed under known entailment. This strategy is seemingly congenial with a sensitivity condition for knowledge, which is often associated with Dretske’s epistemology. However, it is not obvious how Dretske’s early account meshes with the information-theoretic view developed in Knowledge and the Flow of Information. One aim of this paper is to elucidate the connections between these accounts. First I (...) argue that, contrary to an objection raised by Christoph Jäger, the information-theoretic account is compatible with Dretske’s anti-skeptical strategy based on the rejection of closure. This strategy invokes the notion of channel conditions, which are roughly speaking those conditions that are necessary and jointly sufficient for a signal to carry information. I propose an interpretation of the account that is based on the idea that a signal’s carrying information requires that the channel conditions are stable. It is shown that the resulting account incorporates both a sensitivity condition and a safety condition for knowledge. Finally, I demonstrate how this proposal allows for knowledge of modally robust propositions without making its acquisition too easy, as simple safety accounts do. I end with a suggestion concerning the direction that future research should take, based on the fact that in its present form the information-theoretic account does not capture inferential knowledge. (shrink)

Philosophers of information, according to Luciano Floridi (The philosophy of information. Oxford University Press, Oxford, 2010, p 32), study how information should be “adequately created, processed, managed, and used.” A small number of epistemologists have employed the concept of information as a cornerstone of their theoretical framework. How this concept can be used to make sense of seemingly intractable epistemological problems, however, has not been widely explored. This paper examines Fred Dretske’s information-based epistemology, in particular his response to radical epistemological (...) skepticism. We discuss the relationship between information, evidence and knowledge in relation to the problem of skepticism and the options available to an information-based epistemology for dealing with it. (shrink)

Resumen El objetivo de este trabajo es determinar la relevancia de la teoría informacional del conocimiento para el problema de la suerte epistémica. Argumento que el clásico enfoque de Dretske es equivalente a la condición de seguridad de Pritchard. Sin embargo, considero que esta manera de eludir la suerte epistémica exige lidiar con el llamado "problema de la generalidad". Argumento que una respuesta a este problema requiere una noción de seguridad diferente y propongo un enfoque informacional equivalente a esta versión (...) del requisito. Concluyo que este enfoque es preferible a la condición de seguridad propuesta porque desvela relaciones conceptuales entre los elementos que constituyen el conocimiento.The aim of this paper is to determine the relevance of an informational theory of knowledge to address recently discussed epistemic problems. I argue that Dretske's classical approach is equivalent to the safety condition proposed by Pritchard to avoid epistemic luck. However, I claim that Pritchard's condition has to be modified to avoid the so-called "generality problem" for reliabilism. I propose an alternative version of the requirement to deal with these problems and provide an equivalent informational condition. I conclude that this informational version is preferable since it reveals conceptual relationships between the constituents of knowledge. (shrink)