Routes to Triviality |
| |
Authors: | Rogerson Susan Restall Greg |
| |
Affiliation: | (1) School of Philosophy and Bioethics School of Computer Science and Software Engineering, Monash University, Australia;(2) Department of Philosophy, University of Melbourne, Australia |
| |
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. |
| |
Keywords: | Abelian logic contraction Curry's paradox naï ve comprehension Non-classical implicational logics Peirce's law |
本文献已被 SpringerLink 等数据库收录! |