Skip to main content Accessibility help



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.

Corresponding author
Hide All
Arieli, O., Avron, A., & Zamansky, A. (2011). Maximal and premaximal paraconsistency in the framework of three-valued semantics. Studia Logica, 97, 3160.
Batens, D., & De Clercq, K. (2004). A rich paraconsistent extension of full positive logic. Logique et Analyse, 185188, 227257.
Beall, J. (2013). Free of detachment: Logic, rationality, and gluts. Noûs. Early View. doi: 10.1111/nous.12029.
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.
Carnielli, W., & Coniglio, M. (2013). Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation. Advance Access. doi: 10.1093/logcom/ext020.
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.
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.
Carnielli, W., Marcos, J., & de Amo, S. (2000). Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, 8, 115152.
da Costa, N. C. A. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497510.
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.
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.
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.
Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219241.
Priest, G. (1991). Minimally inconsistent LP. Studia Logica, 50, 321331.
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.
Priest, G. (2006a). Doubt Truth to be a Liar. New York: Oxford University Press.
Priest, G. (2006b). In Contradiction (second edition). New York: Oxford University Press.
Restall, G. (1992). A note on naive set theory in LP. Notre Dame Journal of Formal Logic, 33, 422432.
Verdée, P. (2013a). Non-monotonic set theory as a pragmatic foundation of mathematics. Foundations of Science, 18(4), 655680.
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.
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.
Weber, Z. (2012). Transfinite cardinals in paraconsistent set theory. The Review of Symbolic Logic, 5(2), 269293.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed