Faithfulness for naive validity

Synthese 196 (11):4759-4774 (2019)
Download Edit this record How to cite View on PhilPapers
Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. Secondly, I show how to add a validity predicate to ST while avoiding the dilemma.
PhilPapers/Archive ID
Upload history
First archival date: 2018-02-08
Latest version: 2 (2018-02-08)
View other versions
Added to PP index

Total views
314 ( #20,524 of 2,448,359 )

Recent downloads (6 months)
27 ( #24,477 of 2,448,359 )

How can I increase my downloads?

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