Defense of an account of intrinsic properties in terms of (what is now called) grounding rather than naturalness.

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving very (...) weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (shrink)

The New A-theory of Time is the view, to be elaborated and defended in this article, that many times exist, and that time is real in virtue of every moment in time bearing each of the so-called A-properties: past, present and future. I argue that TNAT is at least as theoretically virtuous as mainstream views in the philosophy of time and may have some claim to being our best theory of time. I show that the properties ‘past’, ‘present’ and ‘future’ (...) can be understood as compatible intrinsic properties. Having demonstrated that this account of the A-properties is coherent, I go on to demonstrate how TNAT can give us an account of passage, change and the truth-conditions for temporal sentences. In the final section of the article, I develop a tentative argument in favour of TNAT, though concede that we have to settle for the result that TNAT is on a par with our other theories of time. In the remainder of this opening section, my aim is to situate the current proposal as a direct response to Mc.. (shrink)

On the basis of what I call physico-formalist philosophy of mathematics, I will develop an amended account of the Kantian–Reichenbachian conception of constitutive a priori. It will be shown that the features attributed to a real object are not possessed by the object as a “thing-in-itself”; they require a physical theory by means of which these features are constituted. It will be seen that the existence of such a physical theory implies that a physical object can possess a property only (...) if other contingently existing physical objects exist; therefore, the intrinsic–extrinsic distinction is flawed. (shrink)

Jonathan Schaffer distinguishes two sorts of monism. Existence monists say that only one object exists: The World. Priority monists admit the existence of The World’s parts, but say that their features are derivative from the properties of The World. Both have trouble explaining the features of statespace, the set of possibilities available to The World.

I defend the following argument in this paper. Premise 1: Laws of nature are intrinsic to the universe. Premise 2: Humeanism maintains that laws of nature are extrinsic to the universe. Conclusion: Humeanism is false. This argument is inspired by John Hawthorne’s (2004) argument in “Why Humeans are out of their Minds”. My argument differs from his; Hawthorne focuses on Humean views of causation and how they interact with judgments about consciousness. He thinks Humeans are forced to treat certain mental (...) properties (insofar as they involve causal features) as extrinsic to conscious minds. I do not discuss causation or consciousness here. I focus on Humean accounts of laws. I argue that Humean laws are extrinsic to the entire universe. As such, Humeans are not just out of their minds; they are out of this world. I aim to show that premises 1 and 2 are well-supported and that denying either of them comes at a cost. Nevertheless, Humeans may prefer to reject 1 or 2 rather than give up Humeanism. Even if the Humean takes one of these routes, the argument above has philosophical import: it shows that Humeanism involves surprising commitments. (shrink)

Comparativism maintains that physical quantities are ultimately relational in character. For example, an object’s having 1 kg rest mass depends on the relations it stands in to other objects in the universe. Comparativism, its advocates allege, reveals that quantities are not metaphysically mysterious: Quantities are reducible to familiar relations holding among physical objects. Modal accounts of intrinsicality—such as Lewis’s duplication account or Langton and Lewis’s combinatorial account—are popular accounts preserving many of our core intuitions regarding which properties are intrinsic. I (...) argue that to endorse both comparativism and a modal account of intrinsicality, we must reject the plausible thesis that determinable properties are instantiated solely in virtue of their determinates. I call this ‘the determinacy tension’ and I suggest approaches for dissolving it. (shrink)

Classic inductive skepticism–the epistemological claim that we have no good reason to believe that the unobserved resembles the observed–is plausibly everyone’s lot, whether or not they embrace Hume’s metaphysical claim that distinct existents are “entirely loose and separate”. But contemporary advocates of a Humean metaphysic accept a metaphysical claim stronger than Hume’s own. I argue that their view plausibly gives rise to a radical inductive skepticism–according to which we are downright irrational in believing as we do about the unobserved–that we (...) don’t otherwise have reason to accept. The Metaphysical Neo-Humean is in an epistemological quagmire all her own. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

Logical realism is the view that there is logical structure in the world. I argue that, if logical realism is true, then we are deeply ignorant of that logical structure: either we can’t know which of our logical concepts accurately capture it, or none of our logical concepts accurately capture it at all. I don’t suggest abandoning logical realism, but instead discuss how realists should adjust their methodology in the face of this ignorance.

Various tests have been proposed as helps to identify intrinsic properties. This paper compares three prominent tests and shows that they fail to pass adequate verdicts on a set of three properties. The paper examines whether improved versions of the tests can reduce or remove these negative outcomes. We reach the sceptical conclusion that whereas some of the tests must be discarded as inadequate because they don’t yield definite results, the remaining tests depend for their application on the details of (...) fundamental particle physics so much so that they cannot be relied upon. (shrink)

Intrinsicality is a central notion in metaphysics that can do important work in many areas of philosophy. It is not widely appreciated, however, that there are in fact a number of different notions of intrinsicality, and that these different notions differ in what work they can do. This paper discusses what these notions are, describes how they are related to each other, and argues that each of them can be analysed in terms of a single notion of intrinsic aboutness that (...) relates states of affairs to the things they are intrinsically about. (shrink)

It is often held that identity properties like the property of being identical to Paris are intrinsic. It is also often held that, while some logically uninstantiable properties are intrinsic, some logically uninstantiable properties are non-intrinsic. The combination of these views, however, raises a problem, since virtually every existing account of intrinsicality fails to analyse a notion of intrinsicality on which both these views are true. In this paper, I argue that, given the orthodox theory of counterlogicals, there is no (...) notion of intrinsicality on which both these views are true. If this argument is sucessful, then, at least given orthodoxy about counterlogicals, we face no challenge in analysing a notion of intrinsicality on which both these views are true, since there is no such notion. In addition, if we are also convinced that there is a notion of intrinsicality on which one of these views is true and a notion of intrinsicality on which the other of these views is true, we should hold that there is more than one notion of intrinsicality. (shrink)

An intrinsic property is roughly a property things have in virtue of how they are, as opposed to how they are related to things outside of them. This paper argues that it is not possible to give a definition of 'intrinsic' that involves only logical, modal and mereological notions, and does not depend on any special assumptions about either properties or possible worlds.

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties in terms of the facts about naturalness. This article discusses the three most influential of these attempts, each of which involve David Lewis. These are Lewis's 1983 analysis, his 1986 analysis, and his joint 1998 analysis with Rae Langton.

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties. This article discusses three leading attempts to analyse this distinction that don’t appeal to the notion of nat-uralness: the duplication analysis endorsed by G. E. Moore and David Lewis, Peter Vallentyne’s analysis in terms of contractions of possible worlds, and the analysis of Gene Witmer, William Butchard and Kelly Trogdon in terms of grounding.

The leading account of intrinsicality over the last thirty years has arguably been David Lewis's account in terms of perfect naturalness. Lewis's account, however, has three serious problems: i) it cannot allow necessarily coextensive properties to differ in whether they are intrinsic; ii) it falsely classifies non-qualitative properties like being Obama as non-intrinsic; and iii) it is incompatible with a number of metaphysical theories that posit irreducibly non-categorical properties. I argue that, as a result of these problems, Lewis's account should (...) be rejected and replaced with an alternative account, which also analyses intrinsicality in terms of perfect naturalness, but which avoids these problems. (shrink)

I argue that the growing-block theory of time and truthmaker maximalism jointly entail that some truthmakers undergo mereological change as time passes. Central to my argument is a grounding-based account of what I call the “purely incremental” nature of the growing-block theory of time. As I will show, the argument presented in this paper suggests that growing-block theorists endorsing truthmaker maximalism have reasons to take composition to be restricted and the “block” of reality to literally grow as time goes by.

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)

Let an X/Y distinction be a distinction between kinds of properties, such as the distinctions between qualitative and non-qualitative, intrinsic and extrinsic, perfectly natural and less-than-perfectly natural or dispositional and categorical properties. An X/Y distinction is hyperintensional iff there are cointensional properties P and Q, such that P is an X-property, whereas Q is a Y-property. Many accounts of metaphysical distinctions among properties presuppose that such distinctions are non-hyperintensional. In this paper, I call this presupposition into question. I develop a (...) sufficient condition for the hyperintensionality of X/Y distinctions and argue that this condition is satisfied by a number of standard classifications of properties. It follows that non-hyperintensional analyses of distinctions among properties are harder to defend than is often assumed. (shrink)

In "How to Define Intrinsic Properties" I offered a relational account of the intrinsic/extrinsic distinction. The basic idea is that F is an intrinsic property of an item x just in case x’s having F consists entirely in x’s having certain internal properties, where an internal property is one whose instantiation does not consist in one’s relation to any distinct items (items other than oneself and one’s proper parts). I still think that this relational analysis is largely correct, and here (...) I provide additional support for it and defend it against some objections that have been raised. In the process I aim to make the account somewhat more precise, especially by contrasting it with a grounding approach to defining the intrinsic/extrinsic distinction. (shrink)

Three competing ‘methods’ have been endorsed for inferring phylogenetic hypotheses: parsimony, likelihood, and Bayesianism. The latter two have been claimed superior because they take into account rates of sequence substitution. Can rates of substitution be justified on its own accord in inferences of explanatory hypotheses? Answering this question requires addressing four issues: (1) the aim of scientific inquiry, (2) the nature of why-questions, (3) explanatory hypotheses as answers to why-questions, and (4) acknowledging that neither parsimony, likelihood, nor Bayesianism are inferential (...) actions leading to explanatory hypotheses. The aim of scientific inquiry is to acquire causal understanding of effects. Observation statements of organismal characters lead to implicit or explicit why-questions. Those questions, conveyed in data matrices, assume the truth of observation statements, which is contrary to subsequently invoking substitution rates within inferences to phylogenetic hypotheses. Inferences of explanatory hypotheses are abductive in form, such that some version of an evolutionary theory(ies) is/are included or implied. If rates of sequence evolution are to be considered, it must be done prior to, rather than within abduction, which requires renaming those putatively-shared nucleotides subject to substitution rates. There are, however, no epistemic grounds for renaming characters to accommodate rates, calling into question the legitimacy of causally accounting for sequence data. (shrink)

A number of authors have suggested that a conditional analysis of dispositions must take roughly the following form: Thing X is disposed to produce response R to stimulus S just in case, if X were exposed to S and surrounding circumstances were auspicious, then X would produce R. The great challenge is cashing out the relevant notion of ‘auspicious circumstances’. I give a general argument which entails that all existing conditional analyses fail, and that there is no satisfactory way to (...) define ‘auspicious circumstances’ just in terms of S, R, and X. Instead, I argue that the auspicious circumstances C for the manifestation of a disposition constitute a third irreducible element of that disposition, and that to pick out (or to ‘individuate’) that disposition one must specify C along with S and R. This enables a new conditional analysis of dispositions that gives intuitively satisfying answers in cases that pose problems for other approaches. (shrink)

Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that these (...) views face. It will be suggested that logical realism is best understood as a metaphysical view about the logical structure of the world, but this raises an important question: does logical realism collapse into standard metaphysical realism? It will be argued that this result can be accommodated, even if it cannot be altogether avoided. (shrink)

On the basis of what I call physico-formalist philosophy of mathematics, I will develop an amended account of the Kantian–Reichenbachian conception of constitutive a priori. It will be shown that the features attributed to a real object are not possessed by the object as a “thing-in-itself”; they require a physical theory by means of which these features are constituted. It will be seen that the existence of such a physical theory implies that a physical object can possess a property only (...) if other contingently existing physical objects exist; therefore, the intrinsic–extrinsic distinction is flawed. (shrink)

In this paper I investigate the claim that truth is a relational property. What does this claim really mean? What is its import?—Is it a basic feature of the concept of truth; or a distinctive feature of the correspondence theory of truth; or even both? After introducing some general ideas about truth, I begin by highlighting an ambiguity in current uses of the term ‘relational property’ in the truth debate, and show that we need to distinguish two separate ideas: that (...) truth is a relational property, and that truth is an extrinsic property. I go on to examine what both of these ideas are in more detail, and consider what would need to hold for truth to be in either of these categories. I then discern where all the main competitors in the truth debate stand on these issues. In doing so we learn more about these views and what they entail, and build a general picture of what stances different theories of truth take on whether truth is extrinsic or relational. Moreover, in doing this we will be able to answer one of the questions with which we began: whether truth’s being extrinsic or relational is something that, if accepted, lends support to the correspondence theory of truth. We will see that this is not so, and discern some interesting variations between various theories of truth on the issues of whether truth is extrinsic or relational. Following this we will be in a better position to judge whether the notions of extrinsicality or relationality are basic features of the concept of truth. In the final part of the paper I argue that, even if we are not in a position to conclude that they are basic features, they are features that any prospective theory of truth needs to take seriously. (shrink)

The standard counterexamples to David Lewis’s account of intrinsicality involve two sorts of properties: identity properties and necessary properties. Proponents of the account have attempted to deflect these counterexamples in a number of ways. This paper argues that none of these moves are legitimate. Furthermore, this paper argues that no account along the lines of Lewis’s can succeed, for an adequate account of intrinsicality must be sensitive to hyperintensional distinctions among properties.

Do properties have intrinsic properties of their own? If so, which second-order properties are intrinsic? This paper introduces two competing views about second-order intrinsicality: generalism, according to which the intrinsic–extrinsic distinction cuts across all orders of properties and applies to the properties of properties as well as the properties of objects, and objectualism, according to which intrinsicality is a feature exclusive to the properties of objects. The case for generalism is then surveyed along with some proposals for distinguishing intrinsic second-order (...) properties from extrinsic ones. After addressing these broad questions about the nature of second-order intrinsicality, the Problem of Accidental Intrinsic Properties of Properties is introduced and put to work as a case study for the significance of second-order intrinsicality. The connection between this problem and the metaphysics of quantitative properties is then examined. (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

This paper introduces a framework for thinking about ontological questions—in particular, the Special Composition Question—and shows how the framework might help support something like an account of restricted composition. The framework takes the form of an account of natural objects, in analogy with David Lewis’s account of natural properties. Objects, like properties, come in various metaphysical grades, from the fundamental, fully objective, perfectly natural objects to the nomologically otiose, maximally gerrymandered, perfectly non-natural objects. The perfectly natural objects, I argue, are (...) the mereological simples, and (roughly) a collection composes an object of degree-n naturalness if and only if its members are arranged F-wise, for some property F that appears in the degree-n natural laws. Arbitrary composites turn out to be perfectly non-natural objects and are metaphysical bystanders. Ordinary composite objects fall in between. Some—e.g., atoms—are very (though not perfectly) natural; others—e.g., tables—are highly non-natural. (shrink)

A property, F, is maximal iff, roughly, large parts of an F are not themselves Fs.' Maximality makes trouble for a recent analysis of intrinsicality by Rae Langton and David Lewis.

During the second half of the nineteenth century, electronegativity has been one of the most relevant chemical concepts to explain the relationships between chemical substances and their possible reactions. Specifically, EN is a property of the substances that allows them to attract external electrons in bonding situations. The problem arises because EN cannot be measured directly. Indeed, the only way to measure it is through different properties that do can be directly measured, for instance enthalpy, ionization energies or electron affinities. (...) What is particularly troubling about this case in quantum chemistry is that the different models used to describe and quantify EN are incompatible but, in a certain sense, equivalent because the same EN scale results in all of them. By analyzing Linus Pauling’s and Robert Mulliken’s models of EN, it will be argued that, if we remain cling to a traditional representative conception of models, we cannot understand the meaning of the information provided by those models. Indeed, if we do not want to adopt an instrumentalist point of view concerning chemical knowledge, we should reconsider by virtue of what a model represents the system, or, in other words, which the factors that determine the representative power of a model are. I will propose a new perspective that incorporates the role of experimental techniques in the very notion of representation; this perspective allows us to understand how supposedly incompatible models of the same target system can be both simultaneously representative. (shrink)

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

The notion of fundamentality, as it is used in metaphysics, aims to capture the idea that there is something basic or primitive in the world. This metaphysical notion is related to the vernacular use of “fundamental”, but philosophers have also put forward various technical definitions of the notion. Among the most influential of these is the definition of absolute fundamentality in terms of ontological independence or ungroundedness. Accordingly, the notion of fundamentality is often associated with these two other technical notions.

This dissertation draws upon historical studies of scientific practice and contemporary issues in the metaphysics and epistemology of science to account for the nature of physical quantities. My dissertation applies this integrated HPS approach to dimensional analysis—a logic for quantitative physical equations which respects the distinct dimensions of quantities (e.g. mass, length, charge). Dimensional analysis and its historical development serve both as subjects of study and as a sources for solutions to contemporary problems. The dissertation consists primarily of three related (...) papers on: (1) the methodological and metaphysical foundations of dimensional analysis, (2) the use of dimensional analysis in determining physical symmetries, (3) the use of dimensional analysis in securing metrological extension. (shrink)

In this paper a symmetry argument against quantity absolutism is amended. Rather than arguing against the fundamentality of intrinsic quantities on the basis of transformations of basic quantities, a class of symmetries defined by the Π-theorem is used. This theorem is a fundamental result of dimensional analysis and shows that all unit-invariant equations which adequately represent physical systems can be put into the form of a function of dimensionless quantities. Quantity transformations that leave those dimensionless quantities invariant are empirical and (...) dynamical symmetries. The proposed symmetries of the original argument fail to be both dynamical and empirical symmetries and are open to counterexamples. The amendment of the original argument requires consideration of the relationships between quantity dimensions. The discussion raises a pertinent issue: what is the modal status of the constants of nature which figure in the laws? Two positions, constant necessitism and constant contingentism, are introduced and their relationships to absolutism and comparativism undergo preliminary investigation. It is argued that the absolutist can only reject the amended symmetry argument by accepting constant necessitism. I argue that the truth of an epistemically open empirical hypothesis would make the acceptance of constant necessitism costly: together they entail that the facts are nomically necessary. (shrink)

A survey of the connection between grounding and modality, in particular supervenience. The survey explores three possible connections between grounding and supervenience: (1) supervenience can be analyzed in terms of grounding, (2) grounded facts supervene on their grounds, and (3) grounding and supervenience overlap in their theoretical roles.

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

We have some of our properties purely in virtue of the way we are. (Our mass is an example.) We have other properties in virtue of the way we interact with the world. (Our weight is an example.) The former are the intrinsic properties, the latter are the extrinsic properties. This seems to be an intuitive enough distinction to grasp, and hence the intuitive distinction has made its way into many discussions in philosophy, including discussions in ethics, philosophy of mind, (...) metaphysics, epistemology and philosophy of physics. Unfortunately, when we look more closely at the intuitive distinction, we find reason to suspect that it conflates a few related distinctions, and that each of these distinctions is somewhat resistant to analysis. (shrink)

Many contemporary philosophers endorse the Humean-Lewisian Denial of Absolutely Necessary Connections (‘DANC’). Among those philosophers, many deny all or part of the Humean-Lewisian package of views about causation and laws. I argue that they maintain an inconsistent set of views. DANC entails that (1) causal properties and relations are, with a few possible exceptions, always extrinsic to their bearers, (2) nomic properties and relations are, with a few possible exceptions, always extrinsic to their bearers, and (3) causal and nomic properties (...) and relations globally supervene on non-causal, non-nomic properties and relations. Hence, one can’t be a consistent Half-Hearted Humean. Consistency demands giving up the core Humean thesis or facing up to its consequences. The upshot is that we face a stark choice: either there are absolutely necessary connections between distinct existents or it’s "just one damn thing after another.". (shrink)

David Lewis proposed to deal with the semantics of sentences that state what is possible for an individual in terms of possible individuals that are in ways the first individual might have been, so called counterparts of the individual. In this book, I defend counterpart semantics as an approach to the semantics of modality and natural language semantics in particular. Counterpart semantics has a rival, the standard Kripkean semantics that deals with the same sentences in terms of an accessibility relation (...) between possible worlds. While counterpart semantics appears to be more flexible and carries less metaphysical presuppositions (it does not presuppose that I myself exist in various possible worlds, e.g.), Kripkean semantics has some advantages of its own. Most importantly, it incorporates the core assumptions of what may be called standard possible-worlds semantics; i.e. the core assumptions of the most successful framework within linguistic semantics. Counterpart semantics, on the other hand, does not conform to these assumptions, or so I will argue. In this book I opt for a synthesis of these two approaches that allows to combine their advantages. In Chap.1 I introduce the basic idea of counterpart semantics. I defend counterparts against the charge, made by Kripke, that counterparts are irrelevant for the analysis of modality. In Chap. 2 I present the classical version of counterpart semantics, i.e. David Lewis's translation of the language of quantified modal logic into counterpart theory. I discuss some well-known problems and opt for a revision of that translation that is able to solve the problems. Lewis's translation indirectly defines semantical values for expressions of quantified modal logic. In Chap.3 I evaluate counterpart semantics with respect to basic features of possible-worlds semantics. I conclude that the semantical values indirectly assigned to sentences by Lewis's translation are not sets of possible worlds, and that they do not meet certain intuitive demands on notions of meaning and content. (The revisions proposed in Chap.2 do not change this.) In Chap.4 I discuss various versions of a combination of counterpart semantics with Kripkean semantics found in the literature. But I conclude that here, the benefits of the latter are achieved by forfeiting the advantages of the former. Chap.5 finally contains my own proposal how to combine the two approaches in a more satisfactory way. The core semantical notion is truth according to a maximal complete representation, where representations now play the role of worlds. It is an important feature of the counterpart relation that it is qualitative, i.e. a relation in which things stand in virtue how they are. In Chap.1 I point out why it is qualitative, and why it ought to be. In Chap.6 I show how to make the notion of a qualitative property or relation precise. Finally, in Chap.7 I show how to extend this and related notions to predicates and propositions. For counterpart semantics to work at all we have to assume that everything that can be said at all can in principle be expressed in a language with qualitative predicates only (and perhaps, additionally, names, treated directly referentially). In Chap.7 I show how this assumption allows to maintain that the representations of our semantics deserve their name. (shrink)

Ever since David Lewis argued for the indispensibility of natural properties, they have become a staple of mainstream metaphysics. This dissertation is a critical examination of natural properties. What roles can natural properties play in metaphysics, and what structure do natural properties have? In the first half of the dissertation, I argue that natural properties cannot do all the work they are advertised to do. In the second half of the dissertation, I look at questions relating to the structure of (...) natural properties. I argue that the metric structure of fundamental quantitative properties cannot be reduced to mereological structure, and I argue that the simplistic picture of natural properties as monadic must be abandoned in light of theories of fundamental physics. (shrink)

Many recent accounts of the ontology of groups, institutions, and practices have touched upon the normative or deontic dimensions of social reality (e.g., social obligations, claims, permissions, prohibitions, authority, and immunity), as distinct from any specifically moral values or obligations. For the most part, however, the ontology of such socio-deontic phenomena has not received the attention it deserves. In what sense might a social obligation or a claim exist? What is the ontological status of such an obligation (e.g., is it (...) an entity in its own right)? And how do people come to have social obligations or permissions in the first place? In this dissertation, I argue that such social-deontic phenomena can be accounted for ontologically in terms of the existence of shared prescriptive representational content that is backed by collectively held dispositions to monitor for compliance, and to punish (sanction, blame, chide, look unfavorably upon) those who fail to comply. (shrink)

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.