The AGM theory and inconsistent belief change

Koji Tanaka

Research output: Contribution to journalArticleResearchpeer-review

Abstract

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply to Grove's sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination.
LanguageEnglish
Pages113-150
Number of pages38
JournalLogique et Analyse
Volume48
Issue number189-192
Publication statusPublished - 2005

Fingerprint

Belief Change
Paraconsistent Logic
Logic
Inconsistency
Contradictory
Data Base
Completeness

Cite this

Tanaka, K. (2005). The AGM theory and inconsistent belief change. Logique et Analyse, 48(189-192), 113-150.
Tanaka, Koji. / The AGM theory and inconsistent belief change. In: Logique et Analyse. 2005 ; Vol. 48, No. 189-192. pp. 113-150.
@article{38f1035232fe43348d0fa181a51880b5,
title = "The AGM theory and inconsistent belief change",
abstract = "The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply to Grove's sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination.",
author = "Koji Tanaka",
year = "2005",
language = "English",
volume = "48",
pages = "113--150",
journal = "Logique et Analyse",
issn = "0024-5836",
publisher = "Centre national de recherches de logique",
number = "189-192",

}

Tanaka, K 2005, 'The AGM theory and inconsistent belief change', Logique et Analyse, vol. 48, no. 189-192, pp. 113-150.

The AGM theory and inconsistent belief change. / Tanaka, Koji.

In: Logique et Analyse, Vol. 48, No. 189-192, 2005, p. 113-150.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - The AGM theory and inconsistent belief change

AU - Tanaka, Koji

PY - 2005

Y1 - 2005

N2 - The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply to Grove's sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination.

AB - The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply to Grove's sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination.

M3 - Article

VL - 48

SP - 113

EP - 150

JO - Logique et Analyse

T2 - Logique et Analyse

JF - Logique et Analyse

SN - 0024-5836

IS - 189-192

ER -