Kim’s Ontological Physicalism (OP) presents itself as a naturalistic and monistic metaphysical framework, aligned with the causal closure of the universe and rejecting causally efficacious “exotic” properties. The foundational ontology is, in turn, monistic and materialistic, positing that the universe is composed solely of material particulars: bits of matter. In this work, we identify a notable tension between OP’s intended model and the one OP specifies. Initially, we show how the theory inevitably becomes entangled with higher-order entities, not just particulars. (...) Kim introduces the Supervenience Argument (SA) to counteract the possibility of higher-order entities being causally efficacious. While SA proves to be a plausible strategy, it is ultimately inadequate: not only SA is a petitio principii against emergence, but it is also unsound and invalid. Therefore, we propose a formal strategy to restore its ontological effectiveness. Unfortunately, at a closer look, even this strategy falls short as it unwarrantedly assumes the logicality and invariance of those equivalence relations (such as identity, similarity, and congruence) which are crucial for specifying the theory’s model as composed of particulars. (shrink)

The paper discusses some formal difficulties concerning the theory of universals of Trope-Only ontologies, from which the formal theory of predication advanced by Trope-Only theorists seems to be irremediably affected. It is impossible to lay out a successful defense of a Trope-Only theory without Russellian types, but such types are ontologically inconsistent with tropes’ nominalism. Historically, Tropists’ first way to avoid the problem is appealing to the supervenience claim, which however fails on its terms and, thus, fails as a ground (...) for a solution to the higher-order or ‘type’ problem. A later solution involves the invariance of primitive equivalence relations in order to make universals ontologically innocuous. However, I argue that this latter solution fails to meet the requirements imposed on an ontologically unbiased nominalist attitude. So, this paper discusses how Trope-Only theories alter standard formal moves in Nominalism, and also is interested in clarifying further the formal assumptions for these problems. (shrink)