Enthymematic classical recapture 1

Priest (2006, Ch.8, 2nd edn. Oxford University Press), argues that classical reasoning can be made compatible with his preferred (paraconsistent) logical theory by proposing a methodological maxim authorizing the use of classical logic in consistent situations. Although Priest has abandoned this proposal in favour of the one in G. Priest (1991, Stud. Log., 50, 321–331), I shall argue that due to the fact that the derivability adjustment theorem holds for several logics of formal (in)consistency (cf. W. A. Carnielli and M. E. Coniglio, 2016, Springer), these paraconsistent logics are particularly well suited to accommodate classical reasoning by means of a version of that maxim, yielding thus an enthymematic account of classical recapture.