Open Access
2010 On the Ramsey Test without Triviality
Hannes Leitgeb
Notre Dame J. Formal Logic 51(1): 21-54 (2010). DOI: 10.1215/00294527-2010-003


We present a way of classifying the logically possible ways out of Gärdenfors' inconsistency or triviality result on belief revision with conditionals. For one of these ways—conditionals which are not descriptive but which only have an inferential role as being given by the Ramsey test—we determine which of the assumptions in three different versions of Gärdenfors' theorem turn out to be false. This is done by constructing ranked models in which such Ramsey-test conditionals are evaluated and which are subject to natural postulates on belief revision and acceptability sets for conditionals. Along the way we show that in contrast with what Gärdenfors himself proposed, there is no dichotomy of the form: either the Ramsey test has to be given up or the Preservation condition. Instead, both of them follow from our postulates.


Download Citation

Hannes Leitgeb. "On the Ramsey Test without Triviality." Notre Dame J. Formal Logic 51 (1) 21 - 54, 2010.


Published: 2010
First available in Project Euclid: 4 May 2010

zbMATH: 1207.03012
MathSciNet: MR2666568
Digital Object Identifier: 10.1215/00294527-2010-003

Primary: 03A05

Keywords: acceptability , belief revision , conditionals , Ramsey test

Rights: Copyright © 2010 University of Notre Dame

Vol.51 • No. 1 • 2010
Back to Top