Abstract
We propose contractionless constructive logic which is obtained from Nelson's constructive logic by deleting contractions. We discuss the consistency of a naive set theory based on the proposed logic in relation to Curry's paradox. The philosophical significance of contractionless constructive logic is also argued in comparison with Fitch's and Prawitz's systems.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Akama, S. (1988). On the proof method for constructive falsity, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34, 385–392.
Akama, S. (1989). Constructive Falsity: Foundations and Their Applications to Computer Science. Ph.D. Thesis, Department of Administration Engineering, Keio University, Yokohama, Japan.
Almukdad, A. and Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic 49, 231–233.
Anderson, A. R. (1975). Fitch on consistency, in A. R. Anderson, R. B. Marcus and R. M. Martin (eds), The Logical Enterprise, 123–141. Yale University Press, New Haven.
Brady, R. T. (1983). The simple consistency of a set theory based on the logic CSQ, Notre Dame Journal of Formal Logic 24, 431–449.
Bunder, M. (1985). BCK-predicate logic as a foundation of multiset theory. University of Wollongong.
Fitch, F. B. (1952). Symbolic Logic. Ronald Press, New York.
Girard, J.-Y. (1987). Linear logic, Theoretical Computer Science 50, 1–102.
Kleene, S. C. (1952). Introduction to Metamathematics. North-Holland, Amsterdam.
Myhill, J. (1984). Paradoxes, Synthese 60, 129–143.
Nelson, D. (1949). Constructible falsity, Journal of Symbolic Logic 14, 16–26.
Ono, H. and Komori, Y. (1985). Logics without the contraction rule. Journal of Symbolic Logic 50, 169–201.
Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Almqvist and Wiksell, Stockholm.
Priest, G. (1987). In Contradiction. Martinus Nijhoff, Dordrecht.
Restall, G. (1993). How to be really contraction free, Studia Logica 52, 381–391.
Routley, R. (1974). Semantical analyses of propositional systems of Fitch and Nelson, Studia Logica 33, 283–298.
Wansing, H. (1993). The Logic of Information Structures. Springer, Berlin.
White, R. (1979). The consistency of the axiom of comprehension in the infinite valued predicate logic of Lukasiewicz., Journal of Philosophical Logic 8, 509–534.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Akama, S. Curry's paradox in contractionless constructive logic. J Philos Logic 25, 135–150 (1996). https://doi.org/10.1007/BF00247001
Issue Date:
DOI: https://doi.org/10.1007/BF00247001