Relevant logic as a basis for paraconsistent epistemic logics
作者:
Gerson Zaverucha,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1992)
卷期:
Volume 2,
issue 2
页码: 225-241
ISSN:1166-3081
年代: 1992
DOI:10.1080/11663081.1992.10510783
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
In this work we argue for relevant logics as a basis for paraconsistent epistemic logics. In order to do so, a paraconsistent nonmonotonic multi-agent epistemic logic,MDR(for Modal Defeasible Relevant), is briefly introduced. InMDReach agent has two kinds of belief: an absolute belief that P, represented by AiP, and a defeasible belief that P, represented by DiP. Therefore, an agent can reason with his own absolute and defeasible beliefs about the world and also reason about his beliefs about other agents' beliefs both absolute and defeasible. A theorem is presented showing some patterns of reasoning inMDR. Avron's relevant logicRMI→ s compared proof theoretically with Anderson and Belnap's relevant logicsRandRMand also with Da Costa's paraconsistent logic CI, with respect to some desired properties of absolute and defeasible beliefs. Then we can understand whyRMIwas chosen to be the underlying logic for the monotonie part (the absolute beliefs) ofMDR, and had to be modified and integrated with a nonmonotonic logic in order to be the underlying logic for the nonmonotonic part (defeasible beliefs).
点击下载:
PDF (732KB)
返 回