Abstract
This paper is motivated by the search for a natural and deductively powerful extension of classical set theory. A theory of properties U is developed, based on a system of relevant logic related to RQ. In U the set {a, b, c,...} is identified with the property [x: x=a ∨ x=b ∨ x=c...]. The universe of all sets V, is identified with the property of being a hereditary set. The main result is that relevant implication → collapses to material implication ⊃ for sentences with quantifiers restricted to V. This demonstrates the naturalness of the system. However, an aparent lack of deductive power leads to the conclusion that the best extension of classical set theory is to be found in intensional theories with the unrestricted comprehension schema based on weak relevant logics. The author has obtained similar collapses of → to ⊃ for these systems.
Similar content being viewed by others
References
A. R. Anderson, Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, vol. 6 (1960), pp. 201–216.
A. R. Anderson and N. D. Belnap, Jr., Entailment; the Logic of Relevance and Necessity, Vol. 1, Princeton University Press, 1975.
K. Daynes, Universals as Generalised Sets, PhD thesis, Victoria University of Wellington, New Zealand, 1986.
R. Routley, Exploring Meinong's Jungle and Beyond, Departmental Monograph # 3, Philosophy Department, Australian National University, 1980.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Daynes, K. Sets as singularities in the intensional universe. Stud Logica 48, 111–128 (1989). https://doi.org/10.1007/BF00370637
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370637