Hostname: page-component-7c8c6479df-nwzlb Total loading time: 0 Render date: 2024-03-29T09:07:25.667Z Has data issue: false hasContentIssue false

NAIVE SET THEORY AND NONTRANSITIVE LOGIC

Published online by Cambridge University Press:  26 January 2015

DAVID RIPLEY*
Affiliation:
Department of Philosophy, University of Connecticut
*
*DEPARTMENT OF PHILOSOPHY 101 MANCHESTER HALL 344 MANSFIELD RD UNIVERSITY OF CONNECTICUT STORRS, CT 06269 USA E-mail:davewripley@gmail.com

Abstract

In a recent series of papers, I and others have advanced new logical approaches to familiar paradoxes. The key to these approaches is to accept full classical logic, and to accept the principles that cause paradox, while preventing trouble by allowing a certain sort of nontransitivity. Earlier papers have treated paradoxes of truth and vagueness. The present paper will begin to extend the approach to deal with the familiar paradoxes arising in naive set theory, pointing out some of the promises and pitfalls of such an approach.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2015 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Barrio, E., Rosenblatt, L., & Tajer, D. (2014). The logics of strict-tolerant logic. Journal of Philosophical Logic. To appear.Google Scholar
Beall, J. (2009). Spandrels of Truth. Oxford: Oxford University Press.Google Scholar
Brady, R. T. (1971). The consistency of the axioms of abstraction and extensionality in a three-valued logic. Notre Dame Journal of Formal Logic, 12(4), 447453.Google Scholar
Brady, R. T. (1989). The non-triviality of dialectical set theory. In Priest, G., Routley, R., and Norman, J., editors. Paraconsistent Logic: Essays on the Inconsistent. Münich: Philosophia Verlag, pp. 437471.CrossRefGoogle Scholar
Brady, R. T. (2006). Universal Logic. Stanford, California: CSLI Publications.Google Scholar
Cobreros, P., Égré, P., Ripley, D., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347385.Google Scholar
Cobreros, P., Égré, P., Ripley, D., & van Rooij, R. (2013). Reaching transparent truth. Mind, 122(488), 841866.Google Scholar
Field, H. (2008). Saving Truth from Paradox. Oxford: University Press.Google Scholar
Field, H. (2014). Naive truth and restricted quantification: Saving truth a whole lot better. Review of Symbolic Logic, 7(1), 147191.Google Scholar
Field, H., Lederman, H., & Øgaard, T. F. (2014). Prospects for a naive theory of classes. To appear.Google Scholar
Glanzberg, M. (2005). Minimalism, deflationism, and paradoxes. In Beall, J. and Armour-Garb, B., editors. Deflationism and Paradox. Oxford: Oxford University Press, pp. 107132.Google Scholar
Grišin, V. N. (1982). Predicate and set-theoretic calculi based on logic without contractions. Mathematics of the USSR—Izvestiya, 18(1), 4159. (English translation).Google Scholar
Hinnion, R., & Libert, T. (2003). Positive abstraction and extensionality. Journal of Symbolic Logic, 68(3), 828836.Google Scholar
Hjortland, O. (2013). Logical pluralism, meaning variance, and verbal disputes. Australasian Journal of Philosophy, 91(2), 355373.Google Scholar
Incurvati, L. (2012). How to be a minimalist about sets. Philosophical Studies, 159(1), 6987.CrossRefGoogle Scholar
Negri, S., & von Plato, J. (1998). Cut elimination in the presence of axioms. The Bulletin of Symbolic Logic, 4(4), 418435.CrossRefGoogle Scholar
Omori, H. (2014). Remarks on naive set theory based on LP. Review of Symbolic Logic. To appear.Google Scholar
Petersen, U. (2000). Logic without contraction as based on inclusion and unrestricted abstraction. Studia Logica, 64(3), 365403.Google Scholar
Priest, G. (2006). In Contradiction. Oxford: Oxford University Press.Google Scholar
Restall, G. (1992). A note on naïve set theory in LP. Notre Dame Journal of Formal Logic, 33(3), 422432.CrossRefGoogle Scholar
Restall, G. (1994). On Logics Without Contraction. PhD thesis, The University of Queensland.Google Scholar
Restall, G. (2013). Assertion, denial, and non-classical theories. In Tanaka, K., Berto, F., Mares, E., and Paoli, F., editors. Paraconsistency: Logic and Applications. Dordrecht: Springer, pp. 81100 .CrossRefGoogle Scholar
Ripley, D. (2012). Conservatively extending classical logic with transparent truth. Review of Symbolic Logic, 5(2), 354378.CrossRefGoogle Scholar
Ripley, D. (2013a). Paradoxes and failures of cut. Australasian Journal of Philosophy, 91(1), 139164.Google Scholar
Ripley, D. (2013b). Revising up: Strengthening classical logic in the face of paradox. Philosophers’ Imprint, 13(5), 113.Google Scholar
Routley, R. (1977). Ultralogic as universal? Relevance Logic Newsletter, 2, 5189. Reprinted in Routley (1980).Google Scholar
Shapiro, L. (2011). Deflating logical consequence. Philosophical Quarterly, 61(243), 320342.Google Scholar
Weber, Z. (2010). Transfinite numbers in paraconsistent set theory. Review of Symbolic Logic, 3(1), 7192.Google Scholar
Weber, Z. (2012). Transfinite cardinals in paraconsistent set theory. Review of Symbolic Logic, 5(2), 269293.Google Scholar
White, R. B. (1979). The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz. Journal of Philosophical Logic, 8(1), 509534.Google Scholar