In this paper it is argued that, in order to solve the problem of iterated belief change, both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation. It is shown that the operation in question satisfies generalized versions of the Gärdenfors revision postulates. The account offered is motivated by Spohn's ordinal conditionalization functions, (...) and can be seen as the Jeffrization of a proposal considered by Rott. (shrink)

Der vorliegende Band enthalt sechs teilweise stark iiberarbeitete Aufsatze, die in der Zeit zwischen der Niederschrift des Buches Theorienstrnkturen und Theoriendynamik, Springer-Verlag 1973, im folgenden mit [Theoriendynamik] bezeichnet, und der Monographie The Strncturalist View of Theories. A Pos­ sible Analogue of the Bourbaki Programme in Physical Science, Springer-Ver­ lag 1979, im folgenden kurz [Strnkturalismus] genannt, entstanden sind. In diesen Abhandlungen werden jeweils gewisse Aspekte des strukturalistischen Theorienkonzeptes behandelt. Am starksten iiberarbeitet wurden die Auf­ satze II, IV, V und VI, die (...) urspriinglich in englischer Sprache erschienen waren. Vier der sechs Arbeiten, namlich I, III, IV und VI, bilden auBerdem erweiterte Fassungen von Vortragen. Obwohl das zweite Buch [Strnkturalismus] durch P. Feyerabends ausftihr­ liche Diskussion der strukturalistischen Auffassung im British Journal for the Philosophy of Science, Dezember 1977, angeregt worden ist, stellt es seinem Ansatz und Aufbau nach eher den Versuch einer systematischen Kurzdarstel­ lung des strukturalistischen Vorgehens nach seinem letzten Stande dar. Dem­ gegeniiber entstanden die hier verOffentlichten Artikel stets aus einem ganz be­ stimmten AnlaB. Diese Anlasse konnte man schematisch in drei Klassen unter­ teilen: Entweder ging es darum, eine anschauliche intuitive Ein/iihrnng zu lie­ fern (I und V); oder die Aufgabe bestand darin, die Beziehung zu anderen philosophischen Positionen. wie z. B. derjenigen L. Wittgensteins, H. Putnams, K. Poppers oder T. S. Kuhns. zu analysieren (II. III und IV); oder es sollte zu den wichtigsten und bis dahin verOffentlichten Kritiken Stellung bezogen wer­ den (wie in VI). (shrink)

This is the basis of the first part of the book.

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 (...) "lie between" the former, thereby partially answering an open question of AGM. Our method of proof is uniform insofar as it uses only one form of "revealed preference", and it explains where and why the finiteness assumption is needed. Third, as an application, we explore the logic characterizing theory contractions in the finite case which are governed by the structure of simple and prioritized belief bases. (shrink)

Das Problem, unter welchen Bedingungen eine Hypothese oder Theorienmodifikation als methodologisch akzeptabel gilt, wird in der wissenschaftstheoretischen Tradition als die Frage des Ad-Hoc-Charakters von Hypothesen diskutiert. Das gleichartige Problem tritt aber auch in Lakatos' Methodologie wissenschaftlicher Forschungsprogramme auf, welche von methodologisch zulässigen Theorienänderungen die Vorhersage 'neuer Tatsachen' verlangt. Über diesen Begriff der neuen Tatsache und damit der Adäquatheitsbedingungen für wissenschaftliche Erklärungen hat sich eine weitgefächerte Debatte entsponnen. In diesem Papier wird der Versuch unternommen, die Forderung der unabhängigen Testbarkeit einer Hypothese, (...) welche im Rahmen der Diskussion des Ad-hoc-Charakters von Hypothesen eine wichtige Rolle spielt, auch für die Frage der Spezifizierung von 'neuen Tatsachen' fruchtbar zu machen. Ich argumentiere zugunsten der Bedingung, daß eine Hypothese als methodologisch akzeptabel gelten sollte, wenn sie zumindest zwei unabhängige Tatsachen erklärt. Ein derartiger Ansatz verlangt die Kennzeichnung dessen, was als 'eine Tatsache' zu gelten hat. Die Schwierigkeit einer derartigen Kennzeichnung ist ein notorisches Problem jedes Kriteriums, das auf unabhängige Testbarkeit zielt. Eine Klärung dieses Problems wird über das Konzept der empirischen Generalisierung versucht. Als 'eine Tatsache' im methodologischen Sinne gilt demnach ein gesetzmäßiger Zusammenhang zwischen zwei Meßgrößen. Dies erlaubt weiterführend eine Klärung des Problems, was methodologisch als 'ein Experiment' zu werten ist, d. h. was als Reproduktion desselben und was als andersartiges Experiment gelten soll. Mit Hilfe dieser Klärungen wird unter anderem der Ad-hoc-Charakter der Lorentzschen Kontraktionshypothese sowie das Problem der Gleich- oder Verschiedenartigkeit von Michelson-Morley- und Kennedy-Thorndike-Experiment untersucht. (shrink)

The development of science does not proceed as a monotonous addition of information. A superior successor theory often contradicts its predecessor. The question as to what the logical relationship is between such theories, insofar as the transition from one to the other embodies continuity and progress, is the subject of this book. Proceeding from a discussion of intertheory reductions, the author proves that theories revision models from philosophical logic are fruitful for questions of scientific theory. Formal analyses of conditionals, autoepistemic (...) inferences, intertheoretical explanations and idealizations are carried out, as well as applications to the Kepler-Newton case and the case of the ideal gas law and van der Waals's law. (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)

Das Problem, unter welchen Bedingungen eine Hypothese oder Theorienmodifikation als methodologisch akzeptabel gilt, wird in der wissenschaftstheoretischen Tradition als die Frage des Ad-Hoc-Charakters von Hypothesen diskutiert. Das gleichartige Problem tritt aber auch in Lakatos' Methodologie wissenschaftlicher Forschungsprogramme auf, welche von methodologisch zulässigen Theorienänderungen die Vorhersage 'neuer Tatsachen' verlangt. Über diesen Begriff der neuen Tatsache und damit der Adäquatheitsbedingungen für wissenschaftliche Erklärungen hat sich eine weitgefächerte Debatte entsponnen. In diesem Papier wird der Versuch unternommen, die Forderung der unabhängigen Testbarkeit einer Hypothese, (...) welche im Rahmen der Diskussion des Ad-hoc-Charakters von Hypothesen eine wichtige Rolle spielt, auch für die Frage der Spezifizierung von 'neuen Tatsachen' fruchtbar zu machen. Ich argumentiere zugunsten der Bedingung, daß eine Hypothese als methodologisch akzeptabel gelten sollte, wenn sie zumindest zwei unabhängige Tatsachen erklärt. Ein derartiger Ansatz verlangt die Kennzeichnung dessen, was als 'eine Tatsache' zu gelten hat. Die Schwierigkeit einer derartigen Kennzeichnung ist ein notorisches Problem jedes Kriteriums, das auf unabhängige Testbarkeit zielt. Eine Klärung dieses Problems wird über das Konzept der empirischen Generalisierung versucht. Als 'eine Tatsache' im methodologischen Sinne gilt demnach ein gesetzmäßiger Zusammenhang zwischen zwei Meßgrößen. Dies erlaubt weiterführend eine Klärung des Problems, was methodologisch als 'ein Experiment' zu werten ist, d. h. was als Reproduktion desselben und was als andersartiges Experiment gelten soll. Mit Hilfe dieser Klärungen wird unter anderem der Ad-hoc-Charakter der Lorentzschen Kontraktionshypothese sowie das Problem der Gleich- oder Verschiedenartigkeit von Michelson-Morley- und Kennedy-Thorndike-Experiment untersucht. (shrink)