One Step is Enough

Journal of Philosophical Logic:1-27 (forthcoming)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 74,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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

46 (#251,880)

6 months
12 (#69,937)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Ripley
Monash University

Citations of this work

Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.
On the Metainferential Solution to the Semantic Paradoxes.Rea Golan - forthcoming - Journal of Philosophical Logic:1-24.
Vague connectives.Paula Teijeiro - forthcoming - Philosophical Studies:1-20.

Add more citations

References found in this work

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 49 references / Add more references