The significance of Max Black’s indistinguishable spheres for the nature of particles in quantum mechanics is discussed, focusing in particular on the use of the idea of weak indiscernibility. It is argued that there can be four such Black spheres but that five are impossible. It follows from this that Black’s example cannot serve as a model for indistinguishability in physics. But Black’s discussion of his spheres gave rise to the idea of weak discernibility and it is argued that such (...) predicates are unsatisfiable in the way intended. The underlying problem with weak discernibility spreads out to also undermine the whole notion that indistinguishability rests on a notion of the permutation invariance of particles. A better foundation is indicated. (shrink)

This is the second part of an overview article on fundamentality in metaphysics and the philosophy of physics. Here, the notion of fundamentality is looked at from the viewpoint of the philosophical analysis of physics and physical theories. The questions are considered (1) whether physics can be regarded as fundamental with respect to other sciences, and in what sense; (2) what the label ‘fundamental physics’ should exactly be taken to mean; (3) on what grounds a particular physical theory should be (...) considered fundamental; (4) what should be regarded as fundamental according to particular theories of physics; and (5) what indications come from contemporary physics concerning the fundamental structure of reality. (shrink)

Nominalism in formal ontology is still the thesis that the only acceptable domain of quantification is the first-order domain of particulars. Nominalists may assert that second-order well-formed formulas can be fully and completely interpreted within the first-order domain, thereby avoiding any ontological commitment to second-order entities, by means of an appropriate semantics called “substitutional”. In this paper I argue that the success of this strategy depends on the ability of Nominalists to maintain that identity, and equivalence relations more in general, (...) is first-order and invariant. Firstly, I explain why Nominalists are formally bound to this first-order concept of identity. Secondly, I show that the resources needed to justify identity, a certain conception of identity invariance, are out of the Nominalist’s reach. (shrink)