Replacement—A Sheffer Stroke for Belief Change

Journal of Philosophical Logic 38 (2):127-149 (2009)
  Copy   BIBTEX

Abstract

By replacement is meant an operation that replaces one sentence by another in a belief set. Replacement can be used as a kind of Sheffer stroke for belief change, since contraction, revision, and expansion can all be defined in terms of it. Replacement can also be defined either in terms of contraction or in terms of revision. Close connections are shown to hold between axioms for replacement and axioms for contraction and revision. Partial meet replacement is axiomatically characterized. It is shown that this operation can have outcomes that are not obtainable through either partial meet contraction or partial meet revision.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Henry M. Sheffer and Notational Relativity.Alasdair Urquhart - 2012 - History and Philosophy of Logic 33 (1):33 - 47.
Descriptor Revision.Sven Ove Hansson - 2014 - Studia Logica 102 (5):955-980.
Coherentist Contraction.Sven Ove Hansson - 2000 - Journal of Philosophical Logic 29 (3):315 - 330.
Sheffer's stroke for prime numbers.Alexander S. Karpenko - 1994 - Bulletin of the Section of Logic 23 (3).
Equational postulates for the Sheffer stroke.C. A. Meredith - 1969 - Notre Dame Journal of Formal Logic 10 (3):266-270.
Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.
Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
A reduction procedure for Sheffer stroke formulas.Robert D. Carnes - 1969 - Notre Dame Journal of Formal Logic 10 (3):331-335.
Sheffer Stroke Functions in Many-Valued Logics.Trevor Evans & Lane Hardy - 1959 - Journal of Symbolic Logic 24 (1):67-68.
Direct analogues of the Sheffer stroke in $m$-valued logic.Norman M. Martin - 1976 - Notre Dame Journal of Formal Logic 17 (3):415-420.

Analytics

Added to PP
2009-02-07

Downloads
32 (#503,204)

6 months
4 (#798,558)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sven Ove Hansson
Royal Institute of Technology, Stockholm

Citations of this work

AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
Descriptor Revision.Sven Ove Hansson - 2014 - Studia Logica 102 (5):955-980.

Add more citations