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 language | English |
---|---|
Pages (from-to) | 421-436 |
Number of pages | 16 |
Journal | Journal of Philosophical Logic |
Volume | 33 |
Issue number | 4 |
DOIs | |
Publication status | Published - 2004 |
Keywords
- Abelian logic
- Contraction
- Curry's paradox
- Naïve comprehension
- Nonclassical implicational logics
- Peirce's law