Showcasing original arguments for well-defined positions, as well as clear and concise statements of sophisticated philosophical views, this volume is an ...

Principles of expert deference say that you should align your credences with those of an expert. This expert could be your doctor, the objective chances, or your future self, after you've learnt something new. These kinds of principles face difficulties in cases in which you are uncertain of the truth-conditions of the thoughts in which you invest credence, as well as cases in which the thoughts have different truth-conditions for you and the expert. For instance, you shouldn't defer to your (...) doctor by aligning your credence in the de se thought 'I am sick' with the doctor's credence in that same de se thought. Here, I generalise principles of expert deference to handle these kinds of problem cases. (shrink)

One of the most intuitive views about the metaphysics of laws of nature is Tim Maudlin's idea of a Fundamental Law of Temporal Evolution. So-called FLOTEs are primitive elements of the universe that produce later states from earlier states. While FLOTEs are at home in traditional Newtonian and non-relativistic quantum mechanical theories (not to mention our pre-theoretic conception of the world), I consider here whether they can be made to work with relativity. In particular, shifting to relativistic spacetimes poses two (...) threats to FLOTEs. First, the lack of a privileged spacelike hypersurface in relativistic spacetime makes it unclear how to understand what produces what. A survey of several conceptions of the nomic production relation compatible with relativity reveals all of them to be lacking. Second, relativity motivates a four-dimensional block universe conception of time, according to which all events that will ever occur already exist. On such a view, it's unclear what work there is to be done by FLOTEs. I consider how a proponent of FLOTEs might respond, but conclude that these combined threats seriously undermine the prospects of a productive conception of laws. In short, if spacetime is relativistic, laws are not productive. (shrink)

Many contemporary philosophers accept Hume's Dictum, according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis 's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis ’s work, I (...) present Lewis ’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD ---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis 's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD is a principled generator of metaphysical modal space, undermine the reductive status of Lewis 's combinatorialism, or call into question the truth of HD. (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)

Dispositional essentialism is a non-Humean view about the essences of certain fundamental or natural properties that looms large in recent metaphysics , not least because it promises to explain neatly the natural modalities such as laws of nature, counterfactuals, causation and chance. In the current paper, however, several considerations are presented that indicate a serious tension between its essentialist core thesis and natural “metaphysical” interpretations of its central explanatory claims.

Despite its apparent complexity, our world seems to be governed by simple laws of physics. This volume provides a philosophical introduction to such laws. I explain how they are connected to some of the central issues in philosophy, such as ontology, possibility, explanation, induction, counterfactuals, time, determinism, and fundamentality. I suggest that laws are fundamental facts that govern the world by constraining its physical possibilities. I examine three hallmarks of laws--simplicity, exactness, and objectivity--and discuss whether and how they may be (...) associated with laws of physics. (shrink)

Many philosophers sympathetic with a Humean understanding of laws of nature have thought that, in the final analysis, the fundamental laws will include not only the traditional dynamical equations, but also two additional principles: the Past Hypothesis and the Statistical Postulate. The former says that the universe began in a particular very-low-entropy macrostate M(0), and the latter posits a uniform probability distribution over the microstates compatible with M(0). Such a view is arguably vindicated by the orthodox Humean Best System Account (...) (BSA). However, I argue here that recent developments of the BSA render the Past Hypothesis otiose. In particular, the trend among Humeans toward a more pragmatic view of laws — according to which the best system is the one that is maximally effective at helping creatures like us amplify our information about the world — does not support the idea that the Past Hypothesis is a law of nature. (shrink)

Moral realists often disagree about the nature of moral properties. These properties can be natural (as per naturalistic moral realism) or non-natural. But it is unclear how we should understand the notion of naturalness employed in these discussions. In this paper I propose a novel account of moral naturalness. I suggest that a property F is natural iff F falls within the scope of a natural law. In turn, a law is natural when it figures in a nomic nexus involving (...) the laws of physics. (shrink)

In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...) of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations. (shrink)

In a recent article, Gordon Belot uses the so-called undermining phenomenon to try to raise a new difficulty for reductive accounts of objective probability, such as Humean Best System accounts. In this paper I will give a critical discussion of Belot’s paper and argue that, in fact, there is no new difficulty here for chance reductionists to address.

It is often said that the best system account of laws needs supplementing with a theory of perfectly natural properties. The ‘strength’ and ‘simplicity’ of a system is language-relative and without a fixed vocabulary it is impossible to compare rival systems. Recently a number of philosophers have attempted to reformulate the BSA in an effort to avoid commitment to natural properties. I assess these proposals and argue that they are problematic as they stand. Nonetheless, I agree with their aim, and (...) show that if simplicity is interpreted as ‘compression’, algorithmic information theory provides a framework for system comparison without the need for natural properties. (shrink)

Causation has always been a philosophically controversial subject matter. While David Hume’s empiricist account of causation has been the dominant influence in analytic philosophy and science during modern times, a minority view has instead connected causation essentially to agency and manipulation. A related approach has for the first time gained widespread popularity in recent years, due to new powerful theories of causal inference in science that are based in a technical notion of intervention, and James Woodward’s closely connected interventionist theory (...) of causation in philosophy. This monograph assesses five manipulationist or interventionist theories of causation, viewed as theories that purport to tell us what causation is by providing us with the meaning of causal claims. It is shown that they cannot do this, as the conditions on causation that they impose are too weak, mainly due to ineliminable circularities in their definitions of causal terms. It is then argued that a subset of Woodward’s theory can nevertheless contribute crucially to an explanation of the unique role that manipulation has in our acquisition of causal knowledge. This explanation differs from the common regularist explanation of the epistemic utility of manipulation and experiment, and it is taken to confirm several important manipulationist intuitions. However, the success of the explanation depends on (this subset of) interventionism not itself being understood as a theory of causation, but as a theory of intervention. (shrink)

Suppose that God or a demon informs you of the following future fact: despite recent cosmological evidence, the universe is indeed closed and it will have a ‘final’ instant of time; moreover, at that final moment, all 49 of the world’s Imperial Faberge eggs will be in your bedroom bureau’s sock drawer. You’re absolutely certain that this information is true. All of your other dealings with supernatural powers have demonstrated that they are a trustworthy lot.

This article explores the connection between objective chance and the randomness of a sequence of outcomes. Discussion is focussed around the claim that something happens by chance iff it is random. This claim is subject to many objections. Attempts to save it by providing alternative theories of chance and randomness, involving indeterminism, unpredictability, and reductionism about chance, are canvassed. The article is largely expository, with particular attention being paid to the details of algorithmic randomness, a topic relatively unfamiliar to philosophers.

Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, following (...) state update functions or dynamical transition rules: the update of a cell state obtains by taking into account the states of cells in its local neighborhood (there are, therefore, no actions at a distance). Secondly, CA are abstract, as they can be specified in purely mathematical terms and implemented in physical structures. Thirdly, CA are computational systems: they can compute functions and solve algorithmic problems. Despite functioning in a different way from traditional, Turing machine-like devices, CA with suitable rules can emulate a universal Turing machine, and therefore compute, given Turing's Thesis, anything computable.... (shrink)

The word “effective” has become the standard label attached to scientific theories these days. An effective theory allows us to make accurate predictions about a physical system at a certain (energy, length) scale while being largely ignorant of the details at more fundamental levels. One does not need to know anything about the deeper, quantum structure of water molecules to describe the macroscopic behaviour of waves or water in a glass. Although effective descriptions so broadly construed have been part of (...) research in physics since the earliest stages of modern science, it is particle physics that has most clearly relied on and brought to the fore some of the most interesting and admittedly puzzling aspects of this way of looking at theories. Indeed, the effective field theory (EFT) program in QFT has established itself as the most natural way to understand renormalisation and dissipate initial reservations about the status of these techniques by treating higher-order processes as contributions suppressed at lower energy scales. QFT is thus treated as the “effective” framework par excellence with the decoupling of scales constituting its permeating tenet. The goal of this project is to attempt a philosophical appraisal of EFTs as currently used in high energy physics as well as assess the possibility that the whole program eventually breaks down, i.e. fails to apply when certain preconditions do not hold. Accordingly, the dissertation is logically divided into two parts with the first two chapters dedicated to discussion of the relation between EFTs and traditional questions in the philosophy of science concerning the structure of scientific theories, the formulation and defence of scientific realism as well as its connection to possible ontological readings of EFTs. The second part constitutes an analysis of two well-known problems that have been accorded the status of crises in the physics literature: the hierarchy problem and the cosmological constant problem. Our main focus will be to uncover those assumptions responsible for undermining the validity of the EFT techniques in their respective context. In light of this analysis, we will ultimately lean towards a more cautionary or “reserved” approach to EFTs. (shrink)

Mechanisms have become much-discussed, yet there is still no consensus on how to characterise them. In this paper, we start with something everyone is agreed on – that mechanisms explain – and investigate what constraints this imposes on our metaphysics of mechanisms. We examine two widely shared premises about how to understand mechanistic explanation: (1) that mechanistic explanation offers a welcome alternative to traditional laws-based explanation and (2) that there are two senses of mechanistic explanation that we call ‘epistemic explanation’ (...) and ‘physical explanation’. We argue that mechanistic explanation requires that mechanisms are both real and local. We then go on to argue that real, local mechanisms require a broadly active metaphysics for mechanisms, such as a capacities metaphysics. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

The paper spells out five different accounts of the relationship between objects and relations three of which are versions of ontic structural realism. We argue that the distinction between objects and properties, including relations, is merely a conceptual one by contrast to an ontological one: properties, including relations, are modes, that is the concrete, particular ways in which objects exist. We then set out moderate OSR as the view according to which irreducible relations are central ways in which the fundamental (...) physical objects exist. Physical structures thus consist in objects for whom it is essential that they are related in certain ways. There hence are objects, but they do not possess an intrinsic identity. This view can also admit intrinsic properties as ways in which objects exist provided that these do not amount to identity conditions for the objects. Finally, we indicate how this view can take objective modality into account. (shrink)

Discovering laws of nature was a way to worship a law-giving God, during the Scientific Revolution. So why should we consider it worthwhile now, in our own more secularized science? For historical perspective, I examine two competing early modern theological traditions that related laws of nature to different divine attributes, and their secular legacy in views ranging from Kant and Nietzsche to Humean and ‘governing’ accounts in recent analytic metaphysics. Tracing these branching offshoots of ethically charged God-concepts sheds light on (...) how our ethical ideals and ideas of natural order can still be valuably integrated. Early modern intellectualists valued the law-governed order of nature as a sign of divine Reason. In turn, Reason traditionally ascribed to God has now been partly reclaimed for humans, reframing the value of natural order anthropocentrically, in terms of the value of our own intelligence. Alternatively, Reason may be reclaimed for nature itself, as in an ‘objective’ idealism or metaphysical rationalism. However, beyond divine Reason, an influential voluntarist tradition in theology stressed a connection between laws of nature and God’s Power or free Will. Tracking how divine Power has been reinvested in human beings provides a broader context for instrumentalism and related lineages of empiricism. But secularization can also transfer Power from God to the impersonal natural world. In this light, current scientific interest in lawlike order may also reflect the inherent value of brute necessity or inhuman causal power in nature: this is a deeper way to reject anthropocentrism and to show our respect for the environment. (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)

This chapter is concerned with the representation of time and change in classical (i.e., non-quantum) physical theories. One of the main goals of the chapter is to attempt to clarify the nature and scope of the so-called problem of time: a knot of technical and interpretative problems that appear to stand in the way of attempts to quantize general relativity, and which have their roots in the general covariance of that theory. The most natural approach to these questions is via (...) a consideration of more clear cases. So much of the chapter is given over to a discussion of the representation of time and change in other, better understood theories, starting with the most straightforward cases and proceeding through a consideration of cases that lead up to the features of general relativity that are responsible for the problem of time. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

The Abrahamic traditions regard God as the world’s author. But what kind of author? A novelist? A playwright? Perhaps a composer of classical music? I will argue that it is best to regard God as like an improvisational play director or the leader of a jazz ensemble. Each determines the broad melodic contours or coarse-grained plot beforehand, while allowing their musicians or actors, and chance, to fill in the more fine-grained details. This analogy allows us to regard God as the (...) ultimate author of this world, while allowing us to be, while less than co-authors, more than mere enactors of a pre-written piece. These metaphors are particularly well-suited to illustrate and flesh out an Open Theistic view of things. (shrink)

Because of accelerating technological progress, humankind may be rapidly approaching a critical phase in its career. In addition to well-known threats such as nuclear holocaust, the prospects of radically transforming technologies like nanotech systems and machine intelligence present us with unprecedented opportunities and risks. Our future, and whether we will have a future at all, may well be determined by how we deal with these challenges. In the case of radically transforming technologies, a better understanding of the transition dynamics from (...) a human to a “posthuman” society is needed. Of particular importance is to know where the pitfalls are: the ways in which things could go terminally wrong. While we have had long exposure to various personal, local, and endurable global hazards, this paper analyzes a recently emerging category: that of existential risks. These are threats that could cause our extinction or destroy the potential of Earth-originating intelligent life. Some of these threats are relatively well known while others, including some of the gravest, have gone almost unrecognized. Existential risks have a cluster of features that make ordinary risk management ineffective. A final section of this paper discusses several ethical and policy implications. A clearer understanding of the threat picture will enable us to formulate better strategies. (shrink)

In recent work, Callender and Cohen (2009) and Hoefer (2007) have proposed variants of the account of chance proposed by Lewis (1994). One of the ways in which these accounts diverge from Lewis’s is that they allow special sciences and the macroscopic realm to have chances that are autonomous from those of physics and the microscopic realm. A worry for these proposals is that autonomous chances may place incompatible constraints on rational belief. I examine this worry, and attempt to determine (...) (i) what kinds of conflicts would be problematic, and (ii) whether these proposals lead to problematic conflicts. After working through a pair of cases, I conclude that these proposals do give rise to problematic conflicts. (shrink)

I focus on a family of inferences that are intuitively incapable of producing knowledge of their conclusions, although they appear to satisfy sufficient conditions for inferential knowledge postulated by plausible epistemological theories. They include Moorean inferences and inductive-bootstrapping inferences. I provide an account of why these inferences are not capable of producing knowledge. I argue that the reason why these inferences fail to produce knowledge of their conclusions is that inferential knowledge requires that the subject is more likely to believe (...) the premises of the inference if the conclusion is true than if it is false. I end by comparing the treatment of these cases that emerges from the approach that I recommend with the position advocated by Sherrilyn Roush in her recent book, Tracking Truth (2005). (shrink)

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

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

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Handbook of the History of Logic, vol. 10, eds. Dov Gabbay, Stephan Hartmann, and John Woods, forthcoming.

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...) plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) science; claims about laws play essential roles in areas as diverse as the philosophy of religion (e.g., in the argument from design) and the philosophy of mind (e.g., in the formulation of Davidson’s anomalous monism). In my dissertation, I consider and reject the widely-held thesis that the facts concerning laws can be reduced to the facts concerning the particular entities that the laws “govern,” and that the laws thus have no independent existence. I instead defend a version of nomic primitivism, according to which the facts about laws cannot be reduced to facts that are themselves non-nomic – i.e., to facts that do not fundamentally involve laws, counterfactuals, causes, etc. Insofar as the truth or falsity of reductionism about laws has implications for many of the problems mentioned above, I think that this result should be of interest even to those who who do not work in metaphysics or the philosophy of science. My methodology, which I lay out and defend in Chapter One, is a version of Carnapian explication. This method emphasizes the importance of articulating and maintaining clear distinctions between (1) the vague concept (or concepts) law of nature inherent in ordinary language and scientific practice and (2) the precise analyses of “law of nature” that philosophers have proposed as potential replacements for this concept. I argue that metaphysics-as-explication has clear advantages over rival conceptions of metaphysical methodology; in particular, it allows us to formulate evaluative criteria for metaphysical claims. In Chapter Two, I offer an example of how careful attention to concepts already in use can help resolve philosophical debate. Specifically, I argue that much recent literature has mistakenly assumed that there is only one concept of “law of nature” in use, while there are in fact at least two. Strong laws are the principles pursued by fundamental physics: they are true, objective, and bear distinctive relationships to counterfactuals and explanation. Weak laws, by contrast, lack at least one of these distinctive characteristics but play central roles in both the “special sciences” and in everyday life. In Chapters Three and Four, I offer extended arguments against the two most prominent versions of reductionism about laws – Humeanism and law necessitarianism. According to philosophical Humeans, the laws of nature supervene upon the non-modal, non-nomic facts concerning the behavior of particular things at particular times and places. Law necessitarians, by contrast, argue that the laws are in fact metaphysically necessary, and that which laws there are is determined by a class of primitive, modally loaded facts concerning the essences, natures, or dispositions. I argue that both of these views are mistaken insofar as they disagree with well-entrenched scientific practices and those in favor of reductionism have failed to provided sufficient reason for thinking that these practices should be revised. Much of my argument is focused on the role played by a number of supposed methodological principles, including appeals to intuition, parsimony, and methodological naturalism. While the conclusions of this dissertation are explicitly constrained to laws, many of the arguments should be of interest to those who are concerned about philosophical methodology (especially in the role of intuition in philosophical argument) or the appropriate relation between metaphysics, science, and the philosophy of science. (shrink)

The status of laws of nature has been the locus of a lively debate in recent philosophy. Most participants have assumed laws play an important role in science and metaphysics while seeking their objective ground in the natural world, though some skeptics have questioned this assumption. So-called Humeans look to base laws on actual, particular facts such as those specified in David Lewis’s Humean mosaic. Their opponents argue that such a basis is neither necessary nor sufficient to support the independent (...) existence of scientific laws. This essentially metaphysical debate has paid scant attention to the details of scientific practice. It has mostly focused on so-called fundamental laws, assumed to take a particular form. I propose a pragmatist alternative—not as another position in the debate but as an alternative to the debate itself. This pragmatist alternative offers a view that questions the representational conception of truth presupposed by participants to the debate as well as the metaphysical import of fundamental laws. Statements of law serve many different purposes in science: I’ll look at some. But their central role is in inference, primarily to improve the epistemic state of a scientist with limited access to information. To play this role, a scientific law statement need be neither necessary, unconditionally universal nor even true. It must merely be sufficiently reliable within its domain of application. The use of laws in astrophysics and metrology will help to illustrate these points. (shrink)

What is the compositional structure of reality? That question divides naturally into these two: What is the compositional structure of the particulars that populate reality? And what is the structure of the properties and relations that fix what these entities are like? David Lewis‘s work in ontology and mereology provides the materials for an extraordinarily clean answer to the first question. First, among the particulars1 that populate reality are mereological simples: entities that have no proper parts. Second, every collection of (...) such entities has a unique mereological fusion. And third, every particular is either a simple, or a fusion of simples.2 That‘s it. I propose to take this answer on board.3 What, then, about our second question? Here it looks as though we can draw on an additional Lewisian thesis: Joints: There is a distinction — at the level of metaphysics — between more and less natural properties. Some properties are perfectly natural; others are less-but-still-quite natural; still others are not very natural at all. This distinction earns its philosophical keep because of the number and centrality of the philosophical projects that must presuppose it. And to say that this distinction resides at the level of metaphysics is, at least in part, to say that it is not grounded in facts about human psychology. (shrink)

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

Many of the leading accounts of what makes a life meaningful are goal-based theories, according to which it is the pursuit of some specific goal (such as love for things that are worthy of love) that gives meaning to our lives. In this chapter I consider how these goal-based theories of meaning in life interact with the two main theories of the nature of time that have been defended in the recent metaphysics literature, namely, The Dynamic Theory of Time and (...) The Static Theory of Time. I argue that The Dynamic Theory fits well with goal-based theories of meaning in life, but The Static Theory does not. Then I close with some thoughts about what a Static Theorist should make of this conclusion. (shrink)

In this paper we argue that there is a problem with the conjunction of David Lewis' account of counterfactual conditionals and his account of laws of nature. This is a pressing problem since both accounts are individually plausible, and popular.

State of art paper on the topic laws of nature, around the problem of identification what is to be a law of nature. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: the simple regularity theory, from Hume; the Mill-Ramsey-Lewis best systems theory; the Dretske-Tooley-Armstrong theory of laws as relations among universals; Ellis’s essentialist theory; Cartwright’s theory of laws as ceteris paribus laws; the anti-reductionist theories of Lange, Maudlin and Carroll, the anti-realist theories of Mumford, (...) van Fraassen and Giere; etc. (shrink)

Bayesian confirmation theory—abbreviated to in these notes—is the predominant approach to confirmation in late twentieth century philosophy of science. It has many critics, but no rival theory can claim anything like the same following. The popularity of the Bayesian approach is due to its flexibility, its apparently effortless handling of various technical problems, the existence of various a priori arguments for its validity, and its injection of subjective and contextual elements into the process of confirmation in just the places where (...) critics of earlier approaches had come to think that subjectivity and sensitivity to context were necessary. (shrink)

I describe three extant attempts to identify the global external symmetries within a Humean framework with theorems of some or other deductive systematization of the world, respectively, the best system, a meta-best system and a maximally simple system. Each has merits, but also serious flaws. Instead, I propose a view of global external symmetries as consequences of the structure of Humean-consistent world-making relations.

The paper first argues that if one takes current fundamental physics seriously, one gets to a metaphysics of events and relations in contrast to substances and intrinsic properties. Against that background, the paper discusses Heil’s theory of properties being both categorical and dispositional and his rejection of levels of being. I contrast these views with a Humean metaphysics. My concluding claim is that Heil’s account of properties opens up the perspective of a conservative reductionism, which avoids the common reservations against (...) reductionism. (shrink)