Meta-Classical Non-Classical Logics

Abstract

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of 'increasingly classical' logics-that is, logics that are classical at the level of inferences and of increasingly higher metainferences-all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical nonclassical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician.