Bernard Bolzano offers a criterion of individuation for ideas, according to which ideas are distinct if and only if they represent different objects or are composed differently. It fails to individuate ideas that are both simple and fail to represent, in particular syncategorematic ideas and logical constants. However, Bolzano also provides the means to close this gap. He suggests that we can distinguish ideas if they are not substitutable for each other in propositions, which we can, in turn, distinguish in (...) terms of their truth-values. This paper explicates this suggestion and develops it into an improved individuation criterion for ideas: ideas also are distinct if we cannot replace them for one another in propositions salva veritate. (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)

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)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...) then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)