It is natural and important to have a formal representation of plain belief, according to which propositions are held true, or held false, or neither. (In the paper this is called a deterministic representation of epistemic states). And it is of great philosophical importance to have a dynamic account of plain belief. AGM belief revision theory seems to provide such an account, but it founders at the problem of iterated belief revision, since it can generally account only for one step (...) of revision. The paper discusses and rejects two solutions within the confines of AGM theory. It then introduces ranking functions (as I prefer to call them now; in the paper they are still called ordinal conditional functions) as the proper (and, I find, still the best) solution of the problem, proves that conditional independence w.r.t. ranking functions satisfies the so-called graphoid axioms, and proposes general rules of belief change (in close analogy to Jeffrey's generalized probabilistic conditionalization) that encompass revision and contraction as conceived in AGM theory. Indeed, the parallel to probability theory is amazing. Probability theory can profit from ranking theory as well since it is also plagued by the problem of iterated belief revision even if probability measures are conceived as Popper measures (see No. 11). Finally, the theory is compared with predecessors which are numerous and impressive, but somehow failed to explain the all-important conditional ranks in the appropriate way. (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.

This paper compares the epistemological conception of Isaac Levi with mine. We are joined in both giving a constructive answer to the relation of belief and probability, without reducing one to the other. However, our constructions differ in at least nine more or less important ways, all discussed in the paper. In particular, the paper explains the similarities and differences of Shackle's functions of potential surprise, as used by Levi, and my ranking functions in formal as well as in philosophical (...) respects. The appendix explains how ranking and probability theory can be combined in the notion of a ranked probability measure (or probabilified ranking function). (shrink)

The paper aims at a perspicuous representation of Isaac Levi's pragmatist epistemology, spanning from the 1967 classic "Gambling with Truth" to his 2004 book on "Mild Contraction". Based on a formal framework for Levi's notion of inquiry, I analyse his decision-theoretic approach with truth and information as basic cognitive values, and with Shackle measures as emerging structures. Both cognitive values figure prominently in Levi's model of inductive belief expansion, but only the value of information is employed in his model of (...) belief contraction. I argue that the former model is more successful than the latter. (shrink)

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...) up-to-date and reliable guide essential for the student. (shrink)

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.

John Locke proposed a straightforward relationship between qualitative and quantitative doxastic notions: belief corresponds to a sufficiently high degree of confidence. Richard Foley has further developed this Lockean thesis and applied it to an analysis of the preface and lottery paradoxes. Following Foley's lead, we exploit various versions of these paradoxes to chart a precise relationship between belief and probabilistic degrees of confidence. The resolutions of these paradoxes emphasize distinct but complementary features of coherent belief. These features suggest principles that (...) tie together qualitative and quantitative doxastic notions. We show how these principles may be employed to construct a quantitative model - in terms of degrees of confidence - of an agent's qualitative doxastic state. This analysis fleshes out the Lockean thesis and provides the foundation for a logic of belief that is responsive to the logic of degrees of confidence. (shrink)

This paper investigates the formal relationship between two prominent approaches to the logic of belief change. The first one uses the idea of "relational partial meet contractions" as developed by Alchourrón, Gärdenfors and Makinson (Journal of Symbolic Logic 1985), the second one uses the concept of "epistemic entrenchment" as elaborated by Gärdenfors and Makinson (in Theoretical Aspects of Reasoning about Knowledge, M. Y. Vardi, Los Altos 1988). The two approaches are shown to be strictly equivalent via direct links between the (...) underlying formal relations. The paper closes with observations about the application of epistemic entrenchment to simple and iterated revisions. (shrink)

This book by one of the world's foremost philosophers in the fields of epistemology and logic offers an account of suppositional reasoning relevant to practical deliberation, explanation, prediction and hypothesis testing. Suppositions made 'for the sake of argument' sometimes conflict with our beliefs, and when they do, some beliefs are rejected and others retained. Thanks to such belief contravention, adding content to a supposition can undermine conclusions reached without it. Subversion can also arise because suppositional reasoning is ampliative. These two (...) types of nonmonotonic logic are the focus of this book. A detailed comparison of nonmonotonicity appropriate to both belief contravening and ampliative suppositional reasoning reveals important differences that have been overlooked. (shrink)

Isaac Levi's new book is concerned with how one can justify changing one's beliefs. The discussion is deeply informed by the belief-doubt model advocated by C. S. Peirce and John Dewey, of which the book provides a substantial analysis. Professor Levi then addresses the conceptual framework of potential changes available to an inquirer. A structural approach to propositional attitudes is proposed, which rejects the conventional view that a propositional attitude involves a relation between an agent and either a linguistic entity (...) or some other intentional object such as a proposition or set of possible worlds. The last two chapters offer an account of change in states of full belief understood as changes in commitments rather than changes in performance; one chapter deals with adding new information to a belief state, the other with giving up information. The book builds upon topics discussed in some of Levi's earlier work. It will be of particular interest to discussion theorists, epistemologists, philosophers of science, computer scientists, and cognitive psychologists. (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 distinguish the set of explicit beliefs of a reasoner, his "belief base", from the beliefs that are merely implicit. Syntax-based belief change governed by the structure of the belief base and the ranking ("prioritization") of its elements is reconstructed with the help of an epistemic entrenchment relation in the style of Gärdenfors and Makinson. Though priorities are essentially different from entrenchments, distinguished relations of epistemic entrenchment may be obtained from prioritized belief bases by a number of different constructions. An (...) approximate reconstruction of syntax-based belief change is possible, which can be strengthened to a strict identity in some important special cases. A competitive interpretation and a minimal change interpretation of the basic idea of entrenchment are discussed. It is argued that entrenchment essentially involves multiple belief changes, i.e., changes by sets of sentences. (shrink)

This comprehensive discussion of the problem of rational belief develops the subject on the pattern of Bayesian decision theory. The analogy with decision theory introduces philosophical issues not usually encountered in logical studies and suggests some promising new approaches to old problems."We owe Professor Levi a debt of gratitude for producing a book of such excellence. His own approach to inductive inference is not only original and profound, it also clarifies and transforms the work of his predecessors. In short, the (...) book deserves to become a classic....There is a great deal of interest in the book besides these basic matters [forumlating rules of acceptance]. Some of the most interesting chapters are those that examine the implications of such rules. The discussions of probability, generalization, and various forms of inference are brilliant and enlightening. Indeed, the problems and methods elaborated by Professor Levi in his book serve as a new foundation for the study of inductive inference."--Keith Lehrer, Nous"Levi's book is an extremely interesting report on 'tentative and speculative first steps' toward a decision-theoretic approach to inductive inference....Professor Levi is to be congratulated on his ingenious development and application of this approach...."--Richard C. Jeffrey, The Journal of Philosophy. (shrink)

The book was planned and written as a single, sustained argument. But earlier versions of a few parts of it have appeared separately. The object of this book is both to establish the existence of the paradoxes, and also to describe a non-Pascalian concept of probability in terms of which one can analyse the structure of forensic proof without giving rise to such typical signs of theoretical misfit. Neither the complementational principle for negation nor the multiplicative principle for conjunction applies (...) to the central core of any forensic proof in the Anglo-American legal system. There are four parts included in this book. Accordingly, these parts have been written in such a way that they may be read in different orders by different kinds of reader. (shrink)

Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design of intelligent systems. The book shows that reasoning processes - the drawing on inferences and changing one's beliefs - can be viewed as belonging to the realm of practical reason by embedding logical theories into the broader context of the theory of rational choice. The book unifies lively and significant strands of research in logic, philosophy, economics and artificial (...) intelligence. It elaborates on the relevant theories and provides a mathematically precise foundation for the thesis that large parts of theoretical reason can be subsumed under practical reason. (shrink)

Examines the link between nonmonotonic inference relations and theory revision operations, focusing on the correspondence between abstract properties which each may satisfy.

Isaac Levi's new book develops further his pioneering work in formal epistemology, focusing on the problem of belief contraction, or how rationally to relinquish old beliefs. Levi offers the most penetrating analysis to date of this key question in epistemology, offering a completely new solution and explaining its relation to his earlier proposals. He mounts an argument in favor of the thesis that contracting a state of belief by giving up specific beliefs is to be evaluated in terms of the (...) value of the information lost by doing so. The rationale aims to be thoroughly decision theoretic. Levi spells out his goals and shows that certain types of recommendations are obtained if one seeks to promote these goals. He compares his approach to his earlier account of inductive expansion. The recommendations are for "mild contractions." These are formally the same as the "severe withdrawals" considered by Pagnucco and Rott. The rationale, however, is different. A critical part of the book concerns the elaboration of these differences. The results are relevant to accounts of the conditions under which it is legitimate to cease believing and to accounts of conditionals. Mild Contraction will be of great interest to all specialists in belief revision theory and to many students of formal epistemology, philosophy of science, and pragmatism. (shrink)

The characteristic difference between laws and accidental generalizations lies in our epistemic or inductive attitude towards them. This idea has taken various forms and dominated the discussion about lawlikeness in the last decades. Likewise, the issue about ceteris paribus conditions is essentially about how we epistemically deal with exceptions. Hence, ranking theory with its resources of defeasible reasoning seems ideally suited to explicate these points in a formal way. This is what the paper attempts to do. Thus it will turn (...) out that a law is simply the deterministic analogue of a sequence of independent, identically distributed random variables. This entails that de Finetti's representation theorems can be directly transformed into an account of confirmation of laws thus conceived. (shrink)

Probability theory, epistemically interpreted, provides an excellent, if not the best available account of inductive reasoning. This is so because there are general and definite rules for the change of subjective probabilities through information or experience; induction and belief change are one and same topic, after all. The most basic of these rules is simply to conditionalize with respect to the information received; and there are similar and more general rules. 1 Hence, a fundamental reason for the epistemological success of (...) probability theory is that there at all exists a well-behaved concept of conditional probability. Still, people have, and have reasons for, various concerns over probability theory. One of these is my starting point: Intuitively, we have the notion of plain belief; we believe propositions2 to be true (or to be false or neither). Probability theory, however, offers no formal counterpart to this notion. Believing A is not the same as having probability 1 for A, because probability 1 is incorrigible3; but plain belief is clearly corrigible. And believing A is not the same as giving A a probability larger than some 1 - c, because believing A and believing B is usually taken to be equivalent to believing A & B.4 Thus, it seems that the formal representation of plain belief has to take a non-probabilistic route. Indeed, representing plain belief seems easy enough: simply represent an epistemic state by the set of all propositions believed true in it or, since I make the common assumption that plain belief is deductively closed, by the conjunction of all propositions believed true in it. But this does not yet provide a theory of induction, i.e. an answer to the question how epistemic states so represented are changed tbrough information or experience. There is a convincing partial answer: if the new information is compatible with the old epistemic state, then the new epistemic state is simply represented by the conjunction of the new information and the old beliefs. This answer is partial because it does not cover the quite common case where the new information is incompatible with the old beliefs. It is, however, important to complete the answer and to cover this case, too; otherwise, we would not represent plain belief as conigible. The crucial problem is that there is no good completion. When epistemic states are represented simply by the conjunction of all propositions believed true in it, the answer cannot be completed; and though there is a lot of fruitful work, no other representation of epistemic states has been proposed, as far as I know, which provides a complete solution to this problem. In this paper, I want to suggest such a solution. In [4], I have more fully argued that this is the only solution, if certain plausible desiderata are to be satisfied. Here, in section 2, I will be content with formally defining and intuitively explaining my proposal. I will compare my proposal with probability theory in section 3. It will turn out that the theory I am proposing is structurally homomorphic to probability theory in important respects and that it is thus equally easily implementable, but moreover computationally simpler. Section 4 contains a very brief comparison with various kinds of logics, in particular conditional logic, with Shackle's functions of potential surprise and related theories, and with the Dempster - Shafer theory of belief functions. (shrink)