Capturing naive validity in the Cut-free approach

  title={Capturing naive validity in the Cut-free approach},
  author={Eduardo Barrio and Lucas Rosenblatt and Diego Tajer},
Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious problem: an internalized… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-2 of 2 extracted citations


Publications referenced by this paper.
Showing 1-10 of 26 references

Naive Truth and Naive Logical Properties

Rew. Symb. Logic • 2014
View 12 Excerpts
Highly Influenced

Paradoxes and failures of cut ∗

View 4 Excerpts
Highly Influenced

Spandrels of truth

J. C. Beall
The Journal of Philosophy, • 2009
View 4 Excerpts
Highly Influenced

Naive Modus Ponens and Failure of Transitivity

J. Philosophical Logic • 2016
View 1 Excerpt

A note on Contraction - free logic for validity

R. Cook
Topoi • 2015

External curries

G. Priest, H. Wansing
Journal of Philosophical Logic • 2015
View 2 Excerpts

Fusion and confusion

G. Priest
The Review of Symbolic • 2015
View 2 Excerpts

Naive structure , contraction and paradox

L. Shapiro
Topoi • 2015
View 2 Excerpts

Vagueness, truth and permissive consequence

P. 347–385. Cobreros, P. Egré, D. Ripley, R. van Rooij
Unifying the philosophy of truth • 2015
View 1 Excerpt

Similar Papers

Loading similar papers…