The Cut‐Free Approach and the Admissibility‐Curry

Download Edit this record How to cite View on PhilPapers
Abstract
The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive logic, however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea.
PhilPapers/Archive ID
HLOTCA
Upload history
Archival date: 2018-02-13
View other versions
Added to PP index
2018-02-13

Total views
327 ( #20,565 of 64,192 )

Recent downloads (6 months)
14 ( #40,452 of 64,192 )

How can I increase my downloads?

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