The Cognitive Basis of Science concerns the question 'What makes science possible?' Specifically, what features of the human mind and of human culture and cognitive development permit and facilitate the conduct of science? The essays in this volume address these questions, which are inherently interdisciplinary, requiring co-operation between philosophers, psychologists, and others in the social and cognitive sciences. They concern the cognitive, social, and motivational underpinnings of scientific reasoning in children and lay persons as well as in professional scientists. The (...) editors' introduction lays out the background to the debates, and the volume includes a consolidated bibliography that will be a valuable reference resource for all those interested in this area. The volume will be of great importance to all researchers and students interested in the philosophy or psychology of scientific reasoning, as well as those, more generally, who are interested in the nature of the human mind. (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

Change in View offers an entirely original approach to the philosophical study of reasoning by identifying principles of reasoning with principles for revising one's beliefs and intentions and not with principles of logic. This crucial observation leads to a number of important and interesting consequences that impinge on psychology and artificial intelligence as well as on various branches of philosophy, from epistemology to ethics and action theory. Gilbert Harman is Professor of Philosophy at Princeton University. A Bradford Book.

The aim of this paper is to sketch a theory of justified belief. What I have in mind is an explanatory theory, one that explains in a general way why certain beliefs are counted as justified and others as unjustified. Unlike some traditional approaches, I do not try to prescribe standards for justification that differ from, or improve upon, our ordinary standards. I merely try to explicate the ordinary standards, which are, I believe, quite different from those of many classical, (...) e. g., ‘Cartesian’, accounts. (shrink)

Probabilistic models have much to offer to philosophy. We continually receive information from a variety of sources: from our senses, from witnesses, from scientific instruments. When considering whether we should believe this information, we assess whether the sources are independent, how reliable they are, and how plausible and coherent the information is. Bovens and Hartmann provide a systematic Bayesian account of these features of reasoning. Simple Bayesian Networks allow us to model alternative assumptions about the nature of the information sources. (...) Measurement of the coherence of information is a controversial matter: arguably, the more coherent a set of information is, the more confident we may be that its content is true, other things being equal. The authors offer a new treatment of coherence which respects this claim and shows its relevance to scientific theory choice. Bovens and Hartmann apply this methodology to a wide range of much discussed issues regarding evidence, testimony, scientific theories, and voting. Bayesian Epistemology is an essential tool for anyone working on probabilistic methods in philosophy, and has broad implications for many other disciplines. (shrink)

The structural view of rational acceptance is a commitment to developing a logical calculus to express rationally accepted propositions sufficient to represent valid argument forms constructed from rationally accepted formulas. This essay argues for this project by observing that a satisfactory solution to the lottery paradox and the paradox of the preface calls for a theory that both (i) offers the facilities to represent accepting less than certain propositions within an interpreted artificial language and (ii) provides a logical calculus of (...) rationally accepted formulas that preserves rational acceptance under consequence. The essay explores the merit and scope of the structural view by observing that some limitations to a recent framework advanced James Hawthorne and Luc Bovens are traced to their framework satisfying the first of these two conditions but not the second. (shrink)

We examine the notion of conditionals and the role of conditionals in inductive logics and arguments. We identify three mistakes commonly made in the study of, or motivation for, non-classical logics. A nonmonotonic consequence relation based on evidential probability is formulated. With respect to this acceptance relation some rules of inference of System P are unsound, and we propose refinements that hold in our framework.

Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist view is addressed, and a methodology (...) is given. The pure invariantist view is contrasted with logical pluralism, and a methodology for applied logic is demonstrated in remarks on a variety of issues concerning non-monotonic logic and non-monotonic inference, including Charles Morgan’s impossibility results for non-monotonic logic, David Makinson’s normative constraints for non-monotonic inference, and Igor Douven and Timothy Williamson’s proposed formal constraints on rational acceptance. (shrink)

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention as an attractive (...) approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.

Naturalism in philosophy has a long and distinguished heritage. This is no less true in epistemology than it is in other areas of philosophy. At the same time, epistemology in the English speaking world in the first half of die twentieth century was dominated by an approach quite hostile to naturalism. Now, at the close of the twentieth century, naturalism is resurgent.

This paper analyzes and evaluates quine's influential thesis that epistemology should become a chapter of empirical psychology. quine's main point, it is argued, is that normativity must be banished from epistemology and, more generally, philosophy. i claim that without a normative concept of justification, we lose the very concept of knowledge, and that belief ascription itself becomes impossible without a normative concept of rationality. further, the supervenience of concepts of epistemic appraisal shows that normative epistemology is indeed possible.

The problem of induction is sometimes motivated via a comparison between rules of induction and rules of deduction. Valid deductive rules are necessarily truth preserving, while inductive rules are not.

Against the traditional view, Alvin Goldman argues that logic, probability theory, and linguistic analysis cannot by themselves delineate principles of rationality or justified belief. The mind's operations must be taken into account.

Let E be a set of n propositions E1, ..., En. We seek a probabilistic measure C(E) of the ‘degree of coherence’ of E. Intuitively, we want C to be a quantitative, probabilistic generalization of the (deductive) logical coherence of E. So, in particular, we require C to satisfy the following..

Evidentialism is a view about the conditions under which a person is epistemically justified in having a particular doxastic attitude toward a proposition. Evidentialism holds that the justified attitudes are determined entirely by the person's evidence. This is the traditional view of justification. It is now widely opposed. The essays included in this volume develop and defend the tradition.Evidentialism has many assets. In addition to providing an intuitively plausible account of epistemic justification, it helps to resolve the problem of the (...) criterion, helps to disentangle epistemic and ethical evaluations, and illuminates the relationship between epistemic evaluations of beliefs and the evaluation of the methods used to form beliefs. These issues are all addressed in the essays presented here. External world skepticism poses the classic problem for an epistemological theory. The final essay in this volume argues that evidentialism is uniquely well qualified to make sense of skepticism and to respond to its challenge.Evidentialism is a version of epistemic internalism. Recent epistemology has included many attacks on internalism and has seen the development of numerous externalist theories. The essays included here respond to those attacks and raise objections to externalist theories, especially the principal rival, reliabilism. Internalism generally has been criticized for having unacceptable deontological implications, for failing to connect epistemic justification to truth, and for failing to provide an adequate account of what makes basic beliefs justified. Each of these charges is answered in these essays. The collection includes two previously unpublished essays and new afterwords to five of the reprinted essays; it will be the definitive resource on evidentialism for all epistemologists. (shrink)

This paper aims to contribute to our understanding of the notion of coherence by explicating in probabilistic terms, step by step, what seem to be our most basic intuitions about that notion, to wit, that coherence is a matter of hanging or fitting together, and that coherence is a matter of degree. A qualitative theory of coherence will serve as a stepping stone to formulate a set of quantitative measures of coherence, each of which seems to capture well the aforementioned (...) intuitions. Subsequently it will be argued that one of those measures does better than the others in light of some more specific intuitions about coherence. This measure will be defended against two seemingly obvious objections. (shrink)

It is tempting to think that, if a person's beliefs are coherent, they are also likely to be true. This truth conduciveness claim is the cornerstone of the popular coherence theory of knowledge and justification. Erik Olsson's new book is the most extensive and detailed study of coherence and probable truth to date. Setting new standards of precision and clarity, Olsson argues that the value of coherence has been widely overestimated. Provocative and readable, Against Coherence will make stimulating reading for (...) epistemologists and anyone with a serious interest in truth. (shrink)

Evidentialism is a view about the conditions under which a person is epistemically justified in having a particular doxastic attitude toward a proposition. Evidentialism holds that the justified attitudes are determined entirely by the person's evidence. This is the traditional view of justification. It is now widely opposed. The essays included in this volume develop and defend the tradition. Evidentialism has many assets. In addition to providing an intuitively plausible account of epistemic justification, it helps to resolve the problem of (...) the criterion, helps to disentangle epistemic and ethical evaluations, and illuminates the relationship between epistemic evaluations of beliefs and the evaluation of the methods used to form beliefs. These issues are all addressed in the essays presented here. External world skepticism poses the classic problem for an epistemological theory. The final essay in this volume argues that evidentialism is uniquely well qualified to make sense of skepticism and to respond to its challenge. Evidentialism is a version of epistemic internalism. Recent epistemology has included many attacks on internalism and has seen the development of numerous externalist theories. The essays included here respond to those attacks and raise objections to externalist theories, especially the principal rival, reliabilism. Internalism generally has been criticized for having unacceptable deontological implications, for failing to connect epistemic justification to truth, and for failing to provide an adequate account of what makes basic beliefs justified. Each of these charges is answered in these essays. The collection includes two previously unpublished essays and new afterwords to five of the reprinted essays; it will be the definitive resource on evidentialism for all epistemologists. (shrink)

Evidentialism holds that the justified attitudes are determined entirely by the person's evidence. This book is a collection of essays, mostly jointly authored, that support and apply evidentialism.

This anthology brings together ten papers which have defined and advanced the debate between internalism and externalism in epistemology.

In this essay we advance the view that analytical epistemology and artificial intelligence are complementary disciplines. Both fields study epistemic relations, but whereas artificial intelligence approaches this subject from the perspective of understanding formal and computational properties of frameworks purporting to model some epistemic relation or other, traditional epistemology approaches the subject from the perspective of understanding the properties of epistemic relations in terms of their conceptual properties. We argue that these two practices should not be conducted in isolation. We (...) illustrate this point by discussing how to represent a class of inference forms found in standard inferential statistics. This class of inference forms is interesting because its members share two properties that are common to epistemic relations, namely defeasibility and paraconsistency. Our modeling of standard inferential statistical arguments exploits results from both logical artificial intelligence and analytical epistemology. We remark how our approach to this modeling problem may be generalized to an interdisciplinary approach to the study of epistemic relation. (shrink)

Statistical Default Logic (SDL) is an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, e.g., hypothesis testing and the estimation of a population‘s mean, variance and proportions. This paper presents an embedding of an important subset of SDL theories, called literal statistical default theories, into stable model semantics. The embedding is designed to compute the signature set of literals that uniquely distinguishes each extension on a statistical default theory (...) at a pre-assigned error-bound probability. (shrink)

This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, including hypothesis testing and the estimation of a populations mean, variance and proportions. The logic replaces classical defaults with ordered pairs consisting of a Reiter default in the first coordinate and a real number within the unit interval in the second coordinate. This real number represents an upper-bound limit on the probability of accepting (...) the consequent of an applied default and that consequent being false. A method for constructing extensions is then defined that preserves this upper bound on the probability of error under a (skeptical) non-monotonic consequence relation. (shrink)