This paper examines the paradox of revisability. This paradox was proposed by Jerrold Katz as a problem for Quinean naturalised epistemology. Katz employs diagonalisation to demonstrate what he takes to be an inconsistency in the constitutive principles of Quine's epistemology. Specifically, the problem seems to rest with the principle of universal revisability which states that no statement is immune to revision. In this paper it is argued that although there is something odd about employing universal revisability to revise itself, there (...) is nothing paradoxical about this. At least, there is no paradox along the lines suggested by Katz. (shrink)

W.V. Quine is committed to the claim that all beliefs are rationally revisable; Jerrold Katz has argued that this commitment is unstable on grounds of self-application. The subsequent discussion of this issue has largely proceeded in terms of the logic of belief revision, but there is also an issue here for the treatment of Quine’s views in a doxastic modal system. In this paper I explore the treatment of Quinean epistemology in modal terms. I argue that a set of formal (...) revisability desiderata can be distilled from Quine’s epistemic writings, and that there are demonstrably coherent and non-trivial systems that meet these conditions. (shrink)

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and (...) under various natural constraints. (shrink)

W. V. Quine is one of the most eminent philosophers alive today. Now in his mid-eighties he has produced a sharp, sprightly book that encapsulates the whole of his philosophical enterprise, including his thinking on all the key components of his epistemological stance--especially the value of logic and mathematics. New readers of Quine may have to go slowly, fathoming for themselves the richness that past readers already know lies between these elegant lines. For the faithful there is much to ponder. (...) In this short book, based on lectures delivered in Spain in 1990, Quine begins by locating his work historically. He provides a lightning tour of the history of philosophy (particularly the history of epistemology), beginning with Plato and culminating in an appreciative sketch of Carnap's philosophical ambitions and achievements. This leads, in the second chapter, to an introduction to Quine's attempt to naturalize epistemology, which emphasizes his continuities with Carnap rather than the differences between them. The next chapters develop the naturalistic story of the development of science to take account of how our conceptual apparatus is enhanced so that we can view the world as containing re-identifiable objects. Having explained the role of observation sentences in providing a checkpoint for assessing scientific theories, and having despaired of constructing an empirical criterion to determine which sentences are meaningful, Quine in the remaining chapters takes up a variety of important issues about knowledge. He concludes with an extended treatment of his views about reference and meaning and his attitudes toward psychological and modal notions. The presentation is distinctive, and the many small refinements of detail and formulation will fascinate all who know Quine's philosophy. (shrink)

Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.

In the middle of the 1980s, logical tools were discovered that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable both to human beliefs and to the contents of databases. This is the first textbook in this new area. It contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. By using different selections from the formal section (...) the book can be used on all levels of University education. (shrink)

The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations are constrained by rationality postulates. In the original proposal, the logic underlying the reasoning was supposed to be supraclassical, among other properties. In this paper, we present some of the existing work in adapting the AGM theory for non-classical logics and discuss their interconnections and what (...) is still missing for each approach. (shrink)

I reformulate the AGM-account of contraction (which would yield an account also of revision). The reformulation involves using introduction and elimination rules for relational notions. Then I investigate the extent to which the two main methods of partial meet contraction and safe contraction can be employed for theories closed under intuitionistic consequence.

We present a theory that copes with the dynamics of inconsistent information. A method is set forth to represent possibly inconsistent information by a finite state. Next, finite operations for expansion and contraction of finite states are given. No extra-logical element — a choice function or an ordering over (sets of) sentences — is presupposed in the definition of contraction. Moreover, expansion and contraction are each other's duals. AGM-style characterizations of these operations follow.

[Elliott Sober] In 'Two Dogmas of Empiricism', Quine attacks the analytic/synthetic distinction and defends a doctrine that I call epistemological holism. Now, almost fifty years after the article's appearance, what are we to make of these ideas? I suggest that the philosophical naturalism that Quine did so much to promote should lead us to reject Quine's brief against the analytic/synthetic distinction; I also argue that Quine misunderstood Carnap's views on analyticity. As for epistemological holism, I claim that this thesis does (...) not follow from the logical point that Duhem and Quine made about the role of auxiliary assumptions in hypothesis testing, and that the thesis should be rejected. \\\ [Peter Hylton] Section I of this essay discusses Quine's views about reference, contrasting them with those of Russell. For the latter, our language and thought succeed in being about the world because of our acquaintance with objects; the relation of reference-roughly, the relation between a name and its bearer-is thus fundamental. For Quine, by contrast, the fundamental relation by which our language comes to be about the world, and to have empirical content, is that between a sentence and stimulations of our sensory surfaces; reference, while important, is a derivative notion. Section II shows how this view of reference as derivative makes possible the notorious Quinean doctrine of ontological relativity. Section III raises the issue of realism. It argues that somewhat different notions of realism are in play for Quine and for Russell-for Russell, objects, and our knowledge of objects, play the fundamental role, while for quine objectivity and truth are fundamental, with ontology being derivative. (shrink)

We have three goals in this paper. First, we outline an ontology of stance, and explain the role that modes of engagement and styles of reasoning play in the characterization of a stance. Second, we argue that we do enjoy a degree of control over the modes of engagement and styles of reasoning we adopt. Third, we contend that maximizing one’s prospects for change also maximizes one’s rationality.

In contrast to other prominent models of belief change, models based on epistemic entrenchment have up to now been applicable only in the context of very strong packages of requirements for belief revision. This paper decomposes the axiomatization of entrenchment into independent modules. Among other things it is shown how belief revision satisfying only the 'basic' postulates of Alchourrón, Gärdenfors and Makinson can be represented in terms of entrenchment.

A respected Harvard logician and philosopher gathers together twenty-nine writings dealing with the foundations of mathematics, Rudolf Carnap, lin-guistics, ...

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

" This is a key book for understanding the effort that a major philosopher has made a large part of his life's work: to naturalize epistemology in the twentieth ...

For the faithful there is much to ponder. In this short book, based on lectures delivered in Spain in 1990, Quine begins by locating his work historically.

A general method is provided whereby bizarre revisions of consistent theories with respect to contingent sentences that they refute can be delivered by revision-functions satisfying both the basic and the supplementary postulates of the AGM-theory of theory-revision.

This major work challenges some widely held positions in epistemology - those of Peirce and Popper on the one hand and those of Quine and Kuhn on the other.

In _Realistic Rationalism_, Jerrold J. Katz develops a new philosophical position integrating realism and rationalism. Realism here means that the objects of study in mathematics and other formal sciences are abstract; rationalism means that our knowledge of them is not empirical. Katz uses this position to meet the principal challenges to realism. In exposing the flaws in criticisms of the antirealists, he shows that realists can explain knowledge of abstract objects without supposing we have causal contact with them, that numbers (...) are determinate objects, and that the standard counterexamples to the abstract/concrete distinction have no force. Generalizing the account of knowledge used to meet the challenges to realism, he develops a rationalist and non-naturalist account of philosophical knowledge and argues that it is preferable to contemporary naturalist and empiricist accounts. The book illuminates a wide range of philosophical issues, including the nature of necessity, the distinction between the formal and natural sciences, empiricist holism, the structure of ontology, and philosophical skepticism. Philosophers will use this fresh treatment of realism and rationalism as a starting point for new directions in their own research. (shrink)

The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions" was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twentyfive years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in (...) the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original (...) framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

In a recent article, Mark Colyvan has criticized Jerrold Katz's attempt to show that Quinean holism is self-refuting. Katz argued that a Quinean epistemology incorporating a principle of the universal revisability of beliefs would have to hold that that and other principles of the system were both revisable and unrevisable. Colyvan rejects Katz's argument for failing to take into account the logic of belief revision. But granting the terms of debate laid down by Colyvan, the universal revisability principle still commits (...) Quineans to holding that one belief is both revisable and unrevisable: the belief that some beliefs are revisable. (shrink)

In _Realistic Rationalism_, Jerrold J. Katz develops a new philosophical position integrating realism and rationalism. Realism here means that the objects of study in mathematics and other formal sciences are abstract; rationalism means that our knowledge of them is not empirical. Katz uses this position to meet the principal challenges to realism. In exposing the flaws in criticisms of the antirealists, he shows that realists can explain knowledge of abstract objects without supposing we have causal contact with them, that numbers (...) are determinate objects, and that the standard counterexamples to the abstract/concrete distinction have no force. Generalizing the account of knowledge used to meet the challenges to realism, he develops a rationalist and non-naturalist account of philosophical knowledge and argues that it is preferable to contemporary naturalist and empiricist accounts. The book illuminates a wide range of philosophical issues, including the nature of necessity, the distinction between the formal and natural sciences, empiricist holism, the structure of ontology, and philosophical skepticism. Philosophers will use this fresh treatment of realism and rationalism as a starting point for new directions in their own research. (shrink)

A compact, coherent introduction to the study of rational belief, this text provides points of entry to such areas of philosophy as theory of knowledge, methodology of science, and philosophy of language. The book is accessible to all undergraduates and presupposes no philosophical training.