Graduate studies at Western
Philosophia Mathematica 1 (1):3-23 (1993)
|Abstract||is the second-order theory of the part-whole relation. It can express such hypotheses about the size of Reality as that there are inaccessibly many atoms. Take a non-empty class to have exactly its non-empty subclasses as parts; hence, its singleton subclasses as atomic parts. Then standard set theory becomes the theory of the member-singleton function—better, the theory of all singleton functions—within the framework of megethology. Given inaccessibly many atoms and a specification of which atoms are urelements, a singleton function exists, unique up to isomorphism. (This article is partly abridged from my Parts of Classes, partly a sequel.).|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
William M. Farmer & Joshua D. Guttman (2000). A Set Theory with Support for Partial Functions. Studia Logica 66 (1):59-78.
Nino B. Cocchiarella (2002). On the Logic of Classes as Many. Studia Logica 70 (3):303-338.
Akihiro Kanamori (2003). The Empty Set, the Singleton, and the Ordered Pair. Bulletin of Symbolic Logic 9 (3):273-298.
Robert S. Lubarsky (1988). Definability and Initial Segments of C-Degrees. Journal of Symbolic Logic 53 (4):1070-1081.
Ulrich Höhle (1998). GL-Quantales: Q-Valued Sets and Their Singletons. [REVIEW] Studia Logica 61 (1):123-148.
Eduardo Fermé & Maurício D. L. Reis (2012). System of Spheres-Based Multiple Contractions. Journal of Philosophical Logic 41 (1):29-52.
Øystein Linnebo & Richard Pettigrew (2011). Category Theory as an Autonomous Foundation. Philosophia Mathematica 19 (3):227-254.
Jeffrey Grupp (2006). Mereological Nihilism: Quantum Atomism and the Impossibility of Material Constitution. [REVIEW] Axiomathes 16 (3):245-386.
Added to index2009-01-28
Total downloads83 ( #11,280 of 740,545 )
Recent downloads (6 months)3 ( #26,533 of 740,545 )
How can I increase my downloads?