Switch to: Citations

Add references

You must login to add references.
  1. Change in View: Principles of Reasoning.Gilbert Harman - 1986 - Cambridge, MA, USA: MIT Press.
    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.
    Download  
     
    Export citation  
     
    Bookmark   464 citations  
  • (1 other version)On the logic of theory change: Partial meet contraction and revision functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   751 citations  
  • (2 other versions)Change in View: Principles of Reasoning, Cambridge, Mass.Gilbert Harman - 1986 - Behaviorism 16 (1):93-96.
    Download  
     
    Export citation  
     
    Bookmark   752 citations  
  • (2 other versions)Change in View: Principles of Reasoning.Gilbert Harman - 1986 - Studia Logica 48 (2):260-261.
    Download  
     
    Export citation  
     
    Bookmark   444 citations  
  • (1 other version)Knowledge in Flux. Modeling the Dynamics of Epistemic States.Peter Gärdenfors - 1988 - Studia Logica 49 (3):421-424.
    Download  
     
    Export citation  
     
    Bookmark   328 citations  
  • Plausible reasoning: an introduction to the theory and practice of plausibilistic inference.Nicholas Rescher - 1976 - Assen: Van Gorcum.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • On the logic of theory change: Contraction functions and their associated revision functions.Carlos E. Alchourron & David Makinson - 1982 - Theoria 48 (1):14-37.
    A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • (1 other version)On the logic of theory change: Safe contraction.Carlos E. Alchourrón & David Makinson - 1985 - Studia Logica 44 (4):405 - 422.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • Knowledge in Flux. Modelling the Dymanics of Epistemic States.P. Gärdenfors - 1988 - MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   256 citations  
  • A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • Theory contraction through base contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • Hypothetical reasoning.Nicholas Rescher - 1964 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Partition and revision: The semantics of counterfactuals.Angelika Kratzer - 1981 - Journal of Philosophical Logic 10 (2):201 - 216.
    The last section made it clear that an analysis which at first seems to fail is viable after all. It is viable if we let it depend on a partition function to be provided by the context of conversation. This analysis leaves certain traits of the partition function open. I have tried to show that this should be so. Specifying these traits as Pollock does leads to wrong predictions. And leaving them open endows counterfactuals with just the right amount of (...)
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • Epistemic entrenchment with incomparabilities and relational belief revision.Sten Lindström & Wlodek Rabinowicz - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 93--126.
    In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...)
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Reversing the Levi identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.
    The AGM (Alchourrón-Gärdenfors-Makinson) model of belief change is extended to cover changes on sets of beliefs that are not closed under logical consequence (belief bases). Three major types of change operations, namely contraction, internal revision, and external revision are axiomatically characterized, and their interrelations are studied. In external revision, the Levi identity is reversed in the sense that one first adds the new belief to the belief base, and afterwards contracts its negation. It is argued that external revision represents an (...)
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Five faces of minimality.David Makinson - 1993 - Studia Logica 52 (3):339 - 379.
    We discuss similarities and residual differences, within the general semantic framework of minimality, between defeasible inference, belief revision, counterfactual conditionals, updating — and also conditional obligation in deontic logic. Our purpose is not to establish new results, but to bring together existing material to form a clear overall picture.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • New operators for theory change.Svenove Hansson - 1989 - Theoria 55 (2):114-132.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • (1 other version)How to give it up: A survey of some formal aspects of the logic of theory change.David Makinson - 1985 - Synthese 62 (3):347 - 363.
    The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors'' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, and finally the operations of safe contraction and (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Theory contraction and base contraction unified.Sven Ove Hansson - 1993 - Journal of Symbolic Logic 58 (2):602-625.
    One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Two methods of constructing contractions and revisions of knowledge systems.Hans Rott - 1991 - Journal of Philosophical Logic 20 (2):149 - 173.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • New operators for theory change.Sven Ove Hansson - 1989 - Theoria 55 (2):114.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • On the logic of theory change: Contraction functions and their associated revision functions.Carlos E. Alchourrón - 1982 - Theoria 48 (1):14-37.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Belief Contraction in the Context of the General Theory of Rational Choice.Hans Rott - 1993 - Journal of Symbolic Logic 59 (4):1426-1450.
    This paper reorganizes and further develops the theory of partial meet contraction which was introduced in a classic paper by Alchourron, Gardenfors, and Makinson. Our purpose is threefold. First, we put the theory in a broader perspective by decomposing it into two layers which can respectively be treated by the general theory of choice and preference and elementary model theory. Second, we reprove the two main representation theorems of AGM and present two more representation results for the finite case that (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Hypothetical reasoning.Nicholas Rescher - 1964 - Revue Philosophique de la France Et de l'Etranger 156:503-504.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • (1 other version)The Dynamics of Belief Systems: Foundations vs. Coherence Theories.Peter GÄrdenfors - 1990 - Revue Internationale de Philosophie 44 (172):24.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Epistemic entrenchment and possibilistic logic.Didier Dubois & Henri Prade - 1991 - Artificial Intelligence 50 (2):223-239.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (1 other version)How to give it up: A survey of some formal aspects of the logic of theory change.David Makinson - 1986 - Synthese 68 (1):185 - 186.
    The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, and finally the operations of safe contraction and (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Review of Gilbert Harman: Change in View: Principles of Reasoning[REVIEW]Howard Margolis - 1986 - Ethics 99 (4):966-966.
    Download  
     
    Export citation  
     
    Bookmark   254 citations  
  • Epistemic entrenchment with incomparabilities and relational belief revision.Sten Lindström & Wlodzimierz Rabinowicz - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 93--126.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • On the Logic of Theory Change: More Maps Between Different Kinds of Contraction Function.Hans Rott - unknown
    Download  
     
    Export citation  
     
    Bookmark   9 citations