Mathematics is megethology

Philosophia Mathematica 1 (1):3-23 (1993)
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)
DOI 10.1093/philmat/1.1.3
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,793
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Against Quidditism.Robert Black - 2000 - Australasian Journal of Philosophy 78 (1):87 – 104.
Non-Ontological Structuralism.Michael Resnik - forthcoming - Philosophia Mathematica:nky002.
Plural Quantification Exposed.Øystein Linnebo - 2003 - Noûs 37 (1):71–92.

View all 25 citations / Add more citations

Similar books and articles
Added to PP index

Total downloads
166 ( #31,064 of 2,214,685 )

Recent downloads (6 months)
12 ( #32,683 of 2,214,685 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature