We introduce a new operator, called rational evaluation, in belief change. The operator evaluates new information according to the agent’s core beliefs, and then exports the plausible part of the new information. It belongs to the decision module in belief change. We characterize rational evaluation by axiomatic postulates and propose two functional constructions for it, based on the well-known constructions of kernel sets and remainder sets, respectively. The main results of the paper are two representation theorems with respect to the (...) two functional constructions. We also compare and connect the evaluation operator with some related operators in belief revision, including contraction, set contraction, and prioritized multiple revision. (shrink)

In this paper, it is argued that 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, and an axiomatic characterization of this operation is given. Unlike most belief revision operations, the one developed here can handle both multiple belief revision and iterated belief revision.

The AGM theory of belief contraction is extended tomultiple contraction, i.e. to contraction by a set of sentences rather than by a single sentence. There are two major variants: Inpackage contraction all the sentences must be removed from the belief set, whereas inchoice contraction it is sufficient that at least one of them is removed. Constructions of both types of multiple contraction are offered and axiomatically characterized. Neither package nor choice contraction can in general be reduced to contractions by single (...) sentences; in the finite case choice contraction allows for reduction. (shrink)

Dogmatic, naive and sophisticated falsificationism are construed as being distinguished by different views on the revisability of scientific theories. Then Lakatos's methodology of scientific research programs (SRP) is reinterpreted: The structure of an SRP is a target theory equipped with a priority structure for hypothetical revisions that accommodate idealizing assumptions. Idealizations pointing "backwards" capture predecessor theories, thus showing both their virtues and limitations. The core of an SRP is assigned top priority; its positive heuristics consists in a strategy of how (...) to work off the idealizing assumptions. In the dynamics of SRP's, progressive intertheoretic relations within an SRP are characterized as generating continuity through revisions, while those that hold across SRP's only have excess empirical content. Finally, we contrast our account with a reconstruction of Lakatos's in the structuralist philosophy of science (W. Stegmüller). (shrink)