The problem of truthmakers for negative propositions was introduced by Bertrand Russell in 1918. Since then the debate has mostly been concerned with whether to accept or reject their existence, and little has been said about what it is that makes a negative proposition negative. This is a problem as it is obvious that you cannot just read it off from the grammar of a sentence. The aim of this paper is to demonstrate that propositions may be negative or positive (...) in many ways: it offers a typology, and shows how the question of the existence of negative facts will receive a different answer depending on its relationship to that typology. (shrink)

Le regain de faveur de la thématique des « mondes possibles » dans la philosophie contemporaine est pour l’essentiel un effet collatéral du développement de la logique modale au long du XXe siècle. C’est en effet initialement pour résoudre le problème soulevé par l’évaluation des systèmes modaux, élaborés entre les années trente et cinquante par des auteurs comme Clarence Lewis, Richard Feys ou Georg von Wright, qu’une sémantique...

Marc Lange and Ann Whittle have independently developed an important challenge to dispositionalism, arguing that dispositions are reducible to primitive subjunctive facts. I argue in reply that by pairing dispositionalism with a certain version of natural-kind essentialism, their objection can be overcome. Moreover, such a marriage carries further advantages for the dispositionalist. My aim is therefore two-fold: to defend dispositionalism, and to give the dispositionalist some new motivation to adopt natural-kind essentialism.

Let me tell you what philosophy is about, then about how Sydney does it in its own special way. Does life have a meaning, and if so what is it? What can I be certain of, and how should I act when I am not certain? Why are the established truths of my tribe better than the primitive superstitions of your tribe? Why should I do as I’m told? Those are questions it’s easy to avoid, in the rush to acquire (...) goods and prestige. Even for many of a more serious outlook, they are questions easy to dismiss with excuses like “it’s all a matter of opinion” or “let’s get on with practical matters” or “they’re too hard”. They are questions that may be ignored, but they do not go away. They’re philosophical questions. There’s a right way to approach them – you read the writings of the classical and recent philosophers and consider carefully their arguments back and forth. There are many wrong ways to approach them, such as choosing at random among the ideas your parents or friends or gurus have, or ideas that feel good. Or you can just not bother. Sydney has a certain reputation for superficiality in this regard. A character in David Williamson’s Emerald City says “No-one in Sydney ever wastes time debating the meaning of life — it’s getting yourself a water frontage”, says If you have a Writers Festival or a conference on Happiness in Sydney, you don’t normally expect philosophers to be invited. Caroline Jones’ radio series, ‘The Search for Meaning’. (shrink)

There is no consensus on the most adequate conception of the fundamental properties of our world. The pure powers view and the identity theory of powerful qualities claim to be promising alternatives to categoricalism, the view that all fundamental properties essentially contribute to the qualitative make-up of things that have them. The pure powers view holds that fundamental properties essentially empower things that have them with a distinctive causal profile. On the identity theory, fundamental properties are dispositional as well as (...) qualitative, or powerful qualities. Despite the manifest difference, Taylor (2018) argues that pure powers and powerful qualities collapse into the same ontology. If this collapse objection were sound, the debate between the pure powers view and the identity theory of powerful qualities would be illusory: these views could claim the same advantages and would suffer the same problems. Here I defend an ontologically robust distinction between pure powers and powerful qualities. To accomplish this aim, I show that the collapse between pure powers and powerful qualities can be resisted. I conclude by drawing some positive implications of this result. (shrink)

Slot theory is the view that (i) there exist such entities as argument places, or ‘slots’, in universals, and that (ii) a universal u is n-adic if and only if there are n slots in u. I argue that those who take properties and relations to be abundant, fine-grained, non-set-theoretical entities face pressure to be slot theorists. I note that slots permit a natural account of the notion of adicy. I then consider a series of ‘slot-free’ accounts of that notion (...) and argue that each of them has significant drawbacks. (shrink)

Predication is an indisputable part of our linguistic behavior. By contrast, the metaphysics of predication has been a matter of dispute ever since antiquity. According to Plato—or at least Platonism, the view that goes by Plato’s name in contemporary philosophy—the truths expressed by predications such as “Socrates is wise” are true because there is a subject of predication (e.g., Socrates), there is an abstract property or universal (e.g., wisdom), and the subject exemplifies the property.1 This view is supposed to be (...) general, applying to all predications, whether the subject of predication is a person, a planet, or a property.2 Despite the controversy surrounding the metaphysics of predication, many theistic philosophers—including the majority of contemporary analytic theists—regard Platonism as extremely attractive. At the same time, however, such philosophers are also commonly attracted to a form of traditional theism that has at its core the thesis that God is an absolutely independent.. (shrink)

Truthmaker theorists hold that propositions about higher-level entities (e.g. the proposition that there is a heap of sand) are often made true by lower-level entities (e.g. by facts about the configuration of fundamental particles). This generates a problem: what should we say about these higher-level entities? On the one hand, they must exist (since there are true propositions about them), on the other hand, it seems that they are completely superfluous and should be banished for reasons of ontological parsimony. Some (...) truthmaker theorists—most prominently David Armstrong—have tried to solve this puzzle by arguing that these entities are ‘an ontological free lunch’, i.e. real existents that are still ‘no addition of being’. This answer is prima facie attractive, but I argue in this paper that the standard approaches to truthmaking—modal theories and grounding theories—are unable to vindicate the doctrine of the ontological free lunch, and thus fail to solve the problem of higher-level entities. Fortunately, there is a non-standard account of truthmaking available, the reductive explanation account, which succeeds where the standard approaches fail. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which it belongs. (...) Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

In this paper, I first introduce one of the most prominent objections against the Growing Block Theory of time (GBT), the so-called ‘epistemic objection’, according to which GBT provides no way of knowing that our time is the objective present and, therefore, leads at best to absolute skepticism about our temporal location, at worst to the quasi-certainty that we are located in the objective past. Secondly, I express my dissatisfaction regarding the various traditional attempts to address this objection, especially Merricks (...) (2006), Forrest (2004) and Correia and Rosenkranz (2018). Thirdly, I show that the passage of time leads to an anti-essentialist picture of natural kinds. Finally, I develop my own solution to the epistemic objection, based on the continued existence of bare particulars. (shrink)

This book argues that our current best theories of fundamental physics are best interpreted as positing spacetime as non-fundamental. It is written in accessible language and largely avoids mathematical technicalities by instead focusing on the key metaphysical and foundational lessons for the fundamentality of spacetime. -/- According to orthodoxy, spacetime and spatiotemporal properties are regarded as fundamental structures of our world. Spacetime fundamentalism, however, faces challenges from speculative theories of quantum gravity – roughly speaking, the project of applying the lessons (...) of quantum mechanics to gravitation and spacetime. This book demonstrates that the non-fundamentality of spacetime does not rely on speculative physics alone. Rather, one can give an interpretation of general relativity that supports some form of spacetime non-fundamentalism. The author makes the case for spacetime non-fundamentalism in three steps. First, he confronts the standard geometrical interpretation of general relativity with Brown and Pooley’s dynamical approach to relativity theory. Second, he considers an alternative derivation of the Einstein field equations, namely the classical spin-2 approach, and argues that it paves the way for a refined dynamical approach to general relativity. Finally, he argues that particle physics can serve as a continuity condition for the metaphysics of spacetime. -/- The Non-Fundamentality of Spacetime will be of interest to scholars and advanced students working in philosophy of physics, philosophy of science, and metaphysics. (shrink)

This paper makes a case that we should believe in the existence of worldly states of affairs.

_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

Hossack's 'The Metaphysics of Knowledge' develops a theory of facts, entities in which universals are combined with universals or particulars, as the foundation of his metaphysics. While Hossack argues at length that there must be negative facts, facts in which the universal 'negation' is combined with universals or particulars, his conclusion that there are also general facts, facts in which the universal 'generality' is combined with universals, is reached rather more swiftly. In this paper I present Hossack with three arguments (...) for his conclusion. They all draw, as does Hossack's theory of facts, on views Russell expressed in various writings. Two arguments are based on Russell's explanation of universals as aspects of resemblance; the third on Russell's observation that general propositions do not follow logically from exclusively particular premises. Comparison with other metaphysics of generality show them to be wanting and Russell's and Hossack's accounts superior. (shrink)

In this paper, I assess recent claims in philosophy of science about scientific perspectivism being compatible with realism. I clarify the rationale for scientific perspectivism and the problems and challenges that perspectivism faces in delivering a form of realism. In particular, I concentrate my attention on truth, and on ways in which truth can be understood in perspectival terms. I offer a cost-benefit analysis of each of them and defend a version that in my view is most promising in living (...) up to realist expectations. (shrink)

This chapter considers the ‘hosting question’ of how immanent universals, in contrast to transcendent universals, are ‘brought down to earth’ from ‘Plato’s heaven’. It explores the thesis that the hosting amounts to their being constituents of the states of affairs that result from their instantiations. These states of affairs are concrete complexes consisting of particulars and universals, and perhaps something that links them together. The traditional view that immanent universals are concrete is briefly defended against a recent prominent objection. On (...) relationalism, states of affairs are unified by a relation of some sort; on non-relationalism they are unified non-relationally. Roughly, these two conceptions of states of affairs are equivalent to Armstrong’s relational and non-relational versions of immanent realism, respectively. Armstrong mostly criticises the former and defends the latter. It is argued, however, that relationalism, at least potentially, answers the hosting question, whereas non-relationalism realism does not. (shrink)

The system of realist philosophy developed by John Anderson — situational realism — has recently been dismissed as ‘positivist’ by a prominent critical realist. The reason for this dismissal appears not to be the usual list of ideas deemed positivist, but the conviction that situational realism mistakenly defends a form of actualism, i.e. that to conceive of causal laws as constant conjunctions reduces the domain of the real to the domain of the actual. This is, in part, a misreading of (...) Anderson’s philosophy because, contrary to Hume’s constant conjunction account, Anderson viewed causation as pluralistic and non-linear. However, the critical realist charge does point to two important ontological differences between these realist philosophies — a levels-of-reality thesis and the notion of causal powers. Situational realism has always maintained that the arguments for both lead to difficulties that are logically insurmountable. Unfortunately, this is not addressed in the critical realists’ dismissal of Anderson’s philosophy. Regardless of who makes the charge of positivism, it frequently involves inattention to the real character of its target. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

Dispositional monists believe that all properties are essentially causal. Recently, an overdetermination argument has been proposed by Trenton Merricks to support nihilism about ordinary objects. I argue that this argument can be extended to target both nihilism about ordinary objects and nihilism about physical particles when dispositional monism is assumed. It implies that a philosopher who both endorses dispositional monism and takes seriously the overdetermination argument should not believe in the existence of physical particles. I end up by discussing possible (...) objections. I suggest, then, that if we live in a world that is inhabited by causal properties but not by chairs and tables, then we also live in a world without electrons and quarks, a world of dispositional properties, that is, a world of causal fields. (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

The proper sensible criterion of sensory individuation holds that senses are individuated by the special kind of sensibles on which they exclusively bear about (colors for sight, sounds for hearing, etc.). H. P. Grice objected to the proper sensibles criterion that it cannot account for the phenomenal difference between feeling and seeing shapes or other common sensibles. That paper advances a novel answer to Grice's objection. Admittedly, the upholder of the proper sensible criterion must bind the proper sensibles –i.e. colors– (...) to the common sensibles –i.e. shapes– so as to account for the visual phenomenal character of shapes. But, as Grice rightly objected, neither association, nor ontological dependence will do –I spend some time isolating why dependence is a bad answer here, basically because the dependence of shape on colors is generic, and that genericity is arguably not part of the phenomenal content of perception. -/- Grice is wrong, however, to think that once association and dependence have been rebutted, there is no other way to attach color to extension. The right way to connect proper and common sensibles is rather trivial, although it seems to have been widely neglected: proper sensibles FILL common ones. To see a shape, by contrast to feeling it, is to perceived as filled by some color. To feel a shape, is to perceive it as, say, filled by pressure. Filling in is the phenomenal connection between proper and common sensibles. -/- One important corollary of that proposal is that proper sensibles –color, pressure, noise, taste...– have to belong to the category of stuffs, in the sense of uncountable entities. Against the widespread view that colors are properties, which have countable instances, the last part of the paper argues that colors are phenomenal stuffs, which fill some visual area. One commits a category mistake in asking: "How many tropes/instances of this determinate redness is there on that ladybird". One should rather ask "How much of this determinate redness is there on that ladybird". (shrink)

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic (...) account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (shrink)

In an attempt to improve upon Alexander Pruss’s work (The principle of sufficient reason: A reassessment, pp. 240–248, 2006), I (Weaver, Synthese 184(3):299–317, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per, Lewis’s, Causation as influence, reprinted in: Collins, Hall and paul. Causation and counterfactuals, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. The Lewisian (...) argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga’s, Actualism and possible worlds, reprinted in: Davidson (ed.) Essays in the metaphysics of modality, 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic B. Fitch’s work (J Symb Logic 28(2):135–142, 1963) [with credit to who we now know was Alonzo church’s, Referee Reports on Fitch’s Definition of value, in: (Salerno (ed.), New essays on the knowability paradox, 2009)] that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church–Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the Lewisian argument. (shrink)

Our aim in this paper is to bring to light two sources of tension for Christian theists who endorse the principle of unrestricted composition, that necessarily, for any objects, the xs, there exists an object, y, such that the xs compose y. In Value, we argue that a composite object made of wholly valuable parts is at least as valuable as its most valuable part, and so the mereological sum of God and a wholly valuable part would be at least (...) as valuable as God; but Christian theism arguably demands that no concrete object other than God can be as valuable as God. And in Creation, we argue that the conjunction of theism and unrestricted composition, together with the claim that every concrete entity that is numerically distinct from God is created by God, implies that God is created by God. We conclude by examining the prospects of restricting the thesis of unrestricted composition to the domain of material or spatiotemporal objects as a way to sidestep the above arguments against the conjunction of Christian theism and unrestricted composition. (shrink)

The title of this paper reflects the fact truthmaking is quite frequently considered to be expressive of realism. What this means, exactly, will become clearer in the course of our discussion, but since we are interested in Armstrong’s work on truthmaking in particular, it is natural to start from a brief discussion of how truthmaking and realism appear to be associated in his work. In this paper, special attention is given to the supposed link between truthmaking and realism, but it (...) is argued that this link should not be taken too seriously, as truthmaking turns out to be, to a large extent, ontologically neutral. Some consequences of this are studied. (shrink)

The past decade and a half has seen an absolute explosion of literature discussing the structure of reality. One particular focus here has been on the fundamental. However, while there has been extensive discussion, numerous fundamental questions about fundamentality have not been touched upon. In this chapter, I focus on one such lacuna about the modal strength of fundamentality. More specifically, I am interested in exploring the contingent fundamentality thesis - that is, the idea that the fundamentalia are only contingently (...) fundamental (or, in property-terms, that the property of being fundamental is not a (weakly) necessary property). And while I think this thesis is plausible – indeed, I show here that it lurks in the unexamined shadows/assumptions of some fairly prominent positions – as far as I can tell, nothing has been said either for or against it. Here, I hope to fix this by giving the thesis a proper airing. In this way, this chapter represents a first-pass at exploring not only the modal status of fundamentality, but also offers a starting point for examining broader issues about the relationship between fundamentality and modality. (shrink)

Several disputes about the nature of experience operate under the assumption that experiences have parts, including temporal parts. There's the widely held view, when it comes to temporal experiences, that we should follow James' exhortation that such experiences aren't mere successions of their temporal parts, but something more. And there's the question of whether it is the parts of experiences which determine whole experiences and the properties they have, or whether the determination goes instead from the whole to the parts, (...) as holists have it. But what are parts, or temporal parts, of experiences exactly—what does it mean to say that an experience is “part” of another? Are the participants in those disputes talking about the same thing—is there a univocal notion of “experiential part” available? Are there different kinds of experiential parts? And if there are, is there a systematic way of carving them out? More importantly, how should we conceive of the temporal parts of experiences, and how can we establish that experiences really do have temporal parts, against those who reject the notion? (shrink)

This chapter examines the status of inference to the best explanation in naturalistic metaphysics. The methodology of inference to the best explanation in metaphysics is studied from the perspective of contemporary views on scientific explanation and explanatory inferences in the history and philosophy of science. This reveals serious shortcomings in prevalent attempts to vindicate metaphysical "explanationism" by reference to similarities between science and naturalistic metaphysics. This critique is brought out by considering a common gambit of methodological unity: (1) Both metaphysics (...) and science employ inference to the best explanation. (2) One has no reason to think that if explanationism is truth-conducive in science, it is not so in metaphysics. (3) One has a positive reason to think that if explanationism is truth-conducive in science, it is also so in metaphysics. (shrink)

This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

This paper argues that NPs with case as head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis of case-constructions of the various sorts within a truthmaker-based version of alternative semantics.

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

One recently popular way to characterise strong emergence is to say that emergent entities possess novel causal powers. However, there is little agreement concerning the nature of powers. One controversy involves whether powers are single- or multi-track; that is, whether each power has only one manifestation type, or whether a single power can be directed towards a number of distinct manifestations. Another concerns how powers operate: whether a lone power manifests when triggered by the presence of a suitable stimulus, or (...) whether powers operate mutually such that several powers must ‘work together’ to bring about a particular manifestation. This paper examines how these distinctions—which can be cross-combined to frame four distinct accounts of the nature of powers—bear on the debate between emergentists and reductionists. (shrink)

One powerful argument for dualism is provided by Chalmers: the ‘zombie’ or conceivability argument. This paper aims to establish that if one adopts the ‘Powerful Qualities’ account of properties developed by Martin and Heil, this argument can be resisted at the first premise: the claim that zombies are conceivable is, by the lights of Chalmers’ own account of conceivability, false. The Powerful Qualities account is outlined. Chalmers’ argument, and several distinctions which underlie it, are explained. It is argued that to (...) make sense of the claim that zombies are conceivable, some account of properties must be given. The paper’s central claim is presented and defended from potential responses: given the Powerful Qualities view, zombies are in fact inconceivable. Finally, an error theory is presented, which offers an explanation of why so many have taken the conceivability of zombies to be unproblematic, and the view is briefly contrasted with Russellian monism. (shrink)

A fundamental fact is “pure” just in case it has no grounded entities—ex. Tokyo, President Biden, the River Nile, {Socrates}, etc.—among its constituents. Purity is the thesis that every fundamental fact is pure. I argue that Purity is false. My argument begins with a familiar conditional: if Purity is true, then there are no fundamental “grounding facts” or facts about what grounds what. This conditional is accepted by virtually all of Purity’s defenders. However, I argue that it is also the (...) first step toward Purity’s undoing. For, if every grounding fact has a ground, then some grounded entities have “groundmates” or distinct grounded entities that share their full grounds. But, if there are groundmates, then Purity is false. So Purity leads to a contradiction. Therefore, it is false. I close by noting that my argument against Purity also gives us a powerful reason to think that some grounding facts are fundamental. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

Can humans and artificial intelligences share concepts and communicate? Making AI Intelligible shows that philosophical work on the metaphysics of meaning can help answer these questions. Herman Cappelen and Josh Dever use the externalist tradition in philosophy to create models of how AIs and humans can understand each other. In doing so, they illustrate ways in which that philosophical tradition can be improved. The questions addressed in the book are not only theoretically interesting, but the answers have pressing practical implications. (...) Many important decisions about human life are now influenced by AI. In giving that power to AI, we presuppose that AIs can track features of the world that we care about (for example, creditworthiness, recidivism, cancer, and combatants). If AIs can share our concepts, that will go some way towards justifying this reliance on AI. This ground-breaking study offers insight into how to take some first steps towards achieving Interpretable AI. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the question of (...) whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...) forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)

This book is in honour of Professor Anna-Sofia Maurin on her 50th birthday. It consists of eighteen essays on metaphysical issues written by Swedish and international scholars.

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Some philosophers have claimed that kinds can be construed as mereologically complex structural properties. This essay examines several strategies aimed at construing a certain class of natural kinds, namely isomeric chemical kinds, in accordance with this view. In particular, the essay examines views which posit structural proper parts in addition to micro-constitutive parts to individuate isomeric chemical kinds. It then goes on to argue that the phenomenon of chirality in stereochemistry gives the proponent of kinds-as-complex-properties evidence for positing the existence (...) of causal-cum-dispositional individuating proper parts, in addition to structural parts, for chemical enantiomeric kinds. (shrink)