Lecture Notes in Computer Science, 2002, Volume 2417/2002, 175-190, DOI: 10.1007/3-540-45683-X_7

Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic

Takahiro Tagawa and Jingde Cheng

View Related Documents

Abstract

In this paper, we propose a strong relevant logic approach to solve the problems of deontic logic paradoxes. Since the paradoxes in deontic logic have the same form as the paradoxes in traditional (weak) relevant logic, which have been rejected by our strong relevant logic, we show that a new family of logic, named deontic relevant logics, can be established by introducing deontic operators and relative axioms and inference rules into strong relevant logics such that those deontic logic paradoxes are rejected by deontic relevant logics.

Fulltext Preview

Image of the first page of the fulltext document