This paper considers approaches to the notion of consistency. In the logics of formal inconsistency (LFIs), consistency can be given as an operator, \(\circ \) , which is itself required to behave consistently. We give reasons to think that, even on the interpretation of the LFIs favored by Carnielli, consistency itself may be inconsistent. This motivates considering other ways of implementing the notion of inconsistent consistency—most notably, using non-deterministic semantics.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The (In)Consistency of Consistency

  • Hitoshi Omori,
  • Graham Priest,
  • Zach Weber

摘要

This paper considers approaches to the notion of consistency. In the logics of formal inconsistency (LFIs), consistency can be given as an operator, \(\circ \) , which is itself required to behave consistently. We give reasons to think that, even on the interpretation of the LFIs favored by Carnielli, consistency itself may be inconsistent. This motivates considering other ways of implementing the notion of inconsistent consistency—most notably, using non-deterministic semantics.