(Meta)inferential levels of entailment beyond the Tarskian paradigm

Synthese:1-25 (forthcoming)
Download Edit this record How to cite View on PhilPapers
Abstract
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)
PhilPapers/Archive ID
BARILO-2
Revision history
Archival date: 2019-10-15
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2019-10-08

Total views
105 ( #32,462 of 50,248 )

Recent downloads (6 months)
61 ( #9,111 of 50,248 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.