Abstract
This paper considers approaches to the notion of consistency. In the logics of formal inconsistency (LFIs), consistency can be given as an operator, ∘ ∘ , 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.