Routes to Triviality
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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.
- Bunder, M. W.: Tautologies that, with an unrestricted comprehension axiom, lead to inconsistency or triviality, J. Non-Classical Logic 3 (1986), 5–12.
- Curry, H. B.: The combinatory foundations of mathematics, J. Symbolic Logic 7 (1942), 49–64.
- Hori, R., Ono, H. and Schellinx, H.: Extending intuitionistic linear logic with knotted structural rules, Notre Dame J. Formal Logic 35 (1994), 219–242.
- 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.
- Meyer, R. K., Routley, R. and Dunn, J. M.: Curry's paradox, Analysis 39(3) (1979), 124–128.
- Restall, G.: How to be really contraction free, Studia Logica 52 (1993), 381–391.
- Rogerson, S. and Butchart, S.: Naïve comprehension and contracting implications, Studia Logica 71 (2002), 119–132.
- Shaw-Kwei, Moh: Logical paradoxes for many valued systems, J. Symbolic Logic 19 (1954), 37–40.
- Terui, K.: Light affine set theory: A naive set theory of polynomial time, Studia Logica, to appear.
- 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.
- Routes to Triviality
Journal of Philosophical Logic
Volume 33, Issue 4 , pp 421-436
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Abelian logic
- Curry's paradox
- naïve comprehension
- Non-classical implicational logics
- Peirce's law