This paper argues against Logical Realism, in particular against the view that there are facts of matters of logic that obtain independently of us, our linguistic conventions and inferential practices. The paper challenges logical realists to provide a non-intuition based epistemology, one which would be compatible with the empiricist and naturalist convictions motivating much recent anti-realist philosophy of mathematics.

The doctrine of Microphysical Supervenience (MS) states that: Necessarily, if atoms A1 through An compose an object that exemplified intrinsic qualitative properties Q1 through Qn, then atoms like A1 through An (in all their respective intrinsic qualitative properties), related to one another by all the same restricted atom-to-atom relations as A1 through An, compose an object that exemplifies Q1 through Qn. I show that MS entails a contradiction and so must be rejected. And my argument against MS provides the resources (...) to show that Global Microphysical Supervenience (GMS) is false. GMS states that possible worlds qualitatively exactly alike at the microphysical level are qualitatively exactly alike at the macrophysical level. (shrink)

In this paper, an objective conception of contexts based loosely upon situation theory is developed and formalized. Unlike subjective conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate "ist" that expresses the relation (...) that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a global classical predicate calculus, a local logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing "ist" to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example. (shrink)

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small (...) models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal. (shrink)

This paper aims to motivate a new beginning in metaphysical thinking about persistence by drawing attention to the disappearance of change in current accounts of persistence. I defend the claim that the debate is stuck in a dilemma which results from neglecting the constructive role of change for persistence. Neither of the two main competing views, perdurantism and endurantism, captures the idea of persistence as an identity through time. I identify the fundamental ontological reasons for this, namely the shared commitment (...) to what I call ‘thing ontology’: an ontology that gives the ontological priority to static things. I conclude by briefly indicating how switching to a process ontological framework that takes process and change to be ontologically primary may allow for overcoming the dilemma of persistence. (shrink)

This paper articulates a deflationary interpretation of the notions of meaning and necessity in Wittgenstein's Tractatus. This interpretation is developed through a new account of the socalled color‐exclusion problem and of why the formalism of the Tractatus fails to solve it. According to my analysis, this failure calls into question whether the limits of the sayable and the thinkable can be drawn from within language and thought by means of a purely formal logical analysis. I argue that the lesson to (...) learn from the color‐exclusion problem concerns the limitations of a formal logical analysis of language in eliminating the philosophical mythologies formed around the notions of meaning and necessity, and more generally the limitations of formalism as a deflationary strategy in philosophy. (shrink)

Logical realism is the view that there is logical structure in the world. I argue that, if logical realism is true, then we are deeply ignorant of that logical structure: either we can’t know which of our logical concepts accurately capture it, or none of our logical concepts accurately capture it at all. I don’t suggest abandoning logical realism, but instead discuss how realists should adjust their methodology in the face of this ignorance.

Ethical non-naturalists often charge that their naturalist competitors cannot adequately explain the distinctive normativity of moral or more broadly practical concepts. I argue that the force of the charge is mitigated, because non-naturalism is ultimately committed to a kind of mysterianism about the metaphysics of practical norms that possesses limited explanatory power. I then show that focusing on comparative judgments about the explanatory power of various metaethical theories raises additional problems for the non-naturalist, and suggest grounds for optimism that a (...) naturalistic realist about practical normativity will ultimately be able to explain the distinctive normativity of practical norms. I then show that radical pluralism or particularism about the structure of normative ethics would complicate the naturalistic strategy that I defend. This suggests a perhaps surprising way in which the resolution of the debate between ethical naturalists and non-naturalists may rest in part on the answers to substantive normative questions. (shrink)

Ethical non-naturalists often charge that their naturalist competitors cannot adequately explain the distinctive normativity of moral or more broadly practical concepts. I argue that the force of the charge is mitigated, because non-naturalism is ultimately committed to a kind of mysterianism about the metaphysics of practical norms that possesses limited explanatory power. I then show that focusing on comparative judgments about the explanatory power of various metaethical theories raises additional problems for the non-naturalist, and suggest grounds for optimism that a (...) naturalistic realist about practical normativity will ultimately be able to explain the distinctive normativity of practical norms. I then show that radical pluralism or particularism about the structure of normative ethics would complicate the naturalistic strategy that I defend. This suggests a perhaps surprising way in which the resolution of the debate between ethical naturalists and non-naturalists may rest in part on the answers to substantive normative questions. (shrink)

An account of validity that makes what is invalid conditional on how many individuals there are is what I call a conditional account of validity. Here I defend conditional accounts against a criticism derived from Etchemendy’s well-known criticism of the model-theoretic analysis of validity. The criticism is essentially that knowledge of the size of the universe is non-logical and so by making knowledge of the extension of validity depend on knowledge of how many individuals there are, conditional accounts fail to (...) reflect that the former knowledge is basic, i.e., independent of knowledge derived from other sciences. Appealing to Russell’s pre-Principia logic, I defend conditional accounts against this criticism by sketching a rationale for thinking that there are infinitely many logical objects. (shrink)

In this article, I present a novel account of a priori warrant, which I then use to examine the relationship between a priori and a posteriori warrant in mathematics. According to this account of a priori warrant, the reason that a posteriori warrant is subordinate to a priori warrant in mathematics is because processes that produce a priori warrant are reliable independent of the contexts in which they are used, whereas this is not true for processes that produce a posteriori (...) warrant. Following this, I show how this difference explains why a priori warranting processes, such as proof (and mathematical intuition) can, and a posteriori warranting processes cannot, definitively establish mathematical results. I then show why, in the event of a conflict between a priori and a posteriori warranting processes, the former undermine, and cannot be undermined by, the latter. Finally, I explain the connection between apriority and mathematical necessity, but do so in a way that allows for the existence of contingent a priori knowledge. (shrink)

I argue that a solution to puzzles concerning the relationship ofobjects and their properties – a version of the `bundle' theory ofparticulars according to which ordinary objects are mereologicalfusions of monadic and relational tropes – is also a solution topuzzles of material constitution involving the allegedco-location of material objects. Additionally, two argumentsthat have played a prominent role in shaping the current debate,Mark Heller's argument for Four Dimensionalism and Peter vanInwagen's argument against Mereological Universalism, are shownto be unsound given this version (...) of the bundle theory. (shrink)

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

I describe a number of views in which metaphysical fundamentality is accounted for in normative terms. After describing many different ways this key idea could be developed, I turn to developing the idea in one specific way. After all, the more detailed the proposal, the easier it is to assess whether it works. The rough idea is that what it is for a property to be fundamental is for it to be prima facie obligatory to theorize in terms of that (...) property. (shrink)

© The Author 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] wonderful collection of most of van Inwagen’s recent essays on topics in fundamental ontology is certainly to be welcomed.1 Many of the essays are focused on articulating and arguing for van Inwagen’s preferred meta-ontology, which he calls neo-Quineanism. In addition to these essays, Existence also contains essays on the eliminability of variables, the status of fictional entities, the (...) nature of ontological categories, the nature of properties, mereology and change over time, the comparative merits of constituent and relational ontologies, a probing discussion of metaphysical issues in the philosophy of mind, as well as an interview with van Inwagen that describes his intellectual development and his assessment of his philosophical contributions. Each essay is written in van Inwagen’s characteristically charming and impeccable style. I... (shrink)

I argue that extended simples are possible. The argument given here parallels an argument given elsewhere for the claim that the shape properties of material objects are extrinsic, not intrinsic as is commonly supposed. In the final section of the paper, I show that if the shape properties of material objects are extrinsic, the most popular argument against extended simples fails.

The Frege-Russell view is that existence is a second-order property rather than a property of individuals. One of the most compelling arguments for this view is based on the premise that there is an especially close connection between existence and number. The most promising version of this argument is by C.J.F Williams (1981, 1992). In what follows, I argue that this argument fails. I then defend an account according to which both predications of number and existence attribute properties to individuals.

A short paper proving what the title says.

I am attracted to ontological pluralism, the doctrine that some things exist in a different way than other things.1 For the ontological pluralist, there is more to learn about an object’s existential status than merely whether it is or is not: there is still the question of how that entity exists. By contrast, according to the ontological monist, either something is or it isn’t, and that’s all there is say about a thing’s existential status. We appear to be to be (...) ontological committed to what I will call almost nothings. Examples of almost nothings include holes, cracks, and shadows; almost nothings thrive in the absence of ‘positive’ entities such as donuts, walls, and sunlight. Let’s focus on holes, since the literature on them is voluminous.2 We quantify over holes, and even count them: we say, for example, that there are some holes in the cheese, seven to be precise. We ascribe features to them and talk as though they stand in relations: that hole is three feet wide, much wider than that tire over there. Holes apparently persist through time, as evidenced by the fact that my sweater has the same hole in it as the last time you saw me wear it. We even talk as though holes are causally efficacious: my ankle was badly sprained because I stepped in that hole in the sidewalk.3 It seems then that we believe in holes. If our beliefs are true, holes must enjoy some kind of reality. This puts the ontological monist in an uncomfortable position. According to her, everything that there is enjoys the same kind of reality, which is the kind of reality enjoyed by full-fledged concrete entities such as ourselves. She is committed to the unpleasant claim that holes are just as real as concretia, a claim that is apt to be met with incredulous stares by those not acquainted with contemporary metaphysics. Roy Sorensen (2008, p. 19) notes the tension almost nothings generate for ontological monists: ‘… it feels paradoxical to say that absences exist—but no better to say that absences do not exist’.. (shrink)

I argue that composition as identity is incompatible with the possibility of emergent properties (as characterized in the paper) and so should be rejected.

Richard Heck, Jr has recently argued against Russellianism about proper names not in the usual way—by appeal to “intuitions” about the truth conditions of “that”-clause belief ascriptions—but by appeal to our need to specify beliefs in a way that reflects their individuation. Since beliefs are individuated by their psychological roles and not their Russellian contents, he argues, Russellianism is precluded in principle from accounting for our ability to specify beliefs in ordinary language. I argue that Heck thus makes things easier (...) for the Russellian. For by framing the issue as one concerning the specificatory powers of ordinary language in general, rather than just of “that”-clause ascriptions, Heck weakens the implications of any claim about the semantics of that one type of belief-specifying locution. I augment this diagnosis with a positive account of the specificatory usefulness, and attested commonness, of (partly or wholly) quotational belief ascriptions, e.g. “Lois believes that ‘Superman’ is at the meeting.” This proposal is not of the usual sort concerning such locutions since it does not involve the (dubious) claim that they are in some way equivalent to “that”-clause ascriptions. (shrink)

There seem to be topics on which people can disagree without fault. For example, you and I might disagree on whether Picasso was a better artist than Matisse, without either of us being at fault. Is this a genuine possibility or just apparent? In this paper I pursue two aims: I want to provide a systematic map of available responses to this question. Simultaneously, I want to assess these responses. I start by introducing and defining the notion of a faultless (...) disagreement. Then I present a simple argument to the conclusion that faultless disagreement is not possible. Those who accept the argument have to explain away apparent cases of faultless disagreement. Those who want to maintain the possibility of faultless disagreement must deny one of the argument's premisses. The position I want to promote belongs to the latter category and is a form of genuine relativism. (shrink)

In this paper, I evaluate the adequacy of various multiverse hypotheses relative to classical theism in explaining the fine tuning of the universe to life and the fine tuning of our life to the universe. I conclude that, despite its rational attractiveness in explaining the fine tuning of the universe to us in a more conclusive and arguably simpler manner than the God hypothesis, due to its failure to explain the continuing fine tuning of us to the universe, we should (...) discard even the explanatorily strongest multiverse hypothesis, what I call the ’maximal multiverse’ hypothesis, and instead believe in the God hypothesis. (shrink)

According to the doctrine of Super-Humeanism, the world’s mosaic consists only of permanent matter points and changing spatial relations, while all the other entities and features figuring in scientific theories are nomological parameters, whose role is merely to build the best law system. In this paper, I develop an argument against Super-Humeanism by pointing out that it is vulnerable to and does not have the resources to solve the well-known problem of immanent comparisons. Firstly, I show that it cannot endorse (...) a fundamentalist solution à la Lewis, since its two pillars—a minimalist ontology and a best system account of lawhood—would generate, together, a tedious problem of internal coherence. Secondly, I consider anti-fundamentalist strategies, proposed within Humeanism, and find them inapplicable to the Super-Humean doctrine. The concern is that, since it is impossible to choose the best law system within Super-Humeanism, this doctrine may be charged with incoherence. (shrink)

Miller (2005) and Miller (2008) argue that the branching picture of time is incompatible with the possibility of backwards time travel. In this paper I show that Miller’s conclusion is based on a hidden assumption which, while generally plausible, is unwarranted if time travel is possible. Branching time is, after all, compatible with time travel as Miller characterises it.

Quantum Ontology: A guide to the Metaphysics of Quantum Mechanics by P. Lewis, is a book with a philosophical orientation devoted to delve into the metaphysics of quantum mechanics. This book provides a comprehensive and detailed study to the various interpretations of quantum mechanics and their metaphysical consequences in relation to indeterminism, locality, free will, probability, holism and many other topics. Due to its rich philosophical perspective the author has dispensed with the mathematical formalism aiming to a rigorous conceptual approach.

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties in terms of the facts about naturalness. This article discusses the three most influential of these attempts, each of which involve David Lewis. These are Lewis's 1983 analysis, his 1986 analysis, and his joint 1998 analysis with Rae Langton.

In this article I advocate a worldly account of normative reasons according to which there is an ontological gap between these and the premises of practical thought, i.e. motivating considerations. While motivating considerations are individuated fine-grainedly, normative reasons should be classified as coarse-grained entities, e.g. as states of affairs, in order to explain certain necessary truths about them and to make sense of how we count and weigh them. As I briefly sketch, acting for normative reasons is nonetheless possible if (...) the connection between normative reasons and motivating considerations is a competence-based correspondence. (shrink)

This paper consists of two parts. The first concerns the logic of vagueness. The second concerns a prominent debate in metaphysics. One of the most widely accepted principles governing the ‘definitely’ operator is the principle of Distribution: if ‘p’ and ‘if p then q’ are both definite, then so is ‘q’. I argue however, that epistemicists about vagueness should reject this principle. The discussion also helps to shed light on the elusive question of what, on this framework, it takes for (...) a sentence to be borderline or definite. In the second part of the paper, I apply this result to a prominent debate in metaphysics. One of the most influential arguments in favour of Universalism about composition is the Lewis-Sider argument from vagueness. An interesting question, however, is whether epistemicists have any particular reasons to resist the argument. I show that there is no obvious reason why epistemicists should resist the argument but there is a non-obvious one: the rejection of Distribution argued for in the first part of the paper provides epistemicists with a unique way of resisting the argument from vagueness. (shrink)

I explain why the compositionalist conception of ordinary objects prevalent in contemporary metaphysics places the manifest image of the human self in a precarious position: the two theoretically simplest views of the existence of composites each jeopardize some central element of the manifest image. I present an alternative, nomological conception of ordinary objects, which secures the manifest image of the human self without the arbitrariness that afflicts compositionalist attempts to do the same. I close by sketching the consequences of the (...) recommended position for the traditional personal identity debate about the nature and persistence of human selves. (shrink)

This paper aims at reconciling direct realism on the one hand, that is, the thesis according to which perceptual experiences disclose perceptible facts, with intentionalism, the view that sensory e...

Gabriele Contessa has recently introduced and defended a view he calls ‘non-eliminative nihilism’. Non-eliminative nihilism is the conjunction of mereological nihilism and non-eliminativism about ordinary objects. Mereological nihilism is the thesis that composite objects do not exist, where something is a composite object just in case it has proper parts. Eliminativism about ordinary objects denies that ordinary objects exist. Eliminativism thus implies, for example, that there are no galaxies, planets, stars, ships, tables, books, organisms, cells, molecules, or atoms. Non-eliminativism is (...) the denial of eliminativism. Thus, NEN is the intriguing thesis that although composite objects do not exist, ordinary objects do. In this essay, I, first, summarize Contessa’s core support for NEN. Second, I describe two flaws in that support when it comes to organismic terms. Third, I consider and reject two possible responses on behalf of NEN’s defenders. Fourth, I show how the flaws cast doubt upon NEN itself. Finally, I offer reasons to think that if nihilism is true, then the folk have probably been trying to fix the reference of organismic terms to apparent objects within illusions. (shrink)

Existentialism claims that propositions that directly refer to individuals depend on those individuals for their existence. I argue for two points regarding Existentialism. First, I argue that recent accounts of Existentialism run into difficulties accommodating the possibility of there being a lonely alien electron. This problem is distinct from one of the better-known alien problems—concerning iterated modal properties of aliens—and can’t be solved using a standard response to the iterated case. Second, though the lonely alien electron problem might seem to (...) be reason to reject the sort of Existentialist view at hand, there’s a plausible way to preserve the view: accept the existence of possible worlds that directly refer to individuals that don’t exist in those worlds. Such a solution might seem incompatible with Existentialism, but I show that Existentialists can avoid the incompatibility and should find the resulting view plausible. (shrink)

Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to organize (...) information in a way that maximizes their cognitive usefulness for creature like us. We argue that this account motivates scientific practice because the laws’ applicability to non-actual circumstances falls right out of their cognitive usefulness. (shrink)

The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

Proponents of mechanistic explanation all acknowledge the importance of organization. But they have also tended to emphasize specificity with respect to parts and operations in mechanisms. We argue that in understanding one important mode of organization—patterns of causal connectivity—a successful explanatory strategy abstracts from the specifics of the mechanism and invokes tools such as those of graph theory to explain how mechanisms with a particular mode of connectivity will behave. We discuss the connection between organization, abstraction, and mechanistic explanation and (...) illustrate our claims by looking at an example from recent research on so-called network motifs. (shrink)

Recent decades have seen a revived interest in super-substantivalism, the idea that spacetime is the only fundamental substance and matter some kind of aspect, property or consequence of spacetime structure. However, the metaphysical debate so far has misidentified a particular variant of super-substantivalism with the position per se. I distinguish between a super-substantival core commitment and different ways of fleshing it out. I then investigate how general relativity and alternative spacetime theories square with the different variants of super-substantivalism.

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

I give an account of the nature of absolute or metaphysical necessity. Absolute-necessarily P, I suggest, just if it is always the case that P and there never is or was a power with a chance to bring it about, bring about a power to bring it about, etc., that not P. I display both advantages and a cost of this sort of definition.

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...) to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (shrink)

Is time flowing? A-theorists say yes, B-theorists say no. But both take time to be real. It means that B-theorists accept that time might be real, even if lacking a property usually ascribed to it. In this paper, I want to ask what are the different properties usually ascribed to time in order to draw the list of different possible kinds of realism and anti-realism about time. As we will see, there are three main kinds of anti-realism. I will claim (...) that if time is defined as the universe’s fourth dimension, there is no way time could be unreal. (shrink)