Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Observations on validity and conditionals in belief revision systems

Observations on validity and conditionals in belief revision systems Observations on validity and conditionals in belief revision systems Andre Fuhrmann Department of Philosophy University of Konstanz 78434 Konstanz, Germany 1. Preliminaries This paper contains some observations related to Peter Gardenfors' derivation of conditional logics from principles of belief revision. The principal references are Alchourr6n, Gardenfors and Makinson (henceforth 'AGM') [ALC 85] for a general and consisely written background on belief revision, and Gardenfors [GAR 78, GAR 88 chap. 7] for applications to conditional logics. I shall briefly rehearse ideas of the latter. However, some familiarity with the AGM approach to belief revision will be presupposed. In Gardenfors' epistemic semantics for (counterfactual) conditionals a somewhat unexpected notion of validity is used. A sentence is not pronounced valid in a system of belief sets if the sentence is accepted in all belief sets (positive validity), but if its negation is rejected in all consistent belief sets under consideration (negative validity). We shall observe that the two notions of validity coincide. We further observe some correspondences between conditions on belief revision and axioms or rules in conditional logic which hitherto appear to have gone unnoticed. A class of belief revision models will be identified that represents David Lewis' [LEW 73] conditional http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

Observations on validity and conditionals in belief revision systems

Fuhrmann, André
Journal of Applied Non-Classical Logics , Volume 3 (2): 14 – Jan 1, 1993
Download PDF

Observations on validity and conditionals in belief revision systems

Abstract

Observations on validity and conditionals in belief revision systems Andre Fuhrmann Department of Philosophy University of Konstanz 78434 Konstanz, Germany 1. Preliminaries This paper contains some observations related to Peter Gardenfors' derivation of conditional logics from principles of belief revision. The principal references are Alchourr6n, Gardenfors and Makinson (henceforth 'AGM') [ALC 85] for a general and consisely written background on belief revision, and...
Loading next page...
 
/lp/taylor-francis/observations-on-validity-and-conditionals-in-belief-revision-systems-lw6j7jsBcn
Publisher
Taylor & Francis
Copyright
Copyright Taylor & Francis Group, LLC
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.1993.10510809
Publisher site
See Article on Publisher Site

Abstract

Observations on validity and conditionals in belief revision systems Andre Fuhrmann Department of Philosophy University of Konstanz 78434 Konstanz, Germany 1. Preliminaries This paper contains some observations related to Peter Gardenfors' derivation of conditional logics from principles of belief revision. The principal references are Alchourr6n, Gardenfors and Makinson (henceforth 'AGM') [ALC 85] for a general and consisely written background on belief revision, and Gardenfors [GAR 78, GAR 88 chap. 7] for applications to conditional logics. I shall briefly rehearse ideas of the latter. However, some familiarity with the AGM approach to belief revision will be presupposed. In Gardenfors' epistemic semantics for (counterfactual) conditionals a somewhat unexpected notion of validity is used. A sentence is not pronounced valid in a system of belief sets if the sentence is accepted in all belief sets (positive validity), but if its negation is rejected in all consistent belief sets under consideration (negative validity). We shall observe that the two notions of validity coincide. We further observe some correspondences between conditions on belief revision and axioms or rules in conditional logic which hitherto appear to have gone unnoticed. A class of belief revision models will be identified that represents David Lewis' [LEW 73] conditional

Journal

Journal of Applied Non-Classical Logics – Taylor & Francis

Published: Jan 1, 1993

There are no references for this article.