Routes to triviality

Susan Rogerson*, Greg Restall

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume33
Issue number4
DOIs
Publication statusPublished - 2004

Keywords

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

Fingerprint

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

Cite this