  Consider, for instance, inconsistent objects. (…) By virtue of what they are, they have contradictory properties, thereby trivializing any theory built upon mainstream logic. An authentic sistology requires logical reformulation of a more demanding paraconsistent type (Sylvan 1991, 839).