When confronted with the question of why it is appropriate to morally blame a person for some bad action, it may seem plausible to reply that she is morally responsible for it. Some authors, inspired by Peter Strawson's "Freedom and Resentment," argue, however, that thinking this way is backwards. They believe that a person is morally responsible for some bad action because it would be appropriate to blame her for it. The aims of this paper are to present this account, (...) to highlight some of its important but often overlooked features, and to defend it against pressing objections. (shrink)

Existential grounding is the thesis that all existential generalizations are grounded in their particular instances. This paper argues that existential grounding is false. This is because it is inconsistent with two plausible claims about existence: the claim that singular existence facts are generalizations and the claim that no object can be involved in a fact that grounds that same object's existence. Not only are these claims intuitively plausible, but there are also strong arguments in favour of each of them.

Ontic structural realism is a thesis of fundamentality metaphysics: the thesis that structure, not objects, has fundamental status. Claimed as the metaphysic most befitting of modern physics, OSR first emerged as an entreaty to eliminate objects from the metaphysics of fundamental physics. Such elimination was urged by Steven French and James Ladyman on the grounds that only it could resolve the ‘underdetermination of metaphysics by physics’ that they claimed reduced any putative objectual commitment to a merely ‘ersatz’ form of realism. (...) Few, however, have joined French and Ladyman either in acknowledging that such underdetermination exists or in attributing to it such drastic consequences. However, an alternative view that physics does sanction objects, albeit merely as ontologically secondary entities, represents a different and seemingly less extreme route to the same conclusion regarding the fundamentality of structure. But since what it means to be ‘ontologically prior’ is itself a vexed philosophical question, a stance must be taken as to how we are to understand priority before its prospects may be evaluated. In an earlier paper, I outlined how Fine’s notion of ontological dependence might be utilized to defend the priority-based approach to structuralism. Since then, however, I have become convinced that that ontological dependence is not a relation of priority after all. As a result, the arguments outlined in that paper stand in need of reassessment. In this work, I consider the prospects for priority-based structuralism when expressed in the idiom of determination. My conclusion will be that it has yet to be vindicated by our best physical theories, owing to the failure of symmetry structures to determine the world’s inventory of fundamental kinds. Nevertheless, the same symmetry considerations point towards there being renewed prospects for eliminativism—an eliminativism, moreover, of more naturalistic appeal than that hitherto associated with OSR. 1Introduction 2Structuralist Strategies 3Defining Ontological Priority: Dependence or Determination? 4Structuralism in the Idiom of Determination 4.1Determining plurality 4.2Determining kind properties 5A Reinvigorated Eliminativism. (shrink)

In metaphysics, the fundamental is standardly equated with that which has no explana- tion – with that which is, in other words, ‘brute’. But this doctrine of brutalism is in tension with physicists’ ambitions to not only describe but also explain why the fundamental is as it is. The tension would ease were science taken to be incapable of furnishing the sort of explanations that brutalism is concerned with, given that these are understood to be dis- tinctively ‘metaphysical’ in character. (...) But to assume this is to assume a sharp demarcation between physics and metaphysics that surely cannot be taken for granted. This paper sets out to examine the standing of brutalism from the perspective of contem- porary fundamental physics, together with theories of explanation drawn from philosophy of science and metaphysics. Focusing on what fundamental kinds the world instantiates and how physicists go about determining them, I argue that a partial explanation, in Hempel’s sense, may be given of this fundamental feature. Moreover, since this partial explanation issues, at least in part, from stipulations as to the essential nature of the kinds involved, I claim that it has as much right to be regarded as a metaphysical explanation as do grounding explanations. As such, my conclusion will be that the doctrine of brutalism can no longer be regarded as tenable: at least modulo certain plausible essentialist assumptions, it is no longer the case that no explanation can be given of the fundamental. (shrink)

Peter van Inwagen presented a powerful argument against the Principle of Sufficient Reason, which I henceforth abbreviate as ‘PSR’. For decades, the consensus was that this argument successfully refuted PSR. However, now a growing consensus holds that van Inwagen’s argument is fatally flawed, at least when ‘sufficient reason’ is understood in terms of ground, for on this understanding, an ineliminable premiss of van Inwagen’s argument is demonstrably false and cannot be repaired. I will argue that this growing consensus is mistaken (...) and that a powerful argument relevantly similar to van Inwagen’s should still concern us, even when we understand ‘sufficient reason’ in terms of ground. (shrink)

This essay offers an account of the relationship between extended Leibnizian bodies and unextended Leibnizian monads, an account that shows why Leibniz was right to see intimate, explanatory connections between his studies in physics and his mature metaphysics. The first section sets the stage by introducing a case study from Leibniz's technical work on the strength of extended, rigid beams. The second section draws on that case study to introduce a model for understanding Leibniz's views on the relationship between derivative (...) and primitive forces. The third section draws on Leibniz's understanding of the relationship between derivative and primitive forces in order to shed light, in turn, on his understanding of the relationship between extended, material bodies and unextended, immaterial monads. The fourth section responds to a likely objection by arguing that Leibniz's monads may, in a perfectly reasonable sense, be spatially located. (shrink)

ABSTRACT Let wF, wC+, and wC− be three distinct worlds, each of which contains only a single point-sized material particle, and in each of which spacetime is: uniformly flat, constantly positively curved, and constantly negatively curved, respectively. By the relationist’s lights, these worlds seem to be qualitatively identical. Nevertheless, for each world, there are propositions concerning possible arrangements of material points that are true in that world, but false in the other two. I argue that, surprisingly, the relationist can ground (...) these differences in the distinct non-modal and intrinsic relations that are instantiated in each of wF, wC+, and wC–. (shrink)

Grounding theorists insist that grounding and explanation are intimately related. This claim could be understood as saying either that grounding ‘inherits’ its properties from explanation or it could be interpreted as saying that grounding plays an important—possibly an indispensable—role in metaphysical explanation. Or both. I argue that saying that grounding ‘inherits’ its properties from explanation can only be justified if grounding is explanatory by nature, but that this view is untenable. We ought therefore to be ‘separatists’ and view grounding and (...) explanation as distinct. As it turns out, though, once grounding has been in this sense distinguished from the explanation it backs, the view that the role grounding plays in explanation justifies its introduction ends up in serious trouble. I conclude that the role grounding plays in explanation does not justify attributing to grounding whatever nature we think it has, and it most likely does not give us any special reason to think grounding exists. (shrink)

The goal of this paper is to raise a few questions about Bayne s mereological account of the unity of consciousness. In Section 1, I raise a few clarificatory questions about the account and the thesis that consciousness is necessarily unified. In Sections 2 and 3, I offer an alternative view of unity of consciousness and contrast it with Bayne's view. I call this view the connectivity account. These sections prepare the ground for the main question of this article: why (...) should we prefer Bayne's mereological view to the connectivity view? (shrink)

Adolf Reinach belongs to the Brentanian lineage of Austrian Aristotelianism. His theory of social acts is well known, but his account of ownership has been mostly overlooked. This paper introduces and defends Reinach’s account of ownership. Ownership, for Reinach, is not a bundle of property rights. On the contrary, he argues that ownership is a primitive and indivisible relation between a person and a thing that grounds property rights. Most importantly, Reinach asserts that the nature ownership is not determined by (...) positive law but presupposed by it. Some have objected that such realism raises insuperable difficulties as to the origin of ownership, difficulties that could only be dealt with under a more conventionalist approach. I argue that the independence of the nature ownership from positive law is, in fact, compatible with the claim that its existence is dependent on human conventions. (shrink)

I present and defend Reinach's theory of ownership according to which, prior to the positive law, one finds a distinction between possession, ownership and property rights. Ownership is not a bundle of positive rights, but a primitive natural relation that grounds the absolute right to behave as one wishes towards the thing one owns. In reply to some objections raised against it, I argue that Reinach's theory of property is morally and politically non-committal; and that it in fact has the (...) ressources for dealing with the vexing issue of the origin of ownership. (shrink)

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

Intrinsicality is a central notion in metaphysics that can do important work in many areas of philosophy. It is not widely appreciated, however, that there are in fact a number of different notions of intrinsicality, and that these different notions differ in what work they can do. This paper discusses what these notions are, describes how they are related to each other, and argues that each of them can be analysed in terms of a single notion of intrinsic aboutness that (...) relates states of affairs to the things they are intrinsically about. (shrink)

It is often held that identity properties like the property of being identical to Paris are intrinsic. It is also often held that, while some logically uninstantiable properties are intrinsic, some logically uninstantiable properties are non-intrinsic. The combination of these views, however, raises a problem, since virtually every existing account of intrinsicality fails to analyse a notion of intrinsicality on which both these views are true. In this paper, I argue that, given the orthodox theory of counterlogicals, there is no (...) notion of intrinsicality on which both these views are true. If this argument is sucessful, then, at least given orthodoxy about counterlogicals, we face no challenge in analysing a notion of intrinsicality on which both these views are true, since there is no such notion. In addition, if we are also convinced that there is a notion of intrinsicality on which one of these views is true and a notion of intrinsicality on which the other of these views is true, we should hold that there is more than one notion of intrinsicality. (shrink)

A number of philosophers have recently claimed that intrinsicality can be analysed in terms of the metaphysical notion of grounding. Since grounding is a hyperintensional notion, accounts of intrinsicality in terms of grounding, unlike most other accounts, promise to be able to discriminate between necessarily coextensive properties that differ in whether they are intrinsic. They therefore promise to be compatible with popular metaphysical theories that posit necessary entities and necessary connections between wholly distinct entities, on which it is plausible that (...) there are such properties. This paper argues that this promise is illusory. It is not possible to give an analysis of intrinsicality in terms of grounding that is consistent with these theories. Given an adequate analysis should be compatible with these theories, it follows that it is not possible to analyse intrinsicality in terms of grounding. (shrink)

A number of philosophers have recently claimed that intrinsicality can be analysed in terms of the metaphysical notion of grounding. Since grounding is a hyperintensional notion, accounts of intrinsicality in terms of grounding, unlike most other accounts, promise to be able to discriminate between necessarily coextensive properties that differ in whether they are intrinsic. They therefore promise to be compatible with popular metaphysical theories that posit necessary entities and necessary connections between wholly distinct entities, on which it is plausible that (...) there are such properties. This paper argues that this promise is illusory. It is not possible to give an analysis of intrinsicality in terms of grounding that is consistent with these theories. Given an adequate analysis should be compatible with these theories, it follows that it is not possible to analyse intrinsicality in terms of grounding. (shrink)

A common objection to Humeanism about natural laws is that, given Humeanism, laws cannot help explain their instances, since, given the best Humean account of laws, facts about laws are explained by facts about their instances rather than vice versa. After rejecting a recent influential reply to this objection that appeals to the distinction between scientific and metaphysical explanation, I will argue that the objection fails by failing to distinguish between two types of facts, only one of which Humeans should (...) regard as laws. I will then conclude by rebutting a variant of this objection that appeals to a principle of metaphysical explanation recently put forward by Kit Fine. (shrink)

ABSTRACTWhile extant replies to Jonathan Schaffer’s putative counterexamples to the transitivity of grounding have made significant strides against the charge of transitivity failure, the replies pay insufficient attention to the common structure of the counterexamples, overlooking a deeper structural feature that contributes to their prima facie plausibility. Putative counterexamples to the transitivity of grounding, I argue, trade on the distinction between what I call ‘rigid’ and ‘non-rigid’ grounding, and confusion over how rigid and non-rigid grounding react when combined pumps the (...) intuition that the counterexamples’ chained conclusions are false. The rigid/non-rigid grounding distinction also reveals plausible weakening inference rules that have been overlooked in treatments of the logic of grounding. (shrink)

This paper develops the Value-Based Theory of Reasons in some detail. The central part of the paper introduces a number of theoretically puzzling features of normative reasons. These include weight, transmission, overlap, and the promiscuity of reasons. It is argued that the Value-Based Theory of Reasons elegantly accounts for these features. This paper is programmatic. Its goal is to put the promising but surprisingly overlooked Value-Based Theory of Reasons on the table in discussions of normative reasons, and to draw attention (...) to a number of areas for fruitful further research. (shrink)

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding of specific (...) regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

In this paper I’m going to deal with the divide between foundationalism and infinitism about grounding. I will examine a thesis about the emergence of ground that has recently been proposed by Matteo Morganti. I will show that a generalized version of this thesis suffers from some serious limits and it cannot be accepted without a significant departure from the standard notion of grounding.

I outline and provide a solution to some paradoxes of ground.

I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...) First, it means we should think of ground as a type of identity. Second, it means we should reject much of Fine’s logic of strict ground. I also show how the logic I develop connects to other systems in the literature. It is definitionally equivalent both to Angell’s logic of analytic containment and to Correia’s system G. (shrink)

There seem to be many kinds of moral duties. We should keep our promises; we should pay our debts of gratitude; we should compensate those we’ve wronged; we should avoid doing or intending harm; we should help those in need. These constitute, some worry, an unconnected heap of duties: the realm of commonsense morality is a disorganized mess. In this paper, we outline a strategy for unifying commonsense moral duties. We argue that they can be understood in terms of contact (...) with value. You are in contact with a value when you are manifest in it or when it is manifest in you. You have reason to get in contact with the good and avoid contact with evil. And when you’re in contact with a value, the weight of the reasons it grounds are amplified for you. These ideas, we argue, can bring order to the chaos of commonsense morality. (shrink)

Some people think that grounding is a type of identity. And some people think that grounding connections hold necessarily. I show that, under plausible assumptions, if grounding is a type of identity, then grounding connections hold necessarily.

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

I present an argument proving that there are no fundamental facts, which is similar to an argument recently presented by Mark Jago for truthmaker maximalism. I suggest that this argument gives us at least some prima facie, defeasible reason to believe that there are no fundamental facts.

Fine (2005, 2006) has presented a ‘trilemma’ concerning the tense-realist idea that reality is constituted by tensed facts. According to Fine, there are only three ways out of the trilemma, consisting in what he takes to be the three main families of tense-realism: ‘presentism’, ‘(external) relativism’, and ‘fragmentalism’. Importantly, although Fine characterises tense-realism as the thesis that reality is constituted (at least in part) by tensed facts, he explicitly claims that tense realists are not committed to their fundamental existence. Recently, (...) Correia and Rosenkranz (2011, 2012) have claimed that Fine’s tripartite map of tense realism is incomplete as it misses a fourth position they call ‘dynamic absolutism’. In this paper, I will argue that dynamic absolutists are committed to the irreducible existence of tensed facts and that, for this reason, they face a similar trilemma concerning the notion of fact-content. I will thus conclude that a generalised version of Fine’s trilemma, concerning both fact-constitution and fact-content, is indeed inescapable. (shrink)

It’s an undeniable fact about our moral lives that we are partial towards certain people and projects. Despite this, it has traditionally been very hard to justify partiality. In this paper I defend a novel partialist theory. The context of the paper is the debate between three different views of how partiality is justified. According to the first view, partiality is justified by facts about our ground projects. According to the second view, partiality is justified by facts about our relationships (...) with the things that we are partial towards. And according to the third view, partiality is justified by facts about the things that we are partial towards. I argue that all three views contain part of the truth. We can see this by adopting a more sophisticated view of the weight of reasons. Once we do this, it will be clear that both facts about individuals and facts about relationships play a role in explaining why we often have stronger reason to act well towards those things we are partial towards. Further, I argue, facts about projects help explain why facts about relationships play the role that they do in determining the strength of our reasons. (shrink)

This paper will examine a novel argument in favour of entity grounding over fact-only grounding. The idea of this argument, roughly speaking, is that the proponents of fact-only grounding cannot provide a unified account of grounds of identity, whereas the proponents of entity grounding can. In this paper, I will give a response to this argument. Specifically, I will argue that the problem which this argument raises to the proponents of fact-only grounding is also a problem with which the proponents (...) of entity grounding are faced. Therefore, this argument fails to show that entity grounding is superior to fact-only grounding. Moreover, I will suggest that the failure of this argument points to a general lesson about the issue of grounds of identity facts. (shrink)

The distribution of matter in our universe is strikingly time asymmetric. Most famously, the Second Law of Thermodynamics says that entropy tends to increase toward the future but not toward the past. But what explains this time-asymmetric distribution of matter? In this paper, I explore the idea that time itself has a direction by drawing from recent work on grounding and metaphysical fundamentality. I will argue that positing such a direction of time, in addition to time-asymmetric boundary conditions, enables a (...) better explanation of the thermodynamic asymmetry than is available otherwise. (shrink)

Humeans about laws maintain that laws of nature are nothing over and above the complete distribution of non-modal, categorical properties in spacetime. ‘Humean compatibilists’ argue that if Humeanism about laws is true, then agents in a deterministic world can do otherwise than they are lawfully determined to do because of the distinctive nature of Humean laws. More specifically, they reject a central premise of the Consequence argument by maintaining that deterministic laws of nature are ‘up to us’. In this paper, (...) we present a new argument for Humean compatibilism. We argue that Humeans about laws indeed have resources for defending compatibilism that non-Humeans lack. Moreover, we show that utilizing these resources does not lead to objectionable consequences. Humeans about laws should thus embrace Humean compatibilism. (shrink)

Traditional conventionalism about modality claims that a proposition is necessarily true iff it is true by convention. In the wake of the widespread repudiation of truth-byconvention, traditional conventionalism has fallen out of favour. However, a family of theories of modality have arisen that, whilst abandoning truth-by-convention, retain the spirit of traditional conventionalism. These ‘neo-conventionalist’ theories surpass their forebears and don’t fall victim to the criticisms inherited through truth-by-convention. However, not all criticisms levelled at traditional conventionalism target truth-by-convention. Any conventional theory (...) of modality must face the contingency problem. This claims that the contingency of our linguistic conventions jeopardises the necessity of the necessities they determine. I present the contingency problem as relevant to both the traditional conventionalist and the neo-conventionalist. I examine a response from Einheuser that builds upon a response from Wright. I show that the Einheuser response does more to accommodate the conventionalist’s modal beliefs, but that it does not fully satisfy some further conditions that ought to be laid upon such a response. I then suggest how the response can be revised so as to satisfy these conditions. The resulting model of conventionalism is compatible with the validity of S4, and suitably in the spirit of conventionalism. (shrink)

A logic of grounding where what is grounded can be a collection of truths is a “many-many” logic of ground. The idea that grounding might be irreducibly many-many has recently been suggested by Dasgupta. In this paper I present a range of novel philosophical and logical reasons for being interested in many-many logics of ground. I then show how Fine’s State-Space semantics for the Pure Logic of Ground can be extended to the many-many case, giving rise to the Pure Logic (...) of Many-Many Ground. In the second, more technical, part of the paper, I do two things. First, I present an alternative formalization of plg; this allows us to simplify Fine’s completeness proof for plg. Second, I formalize plmmg using an infinitary sequent calculus and prove that this formalization is sound and complete. (shrink)

Fine (2012) is a pluralist about grounding. He holds that there are three fundamentally distinct notions of grounding: metaphysical, normative, and natural. Berker (2017) argues for monism on the grounds that the pluralist cannot account for certain principles describing how the distinct notions of grounding interact. This paper defends pluralism. By building on work by Fine (2010) and Litland (2015) I show how the pluralist can systematically account for Berker's interaction principles.

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this framework (...) to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)

Could φ’s partially grounding ψ itself be a partial ground for ψ? I show that it follows from commonly accepted principles in the logic of ground that this sometimes happens. It also follows from commonly accepted principles that this never happens. I show that this inconsistency turns on different principles than the puzzles of ground already discussed in the literature, and I propose a way of resolving the inconsistency.

Wilhelm has recently shown that widely accepted principles about immediate ground are inconsistent with some principles of propositional identity. This note responds to this inconsistency by developing two ground-theoretic accounts of propositional individuation. On one account some of the grounding principles are incorrect; on the other account, the principles of propositional individuation are incorrect.

Using only uncontentious principles from the logic of ground I construct an infinitely descending chain of ground without a lower bound. I then compare the construction to the constructions due to Dixon and Rabin and Rabern.

Fragmentalism is the view that reality is not a metaphysically unified place, but fragmented in a certain sense, and constituted by incompatible facts across such fragments. It was introduced by Kit Fine in a discussion of tense realist theories of time. Here I discuss the conceptual foundations of fragmentalism, identify several open questions in Fine’s characterization of the view, and propose an understanding of fragmentalism that addresses these open questions.

ABSTRACTAccording to a famous argument by Dummett, the concept of set is indefinitely extensible, and the logic appropriate for reasoning about the instances of any such concept is intuitionistic, not classical. But Dummett's argument is widely regarded as obscure. This note explains how the final chapter of Rumfitt's important new book advances our understanding of Dummett's argument, but it also points out some problems and unanswered questions. Finally, Rumfitt's reconstruction of Dummett's argument is contrasted with my own preferred alternative.

Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even (...) partially grounded. I then argue that Dichotomy fails: some facts have partial grounds that cannot be complemented to a full ground. Rejecting Dichotomy opens the door to recognising a bifurcation in our notion of fundamentality. I sketch some of the far-reaching metaphysical consequences this might have, with reference to big-picture views such as Humeanism. Since Dichotomy is entailed by the standard account of partial ground, according to which partial grounds are subpluralities of full grounds, a non-standard account is needed. In a technical “Appendix”, I show that truthmaker semantics furnishes such an account, and identify a semantic condition that corresponds to Dichotomy. (shrink)

The concept of supervenience and a regimented concept of grounding are often taken to provide rival explications of pre-theoretical concepts of dependence and determination. Friends of grounding typically point out that supervenience claims do not entail corresponding grounding claims. Every fact supervenes on itself, but is not grounded in itself, and the fact that a thing exists supervenes on the fact that its singleton exists, but is not grounded in it. Common lore has it, though, that grounding claims do entail (...) corresponding supervenience claims. In this article, I show that this assumption is problematic. On one way of understanding it, the corresponding supervenience claim is just an entailment claim under a different name. On another way of understanding it, the corresponding claim is a distinctive supervenience claim, but its specification gives rise to what I call the "reference type problem": to associate the classes of facts that are the relata of grounding with the types of facts that are the relata of supervenience. However it is understood, supervenience rules out prima facie possibilities: alien realizers, blockers, heterogeneous realizers, floaters, and heterogeneous blockers. Instead of being rival explications of one and the same pre-theoretical concept, grounding and supervenience may be complementary concepts capturing different aspects of determination and dependence. (shrink)

The elucidations and regimentations of grounding offered in the literature standardly take it to be a necessary connection. In particular, authors often assert, or at least assume, that if some facts ground another fact, then the obtaining of the former necessitates the latter; and moreover, that grounding is an internal relation, in the sense of being necessitated by the existence of the relata. In this article, I challenge the necessitarian orthodoxy about grounding by offering two prima facie counterexamples. First, some (...) physical facts may ground a certain phenomenal fact without necessitating it; and they may co-exist with the latter without grounding it. Second, some instantiations of categorical properties may ground the instantiation of a dispositional one without necessitating it; and they may co-exist without grounding it. After arguing that these may be genuine counterexamples, I ask whether there are modal constraints on grounding that are not threatened by them. I propose two: that grounding supervenes on what facts there are, and that every grounded fact supervenes on what grounds there are. Finally, I attempt to provide a rigorous formulation of the latter supervenience claim and discuss some technical questions that arise if we allow descending grounding chains of transfinite length. (shrink)

According to grounding necessitarianism if some facts ground another fact, then the obtaining of the former necessitates the latter. Proponents of grounding contingentism argue against this claim, stating that it is possible for the former facts to obtain without necessitating the latter. In this article I discuss a recent argument from restricted accidental generalisations provided by contingentists that advances such possibility. I argue that grounding necessitarianism can be defended against it. To achieve this aim, I postulate a relationship between grounding (...) and essence by introducing a notion of individual essences understood as a set of essential properties that individuate its bearer. According to a proposed view grounding holds in virtue of identities of its relata, which are in turn determined by their respective individual essences. From there I claim that if grounding holds in virtue of the individual essences of its relata, then it is possible to resist the objection from restricted accidental generalisations and maintain a view that grounds necessitates what is grounded. (shrink)

Pure mathematical truths are commonly thought to be metaphysically necessary. Assuming the truth of pure mathematics as currently pursued, and presupposing that set theory serves as a foundation of pure mathematics, this article aims to provide a metaphysical explanation of why pure mathematics is metaphysically necessary.

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

Since the publication of Kit Fine's “Essence and Modality”, there has been lively debate over how best to think of essence in relation to necessity. The present aim is to draw attention to a definition of essence in terms of modality that has not been given sufficient attention. This neglect is perhaps unsurprising, since it is not a proposal made in response to Fine's 1994 paper and ensuing discussion, but harks back to Ruth Barcan Marcus's earlier work in the 1960s (...) and 1970s on essentialist claims. At the core of Barcan Marcus's account is Minimal Essentialism, of which there are several extensions, in particular, for cases of referential predicates (such as “x is identical to Socrates”), Individuating Essentialism, and Aristotelian Essentialism. I argue that Minimal Essentialism fares favourably against a host of familiar examples. I close with some historical observations, that the distinction between essence and necessity was already commonplace in the early days of quantified modal logic and its philosophy. (shrink)

In this paper, I examine a case for fundamental indeterminacy (FI) by Elizabeth Barnes and offer my counterarguments. Barnes' account of FI includes both the characterization of FI and why we need to accept it. I argue that her reasons for accepting FI can be challenged even when we accept her characterization of FI. Her main claim is that finding a fundamental proposition that our fundamental theory is indeterminate about (FPF) gives us a reason to accept FI in metaphysics. I (...) challenge her claim by pointing out more plausible options to address FPFs. An FPF may either indicate that the theory is nonfundamental or lead us to accept the antirealist view; there is no room for FI in either option. One may insist on accepting FI, but I argue that it is not theoretically rewarding enough. Hence, Barnes' case for FI can be contested. (shrink)