One step is enough

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

Abstract

The recent development and exploration of mixed metainferential logics is a breakthrough in our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses a new challenge to theorists like me, who have appealed to similarities to classical logic in defending the logic ST, since some mixed metainferential logics seem to bear even more similarities to classical logic than ST does. There is a whole ST-based hierarchy, of which ST itself is only the first step, that seems to become more and more classical at each level. I think this seeming is misleading: for certain purposes, anyhow, metainferential hierarchies give us no reason to move on from ST. ST is indeed only the first step on a grand metainferential adventure; but one step is enough. This paper aims to explain and defend that claim. Along the way, I take the opportunity also to develop some formal tools and results for thinking about metainferential logics more generally.

Original languageEnglish
Pages (from-to)1233-1259
Number of pages27
JournalJournal of Philosophical Logic
Volume51
Issue number6
DOIs
Publication statusPublished - 2022

Keywords

  • Metainferences
  • Nontransitive
  • Paradox

Cite this