Meta-Classical Non-Classical Logics

Review of Symbolic Logic (forthcoming)
  Copy   BIBTEX

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 non-classical 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.

Author Profiles

Federico Pailos
Universidad de Buenos Aires (UBA)
Eduardo Alejandro Barrio
Universidad de Buenos Aires (UBA)

Analytics

Added to PP
2024-05-09

Downloads
47 (#92,853)

6 months
47 (#84,561)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?