Journal of Philosophical Logic:1-27 (forthcoming)

David Ripley
Monash University
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-021-09615-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Vagueness.Timothy Williamson - 1995 - British Journal for the Philosophy of Science 46 (4):589-601.

View all 50 references / Add more references

Citations of this work BETA

Vague connectives.Paula Teijeiro - forthcoming - Philosophical Studies:1-20.

Add more citations

Similar books and articles

Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
A Family of Metainferential Logics.Federico Matias Pailos - 2019 - Journal of Applied Non-Classical Logics 29 (1):97-120.
A formalisation of the "step forward - step backward" reasoning.Piotr Lukowski - 2001 - Anales Del Seminario de Historia de la Filosofía 18:109.
Restricted Arrow.C. M. Asmus - 2009 - Journal of Philosophical Logic 38 (4):405-431.
One-Step Modal Logics, Intuitionistic and Classical, Part 2.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):873-910.
The Step to Individuation.Frederick Doepke - 1989 - Synthese 78 (2):129 - 140.
Foreword: Three-Valued Logics and Their Applications.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):1-11.
Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
Disjoint Logics.Federico Pailos - forthcoming - Logic and Logical Philosophy:1.


Added to PP index

Total views
40 ( #287,609 of 2,533,565 )

Recent downloads (6 months)
11 ( #68,910 of 2,533,565 )

How can I increase my downloads?


My notes