I will present and criticise the two theories of truthmaking David Armstrong offers us in Truth and Truthmakers (Armstrong 2004), show to what extent they are incompatible and identify troublemakers for both of them, a notorious – Factualism, the view that the world is a world of states of affairs – and a more recent one – the view that every predication is necessary. Factualism, combined with truthmaker necessitarianism – ‘truthmaking is necessitation’ – leads Armstrong to an all-embracing totality state (...) of affairs that necessitates not only everything that is the case but also everything else – that which is not the case, that which is merely possible or even impossible. All the things so dear to realists – rocks, natural properties, real persons – become mere abstractions from this ontological monster. The view that every predication is necessary does in some sense the opposite: it does away with totality states of affairs and, arguably, also with states of affairs. We have particulars and universals, partially identical and necessarily connected to everything else. Just by the existence of anything, everything is necessitated – the whole world mirrored in every monad. Faced with the choice between these two equally unappealing alternatives, I suggest returning to Armstrong’s more empiricist past: the world is not an all-inclusive One, nor necessitated by every single particular and every single universal, but a plurality of particulars and universals, interconnected by a contingent and internal relation of exemplification. While a close variant, truthmaker essentialism, can perhaps be saved, this means giving up on truthmaker necessitarianism. This, I think, what it takes to steer a clear empiricist course between the Scylla of Spinozist general factness and the Charybdis of a Leibnizian overdose of brute necessities. (shrink)

We present a unified diagnosis of three well-known puzzles about proper names, based on a new view of the metaphysics of words and proper names in particular adumbrated by David Kaplan in “Words”. While our solution comes at some metaphysical price, we think it is worth being considered a serious contender and may illustrate the promise of taking more seriously the metaphysical foundations of our semantic theories.

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.

It is true of many truths that I do not believe them. It is equally true, however, that I cannot rationally assert of any such truth both that it is true and that I do not believe it. To explain why this is so, I will distinguish absence of belief from disbelief and argue that an assertion of “p, but I do not believe that p” is paradoxical because it is indefensible, i.e. for reasons internal to it unable to convince. (...) A closer examination of the irrationality involved will show that such is the skeptic’s predicament, trying to convince us to bracket knowledge claims we have good grounds to take ourselves to be entitled to. Even if the sceptic cannot be proven wrong, his challenge still demands an answer, if not a treatment. In this paper, I argue that the cure lies in epidemiology rather than epistemology: instead of attacking the sceptic head-long, I commend guerilla tactics, vaccinating our fellow non-sceptics against the sceptical virus. I will not argue that the sceptic is wrong, necessarily wrong or that he cannot be believed, but that he cannot convince. Scepticism requires a leap of faith: something we may justifiably refrain from even on the sceptic’s own standards. (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)

“Supervenience”, though a philosophers’ notion, has a venerable history. It was used by Leibniz to say that relations are nothing over and above the intrinsic properties of their relata, by Sidgwick to say that moral characteristics covary with non-moral ones, by Moore to say that the former are grounded in the latter, by Hare to say that they stand in some relation of strict implication and by Davidson to say that “mental characteristics are in some sense dependent, or supervenient, on (...) physical characteristics”. Here is what Robert Stal- naker says about the “intuitive ideas that motivate the attempts to articulate concepts of supervenience”: " To say that the A-properties or facts are supervenient on the B-properties or facts is to say that the A-facts are, in a sense, redundant, since they are already implicitly specified when one has specified all the B-facts. A-facts are not fact ‘over and above’ the B-facts, not something ‘separate’. To state an A-fact, or ascribe an A-property, is to describe the same reality in a different way, at a different level of abstraction, by carving the same world at different joints. " Kim identifies three key features of our concept of supervenience: covariance, depend- ency and nonreducibility. 1 Explanation, sometimes required for reducibility, is absent : supervenience claims state that some patterns of property covariation hold, without explaining why they hold. 2. (shrink)