Ostrich presentists maintain that we can use all the expressive resources of the tensed language to provide an explanation of why true claims about the past are true, without thereby paying any price in terms of ontology or basic ideology. I clarify the position by making a distinction between three kinds of explanation, which has general interest and applicability. I then criticize the ostrich position because it requires an unconstrained version of the third form of explanation, which is out of (...) place in metaphysics. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

Metaphysical semantics is supposed to connect the nonfundamental to the fundamental in a distinctively “linguistic” way, explaining how nonfundamental truths can be grounded in fundamental facts , and so inducing a radically eliminative vision of the nonfundamental as mere talk. I wonder how the story goes when a single nonfundamental truth can be grounded in many different fundamental facts. For instance, the truth that Moore has hands can presumably be grounded in many different distributions of fields, arrangements of particles, vibrations (...) of strings, or whatnot. I am asking how metaphysical semantics can accommodate this sort of multiple realizability. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Plenitude, roughly, the thesis that for any non-empty region of spacetime there is a material object that is exactly located at that region, is often thought to be part and parcel of the standard Lewisian package in the metaphysics of persistence. While the wedding of plentitude and Lewisian four-dimensionalism is a natural one indeed, there are a hand-full of dissenters who argue against the notion that Lewisian four-dimensionalism has exclusive rights to plentitude. These ‘promiscuous’ three-dimensionalists argue that a temporalized version (...) of plenitude is entirely compatible with a three-dimensional ontology of enduring entities. While few would deny the coherence of such a position, and much work has been done by its proponents to appease critics, there has been surprisingly little by way of exploring the various forms such an ontology might take as well as the potential advantages of one plenitudinous three-dimensional ontology over another. Here I develop a novel form of plenitudinous three-dimensionalism, what John Hawthorne (Metaphysical essays, 2006a, b) has called “Neo-Aristotelian Plenitude,” and argue that if one is inclined to endorse an abundant three-dimensional ontology, one is wise to opt for a plenitude of accidental unities. (shrink)

Tarski’s pioneering work on truth has been thought by some to motivate a robust, correspondence-style theory of truth, and by others to motivate a deflationary attitude toward truth. I argue that Tarski’s work suggests neither; if it motivates any contemporary theory of truth, it motivates conceptual primitivism, the view that truth is a fundamental, indefinable concept. After outlining conceptual primitivism and Tarski’s theory of truth, I show how the two approaches to truth share much in common. While Tarski does not (...) explicitly accept primitivism, the view is open to him, and fits better with his formal work on truth than do correspondence or deflationary theories. Primitivists, in turn, may rely on Tarski’s insights in motivating their own perspective on truth. I conclude by showing how viewing Tarski through the primitivist lens provides a fresh response to some familiar charges from Putnam and Etchemendy. (shrink)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...) then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

This paper presents a systematic semantic study of constructions with the noun 'case'. It argues that 'cases' are situations acting as truthmakers within a sentential or epistemic case space. It develops a truthmaker-based alternative semantics of 'case'-constructions, based on Fine's recent truthmaker semantics.

Given the centrality of arguments from vicious infinite regress to our philosophical reasoning, it is little wonder that they should also appear on the catalogue of arguments offered in defense of theses that pertain to the fundamental structure of reality. In particular, the metaphysical foundationalist will argue that, on pain of vicious infinite regress, there must be something fundamental. But why think that infinite regresses of grounds are vicious? I explore existing proposed accounts of viciousness cast in terms of contradictions, (...) dependence, failed reductive theories and parsimony. I argue that no one of these accounts adequately captures the conditions under which an infinite regress—any infinite regress—is vicious as opposed to benign. In their place, I suggest an account of viciousness in terms of explanatory failure. If this account is correct, infinite grounding regresses are not necessarily vicious; and we must be much more careful employing such arguments to the conclusion that there has to be something fundamental. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (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)

The paper aims to elucidate in better detail than before the dispute about whether or not dispositional monism—the view that all basic properties are pure powers—entails a vicious infinite regress. Particular focus is on Alexander Bird's and George Molnar's attempts to show that the arguments professing to demonstrate a vicious regress are inconclusive because they presuppose what they aim to prove, notably that powers are for their nature dependent on something else. I argue that Bird and Molnar are mistaken. It (...) is true that dispositional monism is popularly assumed to characterize powers as dependent entities, but this is not what the arguments aim to prove. They merely aim to demonstrate that it would be absurd to assume that all properties are dependent in this way. Finally, it is argued that there is an unresolved tension in Bird's and Molnar's accounts of powers. They characterize them as being for their nature dependent on the manifestations that they are for, and yet ontologically independent of those same manifestations. Until that tension is resolved, their accounts are not equipped to remove the threat of vicious regress. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...) same relation may correspond to the same state. (shrink)

In this paper, I argue that the spatiotemporalist approach way of modeling the fundamental constituents, structure, and composition of the world has taken a wrong turn. Spatiotemporalist approaches to fundamental structure take the fundamental nature of the world to be spatiotemporal: they take the category of spatiotemporal to be fundamental. I argue that the debates over the nature of the fundamental space in the physics show us that (i) the fact that it is conceivable that the manifest world could be (...) exactly as it appears to us, even though spatiotemporal entities are not fundamental, means that a central premise of spatiotemporalism, that we may assume, given ordinary experience, that the world is fundamentally spatiotemporal, is false. (ii) Spatiotemporalism must be seen as a contingent, a posteriori physical truth. Finally, (iii) I argue that a metaphysically deeper conclusion follows from the debate over the nature of the fundamental space. The debate in physics over which sort of space is the fundamental space suggests that physicists have discovered that, even if a spacetime is an actual constituent of the world-space category, there is a world-space category that is more fundamental than the category of spacetime. (shrink)

For over 20 years, Jaegwon Kim’s Causal Exclusion Argument has stood as the major hurdle for non-reductive physicalism. If successful, Kim’s argument would show that the high-level properties posited by non-reductive physicalists must either be identical with lower-level physical properties, or else must be causally inert. The most prominent objection to the Causal Exclusion Argument—the so-called Overdetermination Objection—points out that there are some notions of causation that are left untouched by the argument. If causation is simply counterfactual dependence, for example, (...) then the Causal Exclusion Argument fails. Thus, much of the existing debate turns on the issue of which account of causation is appropriate. In this paper, however, I take a bolder approach and argue that Kim’s preferred version of the Causal Exclusion Argument fails no matter what account one gives of causation. Any notion of causation that is strong enough to support the premises of the argument is too strong to play the role required in the logic of the argument. I also consider a second version of the Causal Exclusion Argument, and suggest that although it may avoid the problems of the first version, it begs the question against a particular form of non-reductive physicalism, namely emergentism. (shrink)

The question of whether there could be a physical object that is necessarily constantly active has a long history, and it has recently arisen again in the literature on dispositions. I examine and critique two proposals for affirming the possibility of such an object. I then advocate a third option, one which is workable if paired with natural-kind essentialism. Finally I briefly outline three possible implications of this view for wider debates concerning the ontology of dispositions and natural kinds.

Paper responding to critique of Maurin (2002) presented by Herbert Hochberg in his “Relations, Properties and Particulars” (2004).

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)

Qualia have proved difficult to integrate into a broadly physicalistic worldview. In this paper, I argue that despite popular wisdom in the philosophy of mind, qualia’s intrinsicality is not sufficient for their non-reducibility. Second, I diagnose why philosophers mistakenly focused on intrinsicality. I then proceed to argue that qualia are categorical and end with some reflections on how the conceptual territory looks when we keep our focus on categoricity.

In this paper I critically investigate an unorthodox attempt to metaphysically explain in virtue of what there are states of affairs. This is a suggestion according to which states of affairs exist thanks to, rather than, as is the common view, in spite of, the infinite regress their metaphysical explanation seems to engender. I argue that, no matter in which form it is defended, or in which theoretical framework it is set, this suggestion cannot provide us with the explanation we (...) crave. (shrink)

This is a critical commentary on Kathrin Koslicki's book The Structure of Objects (OUP, 2008).

Creeping minimalism threatens to cloud the distinction between realist and anti-realist metaethical views. When anti-realist views equip themselves with minimalist theories of truth and other semantic notions, they are able to take on more and more of the doctrines of realism (such as the existence of moral truths, facts, and beliefs). But then they start to look suspiciously like realist views. I suggest that creeping minimalism is a problem only if moral realism is understood primarily as a semantic doctrine. I (...) argue that moral realism is better understood instead as a metaphysical doctrine. As a result, we can usefully regiment the metaethical debate into one about moral truthmakers: in virtue of what are moral judgments true? I show how the notion of truthmaking has been simmering just below the surface of the metaethical debate, and how it reveals one metaethical view (quasi-realism) to be a stronger contender than the others. (shrink)

Presentists face a challenge from truthmaker theory: if you hold both that the only existing objects are presently existing and that truth supervenes on being, then you will be hard pressed to identify some existent on which a given true but traceless claim about the past supervenes. One reconciliation strategy, advocated by Cameron (2011), is to appeal to distributional properties so to serve as presently existing truthmakers for past truths. I argue that a presentist ought to deny that distributional properties (...) can serve as truthmakers. (shrink)

Colours and consciousness both present us with metaphysical problems. But what exactly are the problems? According to standard accounts, they are roughly the following. On the one hand, we have reason to believe, about both colour and consciousness, that they are identical with some familiar natural phenomena. But on the other hand, it is hard to see how these identities could obtain. I argue that this is an adequate characterisation of our metaphysical problem of colour, but a mischaracterisation of the (...) problem of consciousness. It mischaracterises the problem by presenting consciousness as more 'colour-like' than we have reason to take it to be. The real problem of consciousness is, I suggest, that almost nothing theoretically useful is known about this phenomenon at present. I also explore some implications of this perspective on the problem of consciousness. Given the shape of the problem, I argue that we can't rule out all forms of eliminativism about consciousness. Nor can we rule out that future research will close the ' explanatory gap' that consciousness gives rise to. (shrink)

Can there be relational universals? If so, how can they be exemplified? A monadic universal is by definition capable of having a scattered spatiotemporal localization of its different exemplifications, but the problem of relational universals is that one single exemplification seems to have to be scattered in the many places where the relata are. The paper argues that it is possible to bite this bullet, and to accept a hitherto un-discussed kind of exemplification relation called ‘scattered exemplification’. It has no (...) immediate symbolic counterpart in any Indo-European natural language or in any so far constructed logical language. In order to remedy this, a notion called ‘many-place copula’ is introduced, too. (shrink)

A modus tollens against zero-dimensional material objects is presented from the premises (i) that if there are zero-dimensional material objects then there are bare particulars, and (ii) that there are no bare particulars. The argument for the first premise proceeds by elimination. First, bare particular theory and bundle theory are motivated as the most appealing theories of property exemplification. It is then argued that the bundle theorist’s Ockhamism ought to lead her to reject spatiotemporally located zero-dimensional property instances. Finally, it (...) is argued that since she must accept such instances if she accepts zero-dimensional material object bundles, she ought to avoid the latter. This leaves bare particular theory as the default view of zero-dimensional material objects. The argument for the second premise invokes the thesis that the exemplification of at least one sparse property is a prerequisite for the existence of any particular. It is argued from Humean considerations that bare particulars fail this prerequisite. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

According to the doctrine of divine simplicity, God is an absolutely simple being lacking any distinct metaphysical parts, properties, or constituents. Although this doctrine was once an essential part of traditional philosophical theology, it is now widely rejected as incoherent. In this paper, I develop an interpretation of the doctrine designed to resolve contemporary concerns about its coherence, as well as to show precisely what is required to make sense of divine simplicity.

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.

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)

1. The Bundle Theory I shall discuss is a theory about the nature of substances or concrete particulars, like apples, chairs, atoms, stars and people. The point of the Bundle Theory is to avoid undesirable entities like substrata that allegedly constitute particulars. The version of the Bundle Theory I shall discuss takes particulars to be entirely constituted by the universals they instantiate.' Thus particulars are said to be just bundles of universals. Together with the claim that it is necessary that (...) particulars have constituents, the fundamental claim of the Bundle Theory is: (BT) Necessarily, for every particular x and every entity y, y constitutes x if and only ify is a universal and x instantiates y. 2 The standard and supposedly devastating objection to the Bundle Theory is that it entails or is committed to a false version of the Principle of Identity of Indiscernibles (Armstrong 1978: 91, Loux 1998: 107), namely: (Pll) Necessarily, for all particulars x and y and every universal z, if z is instantiated by x if and only if z is instantiated byy, then x is numerically identical with y. The most famous counterexample to the Identity of Indiscernibles is that put forward by Max Black, consisting of a world where there are only two iron spheres two miles apart from each other, having the same diameter, temperature, colour, shape, size, etc (Black 1952: 156). Let us from now on think of the properties of the spheres in this world as universals. The possibility of this world, which I shall hereafter refer to as 'Black's world', makes (Pll) false.' And according to common philosophical opinion this means that the Bundle Theory is false.. (shrink)

This dissertation shows how initial conditions play a special role in the explanation of contingent and irregular outcomes, including, in the form of geographic context, the special case of uneven development in the social sciences. The dissertation develops a general theory of this role, recognizes its empirical limitations in the social sciences, and considers how it might be applied to the question of uneven development. The primary purpose of the dissertation is to identify and correct theoretical problems in the study (...) of uneven development; it is not intended to be an empirical study. Chapter 1 introduces the basic problem, and discusses why it has become especially salient in debates concerning uneven development. Chapter 2 develops an argument for the importance of initial conditions in the philosophy of science, developed specifically in the context of the Bhaskar/Cartwright ‘open systems’ (and by extension, ‘exogenous factor’) emphasis on the ubiquity of contingency in the universe and rejection of explanation based on laws of nature (regularity accounts) of causation. Chapter 3 makes three claims concerning the concept of contingency, especially as related to the study of society: 1) that there are eight distinct uses of the word contingency, and its many meanings are detrimental to clarity of discussion and thought in history and the social sciences; 2) that it is possible to impose some order on these different uses through developing a classification of contingency into three types based on assumptions concerning possible worlds and determinism; 3) that one of the classes is a special use of the word without relevance to the social sciences, while the two remaining classes are nothing more than a variety of the ‘no hidden factors’ argument in the debate on indeterminism and determinism (and thus related to the concept of spacetime trajectories caused by initial conditions and the interference of these in the form of ‘exogenous factors’ with ‘open systems’). Chapter 4 The concept of explanation based on initial conditions together with laws of nature is widely associated with determinism. In the social sciences determinism has frequently been rejected due to the moral dilemmas it is perceived as presenting. Chapter 4 considers problems with this view. Chapter 5 considers attitudes among geographers, economists, and historians towards using geographic factors as initial conditions in explanation and how they might acceptably be used, in particular their role in ‘anchoring’ aspatial theories of social processes to real-world distributions. Chapter 6 considers the relationship of the statistical methods common in development studies with the trend towards integrating geographical factors into econometric development studies. It introduces the statistical argument on ‘apparent populations’ that arrives at conclusions concerning determinism consistent with Chapters 2 and 3 of the dissertation. The need for the visual interpretation of data with descriptive statistics and maps and their utility in the study of uneven development is discussed with a number of examples. Chapter 7 applies these concepts to the ‘institutions versus geography’ debate in development studies, using Acemoglu, Johnson and Robinson’s 2002 ‘reversal of fortune’ argument as a primary example. Chapter 8 considers possible directions for future work, both theoretical and empirical. Chapter 9 concludes with a discussion of additional possible objections to the use of initial conditions as exogenous factors in explanation. (shrink)

Philosophers of perception widely agree that sensory properties, like color, are represented in perceptual experience. Arguments are usually needed to establish that something other than sensory properties, for example three-dimensional objects or kind properties, are part of perceptual content. Call the idea that sensory properties are represented in perceptual experience the Sensation View (SV). Given its widespread acceptance, we may expect to find strong reasons for holding SV. In this paper, I argue that we lack such reasons: SV is largely (...) unjustified. We have surprisingly poor justification for thinking that sensory properties are represented in perception. By focusing on the case of vision, I show that an embedded understanding of visual perception, and empirical evidence in cognitive psychology, indicate that SV is far from warranted. (shrink)

There are predicates and subjects. It is thus tempting to think that there are properties on the one hand, and things that have them on the other. I have no quarrel with this thought; it is a fine place to begin a theory of properties and property-having. But in this paper, I argue that one such theory—bare particularism—is false. I pose a dilemma. Either bare particulars instantiate the properties of their host substances or they do not. If they do not, (...) then bare particularism is both unmotivated and false. If they do, then the view faces a problematic—and, I shall argue, false—crowding consequence. (shrink)

In this paper, we argue for a novel three-dimensionalist solution to the problem of persistence, i.e. cross-temporal identity. We restrict the discussion of persistence to simple substances, which do not have other substances as their parts. The account of simple substances employed in the paper is a trope-nominalist strong nuclear theory, which develops Peter Simons' trope nominalism. Regarding the distinction between three dimensionalism and four dimensionalism, we follow Michael Della Rocca's formulation, in which 3D explains persistence in virtue of same (...) entities and 4D in virtue of distinct entities. SNT is a 3D'ist position because it accounts for the persistence of simple substances in virtue of diachronically identical ‘nuclear’ tropes. The nuclear tropes of a simple substance are necessary for it and mutually rigidly dependent but distinct. SNT explains qualitative change by tropes that are contingent to a simple substance. We show that it avoids the standard problems of 3D: temporal relativization of ontic predication, Bradley's regress and coincidence, fission and fusion cases. The temporal relativization is avoided because of the analysis of temporary parts that SNT gives in terms of temporal sub-location, which is atemporal part–whole relation. (shrink)

In this article I intend to show that the inference problem, one of the main objections raised against the anti-Humean theory of natural laws defended by Dretske, Tooley and Armstrong (?DTA theory? for short), can be successfully answered. First, I argue that a proper solution should meet two essential requirements that the proposals made by the DTA theorists do not satisfy. Then I state a solution to the inference problem that assumes a local immanentistic view of universals, a partial definition (...) of the nomic necessitation relation as a relation of existential dependence, and a principle constraining multiple occupancy. I also argue that my solution meets the two requirements. Finally, I deal with non-standard laws such as exclusion laws, causal laws and laws involving spatiotemporal parameters. (shrink)

Sydney Shoemaker's "Subset Account" offers a new take on determinable properties and the realization relation as well as a defense of non-reductive physicalism from the problem of mental causation. At the heart of this account are the claims that (1) mental properties are determinable properties and (2) the causal powers that individuate a determinable property are a proper subset of the causal powers that individuate the determinates of that property. The second claim, however, has led to the accusation that the (...) effects caused by the instantiation of a determinable property will also be caused by the instantiation of the determinates of that property—so instead of solving the problem of mental causation, the Subset Account ends up guaranteeing that the effects of mental properties (and all other types of determinable property) will be causally overdetermined! In this paper, I explore this objection. I argue that both sides in this debate have failed to engage the question at the heart of the objection: Given that both a determinable property and its determinates have the power to cause some effect (E), does it follow that both will actually cause E when the relevant conditions obtain? To make genuine progress towards answering this question, we need to take a serious look at the metaphysics of causation. With the debate properly reframed and issues about the metaphysics of causation front and center, I explore the question of whether the Subset Account is doomed to result in problematic causal overdetermination. (shrink)

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

This essay is a reflection on the idea of truth-making and its applications. I respond to a critique of my 1986 paper on truth-making and discuss some key principles at play in the Truth-maker Program as it has emerged over the past 25 years, paying special attention to negative and general truths. I maintain my opposition to negative and general facts, but give an improved account of how to do without them. In the end, I accept Truth-maker Maximalism and a (...) weakened form of Truth-maker Necessitarianism, reject the assumption that truth-makers must be entities, and urge that the idea of a truth-maker be broadened and loosened so that it applies to anti-realistic as well as realistic truths. (shrink)

I argue that relations between non-identical times, such as the relations, earlier than, later than, or 10 seconds apart, involve contradiction, and only co-temporal relations are non-contradictory, which would leave presentism the only non-contradictory theory of time. The arguments I present are arguments that I have not seen in the literature.

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)

The bundle theory is a theory about the internal constitution of individuals. It asserts that individuals are entirely composed of universals. Typically, bundle theorists augment their theory with a constitutional approach to individuation entailing the thesis ‘identity of constituents is a sufficient ground for numerical identity’ (CIT). But then the bundle theory runs afoul of Black’s duplication case—a world containing two indiscernible spheres. Here I propose and defend a new version of the bundle theory that denies ‘CIT’, and which instead (...) conjoins it with a structural diversity thesis , according to which being separated by distance is a sufficient ground for numerical diversity. This version accommodates Black’s world as well as the three-spheres world —a world containing three indiscernible spheres, arranged as the vertices of an equilateral triangle. In this paper, I also criticize Rodriguez-Pereyra’s alternative attempt to defend the bundle theory against Black’s case and the case of the three-spheres world. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity is, (...) in fact, of little help for the dispositionalists. My argument makes use of one of the above mentioned counterexamples against Humean reduction: antidotes. Turning the tables, I ask how the dispositionalists themselves can deal with antidotes. The result will be to show that if the dispositionalists are to demystify antidote cases, they must make plausible a conceptualisation of dispositions that does not invoke any kind of necessity. I will cautiously suggest that the anti-Humean link dispositions bring to the world has to be thought of in terms of (Newtonian) forces. (shrink)

Although there is an ongoing controversy in philosophy of science about so called ceteris paribus laws that is, roughly, about laws with exceptionsóa fundamental question about those laws has been neglected (ß2). This is due to the fact that this question becomes apparent only if two different readings of ceteris paribus clauses in laws have been separated. The first reading of ceteris paribus clauses, which I will call the epistemic reading, covers applications of laws: predictions, for example, might go wrong (...) because we do not know all the relevant factors which are causally effective in relevant situation. The second reading, which I will call the metaphysical reading, is concerned with the laws themselves and their possible exceptions (ß3). It is this latter readingóand the funda- mental question associated with itówhich has been neglected due to the confusion of the two readings (ß4): if we leave epistemic issues aside is there at all conceptual space left for a notion of laws of nature which allows the laws themselves to have exceptions? I call a law with exceptions in this sense, if such there is, a real ceteris paribus law. To tackle this question, I distinguish grounded laws from non-grounded laws (ß5). A grounded law is, roughly, a law about structured entities where the properties of the parts of that structure figure themselves in laws of nature (ß6). I will claim that, since the substructure of such an entity can be damaged, grounded laws themselves can face exceptions. Hence, they are candidates to be real (metaphysical) ceteris paribus laws in the sense of my central question. I will discuss grounded laws and their exceptions in detail (ß7, ß8, ß9). For reasons of space, the further question whether we can even have a notion of fun- damental (non-grounded) laws that allows for exceptions cannot be discussed here. I will, however, give a positive answer and also outline how I have argued for that claim elsewhere (ß10). (shrink)

Ontology is the study of what there is, what kinds of things make up reality. Ontology seems to be a very difficult, rather speculative discipline. However, it is trivial to conclude that there are properties, propositions and numbers, starting from only necessarily true or analytic premises. This gives rise to a puzzle about how hard ontological questions are, and relates to a puzzle about how important they are. And it produces the ontologyobjectivity dilemma: either (certain) ontological questions can be trivially (...) answered using only uncontroversial premises, or the uncertainties of ontology are really a threat to the truth of basically everything we say or believe. The main aim of this dissertation is to resolve these puzzles and to shed some light on the discipline of ontology. I defend a view inspired by Carnap’s internal-external distinction about what there is, but one according to which both internal and external questions are fully factual and meaningful. In particular, I argue that the trivial arguments are valid, but they do not answer any ontological questions. Furthermore, I propose an account of the function of our talk about properties, propositions and natural numbers. According to this account our talk about them has no ontological presuppositions for its literal and objective truth. This avoids the ontology-objectivity dilemma, and solves the puzzles about ontology. To do this I look at quantification and noun phrases in general, and at their relation to ontology. I argue that quantifiers are semantically underspecified in a certain respect, and play two different roles in communication. I discuss the relation between syntactic form and information structure, the function of certain non-referential, non-quantificational noun phrases, the uses of bare number determiners, and how arithmetic truths are learned and taught. The more metaphysical issues discussed include: inexpressible properties, logicism about arithmetic, nominalism, Carnap’s view about ontology, the problem of universals, the relationship between ontology and objectivity, different projects within ontology, non-existent.... (shrink)