Routes to triviality

Susan Rogerson*, Greg Restall

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

15 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)421-436
Number of pages16
JournalJournal of Philosophical Logic
Issue number4
Publication statusPublished - 2004


  • Abelian logic
  • Contraction
  • Curry's paradox
  • Naïve comprehension
  • Nonclassical implicational logics
  • Peirce's law


Dive into the research topics of 'Routes to triviality'. Together they form a unique fingerprint.

Cite this