  In particular, Sylvan devoted significant effort to this last cluster of items, underscoring the idea they require the employment of a paraconsistent logic. Given that inconsistent items have inconsistent properties, if classical logic is employed then triviality immediately follows. In order to avoid trivialism, the adoption of a paraconsistent logic is required.