According to Williamson, your evidence consists of all and only what you know (E = K). According to his critics, it doesn’t. While E = K calls for revision, the revisions it calls for are minor. E = K gets this much right. Only true propositions can constitute evidence and anything you know non-inferentially is part of your evidence. In this paper, I defend these two theses about evidence and its possession from Williamson’s critics who think we should break more (...) radically from E = K. (shrink)

The evidential argument from evil seeks to show that suffering is strong evidence against theism. The core idea of the evidential argument is that we know of innocent beings suffering for no apparent good reason. Perhaps the most common criticism of the evidential argument comes from the camp of skeptical theism, whose lot includes William Alston, Alvin Plantinga, and Stephen Wykstra. According to skeptical theism the limits of human knowledge concerning the realm of goods, evils, and the connections between values, (...) undermines the judgment that what appears as pointless evil really is pointless. For all we know the suffering of an innocent being, though appearing pointless, in fact leads to a greater good. In this paper I argue that no one who accepts the doctrines of skeptical theism has a principled way of avoiding moral skepticism. (shrink)

This article defends the view that knowledge is type-identical to cognitive achievement. I argue, pace Duncan Pritchard, that not only knowledge, but also cognitive achievement is incompatible with environmental luck. I show that the performance of cognitive abilities in environmental luck cases does not distinguish them from non-abilities per se. For this reason, although the cognitive abilities of the subject are exercised in environmental luck cases, they are not manifested in any relevant sense. I conclude by showing that this explanation (...) is not ad hoc as it can be generalized to apply to causal features besides cognitive abilities. (shrink)

This paper evaluates a number of closure principles (for both knowledge and justification) that have appeared in the literature. Counterexamples are presented to all but one of these principles, which is conceded to be true but trivially so. It is argued that a consequence of the failure of these closure principles is that certain projects of doxastic logic are doomed, and that doxastic logic is of dubious merit for epistemologists interested in actual knowers in the actual world.

It is argued that donald davidson has not succeeded in showing that we need a constructive theory of meaning--A theory for a natural language which davidson considers to have as its base a finite number of semantic primitives--In order to explain language learning and, In particular, Linguistic productivity. This linguistic productivity is the ability of a speaker who has mastered the meaning of a finite stock of words and a finite number of grammatical rules, To produce and understand sentences which (...) he has not constructed or encountered before. (shrink)

Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?

A class of problems is called decidable if there is an algorithm which will give the answer to any problem of the class after a finite length of time. The purpose of this paper is to discuss the classes of problems that can be solved by infinitely long decision procedures in the following sense: An algorithm is given which, for any problem of the class, generates an infinitely long sequence of guesses. The problem will be said to be solved in (...) the limit if, after some finite point in the sequence, all the guesses are correct and the same. Functions, sets, and functionals which are decidable by such infinite algorithms will be calledlimiting recursive. These, together with classes of objects which can beidentified in the limit, are the subjects of this report.Without qualification,setwill mean set of numbers;functionwill mean number-theoretic function of 1 variable, possibly partial;functionalswill take numerical values and have any number of numerical and/or function variables, the latter ranging solely over total functions of 1 variable. Thus a function is a special case of a functional,xwill invariably stand for a numerical variable;φfor a function variable;gfor a guess ;nfor the numerical variable which indexes the guesses, referred to as thetime. (shrink)

This paper explores the relation between rational authority and social power, proceeding by way of a philosophical genealogy derived from Edward Craig's Knowledge and the State of Nature. The position advocated avoids the errors both of the 'traditionalist' (who regards the socio-political as irrelevant to epistemology) and of the 'reductivist' (who regards reason as just another form of social power). The argument is that a norm of credibility governs epistemic practice in the state of nature, which, when socially manifested, is (...) likely to imitate the structures of social power. A phenomenon of epistemic injustice is explained, and the politicizing implication for epistemology educed. (shrink)

There is a traditional conception of knowledge but it is not the Justified True Belief analysis Gettier attacked. On the traditional view, knowledge consists in having a belief that bears a discernible mark of truth. A mark of truth is a truth-entailing property: a property that only true beliefs can have. It is discernible if one can always tell that a belief has it, that is, a sufficiently attentive subject believes that a belief has it if and only if it (...) has it. Requiring a mark of truth makes the view infallibilist. Requiring it to be discernible makes the view internalist. I call the view Classical Infallibilism. (shrink)

When spelled out properly infallibilism is a viable and even attractive view. Because it has long been summary dismissed, however, we need a guide on how to properly spell it out. The guide has to fulfil four tasks. The first two concern the nature of knowledge: to argue that infallible belief is necessary, and that it is sufficient, for knowledge. The other two concern the norm of belief: to argue that knowledge is necessary, and that it is sufficient, for justified (...) certainty. With such a guide in hand infallibilism can be evaluated on its own merits. The most controversial parts are the first and fourth. The idea that knowledge requires infallible belief is thought to be excessively sceptical. The idea that knowledge warrants certainty is thought to be excessively dogmatic. The present paper addresses the first. It argues that knowledge requires infallible belief. (shrink)

History is composed of a web of innumerable interacting causal chains, many of which are composed of millions of discrete events. The complexity of history puts us in a position of having knowledge of only a minuscule portion of the consequences of any event, actual or proposed. Our almost complete lack of knowledge of the data necessary to know if an event is gratuitous makes it very likely that we would be mistaken about a very large number of events. The (...) complexity of history, therefore, poses a significant challenge to certain types of evidential arguments from evil that begin with our observations of evils that appear to be gratuitous. (shrink)

Timothy Williamson's epistemology leads to a fairly radical version of scepticism. According to him, all knowledge is evidence. It follows that if S knows p, the evidential probability for S that p is 1. I explain Williamson's infallibilist account of perceptual knowledge, contrasting it with Peter Klein's, and argue that Klein's account leads to a certain problem which Williamson's can avoid. Williamson can allow that perceptual knowledge is possible and that all knowledge is evidence, while at the same time avoiding (...) Klein's problem. But while Williamson can allow that we know some things through experience, there are very many things he must say we cannot know. Given just how very many these are, he should be considered a sceptic. (shrink)

Concessive knowledge attributions (CKAs) are knowledge attributions of the form ‘S knows p, but it’s possible that q’, where q obviously entails not-p (Rysiew, Nous (Detroit, Mich.) 35:477–514, 2001). The significance of CKAs has been widely discussed recently. It’s agreed by all that CKAs are infelicitous, at least typically. But the agreement ends there. Different writers have invoked them in their defenses of all sorts of philosophical theses; to name just a few: contextualism, invariantism, fallibilism, infallibilism, and that the knowledge (...) rules for assertion and practical reasoning are false. In fact, there is a lot of confusion about CKAs and their significance. I try to clear some of this confusion up, as well as show what their significance is with respect to the debate between fallibilists and infallibilists about knowledge in particular. (shrink)

In this paper I argue for a doctrine I call ?infallibilism?, which I stipulate to mean that If S knows that p, then the epistemic probability of p for S is 1. Some fallibilists will claim that this doctrine should be rejected because it leads to scepticism. Though it's not obvious that infallibilism does lead to scepticism, I argue that we should be willing to accept it even if it does. Infallibilism should be preferred because it has greater explanatory power (...) than fallibilism. In particular, I argue that an infallibilist can easily explain why assertions of ?p, but possibly not-p? (where the ?possibly? is read as referring to epistemic possibility) is infelicitous in terms of the knowledge rule of assertion. But a fallibilist cannot. Furthermore, an infallibilist can explain the infelicity of utterances of ?p, but I don't know that p? and ?p might be true, but I'm not willing to say that for all I know, p is true?, and why when a speaker thinks p is epistemically possible for her, she will agree (if asked) that for all she knows, p is true. The simplest explanation of these facts entails infallibilism. Fallibilists have tried and failed to explain the infelicity of ?p, but I don't know that p?, but have not even attempted to explain the last two facts. I close by considering two facts that seem to pose a problem for infallibilism, and argue that they don't. (shrink)

Hilary Putnam deals in this book with some of the most fundamental persistent problems in philosophy: the nature of truth, knowledge and rationality. His aim is to break down the fixed categories of thought which have always appeared to define and constrain the permissible solutions to these problems.

Nozick analyzes fundamental issues, such as the identity of the self, knowledge and skepticism, free will, the foundations of ethics, and the meaning of life.

This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.

This collection of 22 newly-commissioned essays presents cutting-edge work on skeptical theistic responses to the problem of evil and the persistent objections that such responses invite.

"A sequel to Pollock's How to Build a Person, this volume builds upon that theoretical groundwork for the implementation of rationality through artificial ...

What is consciousness? How does the subjective character of consciousness fit into an objective world? How can there be a science of consciousness? In this sequel to his groundbreaking and controversial The Conscious Mind, David Chalmers develops a unified framework that addresses these questions and many others. Starting with a statement of the "hard problem" of consciousness, Chalmers builds a positive framework for the science of consciousness and a nonreductive vision of the metaphysics of consciousness. He replies to many critics (...) of The Conscious Mind, and then develops a positive theory in new directions. The book includes original accounts of how we think and know about consciousness, of the unity of consciousness, and of how consciousness relates to the external world. Along the way, Chalmers develops many provocative ideas: the " consciousness meter", the Garden of Eden as a model of perceptual experience, and The Matrix as a guide to the deepest philosophical problems about consciousness and the external world. This book will be required reading for anyone interested in the problems of mind, brain, consciousness, and reality. (shrink)

In the history of modern philosophy systematic connections were assumed to hold between the modal concepts of logical possibility and necessity and the concept of conceivability. However, in the eyes of many contemporary philosophers, insuperable objections face any attempt to analyze the modal concepts in terms of conceivability. It is important to keep in mind that a philosophical explanation of modality does not have to take the form of a reductive analysis. In this paper I attempt to provide a response-dependent (...) account of the modal concepts in terms of conceivability along the lines of a nonreductive model of explanation. (shrink)

A number of epistemologists have defended a necessary condition for knowledge that has come to be labeled as the “safety” condition. Timothy Williamson, Duncan Pritchard, and Ernest Sosa are the foremost defenders of safety. According to these authors an agent S knows a true proposition P only if S could not easily have falsely believed P. Disagreement arises, however, with respect to how they capture the notion of a safe belief. This article is a treatment of the different presentations and (...) defenses of the safety condition for knowledge. Special attention is first paid to an elucidation of the various aspects or features of the safety condition. Following a short demonstration of the manner in which the safety condition handles some rather tough Gettier-like cases in the literature, some problems facing safety conclude this article. (shrink)

It is now part and parcel of the official philosophical wisdom that models are essential to the acquisition and organisation of scientific knowledge. It is also generally accepted that most models represent their target systems in one way or another. But what does it mean for a model to represent its target system? I begin by introducing three conundrums that a theory of scientific representation has to come to terms with and then address the question of whether the semantic view (...) of theories, which is the currently most widely accepted account of theories and models, provides us with adequate answers to these questions. After having argued in some detail that it does not, I conclude by pointing out in what direction a tenable account of scientific representation might be sought. (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

Consider: -/- The Evidence Question: When, and under what conditions does an agent have proposition E as evidence (at t)? -/- Timothy Williamson's (2000) answer to this question is the well-known E = K thesis: -/- E = K: E is a member of S's evidence set at t iff S knows E at t. -/- I will argue that this answer is inconsistent with the version of Bayesianism that Williamson advocates. This is because E = K allows an agent (...) to garner evidence via inductive inference whereas standard Bayesian views disallow such a thing. Since Williamson's version of Bayesianism shares the key features with the standard Bayesian view, there is an inconsistency. (shrink)

An extended review of what is known about the formal behaviour of nonmonotonic inference operations, including those generated by the principal systems in the artificial intelligence literature. Directed towards computer scientists and others with some background in logic.