I reassess the famous arguments of Frank Plumpton Ramsey (1925) against the tenability of the distinction between particulars and universals and discuss their recent elaboration by Fraser MacBride. I argue that Ramsey’s argument is ambiguous between kinds and properties and that his sceptical worries can be resolved once this distinction is taken into account. A crucial role in this dissolution is a notion of what is essential to a property. I close by some epistemological considerations.

Quine's early arguments in favor of "Ontological Relativity" depend on wild but interesting alternatives to standard ontology,most apparent when viewing his unusual idea of undetached object parts. In Quine's later philosophy, by contrast, he invokes trivial proxy functions and simple permutations to standard ontology, and in so doing paves the way for his claim of "Inscrutability of Reference". Nevertheless, Quine's more recent alternatives to standard ontology have thus far remained uninteresting for ontological questions, as his later arguments fail to offer (...) any real alternative to our standard identity relation. For this reason, I have chosen to return to Quine's original idea of "Ontological Relativity" and put it to the test. In my investigation, development and subsequent defense of Quine's original presentation, I attempt to show that it is in fact possible to read Quine's ontology of undetached object parts into a large sphere of our language. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Frege famously endorsed a principle of Thought-Sentence Correspondence that can be spelt out as follows: (Corr1) For all sentences s, for all thoughts t, if r expresses t, then:if a sense is expressed by a part of s then it is part of t, &(Corr2) For all sentences s, for all thoughts t, if s expresses t, then:if a sense is part of t then it is expressed by at least one part of s. He clearly embraces Corr1 when he (...) writes in § 32 of Grundgesetze, vol. I: ‘If a name is part of the name of a trut... (shrink)

Frege appears to hold both that thoughts are internally articulated, in a way that mirrors the semantic articulation of the sentences that express them, and that the same thought can be analyzed in different ways, none of which has to be more fundamental than the others. Commentators have often taken these theses to be mutually incompatible and have tended to polarize into two camps, each of which attributes to Frege one of the theses, but maintains that he is only apparently (...) committed to the other. This paper argues that there are good exegetical and philosophical reasons for reconciling the two theses; that this reconciliation can be achieved by rejecting an assumption shared by the two opposite camps of the exegetical debate, i.e., the assumption that essential articulatedness implies unique articulation; and finally, that this crucial assumption can be resisted by appreciating Frege’s anti-atomistic and ‘organic’ conception of the internal complexity of thoughts. (shrink)

According to Frege, we need a criterion for recognising when different sentences express the same thought to make progress in logic. He himself hedged his own equipollence criterion with a number of provisos. In the literature on Frege, little attention has been paid to the problems these provisos raise. In this paper, I will argue that Fregeans have ignored these provisos at their peril. For without these provisos, Frege’s criterion yields wrong results; but with the provisos in place, it is (...) of no use for Frege’s purposes. This is connected to what Frege took to be the ‘greatest difficulty for philosophy’: natural language sentences don’t just express thoughts; they convey evaluations and communicative hints. Because of this, Frege’s recognition criterion for thoughts cannot be applied to them and we cannot make logical progress by ‘recognising a thought in different linguistic guises’. (shrink)