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)

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)

In this paper, we argue that the popular claim that laws of nature explain their instances creates a philosophical puzzle when it is combined with the widely held requirement that explanations need to be underpinned by ‘wordly’ relations. We argue that a “direct solution” to the puzzle that accounts for both explanatory laws and explanatory realism requires endorsing at least a radical metaphysics. Then, we examine the ramifications of a “skeptical solution”, i.e., dissolving it by giving up at least one (...) of these two claims, and argue that adopting it is more favorable to Humean reductionists than to anti-reductionists about laws of nature. (shrink)

The aim of this essay is to outline a conceptual framework for a type of philosophy (or approach to philosophy) to be herein called “non-sentential philosophy.” Although I will primarily concern myself with the conceptual coherence of the framework in this essay, illustrations will be provided to show that the notion has rich implications for comparative studies. In particular, I believe this theoretical framework will be of interest to those looking for a way to capture the differences between certain non-Western (...) philosophical traditions—such as Chinese philosophy—and Western philosophy, a tradition in which the sentential approach is dominant. (shrink)

Universal Bundle Theory holds that objects are fundamentally identical with bundles of universals. Universals are multiply instantiable properties. One popular objection to UBT concerns the possibility of distinct indiscernibles. There are mainly two replies in the literature, corresponding to two representative UBTs, which I shall call the Identity-View and the Instance-View. Each view faces serious problems. This paper proposes a new version of UBT and argues that it is better than these other two versions.

The central claim of this essay is that many deflationary theories of truth are variants of the correspondence theory of truth. Essential to the correspondence theory of truth is the proposal that objective features of the world are the truthmakers of statements. Many advocates of deflationary theories (including F. P. Ramsay, P. F. Strawson and Paul Horwich) remain committed to this proposal. Although T-sentences (statements of the form “ s is true iff p ”) are presented by advocates of deflationary (...) theories of truth as truisms or analytic truths, T-sentences are often understood as entailing commitment to the central proposal of the correspondence theory. (shrink)

Are the special sciences autonomous from physics? Those who say they are need to explain how dependent special science properties could feature in irreducible causal explanations, but that’s no easy task. The demands of a broadly physicalist worldview require that such properties are not only dependent on the physical, but also physically realized. Realized properties are derivative, so it’s natural to suppose that they have derivative causal powers. Correspondingly, philosophical orthodoxy has it that if we want special science properties to (...) bestow genuinely new causal powers, we must reject physical realization and embrace a form of emergentism, in which such properties arise from the physical by mysterious brute determination. In this paper, I argue that contrary to this orthodoxy, there are physically realized properties that bestow new causal powers in relation to their realizers. The key to my proposal is to reject causal-functional accounts of realization and embrace a broader account that allows for the realization of shapes and patterns. Unlike functional properties, such properties are defined by qualitative, non-causal specifications, so realizing them does not consist in bestowing causal powers. This, I argue, allows for causal novelty of the strongest kind. I argue that the molecular geometry of H2O—a qualitative, multiply realizable property—plays an irreducible role in explaining its dipole moment, and thereby bestows novel powers. On my proposal, special science properties can have the kind of causal novelty traditionally associated with strong emergence, without any of the mystery. (shrink)

In trying to establish the view that there are no non-living macrophysical objects, Trenton Merricks has produced an influential argument—the Overdetermination Argument—against the causal efficacy of composite objects. A serious problem for the Overdetermination Argument is the ambiguity in the notion of overdetermination that is being employed, which is due to the fact that Merricks does not provide any theory of causation to support his claims. Once we adopt a plausible theory of causation, viz. interventionism, problems with the Overdetermination will (...) become evident. After laying out the Overdetermination Argument and examining one extant objection to it, I will explicate the relevant aspects of an interventionist theory of causation and provide a characterization of overdetermination that follows from such an account. From this, I will argue that the Causal Principle that undergirds the Overdetermination Argument is false and hence the argument is invalid; and I claim that the only other available characterization of overdetermination would render a key premise in the argument false. Thus, the Overdetermination Argument fails to provide us with any reason to deny the causal efficacy of macrophysical objects, and therefore provides no reason to doubt their existence. (shrink)

Correspondence theories are frequently either too vaguely expressed – “true statements correspond to the way things are in the world,” or implausible – “true statements mirror raw, mind-independent reality.” I address this problem by developing features and roles that ought to characterize what I call ldquo;modest” correspondence theories. Of special importance is the role of correspondence in directing our responses to cases of suspected non-factuality; lack of straightforward correspondence shows the need for, and guides us in our choice of, various (...) kinds of reconstrual projects. This, I argue, is in contrast to the approaches suggested by deflationism and coherence, and thus modest correspondence theories are appropriately distinct from rivals. (shrink)

This paper discusses some procedures developed in recent work in machine learning for inferring causal direction from observational data. The role of independence and invariance assumptions is emphasized. Several familiar examples including Hempel’s flagpole problem are explored in the light of these ideas. The framework is then applied to problems having to do with explanatory direction in non-causal explanation.

Arguing against the claim that every dispositional property is grounded in some property other than itself, Stephen Mumford presents what he calls the ‘Ungrounded Argument’. If successful, the Ungrounded Argument would represent a major victory for anti-Humean metaphysics over its Humean rivals, as it would allow for the existence of primitive modality. Unfortunately, Humeans need not yet be worried, as the Ungrounded Argument is itself lacking in grounding. I indicate where Mumford’s argument falls down, claiming that even the dispositions of (...) the simplest particles can have categorical bases. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

When it comes to scientific explanation, our parsimonious tendencies mean that we focus almost exclusively on those dispositions whose manifestations result in some sort of change – changes in properties, locations, velocities and so on. Following this tendency, our notion of causation is one that is inherently dynamic, as if the maintenance of the status quo were merely a given. Contrary to this position, I argue that a complete concept of causation must also account for dispositions whose manifestations involve no (...) changes at all, and that a causal theory that fails to include these ‘static’ dispositions alongside the dynamic ones renders static occurrences miraculous. (shrink)

Bare particularism is a constituent ontology according to which substances—concrete, particular objects like people, tables, and tomatoes—are complex entities constituted by their properties and their bare particulars. Yet, aside from this description, much about bare particularism is fundamentally unclear. In this paper, I attempt to clarify this muddle by elucidating the key metaphysical commitments underpinning any plausible formulation of the position. So the aim here is primarily catechismal rather than evangelical—I don’t intend to convert anyone to bare particularism, but, by (...) looking at a series of questions, to instead specify what, if one is a bare particularist, one is committed to. Along the way, I address three major objections: a classic objection about whether bare particulars have properties, a new objection raised by Bailey, and an understanding objection that questions some of the position’s resources. (shrink)

Considerations upon the nature of properties and laws have led some philosophers to claim that the correct epistemic attitude with regards to the intrinsic properties of particulars is scepticism. I examine one particularly clear version of this line of argument, and contend that a serious form of scepticism is not established. However, I argue that the theories of properties and laws underlying the argument have unwanted metaphysical implications. These provide a stronger reason to jettison the analyses. I end by sketching (...) an alternative view that avoids these difficulties. -/- . (shrink)

I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.

This paper considers the philosophical interpretation of the concept of svabhāva, sometimes translated as 'inherent existence' or 'own-being', in the Madyamaka school of Buddhist philosophy. It is argued that svabhāva must be understood as having two different conceptual dimensions, an ontological and a cognitive one. The ontological dimension of svabhāva shows it to play a particular part in theories investigating the most fundamental constituents of the world. Three different understandings of svabhāva are discussed under this heading: svabhāva understood as essence, (...) as substance, and as the true nature of phenomena (absolute svabhāva). The cognitive dimension shows svabhāva as playing an important rôle in our everyday conceptualization of phenomena. Svabhāva is here seen as a superimposition (samāropa) which the mind projects onto the world. (shrink)

This paper discusses a somewhat neglected reading of the second chapter of Nāgārjuna’s Mūlamadhyamakakārikā, arguing that the main focus of a crucial part is a particular theory of properties and their relation to individuals they instantiate, rather than the refutation of specific assumptions about the nature of space and time. Some of Nāgārjuna’s key arguments about motion should be understood as argument templates in which notions other than mover, motion, and so forth could be substituted. The remainder of the discussion (...) of motion does not serve quasi-Zenonian purposes either but uses motion as a principal example of change and considers the soteriological problems of the subject moving (gati) through transmigratory existence (saṃsāra). I attempt to show how this interpretation coheres with Nāgārjuna’s overall philosophical project. (shrink)

This paper answers a philosophical challenge that emerges when we problematize the seemingly trivial "fact" that, on the one hand, through our senses we are presented with a realm that is not of our own making; while, on the other hand, various perceivers are acquainted with diverse presentations of this realm, depending on their perspective and cognitive machinery. The challenge is dubbed here the problem of presentations. The paper draws on the idea of situation-dependent properties proposed by Susanna Schellenberg. However, (...) the paper takes the notion of situation more seriously and introduces a number of basic notions borrowed from situated cognition—a cluster of ideas that have recently emerged in the philosophy of mind. These make it possible to introduce the perceiver in such a way as not to endanger the objective character of situation-dependent properties. Thought of this way, situation-dependent properties are in turn described as the building blocks of presentations. (shrink)

A satisfactory account of the nature of health is important for a wide range of theoretical and practical reasons. No theory offered in the literature thus far has been able to meet all the desiderata for an adequate theory of health. This article introduces a new theory of health, according to which health is best defined in terms of dispositions at the level of the organism as a whole. After outlining the main features of the account and providing formal definitions (...) of ‘health’, ‘healthy’, and ‘healthier than’, I present the main strengths of the proposed account. I argue that the proposed dispositional theory accounts for all paradigm cases of health and pathology, that it circumvents a number of problems faced by rival theories, and that it makes for a naturalistic theory of health with a rigorous metaphysical underpinning. 1Introduction 2The Dispositional Account 3Further Specification of the Dispositional Account 3.1Reference classes 3.2Comparison classes 3.3Which dispositions? 4Advantages of the Dispositional view 5Three Objections and Replies 5.1Objection 1: Counter-examples 5.2Objection 2: Issues with holism 5.3Objection 3: Expediting medicalization 6Final Remarks. (shrink)

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

Dispositionality is a modal notion of a certain sort. When an object is said to have a disposition, we typically understand this to mean that under certain circumstances, the object would behave in a certain way. For instance, a fragile object is disposed to break when dropped onto a concrete surface. It need not actually break - its being fragile has implications that, so to speak, point beyond the actual world. According to dispositionalism, all modal features of the world may (...) be accounted for in terms of its dispositional features. My aim in this paper is to assess the prospects for dispositionalism by examining the most promising theories. Sections 1 and 2 clarify the assumptions and desiderata of a successful dispositionalist theory of modality. Section 3 introduces the principles governing the dispositionalist theories that apparently meet the desiderata. Sections 4 through 6 show that dispositionalism nonetheless faces three problems: while dispositions help account for modal features of the world that are local, diachronic, or gradable, they cannot account for certain modal features of the world that are global, synchronic, or absolute. I end by discussing the costs of preserving dispositionalism. (shrink)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender of FEMF (...) should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (shrink)

In this review essay, I examine the central tenets of sociologist Dave Elder-Vass’s recent contribution to social ontology, as put forth in his book The Causal Power of Social Structures: Emergence, Structure and Agency. Elder-Vass takes issue with ontological individualists and maintains that social structures exist and have causal powers in their own right. I argue that he fails to establish his main theses: he shows neither that social structures have causal powers “in their own right” (in any sense of (...) this expression) nor that they exist. (shrink)

The present paper addresses Molnar’s problem :72–86, 2000): that of finding positive truthmakers for negative truths. The proposed solution, called, is to hold truth and falsity to be primitive and positive features of propositions and to take every literal negative truth to be made true by the falsity of the atomic proposition that it embeds. The solution is shown to be compatible with Maximalism, Necessitarianism and with the Entailment Thesis, as well as with most if not all possible variants of (...) truthmaking theory. Other advantages of are noted: it doesn’t require the inclusion of exotic objects in one’s ontology; it doesn’t require any revision of one’s logic or of one’s theory of modality. The solution also allows one to eschew negative facts, tropes and properties while providing a definition of negativity for certain literal propositions. The paper ends by rebutting several objections that may be levelled against. (shrink)

Truthmakers, truth conditions, and analyses are closely related, but distinct in rather important ways. A failure to properly appreciate their differences has led to some confusion regarding the role that possible worlds ought to play with respect to modality. Those philosophers who initially proposed the existence of possible worlds were understood as providing an analysis of modality. More recently, many have interpreted them as providing modal truthmakers. But, possible worlds are only suited to serve as truth conditions for modal truths. (...) My goals are as follows: First, to dispel this confusion by detailing the differences between these three concepts. Second, to apply the lesson learned to the famous Humphrey objection against possible worlds. While this objection, if successful, does undermine Lewisian modal realism, it only partially undermines ersatzism, and leaves available a route by which ersatzers may avoid the objection altogether. (shrink)

In my (2020), I criticize how Meinertsen in Metaphysics of States of Affairs treats the main ‘internal’ problem of his state of affairs ontology: the problem of unity. In this note, I consider instead some questions about Meinertsen’s approach to one of his important ‘external’ problems: the problem of non-substantial change.

Baxter (Australas J Philos 79: 449-464, 2001) proposes an ingenious solution to the problem of instantiation based on his theory of cross-count identity. His idea is that where a particular instantiates a universal it shares an aspect with that universal. Both the particular and the universal are numerically identical with the shared aspect in different counts. Although Baxter does not say exactly what a count is, it appears that he takes ways of counting as mysterious primitives against which different numerical (...) identities are defined. In contrast, I defend the idea— suggested, though not quite endorsed, by Baxter himself—that counts are independent dimensions of numerical identity. Different ways of counting are explained by the existence of these different sorts of identity (i.e., counts). For the instantiation of a universal by a particular, I propose one dimension concerned with the individuation of particulars (the p-count) and another dimension concerned with the individuation of universals (the u-count). On that basis, I give a clear definition of cross-count identity that explains its asymmetrical nature (i.e., the fact that particulars instantiate universais, but not vice versa). I extend the theory to a third dimension—that of time, or the t-count—and thereby defend Baxter's ideas on change, and the contingency of instantiation. Baxter (Mind 97(388): 575-582, 1988; Australas J Philos 79: 449-464, 2001) proposes the related idea of composition as (cross-count) identity. Parts are individually cross-count identical with the wholes that they constitute, and they collectively share all aspects across counts with those wholes. I propose an innovation by which totality is shared distinctness across counts. The theory applies to both the totality of particulars that instantiate any given universal, and the totality of parts that constitute any given whole. I argue that this has several advantages over Armstrong's view, which is based on a dubious external totalling relation. I also argue that Armstrong's theory of numbers (or quantities) as internal relations ought to be rejected in favour of an account based on identity and distinctness. The paper concludes with a careful analysis of external relations in Baxter's framework. I argue that we must recognise one further dimension of identity in order to differentiate between, e.g., the aspects of Abelard insofar as he loves Heloise and Abelard insofar as he loves Isobel. Each of these aspects is identical with Abelard and identical with loving-by, yet they must be in some way distinct. I therefore propose the r-count, in which multiple distinct relational properties are the very same relation (-part). The existence of these four independent dimensions explains the fact that particulars, universals, relations, and times are fundamentally different sorts of things in the ontology. Each is individuated with respect to a different dimension of identity. (shrink)

Proponents of the dispositional theory of properties typically claim that their view is not one that offers a realist, governing conception of laws. My first aim is to show that, contrary to this claim, if one commits to dispositionalism then one does not automatically give up on a robust, realist theory of laws. This is because dispositionalism can readily be developed within a Platonic framework of universals. Second, I argue that there are good reasons for realist dispositionalists to favour a (...) Platonic view. This is because the alternative Aristotelian version of dispositionalism, on which universals are immanent entities, is unstable for various reasons. My final aim is to address a common criticism facing Platonic theories of laws, which is the problem of how external entities can play an explanatory role where the world’s law-like patterns of behaviour are concerned. I argue that the Platonists’ response to the one over many problem can help to shed light on this matter, and a possible solution is sketched, one which makes use of the notions of essence, constitution and ontological dependence. (shrink)

Barker and Smart have argued that dispositional monism is just as susceptible to the ultimate regress problem as Armstrong’s contingent necessitation view of laws. In this response, I consider what implications this conclusion has for the dispositional essentialist project more generally. I argue that it is the monistic aspect of dispositional monism, rather than the dispositional essentialist aspect, which is the source of the problem raised by Barker and Smart. I then outline a version of dispositional essentialism which avoids the (...) ultimate problem by avoiding the commitment to monism. Despite the article by Barker and Smart, it is not time to give up on the dispositionalist project yet. (shrink)

Nomic realists have traditionally put laws to work within a theory of natural modality, in order to provide a metaphysical source for causal necessitation, counterfactuals, and dispositions. However, laws are well-suited to perform other work as well. Necessitation is a widespread phenomenon and includes cases of categorial, conceptual, grounding, mathematical and normative necessitation. A permissive theory of universals allows us to extend nomic realism into these other domains. With a particular focus on grounding necessitation, it is argued that the sorts (...) of reasons for positing laws in the natural causal domain also apply in other domains. Laws might well be the source of all first-order modality. (shrink)

A popular version of anti-Humeanism is one that views fundamental properties as being irreducibly dispositional in nature, and it is a view to which I am attracted. Proponents of this view typically object to Humean regularity theories of laws on the basis that they do not explain why our world is regular rather than chaotic from moment to moment. It is thought that, for this reason, Humeanism does not provide firm enough foundations for induction. However, in this paper I argue (...) that it is far from clear how these anti-Humeans can themselves explain this regularity. This is because it is far from clear how they can explain why the entities in our world do not change their dispositional properties arbitrarily over time. This is a neglected problem, which I call the retention problem. In an attempt to solve this problem, several naturalistic explanations of retention are explored. Unfortunately, none of these explanations is free of problems, showing that dispositional forms of anti-Humeanism may not have as many advantages as some have assumed where the problem of induction is concerned. (shrink)

Necessitarianism, as we shall use the term, is the view that natural properties and causal powers are necessarily connected in some way. In recent decades the most popular forms of necessitarianism have been the anti-Humean powers-based theories of properties, such as dispositional essentialism and the identity theory. These versions of necessitarianism have come under fire in recent years and I believe it is time for necessitarians to develop a new approach. In this paper I identify unexplored ways of positing metaphysically (...) necessary connections in nature, using the concepts of grounding and essential dependence. For example, I show that one could be a necessitarian by insisting that the properties of things necessarily ground their powers, and that one can maintain this while rejecting dispositional essentialism. Using different combinations of claims about grounding and essential dependence, I map out a spectrum of new positions and compare them to previous theories of natural modality. Some of these positions are compatible with Humean metaphysics while others are not. The overall aim of the paper is to provide a new metaphysical framework for understanding theories of powers and thereby launch a new necessitarian research programme. (shrink)

Recently, Choi has argued that current accounts of intrinsically finkable dispositions lead to absurd consequences in certain everyday cases. In this paper I offer a new argument for the existence of intrinsically finkable dispositions, one which provides a new way of testing for the presence of such dispositions. It is then argued that, with this new test in place, Choi’s examples no longer present a problem for the view that some dispositions are intrinsically finkable.

Traditionally, many arguments for realism about properties rely on a priori claims. The author argues that if we make use of an abductive principle that is commonly employed by scientific realists, a new argument for property realism can be formulated which is based firmly in scientific practice. The abductive principle says that we should believe in the existence of certain theoretical entities if they figure in the best explanation for what scientists observe. The scientific argument for property realism then says (...) that the best explanation for various behavioural patterns that physical scientists observe is that microscopic entities instantiate stable, causally efficacious properties. After presenting the argument, the author defends it against possible objections. More generally, the article provides a case study for how science and metaphysics can work together to generate ontological claims. (shrink)

Dispositional realism, as we shall use the term, is a non-reductive, anti-Humean approach to dispositions which says that natural properties confer certain dispositions as a matter of metaphysical necessity. A strong form of dispositional realism is known as pan-dispositionalism, which is typically interpreted as the view that all natural properties are identical with, or essentially dependent on, dispositions. One of the most serious problems facing pan-dispositionalism is the conceivability objection, and the solution commonly offered by essentialists employs the so-called redescription (...) strategy. In this paper I argue that this orthodox strategy fails in certain cases. This argument, in turn, shows that essentialist forms of dispositional realism are implausible. The discussion points us towards an improved version of dispositional realism. According to this new version, natural properties are not essentially dispositional but necessarily ground dispositions. (shrink)

Characterization of a form of explanation involving grounding on the model of mechanistic causal explanation.