Synthese 198 (S22):5265-5289 (2019)

Eduardo Alejandro Barrio
Universidad de Buenos Aires (UBA)
Federico Pailos
Universidad de Buenos Aires (UBA)
Damian Szmuc
Universidad de Buenos Aires (UBA)
In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2021
DOI 10.1007/s11229-019-02411-6
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.

View all 43 references / Add more references

Citations of this work BETA

One Step is Enough.David Ripley - forthcoming - Journal of Philosophical Logic:1-27.
Classical Logic is not Uniquely Characterizable.Isabella McAllister - forthcoming - Journal of Philosophical Logic:1-21.

View all 7 citations / Add more citations

Similar books and articles

A Family of Metainferential Logics.Federico Matias Pailos - 2019 - Journal of Applied Non-Classical Logics 29 (1):97-120.
Classical Logic and the Strict Tolerant Hierarchy.Chris Scambler - 2020 - Journal of Philosophical Logic 49 (2):351-370.
A Conception of Tarskian Logic.Gila Sher - 1989 - Pacific Philosophical Quarterly 70 (4):341-368.
Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
Can One Get Bivalence From (Tarskian) Truth and Falsity?Dan López de sa - 2009 - Canadian Journal of Philosophy 39 (2):pp. 273-282.
Ray on Tarski on Logical Consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.


Added to PP index

Total views
316 ( #33,711 of 2,517,878 )

Recent downloads (6 months)
37 ( #23,259 of 2,517,878 )

How can I increase my downloads?


My notes