Hostname: page-component-7d684dbfc8-zgpz2 Total loading time: 0 Render date: 2023-09-30T13:21:03.894Z Has data issue: false Feature Flags: { "corePageComponentGetUserInfoFromSharedSession": true, "coreDisableEcommerce": false, "coreDisableSocialShare": false, "coreDisableEcommerceForArticlePurchase": false, "coreDisableEcommerceForBookPurchase": false, "coreDisableEcommerceForElementPurchase": false, "coreUseNewShare": true, "useRatesEcommerce": true } hasContentIssue false


Published online by Cambridge University Press:  12 February 2015

Department of Philosophy, City University of New York


Dialetheism is the metaphysical claim that there are true contradictions. And based on this view, Graham Priest and his collaborators have been suggesting solutions to a number of paradoxes. Those paradoxes include Russell’s paradox in naive set theory. For the purpose of dealing with this paradox, Priest is known to have argued against the presence of classical negation in the underlying logic of naive set theory. The aim of the present paper is to challenge this view by showing that there is a way to handle classical negation.

Research Article
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.)



Arieli, O., Avron, A., & Zamansky, A. (2011). Maximal and premaximal paraconsistency in the framework of three-valued semantics. Studia Logica, 97, 3160.CrossRefGoogle Scholar
Batens, D., & De Clercq, K. (2004). A rich paraconsistent extension of full positive logic. Logique et Analyse, 185188, 227257.Google Scholar
Beall, J. (2013). Free of detachment: Logic, rationality, and gluts. Noûs. Early View. doi: 10.1111/nous.12029.Google Scholar
Beall, J., Forster, T., & Seligman, J. (2013). A note on freedom from detachment in the logic of paradox. Notre Dame Journal of Formal Logic, 54(1), 1520.CrossRefGoogle Scholar
Carnielli, W., & Coniglio, M. (2013). Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation. Advance Access. doi: 10.1093/logcom/ext020.Google Scholar
Carnielli, W., Coniglio, M., & Marcos, J. (2007). Logics of formal inconsistency. In Gabbay, D. and Guenthner, F., editors. Handbook of Philosphical Logic, Vol. 14. Dordrecht: Springer-Verlag, pp. 193.Google Scholar
Carnielli, W., & Marcos, J. (2002). A taxonomy of C-systems. In Carnielli, W. A., Coniglio, M. E., and d’Ottaviano, I. M. L., editors. Paraconsistency: The Logical Way to the Inconsistent, Proceedings of the II World Congress on Paraconsistency. New York: Marcel Dekker, pp. 194.CrossRefGoogle Scholar
Carnielli, W., Marcos, J., & de Amo, S. (2000). Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, 8, 115152.CrossRefGoogle Scholar
da Costa, N. C. A. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497510.CrossRefGoogle Scholar
Omori, H., & Sano, K. (2014). da Costa meets Belnap and Nelson. In Ciuni, R., Wansing, H., and Willkommen, C., editors. Recent Trends in Philosophical Logic. Berlin: Springer, pp. 145166.CrossRefGoogle Scholar
Omori, H., & Waragai, T. (2011). Some observations on the systems LFI1 and LFI1*. In Proceedings of Twenty-Second International Workshop on Database and Expert Systems Applications (DEXA2011), pp. 320324.Google Scholar
Omori, H., & Waragai, T. (2014). On the propagation of consistency in some systems of paraconsistent logic. In Weber, E., Wouters, D., and Meheus, J., editors. Logic, Reasoning and Rationality. Dordrecht: Springer, pp. 153178.Google Scholar
Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219241.CrossRefGoogle Scholar
Priest, G. (1991). Minimally inconsistent LP. Studia Logica, 50, 321331.CrossRefGoogle Scholar
Priest, G. (2002). Paraconsistent logic. In Gabbay, D. and Guenthner, F., editors. Handbook of Philosphical Logic (second edition), Vol. 6. Kluwer Academic Publishers, pp. 287393.CrossRefGoogle Scholar
Priest, G. (2006a). Doubt Truth to be a Liar. New York: Oxford University Press.Google Scholar
Priest, G. (2006b). In Contradiction (second edition). New York: Oxford University Press.CrossRefGoogle Scholar
Restall, G. (1992). A note on naive set theory in LP. Notre Dame Journal of Formal Logic, 33, 422432.CrossRefGoogle Scholar
Verdée, P. (2013a). Non-monotonic set theory as a pragmatic foundation of mathematics. Foundations of Science, 18(4), 655680.CrossRefGoogle Scholar
Verdée, P. (2013b). Strong, universal and provably non-trivial set theory by means of adaptive logic. Logic Journal of the IGPL, 21(1), 108125.CrossRefGoogle Scholar
Verdée, P. (2014). Degrees of inconsistency. Carefully combining classical and paraconsistent negation. In preparation.
Weber, Z. (2010). Transfinite numbers in paraconsistent set theory. The Review of Symbolic Logic, 3(1), 7192.CrossRefGoogle Scholar
Weber, Z. (2012). Transfinite cardinals in paraconsistent set theory. The Review of Symbolic Logic, 5(2), 269293.CrossRefGoogle Scholar