 A most telling reason for paraconsistent logic is, prima facie, the fact that there are theories which are inconsistent but non-trivial. If we admit the existence of such theories, their underlying logics must be paraconsistent (though see Michael 2016).