This paper investigates the claim that some truths are fundamentally or really trueand that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense.I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory of the notion.In the final sections, I show how this package dovetails with 'interpretationist' theories of meaning to give sober content to thought that some things-perhaps sets, or gerrymandered mereological sums-can be 'postulated into existence'.
Fundamentality as an expressive deviceIn recent work, Kit Fine has suggested that we distinguish what really obtains from what merely obtains. The distinction applies, in particular, to existential statements. So it may be that some things exist, but don't really exist. A comparable distinction (which I here treat as equivalent) is the following: some things are fundamentally the case; other things are derivatively the case.Applied to existential claims: some things fundamentally exist; others exist derivatively. 1 1 Despite appearances, this is not supposed to introduce two 'kinds' of existence, any more than the common distinction between contingent and necessary existents introduces two kinds of existence.Following Fine, I will speak of facts and employ the 'container' metaphor: of facts belonging or failing to belong to fundamental reality. But everything I say should be able to be interpreted using the sentential operator: It is fundamentally the case that p. So no commitment to an ontology of facts, or to reality as 'containing' or 'composed out of' these facts is intended. Compare (Sider, 2009).Fine uses the framework for a variety of purposes. See in particular Fine (2005), paper 8 and especially Fine (2001).
1The task of the present paper is to outline one way of understanding this distinction, and to begin constructing a theory of how it behaves. To fix ideas it will be useful to have in mind some putative applications of the distinction:Composition: fundamental simplism with derivative arbitrary fusion (FSDA).Fundamentally, everything is a simple, microphysical particle. Derivatively, whenever there are some objects, they compose something. Tables, rocks, and chairs exist; but they are no part of fundamental reality. 2
Set theory: fundamental nominalism; derivative sets (FNDS).Fundamentally, everything is concrete. Derivatively, the axioms of ZFCU hold good.The null set, and the set of readers of this essay exist; but they are no part of fundamental reality.These doctrines will be controversial in their own right, even for one who accepts the fundamental/derivative distinction. Other set theories, or other material ontologies, might be put forward as describing the non-fundamental world. Equally, some would defend a le...