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.
Similar content being viewed by others
REFERENCES
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rogerson, S., Restall, G. Routes to Triviality. Journal of Philosophical Logic 33, 421–436 (2004). https://doi.org/10.1023/B:LOGI.0000036853.44128.8f
Issue Date:
DOI: https://doi.org/10.1023/B:LOGI.0000036853.44128.8f