Journal of Philosophical Logic

, Volume 33, Issue 4, pp 421–436 | Cite as

Routes to Triviality

  • Susan Rogerson
  • Greg Restall


It is known that a number of inference principles can be used to trivialise the axioms of naïve comprehension – the axioms underlying the naïve theory of sets. In this paper we systematise and extend these known results, to provide a number of general classes of axioms responsible for trivialising naïve comprehension.

Abelian logic contraction Curry's paradox naïve comprehension Non-classical implicational logics Peirce's law 


  1. 1.
    Bunder, M. W.: Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality, J. Non-Classical Logic 3 (1986), 5–12.Google Scholar
  2. 2.
    Curry, H. B.: The combinatory foundations of mathematics, J. Symbolic Logic 7 (1942), 49–64.Google Scholar
  3. 3.
    Hori, R., Ono, H. and Schellinx, H.: Extending intuitionistic linear logic with knotted structural rules, Notre Dame J. Formal Logic 35 (1994), 219–242.Google Scholar
  4. 4.
    4. Meyer, R. K. and Slaney, J. K.: Abelian logic (from A to Z), in G. Priest, R. Routley and J. Norman (eds.), Paraconistent Logic-Essays on the Inconsistent, Philosophia Verlag, München, 1989.Google Scholar
  5. 5.
    Meyer, R. K., Routley, R. and Dunn, J. M.: Curry's paradox, Analysis 39(3) (1979), 124–128.Google Scholar
  6. 6.
    Restall, G.: How to be really contraction free, Studia Logica 52 (1993), 381–391.Google Scholar
  7. 7.
    Rogerson, S. and Butchart, S.: Naïve comprehension and contracting implications, Studia Logica 71 (2002), 119–132.Google Scholar
  8. 8.
    Shaw-Kwei, Moh: Logical paradoxes for many valued systems, J. Symbolic Logic 19 (1954), 37–40.Google Scholar
  9. 9.
    Terui, K.: Light affine set theory: A naive set theory of polynomial time, Studia Logica, to appear.Google Scholar
  10. 10.
    White, R. B.: The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz, J. Philos. Logic 8 (1979), 509–534.Google Scholar

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Susan Rogerson
    • 1
  • Greg Restall
    • 2
  1. 1.School of Philosophy and Bioethics School of Computer Science and Software EngineeringMonash UniversityAustralia
  2. 2.Department of PhilosophyUniversity of MelbourneAustralia

Personalised recommendations