Abstract
Curry's paradox, sometimes described as a general version of the better known Russell's paradox, has intrigued logicians for some time. This paper examines the paradox in a natural deduction setting and critically examines some proposed restrictions to the logic by Fitch and Prawitz. We then offer a tentative counterexample to a conjecture by Tennant proposing a criterion for what is to count as a genuine paradox.
Similar content being viewed by others
References
Akama, S.: Curry's paradox in contractionless constructive logic, Journal of Philosophical Logic 25 (1996), 135–150.
Anderson, A. R.: Fitch on consistency, in The Logical Enterprise, Yale University Press, New Haven and London, 1975, pp. 123–141.
Bunder, M. W.: Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality, Journal of Non-Classical Logic 3 (1986), 5–12.
Fitch, F. B.: Symbolic Logic: An Introduction, Ronald, New York, (1952).
Fitch, F. B.: A method for avoiding the Curry paradox, in Essays in Honor of Carl G. Hempel, Reidel, Dordrecht, Holland 1969, pp. 255–265.
Humberstone, L.: Contra-classical logics, Australasian Journal of Philosophy 78 (2000), 438–474.
Humberstone, L.: Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples, Reports on Mathematical Logic 40 (2006), 45–82.
Lemmon, E. J.: Beginning Logic, Chapman & Hall, London, (1965).
Meyer, R. K.: Peirced clean through, Bulletin of the Section of Logic 19 (1990), 100–101.
Meyer, R. K., Routley, R. and Dunn, J. M.: Curry's paradox, Analysis 39 (1979), 124–128.
Meyer, R. K. and Slaney, J. K.: Abelian logic (From A to Z), in G. Priest, R. Routley and J. Norman (eds.), Paraconsistent Logic-Essays on the Inconsistent, Philosophia Verlag, München, (1989).
Meyer, R. K. and Slaney, J. K.:, A, still adorable, in W. Carnielli, M. Coniglio and I. D'Ottaviano (eds.), Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the World Congress Held in São Paulo, Marcel Dekker, New York, Basel, (2002).
Moh, Shaw-Kwei: Logical paradoxes for many-valued systems, Journal of Symbolic Logic 19, 37–39.
Prawitz, D.: Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, (1965).
Prawitz, D.: Ideas and results in proof theory, in J. E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, 1971, pp. 235–307.
Prior, A. N.: Curry's paradox and 3-valued logic, Australasian Journal of Philosophy 33 (1955), 177–182.
Restall, G.: How to be really contraction free, Studia Logica 52 (1993), 381–391.
Rogerson, S. and Butchart, S.: Naïve comprehension and contracting implications, Studia Logica 71 (2002), 119–132.
Rogerson, S. and Restall, G.: Routes to triviality, Journal of Philosophical Logic 33 (2004), 421–436.
Tennant, N.: Proof and paradox, Dialectica 36 (1982), 265–296.
Tennant, N.: On paradox without self-reference, Analysis 55 (1995), 199–207.
van Benthem, J. F. A. K.: Four paradoxes, Journal of Philosophical Logic 7 (1978), 49–72.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Rogerson, S. Natural Deduction and Curry's Paradox. J Philos Logic 36, 155–179 (2007). https://doi.org/10.1007/s10992-006-9032-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-006-9032-0