Necessitarian accounts of the laws of nature meet an apparent difficulty: for them, counterlegal conditionals, despite appearing to be substantive, seem to come out as vacuous. I argue that the necessitarian may use the presuppositions of counterlegal discourse to explain this. If the typical presupposition that necessitarianism is false is made explicit in counterlegal utterances, we obtain sentences such as 'If it turns out that the laws of nature are contingent, then if the laws had been otherwise, then such and (...) such would have been the case', which are non-vacuous and very often true. This goes a long way towards resolving the difficulty for necessitarianism. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain structural features that other sorts of properties lack. What are the metaphysical underpinnings of quantitative structure? This paper considers several accounts of quantity and assesses the merits of each.

The dilemma of free will is that if actions are caused deterministically, then they are not free, and if they are not caused deterministically then they are not free either because then they happen by chance and are not up to the agent. I propose a conception of free will that solves this dilemma. It can be called agent causation but it differs from what Chisholm and others have called so.

We study a range of issues connected with the idea of replacing one formula by another in a fixed context. The replacement core of a consequence relation ⊢ is the relation holding between a set of formulas {A1,..., Am,...} and a formula B when for every context C, we have C,..., C,... ⊢ C. Section 1 looks at some differences between which inferences are lost on passing to the replacement cores of the classical and intuitionistic consequence relations. For example, we (...) find that while the inference from A and B to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$A \land B$\end{document}, sanctioned by both these initial consequence relations, is retained on passage to the replacement core in the classical case, it is lost in the intuitionistic case. Further discussion of these two logics occupies Sections 3 and 4. Section 2 looks at the m = 1 case, describing A as replaceable by B according to ⊢ when B is a consequence of A by the replacement core of ⊢, and inquiring as to which choices of ⊢ render this induced replaceability relation symmetric. Section 5 investigates further conceptual refinements— such as a contrast between horizontal and vertical replaceability—suggested by some work of R. B. Angell and R. Harrop in the 1950s and 1960s. Appendix 1 examines a related aspect of term-for-term replacement in connection with identity in predicate logic. Appendix 2 is a repository for proofs which would otherwise clutter up Section 3. (shrink)

This paper defends the view that Newtonian forces are real, symmetrical and non-causal relations. First, I argue that Newtonian forces are real; second, that they are relations; third, that they are symmetrical relations; fourth, that they are not species of causation. The overall picture is anti-Humean to the extent that it defends the existence of forces as external relations irreducible to spatio-temporal ones, but is still compatible with Humean approaches to causation (and others) since it denies that forces are a (...) species of causation. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

According to the zombie conceivability argument, phenomenal zombies are conceivable, and hence possible, and hence physicalism is false. Critics of the conceivability argument have responded by denying either that zombies are conceivable or that they are possible. Much of the controversy hinges on how to establish and understand what is conceivable, what is possible, and the link between the two—matters that are at least as obscure and controversial as whether consciousness is physical. Because of this, the debate over physicalism is (...) unlikely to be resolved by thinking about zombies—or at least, zombies as discussed by philosophers to date.



In this paper, I explore an alternative strategy against the zombie conceivability argument. I accept the possibility of zombies and ask whether that possibility is accessible (in the sense of ‘accessible’ used in possible world semantics) to our world. It turns out that the question of whether zombie worlds are accessible to our world is equivalent to the question of whether physicalism is true. By assuming that zombie worlds are accessible to our world, supporters of the zombie conceivability argument beg the question against physicalists. I will then consider what happens if a supporter of the zombie conceivability argument should insist that zombie worlds are accessible to our world. I will argue that the same ingredients used in the zombie conceivability argument—whatever they might be—can be used to construct an argument to the opposite conclusion. If that is correct, we reach a stalemate between physicalism and property dualism: while the possibility of some zombies entails property dualism, the possibility of other creatures entails physicalism. Since these two possibilities are inconsistent, one of them is not genuine. To resolve this stalemate, we need more than thought experiments. (shrink)

If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality (...) of possible worlds. Or at least that is so if the applied theory is adequate. For an applied possible-worlds semantic theory that is constrained to contain only one-world models is bound to deliver results on validity, soundness and completeness that are apt to seem disastrous. I attempt to steer a course between commitment to the existence of a plurality of possible worlds and commitment to such a disastrous applied possible-worlds semantics by noting, and developing, the position of one who asserts such a theory at face-value but who remains agnostic about the existence of other (non-actualized) possible worlds. Thus, a novel interpretation of applied possible-worlds semantics is offered on which we may lay claim to whatever benefits such a theory offers while avoiding realism about (other) possible worlds. Thereby, the contention that applied possible-worlds semantics gives us reason to be realists about possible worlds is (further) undermined. (shrink)

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

Various writers have proposed that the notion of a possible world is a functional concept, yet very little has been done to develop that proposal. This paper explores a particular functionalist account of possible worlds, according to which pluralities of possible worlds are the bases for structures which provide occupants for the roles which analyse our ordinary modal concepts. It argues that the resulting position meets some of the stringent constraints which philosophers have placed upon accounts of possible worlds, while (...) also trivializing the question what possible worlds are. The paper then discusses a range of problems facing the functionalist position. (shrink)

Physical realism is the thesis that the world is more or less as present‐day physical theory says it is, i.e. a mind‐independent reality, that consists fundamentally of physical objects that have causal powers, are located in space and time, belong to natural kinds, and interact causally with each other in various natural kinds of ways. It is thus a modern form of physicalism that takes due account of the natural kinds structure of the world. It is a thesis that many (...) present‐day scientific realists would surely accept. Indeed, some might say that physical realism just is scientific realism, but under another name. However, the argument that is presented for physical realism is not the standard one for scientific realism. It is not a two‐stage argument from the success of science to the truth of scientific theories to the reality of the entities postulated in these theories. It is more powerful than this, because it is more direct, and its premisses are more secure. It is more direct, because it develops what is basically a physicalist ontology as the only plausible metaphysical explanation of the new scientific image of the world. It is more secure, in that it does not depend, as the standard argument does, on any doubtful generalisations about the nature or role of scientific theory. (shrink)

To be a realist about modality, need one claim that more exists than just the various objects and properties that populate the world—e.g. worlds other than the actual one, or maximal consistent sets of propositions? Or does the existence of objects and properties by itself involve the obtaining of necessities (and possibilities) in re? The latter position is now unpopular but not unfamiliar. Aristotle held that objects have essences, and hence necessarily have certain properties. Recently it has been argued that (...) the identity of any property is tied to the natural laws in which it figures, which entails that the occurrence of properties involves the obtaining of nomological necessities ([24], pp. 206-33 and 234-60; [23]; cf. [25] and [6]). Somewhat less recently, Wittgenstein ([28], p. 168) worried that the reality of at least some properties—precise shades of colors being a prime example—involved the obtaining in re of certain impossibilities. This paper argues that Wittgenstein’s worries were right, and not just concerning some properties, but all properties whatever. That there are objects and properties in the world at all, then, amounts to there obtaining modal states of affairs. This argument supplements, rather than replaces, the others. The position on property incompatibility advanced here actually helps defend Aristotelian essentialism against epistemological objections, or so I have argued ([15]). And while this paper’s position on property incompatibility diverges from the idea that a property’s nomic profile is essential to it—more on this in the next section—it is at least compatible with the thought that the necessity involved in the laws of nature enters into ontology at the ground level. (shrink)

The Quine/Putnam indispensability argument is regarded by many as the chief argument for the existence of platonic objects. We argue that this argument cannot establish what its proponents intend. The form of our argument is simple. Suppose indispensability to science is the only good reason for believing in the existence of platonic objects. Either the dispensability of mathematical objects to science can be demonstrated and, hence, there is no good reason for believing in the existence of platonic objects, or their (...) dispensability cannot be demonstrated and, hence, there is no good reason for believing in the existence of mathematical objects which are genuinely platonic. Therefore, indispensability, whether true or false, does not support platonism. (shrink)

Frank Jackson champions the cause of conceptual analysis as central to philosophical inquiry. In recent years conceptual analysis has been undervalued and widely misunderstood, suggests Jackson. He argues that such analysis is mistakenly clouded in mystery, preventing a whole range of important questions from being productively addressed. He anchors his argument in discussions of specific philosophical issues, starting with the metaphysical doctrine of physicalism and moving on, via free will, meaning, personal identity, motion, and change, to ethics and the philosophy (...) of color. In this way the book not only offers a methodological program for philosophy, but also casts new light on some much-debated problems and their interrelations. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

In this article, we present a new conception of internal relations between quantity tropes falling under determinates and determinables. We begin by providing a novel characterization of the necessary relations between these tropes as basic internal relations. The core ideas here are that the existence of the relata is sufficient for their being internally related, and that their being related does not require the existence of any specific entities distinct from the relata. We argue that quantity tropes are, as determinate (...) particular natures, internally related by certain relations of proportion and order. By being determined by the nature of tropes, the relations of proportion and order remain invariant in conventional choice of unit for any quantity and give rise to natural divisions among tropes. As a consequence, tropes fall under distinct determinables and determinates. Our conception provides an accurate account of quantitative distances between tropes but avoids commitment to determinable universals. In this important respect, it compares favorably with the standard conception taking exact similarity and quantitative distances as primitive internal relations. Moreover, we argue for the superiority of our approach in comparison with two additional recent accounts of the similarity of quantity tropes. (shrink)

Some recent work by philosophers of mathematics has been aimed at showing that our knowledge of the existence of at least some mathematical objects and/or sets can be epistemically grounded by appealing to perceptual experience. The sensory capacity that they refer to in doing so is the ability to perceive numbers, mathematical properties and/or sets. The chief defense of this view as it applies to the perception of sets is found in Penelope Maddy’s Realism in Mathematics, but a number of (...) other philosophers have made similar, if more simple, appeals of this sort. For example, Jaegwon Kim (1981, 1982), John Bigelow (1988, 1990), and John Bigelow and Robert Pargetter (1990) have all defended such views. The main critical issue that will be raised here concerns the coherence of the notions of set perception and mathematical perception, and whether appeals to such perceptual faculties can really provide any justification for or explanation of belief in the existence of sets, mathematical properties and/or numbers. (shrink)

Scientific realists argue that a good track record of multi-agent, and multiple method, validation of empirical claims is itself evidence that those claims, at least partially and approximately, reflect ways nature actually is independent of the ways we conceptualize it. Constructivists contend that successes in validating empirical claims only suffice to establish that our ways of modelling the world, our “constructions,” are useful and adequate for beings like us. This essay presents a thought experiment in which beings like us intersubjectively (...) validate claims about properties of particular things in nature under conditions in which those beings have profoundly different personal phenomenological experiences of those properties. I submit that the thought experiment scenario parallels our actual situation, and argue that this shows that successes in intersubjectively validating empirical claims are indeed enough to claim victory for the realist. More specifically, I champion a variation of realism that marries Ronald Giere’s brand of ‘perspectival realism’ with Philip Kitcher’s ‘real realism,’ and posits that causal relations between ourselves and properties instantiated in nature ground our references to the relevant properties even though our conceptions of them are perspective relative. (shrink)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (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)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

While there are reasons to believe that both component forces and a resultant force operate on a body in combined circumstances, the threat of overdetermination largely prevents adoption of this view. Accordingly, a lively debate has arisen over which force actually exists and which force is eliminated in combined circumstances, the components or the resultant. In this article I present a non-reductive model of resultant force which ensures the existence of both the resultant force and the component forces without overdetermination. (...) According to the non-reductive model, the resultant force is the summation of component forces, where summation is interpreted as meaning that the component forces, when temporally and spatially overlapping, form a superposed mixture which is the resultant force, but which is not identical to the conjunction of component forces taken with temporal and spatial independence. (shrink)

A theory of causation with ‘tendencies’ as causal con- nections is proposed. Not, however, as ‘necessary connec- tions’: causes are not sufficient, they do not necessitate their effects. The theory is not an analysis of the concept of causation, but a description of what is the case in typical cases of causation. Therefore it does not strictly contradict any analysis of the concept of causation, not even reduct- ive ones. It would even be supported by a counterfactual or a probabilistic (...) analysis. (shrink)

This much-anticipated book is a detailed elaboration and defense of Levine’s influential claim that there is an “explanatory gap” between the mental and the physical.

Necessitarian accounts of the laws of nature have an apparent difficulty in accounting for counterlegal conditionals because, despite appearing to be substantive, on the necessitarian thesis they are vacuous. I argue that the necessitarian may explain the apparently substantive content of such conditionals by pointing out the presuppositions of counterlegal discourse. The typical presupposition is that a certain conceptual possibility has been realized; namely, that necessitarianism is false. (The idea of conceptual possibility is explicated in terms of recent work in (...) two-dimensional modal semantics.) If this sort of presupposition is made explicit in counterlegal utterances, we obtain a sentence such as: 'If it turns out that the laws of nature are contingent, then if the laws had been otherwise, then such and such would have been the case.' Sentences of this type are non-vacuous, and very often true. I argue that this goes a long way towards resolving the difficulty for necessitarianism. (shrink)

Armstrong holds the Supervenience Theory of instantiation, namely that the instantiation of universals by particulars supervenes upon what particulars and what universals there are, where supervenience is stipulated to be explanatory or dependent supervenience. I begin by rejecting the Supervenience Theory of instantiation. Having done so it is then tempting to take instantiation as primitive. This has, however, an awkward consequence, undermining one of the main advantages universals have over tropes. So I examine another account hinted at by Armstrong. This (...) is the Operator Theory of instantiation, by which I mean the theory that universals are operators, and that a particular instantiates a monadic universal because the universal operates on the particular, resulting in the state of affairs. On this theory the state of affairs supervenes on the instantiation rather than vice versa. In the second part of the paper I develop this theory of universals as operators, including an account of structural universals, which are useful for accounts of modality and of mathematics. (shrink)

The basic kinds of physical causality that are foundational for other kinds of causality involve objects and the causal relations between them. These interactions do not involve events. If events were ontologically significant entities for causality in general, then they would play a role in simple mechanical interactions. But arguments about simple collisions looked at from different frames of reference show that events cannot play a role in simple mechanical interactions, and neither can the entirely hypothetical causal relations between events. (...) These arguments show that physics, which should be authoritative when it comes to the metaphysics of causality, gives no reasons to believe that events are causal agents. Force relations and some cases of energy-momentum transfer are examples of causal relations, with forces being paradigmatic in the macroscopic world, though it is conceivable that there are other kinds of causal relation. A relation between two objects is a causal relation if and only if when it is instantiated by the two objects there is a possibility that the objects that are the terms of the relation could change. The basic metaphysics of causality is about objects, causal relations, changes in objects, and a causal primitive. The paper also includes a discussion of the metaphysics of forces and a discussion of the metaphysics of energy and momentum exchanges. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

This paper offers a metaphysical explanation of the identity and distinctness of concrete objects. It is tempting to try to distinguish concrete objects on the basis of their possessing different qualitative features, where qualitative features are ones that do not involve identity. Yet, this criterion for object identity faces counterexamples: distinct objects can share all of their qualitative features. This paper suggests that in order to distinguish concrete objects we need to look not only at which properties and relations objects (...) instantiate but also how they instantiate these properties and relations. I propose that objects are identical when they stand in certain qualitative relations in virtue of their existence. And concrete objects are distinct when they do not stand in the same kinds of relations to one another in virtue of their existence. (shrink)

Lewis’ analysis of modality faces a problem in that it appears to confer unintended truth values to certain modal claims about the pluriverse: e.g. ‘It is possible that there are many worlds’ is false when we expect truth. This is the problem of advanced modalizing. Divers presents a principled solution to this problem by treating modal modifiers as semantically redundant in some such cases. However, this semantic move does not deal adequately with advanced de re modal claims. Here, we motivate (...) and detail a comprehensive semantics for advanced modalizing de dicto and de re. The generalized semantic feature of the initial solution is not redundancy but absence from counterpart-theoretic translations of world-constrictions. (shrink)

This essay outlines an explanatory virtue of presentism: its unique ability amongst temporal metaphysics to deliver a partial explanation of the conservational character of natural laws. That explanation relies on presentism, uniquely amongst temporal metaphysics, being able to support an endurantist account of persistence. In particular, after reconsidering a former argument for endurantism entailing presentism by Merricks, a new argument for this entailment, is expounded. Before delivering the explanation of the conservational character of natural laws, a brief account of that (...) explanandum is given, followed by an elaboration of the wider significance of an explanation for the conservational character for natural laws, particularly for the dispositional essentialist project of nomic reductionism, and explaining the non-simultaneity of causation. (shrink)

In his seminal work Moral Notions , Julius Kovesi presents a novel account of concept formation. At the heart of this account is a distinction between what he terms the material element and the formal element of concepts. This paper elucidates his distinction in detail and contrasts it with other distinctions such as form-matter, universal-particular, genus-difference, necessary-sufficient, and open texture-closed texture. We situate Kovesi’s distinction within his general philosophical method, outlining his views on concept formation in general and explain how (...) his theory of concept formation is applied in moral philosophy. (shrink)

Scientific Essentialism defends the view that the fundamental laws of nature depend on the essential properties of the things on which they are said to operate, and are therefore not independent of them. These laws are not imposed upon the world by God, the forces of nature, or anything else, but rather are immanent in the world. Ellis argues that ours is a dynamic world consisting of more or less transient objects that are constantly interacting with each other, and whose (...) identities depend on their roles in these processes. The laws of nature are metaphysically necessary, and consequently, there are necessary connections between events. (shrink)

This paper opposes universal mereological composition (UMC). Sider defends it: unless UMC were true, he says, it could be indeterminate how many objects there are in the world. I argue that there is no general connection between how widely composition occurs and how many objects there are in the world. Sider fails to support UMC. I further argue that we should disbelieve in UMC objects. Existing objections against them say that they are radically unlike Aristotelian substances. True, but there is (...) a stronger objection. This is that they are characterized by no properties, and so fail to be like anything – even themselves. (shrink)

A ‘might’ counterfactual is a sentence of the form ‘If it had been the case that A, it might have been the case that C’. Recently, John Hawthorne has argued that the truth of many ‘might’ counterfactuals precludes the truth of most ‘would’ counterfactuals. I examine the semantics of ‘might’ counterfactuals, with one eye towards defusing this argument, but mostly with the aim of understanding this interesting class of sentences better.

The Newtonian universe is usually understood to contain two classes of causal factors: universal regularitiesand initial conditions. I demonstrate that,in fact, the Newtonian universe contains no causal factors other thanuniversal regularities: the initial conditions ofany physical system are merely theconsequence of universal regularities acting on previoussystems. It follows that aNewtonian universe lacks the degree of contingency that is usually attributed to it. This is a necessary precondition for maintaining that the Newtonian universe is a block universe that exhibits no temporal (...) development. It follows also that Newtonian physics is inconsistent, since a Newtonian universe as a whole exhibits some properties – such as the total mass of the universe – that are not determined by the laws of Newtonian physics, and that must therefore be considered contingent. (shrink)

There is a longstanding definition of instantaneous velocity. It saysthat the velocity at t 0 of an object moving along a coordinate line is r if and only if the value of the first derivative of the object's position function at t 0 is r. The goal of this paper is to determine to what extent this definition successfully underpins a standard account of motion at an instant. Counterexamples proposed by Michael Tooley (1988) and also by John Bigelow and Robert (...) Pargetter (1990) are reinforced and illuminated by considering the presence or absence of changes to the object's motion. (shrink)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (shrink)