Orthodoxy has it that only metaphysically elite properties can be invoked in scientifically elite laws. We argue that this claim does not fit scientific practice. An examination of candidate scientifically elite laws like Newton’s F = ma reveals properties invoked that are irreversibly defined and thus metaphysically non-elite by the lights of the surrounding theory: Newtonian acceleration is irreversibly defined as the second derivative of position, and Newtonian resultant force is irreversibly defined as the sum of the component forces. We (...) think that scientists are happy to invoke metaphysically non-elite properties in scientifically elite laws for reasons of convenience, such as to simplify the equations and to make them more modular. On this basis, we draw a deflationary moral about laws themselves, as being merely convenient summaries. 1 Introduction2 Orthodoxy2.1 Orthodoxy stated2.2 Orthodoxy explained2.3 A worrisome commitment: Term objectivism3 The Loose View3.1 The argument from practice3.2 Finding the scientifically elite equations3.3 Diagnosing the metaphysically non-elite properties3.4 Situating our challenge4 Newtonian Mechanics4.1 Newtonian acceleration4.2 Newtonian resultant force4.3 A metaphysical discovery?5 Objections5.1 Metaphysically elite after all?5.2 Scientifically non-elite after all?5.3 But our world is not Newtonian!6 Consequences6.1 Consequences for the motivations for link6.2 Consequences for metaphysically elite properties6.3 Consequences for lawhood. (shrink)

Humeans are often accused of positing laws which fail to explain or are involved in explanatory circularity. Here, I will argue that these arguments are confused, but not because of anything to do with Humeanism: rather, they rest on false assumptions about causal explanation. I’ll show how these arguments can be neatly sidestepped if one takes on two plausible commitments which are motivated independently of Humeanism: first, that laws don’t directly feature in scientific explanation and second, the view that explanation (...) is contrastive. After outlining and motivating these views, I show how they bear on explanation-based arguments against Humeanism. (shrink)

The classic logical positivist account of historical explanation, putting forward what is variously called the "regularity interpretation" (#Gardiner, The Nature of Historical Explanation), the "covering law model" (#Dray, Laws and Explanation in History), or the "deductive model" (Michael #Scriven, "Truisms as Grounds for Historical Explanations"). See also #Danto, Narration and Knowledge, for further criticisms of the model. Hempel formalizes historical explanation as involving (a) statements of determining (initial and boundary) conditions for the event to be explained, and (b) statements of (...) general laws that imply that whenever events of the kind described in (a) occur, an event of the kind to be explained will take place. He admits that in practice historians rarely explain historical events in this way, but instead give only fragmentary "explanation sketches." Such sketches can, however, be "scientifically acceptable," providing it points to where "more specific statements" are to be found (351). An interesting aspect of the article is its "late" positivist, proto‑Kuhnian assertion that "the separation of 'pure description' and 'hypothetical generalization and theory construction' in empirical science is unwarranted" (356). But Hempel does not work out the wider implications of this important conclusion. It is also worth noting that he himself was not much interested in the philosophy of history; other authors took up his model and discussed it within that context. Usefully discussed by #Ricoeur, Time and Narrative, 1:112‑17. (shrink)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

The following is an essay on the notion of scientific explanation as unification. In it a new notion of content is used to explicate Michael Friedman's notion of "k-atomicity," and to explicate the notion of the surplus content of hypothesis h relative to evidence e. From this basis an analysis of unification as theoretical reduction is advanced. A second notion of unification, unification as reconciling prima facie incompatible statements, is introduced again with the aid of this new notion of content. (...) More generally, it is argued that rather than seek the essence of scientific explanation we should carefully catalog the various distinct explanatory virtues. Finally it is argue that in particular philosophical explanations put a high premium on the quality of unification through showing how to make compatible seemingly irreconcilable claims. (shrink)

In Gemes (1990) I examined certain formal versions of hypothetico-deductivism (H-D) showing that they have the unacceptable consequence that "Abe is a white raven" confirms "All ravens are black"! In Gemes (1992) I developed a new notion of content that could save H-D from this bizarre consequence. In this paper, I argue that more traditional formulations of H-D also need recourse to this new notion of content. I present a new account of the vexing notion of the natural axiomatization of (...) a theory. The notion is used to construct a form of H-D that allows for the type of selective confirmation without which Glymour (1980a,b) claims H-D is hopeless. (shrink)

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.

I present an argument for the view that laws ground their instances. I then outline two important consequences that follow if we accept the conclusion of this argument. First, the claim that laws ground their instances threatens to undermine a prominent recent attempt to make sense of the explanatory power of Humean laws by distinguishing between metaphysical and scientific explanation. And second, the claim that laws ground their instances gives rise to a novel argument against the view that grounding relations (...) are metaphysically necessary. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F also makes it G. This approach is hyperintensional and possesses desirable logical and modal features. In particular, these sentences are reflexive, transitive, and symmetric, and if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I motivate my account over Correia and Skiles’ [11] prominent alternative and close by defining an irreflexive and asymmetric notion of analysis in terms of the symmetric and reflexive notion. (shrink)

It is a traditional empiricist doctrine that natural laws are universal truths. In order to overcome the obvious difficulties with this equation most empiricists qualify it by proposing to equate laws with universal truths that play a certain role, or have a certain function, within the larger scientific enterprise. This view is examined in detail and rejected; it fails to account for a variety of features that laws are acknowledged to have. An alternative view is advanced in which laws are (...) expressed by singular statements of fact describing the relationship between universal properties and magnitudes. (shrink)

This article argues for a revised best system account of laws of nature. David Lewis’s original BSA has two main elements. On the one hand, there is the Humean base, which is the totality of particular matters of fact that obtain in the history of the universe. On the other hand, there is what I call the ‘nomic formula’, which is a particular operation that gets applied to the Humean base in order to output the laws of nature. My revised (...) account focuses on this latter element of the view. Lewis conceives of the nomic formula as a balance of simplicity and strength, but I argue that this is a mistake. Instead, I motivate and develop a different proposal for the standards that figure into the nomic formula, and I suggest a rationale for why these should be the correct standards. Specifically, I argue that the nomic formula should be conceived as a collection of desiderata designed to generate principles that are predictively useful to creatures like us. The resulting view—which I call the ‘best predictive system’ account of laws—is thus able to explain why scientists are interested in discovering the laws, and it also gives rise to laws with the sorts of features that we find in actual scientific practice 1Introduction2The LOPP3A Problem with Lewis's Formula4A Pragmatic Account of the Nomic Formula 4.1Informative dynamics4.2Wide applicability4.3Spatial locality4.4Temporal locality4.5Spatial, temporal, and rotational symmetries4.6Predictively useful properties4.7Simplicity4.8Recap5 Conclusion. (shrink)

One of the main challenges confronting Humean accounts of natural law is that Humean laws appear to be unable to play the explanatory role of laws in scientific practice. The worry is roughly that if the laws are just regularities in the particular matters of fact (as the Humean would have it), then they cannot also explain the particular matters of fact, on pain of circularity. Loewer (2012) has defended Humeanism, arguing that this worry only arises if we fail to (...) distinguish between scientific and metaphysical explanations. However, Lange (2013, 2018) has argued that scientific and metaphysical explanations are linked by a transitivity principle, which would undercut Loewer's defense and re-ignite the circularity worry for the Humean. I argue here that the Humean has antecedent reasons to doubt that there are any systematic connections between scientific and metaphysical explanations. The reason is that the Humean should think that scientific and metaphysical explanation have disparate aims, and therefore that neither form of explanation is beholden to the other in its pronouncements about what explains what. Consequently, the Humean has every reason to doubt that Lange's transitivity principle obtains. (shrink)

In 1977, R. B. Angell presented a logic for analytic containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of individual formulas, and (...) which behave in some respects like Gentzen's sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnap's tautological entailments. (shrink)

Perhaps the most significant contemporary theory of lawhood is the Best System (/MRL) view on which laws are true generalizations that best systematize knowledge. Our question in this paper will be how best to formulate a theory of this kind. We’ll argue that an acceptable MRL should (i) avoid inter-system comparisons of simplicity, strength, and balance, (ii) make lawhood epistemically accessible, and (iii) allow for laws in the special sciences. Attention to these problems will bring into focus a useful menu (...) of novel MRL theories, some of which solve problems the original MRL theory could not. Hence we conceive of the paper as moving toward a better Best System theory of laws. (shrink)

John Carroll undertakes a careful philosophical examination of laws of nature, causation, and other related topics. He argues that laws of nature are not susceptible to the sort of philosophical treatment preferred by empiricists. Indeed he shows that emperically pure matters of fact need not even determine what the laws are. Similar, even stronger, conclusions are drawn about causation. Replacing the traditional view of laws and causation requiring some kind of foundational legitimacy, the author argues that these phenomena are inextricably (...) intertwined with everything else. This distinctively clear and detailed discussion of what it is to be a law will be valuable to a broad swathe of philosophers in metaphysics, the philosophy of mind, and the philosophy of science. (shrink)

Discussions about the nature of essence and about the inference problem for non-Humean theories of nomic modality have largely proceeded independently of each other. In this article I argue that the right conclusions to draw about the inference problem actually depend significantly on how best to understand the nature of essence. In particular, I argue that this conclusion holds for the version of the inference problem developed and defended by Alexander Bird. I argue that Bird’s own argument that this problem (...) is fatal for David Armstrong’s influential theory of the laws of nature but not for dispositional essentialism is seriously flawed. In place of this argument, I develop an argument that whether Bird’s inference problem raises serious difficulties for Armstrong’s theory depends on the answers to substantial questions about how best to understand essence. The key consequence is that considerations about the nature of essence have significant, underappreciated implications for Armstrong’s theory. (shrink)

This paper sketches a dispositionalist conception of laws and shows how the dispositionalist should respond to certain objections. The view that properties are essentially dispositional is able to provide an account of laws that avoids the problems that face the two views of laws (the regularity and the contingent nomic necessitation views) that regard properties as categorical and laws as contingent. I discuss and reject the objections that (i) this view makes laws necessary whereas they are contingent; (ii) this view (...) cannot account for certain kinds of laws of nature and their properties. (shrink)

Humeanism about laws of nature is, roughly, the view that the laws of nature are just patterns, or ways of describing patterns, in the mosaic of events. In this paper I survey some of the (many!) objections that have been raised to Humeanism, considering how the Humean might respond. And I consider how we might make a positive case for Humeanism. The common thread running through all this is that the viability of the Humean view relies on the Humean having (...) an importantly different conception of explanation to the anti-Humean. (shrink)

There is a tension in our theorizing about laws of nature: our practice of using and reasoning with laws of nature suggests that laws are universal generalizations, but if laws are universal generalizations then we face the problem of explanatory circularity. In this paper I elucidate this tension and show how it motivates a view of laws that I call Minimal Anti-Humeanism. This view says that the laws are the universal generalizations that are not grounded in their instances. I argue (...) that this view has a variety of advantages that could make it attractive to people with both Humean and anti-Humean inclinations. (shrink)

Recently several thought experiments have been developed (by John Carroll amongst others) which have been alleged to refute the Ramsey-Lewis view of laws of nature. The paper aims to show that two such thought experiments fail to establish that the Ramsey-Lewis view is false, since they presuppose a conception of laws of nature that is radically at odds with the Humean conception of laws embodied by the Ramsey-Lewis view. In particular, the thought experiments presuppose that laws of nature govern the (...) behavior of objects. The paper argues that the claim that laws govern should not be regarded as a conceptual truth, and shows how the governing conception of laws manifests itself in the thought experiments. Hence the thought experiments do not constitute genuine counter-examples to the Ramsey-Lewis view. since the Humean is free to reject the conception of laws which the thought experiments presuppose. (shrink)

This is a collection of twenty-five papers and reviews by the leading analytic philosopher of our time. It adds to the papers on metaphysics and epistemology to be found in his previous two-volume collection published by Oxford University Press. One previously unpublished paper—“Why Conditionalize?”—is included. Australasian philosophers may note with some pride that eleven of the pieces were first published in the Australasian Journal of Philosophy.

Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, modal truths, truths about (...) the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)

A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some sort of causal mechanism, but through some constitutive form of determination. I myself have long been sympathetic to this idea of constitutive determination or ‘ontological ground’; and it is the aim of the present paper to help put the idea on a firmer (...) footing - to explain how it is to be understood, how it relates to other ideas, and how it might be of use in philosophy. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

This paper explores whether it is possible to reformulate or re-interpret Lewis’s theory of fundamental laws of nature—his “best system analysis”—in such a way that it becomes a useful theory for special science laws. One major step in this enterprise is to make plausible how law candidates within best system competitions can tolerate exceptions—this is crucial because we expect special science laws to be so called “ceteris paribus laws ”. I attempt to show how this is possible and also how (...) we can thereby make the first step towards a solution for the infamous difficulties surrounding the troublesome ceteris paribus clause. The paper outlines the general ideas of the theory but also points out some of its difficulties and background assumptions. (shrink)

Humeanism about laws of nature — the view that the laws reduce to the Humean mosaic — is a popular view, but currently existing versions face powerful objections. The non-supervenience objection, the non-fundamentality objection and the explanatory circularity objection have all been thought to cause problems for the Humean. However, these objections share a guiding thought — they are all based on the idea that there is a certain kind of divergence between the practice of science and the metaphysical picture (...) suggested by Humeanism. -/- I suggest that the Humean can respond to these objections not by rejecting this divergence, but by arguing that is appropriate. In particular the Humean can, in the spirit of Loewer (2012), distinguish between scientific and metaphysical explanation — this is motivated by differing aims of explanation in science and metaphysics. And they can further leverage this into distinctions between scientific and metaphysical fundamentality and scientific and metaphysical possibility. We can use these distinctions to respond to the objections that the Humean faces. (shrink)

I argue that the best scientific package is anti-Humean in its ontology, but Humean in its laws. This is because potencies and the best system account of laws complement each other surprisingly well. If there are potencies, then the BSA is the most plausible account of the laws of nature. Conversely, if the BSA is the correct theory of laws, then formulating the laws in terms of potencies rather than categorical properties avoids three serious objections: the mismatch objection, the impoverished (...) worlds objection, and the metaphysical 'oomph' objection. I argue that combining anti-Humean properties with Humean laws into a Potency-Best System Account of Laws is a powerful and science-friendly account---something that people on both sides should be able to appreciate. (shrink)

After many years of enduring the drought and famine of Quinean ontology and Carnapian meta-ontology, the notion of ground, with its distinctively philosophical flavor, finally promises to give metaphysicians something they can believe in again and around which they can rally: their very own metaphysical explanatory connection which apparently cannot be reduced to, or analyzed in terms of, other familiar idioms such as identity, modality, parthood, supervenience, realization, causation or counterfactual dependence. Often, phenomena such as the following are cited as (...) putative examples of grounding connections: systematic connections between entire realms of facts (mental/physical; moral/natural; etc.); truthmaking (e.g., the relation between the truth of the proposition that snow is white and snow’s being white); logical cases (e.g., the connection between conjunctive facts or disjunctive facts and their constituent facts); the determinate/determinable relation (e.g., the relation between something’s being maroon and its being red). I argue in this paper that classifying all of these phenomena as exhibiting grounding connections does not achieve much in the way of illumination. In fact, by treating a collection of phenomena which is in fact heterogeneous as though it were homogeneous, we have, if anything, taken a dialectical step backward. (shrink)

The first half of this book argues that physicalism cannot account for consciousness, and hence cannot be true. The second half explores and defends Russellian monism, a radical alternative to both physicalism and dualism. The view that emerges combines panpsychism with the view that the universe as a whole is fundamental.

This book first argues that what philosophers are really after, or at least should be after, when they seek a theory of explanation, is a theory of answers to why-questions. The book's main thesis, then, is a theory of reasons why. Every reason why some event happened is either a cause, or a ground, of that event. Challenging this thesis are many examples philosophers have thought they have found of "non-causal explanations." Reasons Why uses two ideas to show that these (...) examples are not counterexamples to the theory it defends. First is the idea that not every part of a good response to a why-question is part of an answer to that why-question. Second is the idea that not every reason why something is a reason why an event happened is itself a reason why that event happened. (shrink)

The law-governed world-picture -- A remarkable idea about the way the universe is cosmos and compulsion -- The laws as the cosmic order : the best-system approach -- The three ways : no-laws, non-governing-laws, governing-laws -- Work that laws do in science -- An important difference between the laws of nature and the cosmic order -- The picture in four theses -- The strategy of this book -- The meta-theoretic conception of laws -- The measurability approach to laws -- What (...) comes where -- In defense of some received views -- Some assumptions that will be in play -- The laws are propositions -- The laws are true -- The logically contingent consequences of the laws are laws themselves -- At least some laws are metaphysically contingent -- The meta-theoretic conception of laws -- Laws of nature, laws of science, laws of theories -- The first-order conception versus the meta-theoretic conception -- What is a law of nature? -- Some examples of meta-theoretic accounts -- The virtues of the meta-theoretic conception -- Weighing the virtues and shortcomings of the meta-theoretic conception -- An epistemological argument for the meta-theoretic conception of laws -- The discoverability thesis, the governing thesis, and the first-order conception -- The main argument -- The objection from bad company -- The objection from inference to the best explanation -- The objection from bayesianism -- The objection from contextualist epistemology -- The objection from the threat of inductive skepticism -- Laws, governing, and counterfactuals -- Where we are now -- What would things have to be like in order for the laws of nature to govern the universe? -- Lawhood, inevitability, counterfactuals -- What is it for a proposition to be inevitably true? -- What is it for a whole class of propositions to be inevitably true? -- What is it for lawhood to confer inevitability? -- NP and supporting counterfactuals -- The worry about context-variability -- A solution and a look ahead -- When would the laws have been different? -- Where we are now -- The God cases -- Other counterexamples to NP -- A moral-theoretic counterexample to NP -- Scientific contexts and non-scientific contexts -- Scientific God cases? -- Lewisian non-backtracking counterexamples -- Where things stand now -- How could science show that the laws govern? -- Why the law-governed world-picture must include the science-says-so thesis -- What is extra-scientific? -- How can the science-says-so thesis be true? -- NP as a consequence of the presuppositions in any scientific context -- Np as true in all possible scientific contexts -- But how could it be so? -- Attack of the actual-factualists -- Measurement and counterfactuals -- Where we are now -- Measurements, reliability, counterfactuals -- A general principle that captures the relation between measurement and counterfactuals -- What we can learn about lawhood from what we have learned about the counterfactual commitments of science -- A first-order account of laws or a meta-theoretic account of laws? -- What methods are presupposed to be legitimate measurement procedures? -- Why we must adopt a meta-theoretic account of laws -- What lawhood is -- Where we are now -- The measurability account of laws -- Brief review of the case for the mal -- A note about hedged laws -- How plausible is the mal? -- What if we don't care about the law-governed world-picture? -- Newton's God and Laplace's demon -- Beyond humean and non-humean -- Two views of laws -- Humean supervenience and the meta-theoretic conception -- Alleged counterexamples to humean supervenience -- Governing and non-trivial necessity -- How the mal lets us have it all -- Humeanism? non-humeanism? -- What is the significance of the idea of the law-governed universe? -- Where in the world are the laws of nature? -- Appendix: The mal in action : a few examples -- Of scientific theories and their laws -- Newton's theory as a paradigm example -- Classical special-force laws -- Geometrical optics and one of its laws -- Local deterministic field theories. (shrink)

Laws form counterfactually stable sets -- Natural necessity -- Three payoffs of my account -- A world of subjunctives.

Professional philosophers and advanced students working in metaphysics and the philosophy of science will find this book both provocative and stimulating.

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of disjunctive parthood (...) in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable- determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (shrink)

When the New Organon appeared in 1620, part of a six-part programme of scientific inquiry entitled 'The Great Renewal of Learning', Francis Bacon was at the high point of his political career, and his ambitious work was groundbreaking in its attempt to give formal philosophical shape to a new and rapidly emerging experimentally-based science. Bacon combines theoretical scientific epistemology with examples from applied science, examining phenomena as various as magnetism, gravity, and the ebb and flow of the tides, and anticipating (...) later experimental work by Robert Boyle and others. His work challenges the entire edifice of the philosophy and learning of his time, and has left its mark on all subsequent philosophical discussions of scientific method. This volume presents a new translation of the text into modern English by Michael Silverthorne, and an introduction by Lisa Jardine that sets the work in the context of Bacon's scientific and philosophical activities. (shrink)

Interest surges in a distinctively metaphysical notion of ground. But a Schism has emerged between Orthodoxy’s view of ground as inducing a strict partial order structure on reality and Heresy’s rejection of this view. What’s at stake is the structure of reality (for proponents of ground), or even ground itself (for those who think this Schism casts doubt upon its coherence). I defend Orthodoxy against Heresy.

This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus on conditions that (...) must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)