This essay outlines a hierarchical framework of Reality that allows for degrees of Reality. I use Reality (with a capital “R”) to designate reality in a primitive, metaphysical sense. Reality, grounding, and essence are the key elements of the framework presented here. I assume that Reality must have a fundamental level and all fundamental phenomena must be Real. Moreover, I postulate that everything non-fundamental is ultimately grounded in the fundamental Real. But what about the Reality of the non-fundamental? I argue (...) that it is possible for non-fundamental phenomena to be Real, Unreal, or Semi-Real. The framework developed here accommodates these possibilities and illuminates them using the notion of essence. I argue that the essential nature of a phenomenon determines its degree of Reality. The framework does not assume that Reality must have degrees but only that it may have degrees. Its theoretical attractiveness consists in its ability to accommodate many diverse intuitions about grounding, help us better understand and classify theories about grounding, and illuminate Reality and its possible degrees. (shrink)

Counterfactuals are context-sensitive. However, we argue that various debates and doctrines in metaphysics and the philosophy of science are premised on ignoring the full extent of counterfactual context-sensitivity. Our focus is on the prominent "miracle" versus "no-miracle" debate about counterfactuals under the assumption that our laws of nature are deterministic. But we also discuss doctrines that employ counterfactuals in theories of rational decision, as well as doctrines that explain what it is to be a law of nature in terms of (...) counterfactuals. We conclude by drawing some morals about the use of counterfactuals in philosophical theorizing more generally. (shrink)

I propose a novel metaphysical explanation of identity and distinctness facts called the Modal Proposal. According to the Modal Proposal, for each identity fact – that is, each fact of the form a=b – that fact is metaphysically explained by the fact that it is necessary that the entities involved are indiscernible, and for each distinctness fact –that is, each fact of the form a≠b – that fact is metaphysically explained by the fact that it is possible for the entities (...) involved to be discernible. I argue that the Modal Proposal has greater payoffs at less cost than any of its competitors. It gives simple, uniform, and intuitive explanations of identity and distinctness that conserve longstanding philosophical insights about identity that go back to Leibniz. It does this while making our fundamental base more parsimonious, determining whether controversial cases of identity or distinctness are possible, and expanding our understanding of these central philosophical relations. It does all this while avoiding controversial ontological commitments. (shrink)

Easy Ontology (EO), defended in several recent works by Amie Thomasson, and based on Carnap’s famous deflationism about metaphysics, is the view that many ontological questions, like ‘Are there numbers?’, are at bottom easy, at least when taken in their “internal” sense. Both Carnap and Thomasson take for granted that serious metaphysicians therefore cannot plausibly be interpreted as asking internal questions. Thus, they think they are committed to finding some alternative, special interpretation of metaphysicians’ utterances. I argue that none of (...) the alternative interpretations proposed in the literature are viable. More importantly, I argue that Carnap and Thomasson are wrong about this commitment. EO should instead be coupled with the view that metaphysicians ask internal questions, yet have the false belief that they can be answered only through metaphysical speculation. This is a significant modification of EO, in which the notion of an “external question” plays no role, and which results in a simpler and more plausible theory. (shrink)

In this discussion note I reply to some criticisms that Marc Lange (2022) has directed at my Humean view of scientific laws (Bhogal, 2020) -- about whether Humean views can make sense of the apparent fact that laws are counterfactually invariant. The key idea of my response is that the Humean should think of their reduction of the laws to the Humean mosaic as closely related to other views where we reduce one domain to another but still allow that the (...) higher-level domain can be `autonomous' of the lower-level in some respects -- like, for example, the view that the special sciences reduce to physics but can still can work autonomously of physics. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Forthcoming in Darren Bradley (ed.), Carnap and Contemporary Philosophy. -/- This paper is centered on Carnap’s views on rationality. More specifically, much of the focus is on a puzzle regarding Carnap’s view on rationality that Florian Steinberger has recently discussed. Not only is Steinberger’s discussion of significant intrinsic interest: his discussion also raises general questions about Carnap interpretation. As I have discussed in earlier work, there are two very different ways of interpreting Carnap’s talk of “frameworks” – and, relatedly, different (...) ways of interpreting Carnap’s principle of tolerance. Carnap can be interpreted as either a relativist or as what I call a language pluralist. Steinberger’s puzzle arises given the relativist interpretation; I believe the language pluralist interpretation is correct. Most of the discussion will concern the correct interpretation of Carnap, and what this means for Steinberger’s puzzle. While I will not here mount a full defense of the language pluralist interpretation, I will pause to discuss Vera Flocke’s recent criticism of it. Towards the end, I will describe a puzzle regarding rationality different from Steinberger’s. The puzzle that I describe does arise already for the language pluralist. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal logic (...) as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

This article aims to provide an elucidation of the doctrine of the Incarnation. A new ‘reduplication strategy’ and ‘compositional model’ is formulated through the utilisation of certain concepts and theses from contemporary metaphysics, which will enable the doctrine of the Incarnation to be explicated in a clear and consistent manner, and the oft-raised objections against it being fully dealt with.

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic values. This threatens the (...) Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)

The other chapters in this volume discuss the important, but neglected, topic of systematicity in metaphysics. In this chapter I begin by taking a step back and asking: why is systematicity important in metaphysics? Assuming that metaphysics should be systematic, why is this the case? I canvas some answers that emerge naturally within contemporary philosophy and argue that none of them adequately explains why metaphysics should be systematic. I then turn to Kant’s account of systematicity for his explanation. I argue (...) that, while Kant’s explanation of the systematicity of metaphysics rests on a host of additional weighty philosophical commitments that many philosophers would rather do without (e.g., transcendental idealism), he is not alone in this. The contemporary answers I earlier found wanting can be transformed into satisfying explanations, I argue, but only at the cost of philosophical commitments at least as weighty as Kant’s. I conclude on a note of agnosticism: it is far from clear whether contemporary philosophy has done, or can do, better than Kant at explaining the role of systematicity in metaphysics. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant connections between Kripke's (...) work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

Después de introducir el artículo (§1), repasaré los aspectos más generales y centrales de la literatura sobre la fundamentación (§2); esta tarea me parece valiosa ya que no existen revisiones generales y actualizadas en español sobre el tema. Después, argumentaré que la fundamentación no es una medida de complejidad física, y que, sin un vínculo necesario con la complejidad, quedan pocas razones para pensar que la fundamentación une a los diferentes estratos de la realidad física, que es una de las (...) motivaciones más importantes para introducir relaciones de dependencia (§3). (shrink)

In the philosophical literature on consciousness and the mind-body problem, the conceivability argument against physicalism is usually taken to support a form of dualism between physicality and phenomenality. Usually, the discussion focuses on the qualitative character of experience, which is what the phenomenal feel of a given experience is like. By contrast, the subjective character of experience, or its individuation to a given first-person subject, tends to be set aside. The aim of this paper is to present a new and (...) more robust version of the conceivability argument for dualism that appeals to the subjective character of experience. Drawing on insights by philosophers in the phenomenological tradition, I conceptualise the first-person subjective character of experience as a transcendental condition of possibility for phenomenality that cannot be reduced to third-person facts about the physical world. Given this, the mind-body problem as it pertains to consciousness does not merely concern the inability of the set of physical facts about a brain state to capture the qualitative character of experience, but concerns the existential issue of why this brain state is accompanied by first-person subjectivity at all. This allows us to reconceive the conceivability argument in a way that presents a stronger case for dualism than the traditional version of the argument. (shrink)

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order approaches, however, my arguments (...) against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)

This paper explores taste fragmentalism, a novel approach to matters of taste and faultless disagreement. The view is inspired by Kit Fine’s fragmentalism about time, according to which the temporal dimension can be constituted—in an absolute manner—by states that are pairwise incompatible, provided that they do not obtain together. In the present paper, we will apply this metaphysical framework to taste states. In our proposal, two incompatible taste states (such as the state of rhubarb’s being tasty and the state of (...) rhubarb’s being distasteful) can both constitute reality in an absolute manner, although no agent can have joint access to both states. We will then develop a formalised version of our view by means of an exact truthmaker semantics for taste assertions. Within this framework—we argue—our linguistic and inferential practices concerning cases of faultless disagreement are elegantly vindicated, thus suggesting that taste fragmentalism is worth of further consideration. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

David Lewis is typically interpreted as a class nominalist. One consequence of class nominalism, which he embraced, is that the reduction of ordered pairs, triples, etc to unordered sets of sets is conventional. The reaction by his Australian counterparts D.M. Armstrong and Peter Forrest was that Lewis was not being ontologically serious. This chapter evaluates this debate over serious ontology. It is argued that in one sense Lewis is ontologically serious, but that his additional commitment to structuralism about classes should (...) push him to adopt a trope-theoretic account of naturalness, which opens up another way to respond to the charge of not doing serious ontology. This conclusion is supported by certain remarks he makes in his correspondence, thus revealing how his thinking about properties appears to have evolved from property-egalitarianism to a sparse theory of tropes. (shrink)

Genealogies of belief have dominated recent philosophical discussions of genealogical debunking at the expense of genealogies of concepts, which has in turn focused attention on genealogical debunking in an epistemological key. As I argue in this paper, however, this double focus encourages an overly narrow understanding of genealogical debunking. First, not all genealogical debunking can be reduced to the debunking of beliefs—concepts can be debunked without debunking any particular belief, just as beliefs can be debunked without debunking the concepts in (...) terms of which they are articulated. Second, not all genealogical debunking is epistemological debunking. Focusing on concepts rather than beliefs brings distinct forms of genealogical debunking to the fore that cannot be comprehensively captured in terms of epistemological debunking. We thus need a broader understanding of genealogical debunking, which encompasses not just epistemological debunking, but also what I shall refer to as metaphysical debunking and ethical debunking. (shrink)

Grounding has become all the rage in recent philosophical work and metaphilosophical discussions. While I agree that the concept of ground marks something useful, I am skeptical about the metaphysical weight many imbue it with, and the picture of ‘worldly layering’ that grounding talk inspires. My skepticism centers around the fact that grounding involves necessitation, combined with reasons for thinking matters of necessity are matters of logical or conceptual (semantic, psychological) relations. I sketch an argument for deflationism about ground based (...) on this sort of deflationism about necessity and essence. I also note that in at least some cases, the considerations supporting modal deflationism directly support deflationism about whatever grounding relations may obtain in these cases. (shrink)

I show how Sir William Rowan Hamilton’s philosophical commitments led him to a causal interpretation of classical mechanics. I argue that Hamilton’s metaphysics of causation was injected into his dynamics by way of a causal interpretation of force. I then detail how forces are indispensable to both Hamilton’s formulation of classical mechanics and what we now call Hamiltonian mechanics (i.e., the modern formulation). On this point, my efforts primarily consist of showing that the contemporary orthodox interpretation of potential energy is (...) the interpretation found in Hamilton’s work. Hamilton called the potential energy function the “force-function” because he believed that it represents forces at work in the world. Various non-historical arguments for this orthodox interpretation of potential energy are provided, and matters are concluded by showing that in classical Hamiltonian mechanics, facts about the potential energies of systems are grounded in facts about forces. Thus, if one can tolerate the view that forces are causes of motion, then Hamilton provides one with a road map for transporting causation into one of the most mathematically sophisticated formulations of classical mechanics, viz., Hamiltonian mechanics. (shrink)

Critical social ontology is any study of social ontology that is done in order to critique ideology or end social injustice. The goal of this paper is to outline what I call the fundamentality approach to critical social ontology. On the fundamentality approach, social ontologists are in the business of distinguishing between appearances and (fundamental) reality. Social reality is often obscured by the acceptance of ideology, where an ideology is a distorted system of beliefs that leads people to promote or (...) accept widespread social injustices. Social reality is also obscured in cases where ordinary thought and language simply is not perspicuous enough to represent the social objects, kinds, and structures that are central to understanding social injustice. In both cases, I argue that the critical social ontologist will benefit from using the tools and concepts of fundamental metaphysics. (shrink)

Reductive accounts of the direction of time are often paired with Humean accounts of laws, while non-reductive accounts of time are often paired with anti-Humean accounts of laws. The traditional pairing of views has recently come under question. This paper aims to clarify what sorts of anti-Humean views motivate anti-reductionism about the direction of time. It is argued that those who think (i) that the laws are metaphysically fundamental, and (ii) that the laws contain time-asymmetric contents, should treat the arrow (...) of time as metaphysically fundamental. (shrink)

Most social policies cannot be defended without making inductive inferences. For example, consider certain arguments for racial profiling and affirmative action, respectively. They begin with statistics about crime or socioeconomic indicators. Next, there is an inductive step in which the statistic is projected from the past to the future. Finally, there is a normative step in which a policy is proposed as a response in the service of some goal—for example, to reduce crime or to correct socioeconomic imbalances. In comparison (...) to the normative step, the inductive step of a policy defense may seem trivial. We argue that this is not so. Satisfying the demands of the inductive step is difficult, and doing so has important but underappreciated implications for the normative step. In this paper, we provide an account of induction in social contexts and explore its implications for policy. Our account helps to explain which normative principles we ought to accept, and as a result it can explain why it is acceptable to make inferences involving race in some contexts (e.g., in defense of affirmative action) but not in others (e.g., in defense of racial profiling). (shrink)

Conceptual engineering has been linked by Herman Cappelen to a position called “representational skepticism”, described as one’s refusal to uncritically take over the conceptual representations one is handed. This position is contrasted with an uncritical attitude, called “representational complacency”. Arguably, neither position, or a hybrid of the two, is rationally sustainable. This paper therefore proposes an alternative option, called “critical concept conservatism”, stating that having a concept makes it rational (in a suitable sense of “rational”) for one to retain it, (...) unless there are grounds to question it. Critical concept conservatism avoids the drawbacks of skepticism and complacency; plus, it is independently supported by both positive and negative considerations. Furthermore, it complies with the demanding attitude towards conceptual representations that a conceptual engineer would be expected to have. (shrink)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, and temporal ontology.

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to any logical order, (...) that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft of special, (...) anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (shrink)

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

ABSTRACT According to edenic idealism, our ordinary object terms refer to items in the manifest world—the world of primitive objects and properties presented in experience. I motivate edenic idealism as a response to scenarios where it is difficult to match the objects in experience with corresponding items in the external world. I argue that edenic idealism has important semantic advantages over realism: it is the most intuitive view of what we are actually talking about when we use terms for objects.

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

In Examination of McTaggart's Philosophy, C.D. Broad advanced a distinctive ontology of things and processes. He argues that neither things nor processes are reduced to each other but instead are reduced to some further kind of entity: “absolute process.” This paper will present Broad's theory of absolute processes and argue that they are best understood as tropes by developing a version of Donald C. Williams's trope ontology. This process ontology of tropes is then defended against objections in the contemporary metaphysics (...) literature. (shrink)

Easy Ontologists, most notably Thomasson (2015), argue that ontological questions are shallow. They think that these questions can either be answered by using our ordinary conceptual competence—of course tables exist!—or are meaningless, or else should be answered through conceptual re-engineering. Ontology thus is “easy”, requiring no distinctively metaphysical investigation. This paper raises a two-stage objection to Easy Ontology. We first argue that questions concerning which entities exist are inextricably bound up with “ontological category questions”, which are questions concerning the identity (...) of and differences between kinds of entities. We then argue that ontological category questions do not have trivial answers, are meaningful, and cannot be answered through conceptual re-engineering. Easy Ontology hence does not constitute a comprehensive ontological methodology. While some of ontology might be easy, category questions form a central part of ontology and are not answered easily. (shrink)

In this paper I explore irrealist alternatives to orthodox realism about grounding, and claim that at least some of these alternatives represent fertile areas for future discussion.

I like the view that the fundamental facts are logically simple, not complex. However, some universal generalizations and negations may appear fundamental, because they cannot be explained by logically simple facts about particulars. I explore a natural reply: those universal generalizations and negations are true because certain logically simple facts—call them —are the fundamental facts. I argue that this solution is only available given some metaphysical frameworks, some conceptions of metaphysical explanation and fundamentality. It requires a ‘fitting’ framework, according to (...) which metaphysical theories explain the aptness of representations in terms of how things are fundamentally. Fitting frameworks conceive of the fundamental facts as those that are metaphysically ‘real’; call them the ‘facts-in-reality’. Moreover, we must take as primary a plural notion of the facts-in-reality, not the singular notion of a fact-in-reality. By contrast, a metaphysics that grounds facts is incompatible with my strategy for keeping the fundamental facts logically simple. (shrink)

This paper develops a view on which: (a) all fundamental facts are absolute, (b) some facts do not supervene on the fundamental facts, and (c) only relative facts fail to supervene on the fundamental facts.

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)