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 article rebuts Ramsey's earlier theory, in 'Universals of Law and of Fact', of how laws of nature differ from other true generalisations. It argues that our laws are rules we use in judging 'if I meet an F I shall regard it as a G'. This temporal asymmetry is derived from that of cause and effect and used to distinguish what's past as what we can know about without knowing our present intentions.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

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)

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)

It is a commonplace that in making decisions agents often have to juggle competing values, and that no choice will maximise satisfaction of them all. However, the prevailing account of these cases assumes that there is always a single ranking of the agent's values, and therefore no unresolvable conflict between them. Isaac Levi denies this assumption, arguing that agents often must choose without having balanced their different values and that to be rational, an act does not have to be optimal, (...) only what Levi terms 'admissible'. This book explores the consequences of denying the assumption and develops a general approach to decision-making under unresolved conflict. Professor Levi discusses conflicts of value in several domains - those arising in moral dilemmas, the drawing of scientific inferences, decisions taken under uncertainty, and in social choice. In each of these he adapts his theoretical framework, showing how conflict may often be reduced though not always altogether eliminated. (shrink)

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

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.