 The approaches taken for motivating the systems of paraconsistent logic which we have so far seen isolate inconsistency from consistent parts of the given theory. The aim is to retain as much classical machinery as possible in developing a system of paraconsistent logic which, nonetheless, avoids explosion when faced with a contradiction. One way to make this aim explicit is to extend the expressive power of our language by encoding the metatheoretical notions of consistency (and inconsistency) in the object language. The Logics of Formal Inconsistency (LFIs) are a family of paraconsistent logics that constitute consistent fragments of classical logic yet which reject the explosion principle where a contradiction is present. The investigation of this family of logics was initiated by Newton da Costa in Brazil.