Mechanisms are organized collections of objects and activities that underlie certain phenomena/behaviours. In this article, I shall argue that the organizations of mechanisms should be thought of as external relations, namely, as relations that do not entirely depend on their relata’s existence, nor on their natures, nor on their intrinsic properties. After having introduced in the first two sections mechanisms and the ontology of relations, I shall analyse the organizations of mechanisms along four different dimensions: spatial, temporal, causal and hierarchical. (...) I shall demonstrate that each dimension requires that organizations be taken as external relations. Finally, in the last section, I shall anticipate and reply to two objections. (shrink)

This paper defends Lewis’ influential treatment of de se attitudes from recent criticism to the effect that a key explanatory notion—self-ascription—goes unexplained. It is shown that Lewis’ treatment can be reconstructed in a way which provides clear responses. This sheds light on the explanatory ambitions of those engaged in Lewis’ project.

Questions of identity over time are often hard to answer. A long tradition has it that such questions are somehow soft: they have no unique, determinate answer, and disagreements about them are merely verbal. I argue that this claim is not the truism it is taken to be. Depending on how it is understood, it turns out either to be false or to presuppose a highly contentious metaphysical claim.

What is a temporal part? Most accounts explain it in terms of timeless parthood: a thing's having a part without temporal qualification. Some find this hard to understand, and thus find the view that persisting things have temporal parts--fourdimensionalism--unintelligible. T. Sider offers to help by defining temporal parthood in terms of a thing's having a part at a time. I argue that no such account can capture the notion of a temporal part that figures in orthodox four-dimensionalism: temporal parts must (...) be timeless parts. This enables us to state four-dimensionalism more clearly. (shrink)

It seems evident that things sometimes get bigger by acquiring new parts. But there is an ancient argument purporting to show that this is impossible: the paradox of increase or growing argument.i Here is a sketch of the paradox. Suppose we have an object, A, and we want to make it bigger by adding a part, B. That is, we want to bring it about that A first lacks and then has B as a part. Imagine, then, that we conjoin (...) B to A in some appropriate way. Never mind what A and B are, or what this conjoining amounts to: let A be anything that can gain a part if anything can gain a part, and let B be the sort of thing that can become a part of A, and suppose we do whatever it would take to make B come to be a part of A if this is possible at all. Have we thereby made B a part of A? It seems not. We seem only to have brought it about that B is attached to A, like this. (shrink)

This article is a response to critical articles by Daan Evers, Bart Streumer, and Teemu Toppinen on my book Moral Error Theory: History, Critique, Defence. I will be concerned with four main topics. I shall first try to illuminate the claim that moral facts are queer, and its role in the argument for moral error theory. In section 2, I discuss the relative merits of moral error theory and moral contextualism. In section 3, I explain why I still find the (...) queerness argument concerning supervenience an unpromising argument against non-naturalistic moral realism. In section 4, finally, I reconsider the question whether I, or anyone, can believe the error theory. (shrink)

Hartry Field’s epistemological challenge to the mathematical platonist is often cast as an improvement on Paul Benacerraf’s original epistemological challenge. I disagree. While Field’s challenge is more difficult for the platonist to address than Benacerraf’s, I argue that this is because Field’s version is a special case of what I call the ‘sociological challenge’. The sociological challenge applies equally to platonists and fictionalists, and addressing it requires a serious examination of mathematical practice. I argue that the non-sociological part of Field’s (...) challenge amounts to a minor reformulation of Benacerraf’s original challenge. So, I contend, Field’s challenge is not an improvement on Benacerraf’s. What is new to Field’s challenge is as much a problem for the fictionalist as it is for the platonist. (shrink)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

This essay examines some of the arguments in David Deutsch's book The Fabric of Reality , chief among them its case for the so-called many-universe interpretation of quantum mechanics (QM), presented as the only physically and logically consistent solution to the QM paradoxes of wave/particle dualism, remote simultaneous interaction, the observer-induced 'collapse of the wave-packet', etc. The hypothesis assumes that all possible outcomes are realized in every such momentary 'collapse', since the observer splits off into so many parallel, coexisting, but (...) epistemically non-interaccessible 'worlds' whose subsequent branchings constitute the lifeline-or experiential world-series- for each of those proliferating centres of consciousness. Although Deutsch concedes that his 'multiverse' theory is counter-intuitive, he none the less takes it to be borne out beyond question by the sheer observational/predictive success of QM and the conceptual dilemmas that supposedly arise with alternative (single-universe) accounts. Moreover, he claims the theory resolves a range of longstanding philosophical problems, notably those of mind/body dualism, the various traditional paradoxes of time, and the freewill/determinism issue. The essay suggests on the contrary, that Deutsch unwittingly transposes into the framework of presentday quantum debate speculative themes from the history of rationalist metaphysics, often with bizarre or philosophically dubious results, and that he rules out at least one promising rival account, namely Bohm's 'hidden variables' theory. It goes on to consider reasons for resistance to that theory among proponents of the 'orthodox' (Copenhagen) doctrine, and for the strong anti-realist, at times even irrationalist bias that has characterized much of this discussion since Bohr's debates with Einstein about quantum non-locality, observer-intervention, and the limits of precise measurement. Finally, the contrast is pointed out between Deutsch's ontologically extravagant use of the many-worlds hypothesis (akin to certain ideas advanced by speculative metaphysicians from Leibniz down) and those realist modes of counterfactual reasoning- e.g. in Kripke and the early Putnam- which deploy similar arguments to very different causal-explanatory ends. (shrink)

What are the requirements on an adequate genuine modal realist analysis of modal discourse? One is material adequacy: the modal realist must provide for each candidate analysandum an analysans in the language of counterpart theory which by his lights has the same truth value as the candidate analysandum. Must the material biconditional joining these be necessarily true? This is the requirement of strict adequacy. It is not satisfied if Lewis’s 1968 scheme provides the analysis. John Divers puts forward a modification, (...) which identifies cases of ‘advanced modalizing’ in which the modal operator is semantically redundant. Even with this modification modal realist analyses of statements of modal discourse will be strictly inadequate. Strict adequacy can be achieved by extending the redundancy interpretation to all de dicto modal statements. The price is the denial of de dicto contingency. But perhaps material adequacy is enough. If the modal realist has a systematic means of replacing every sentence of quantified modal logic which he considers true by a sentence of counterpart theory that he considers true, perhaps he need do no more. Still, traditionally philosophical analysis aims at strict adequacy so it is as well to know that this is a test the modal realist analysis fails unless he abandons de dicto contingency. (shrink)

Presentism, some say, is either the analytic triviality that the only things that exist now are ones that exist now or the obviously false claim that the only things that have ever existed or will are ones that exist now. I argue that the correct understanding of presentism is the latter and so understood the claim is not obviously false. To appreciate this one has to see presentism as strictly analogous to anti-Lewisean actualism. What this modal analogue makes evident is (...) that singular tensed statements can have scope ambiguities and so can be thought of as true with the temporal operator represented by the tense read as having wide scope. Secondly, I argue that the analogy with the modal case also makes it clear that presentism must be understood as a thesis of the form: ‘the only things that have ever existed or ever will exist stand in relation R to this utterance’, and is not a substantive topic for debate until relation R is characterized in non-temporal terms. However, despite the strict analogy, I argue that presentism may be a harder position to defend than actualism, since the truth-maker objection, properly interpreted, with Lewis, as based on a supervenience thesis, has more force as an objection to presentism since supervenience is itself a modal notion. (shrink)

Eric Olson has argued, startlingly, that no coherent account can be giv- en of the distinction made in the personal identity literature between ‘complex views’ and ‘simple views’. ‘We tell our students,’ he writes, ‘that accounts of personal identity over time fall into [these] two broad categories’. But ‘it is impossible to characterize this distinction in any satisfactory way. The debate has been systematically misdescribed’. I argue, first, that, for all Olson has said, a recent account by Noonan provides the (...) coherent characterization he claims impossible. If so we have not been wrong all along in the way he says in what we have been telling our students. I then give an account of the distinction between the reductionist and non-reductionist positions which makes it differ- ent from the complex/simple distinction. The aim is to make clear sense of the notion of a not simple but non-reductionist position — which seems an eminently reasonable possibility and something it may also be useful to tell our students about. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

There’s an argument around from so-called “linguistic theories of vagueness”, plus some relatively uncontroversial considerations, to powerful metaphysical conclusions. David Lewis employs this argument to support the mereological principle of unrestricted composition, and Theodore Sider employs a similar argument not just for unrestricted composition but also for the doctrine of temporal parts. This sort of argument could be generalised, to produce a lot of other less palatable metaphysical conclusions. However, arguments to Lewis’s and Sider’s conclusions on the basis of considerations (...) about vagueness are uncompelling, even if we accept the crucial premises about vagueness. And a good thing too, since the generalised form of the argument would prove far too much. (shrink)

When invited to consider the methodology of contemporary metaphysics, quite a number of procedures spring to mind as part of the metaphysician's toolkit. These include: eliciting and relying on intuitions; solving location problems and using “conceptual analysis”; inference to the best theory, both on internal metaphysical grounds and drawing from the theoretical reaches of the sciences; working on topics clearly close to, or even overlapping, those of other areas of inquiry using techniques of those other areas; achieving coherence with other (...) theories developed with other aims; and employing deductive reasoning to yield surprising conclusions. Many of these techniques are associated with significant and growing literatures about their scope, epistemic justification, suitability to different metaphysical problems, and so on. (shrink)

The partial structures approach has two major components: a broad notion of structure (partial structure) and a weak notion of truth (quasi-truth). In this paper, we discuss the relationship between this approach and free logic. We also compare the model-theoretic analysis supplied by partial structures with the method of supervaluations, which was initially introduced as a technique to provide a semantic analysis of free logic. We then combine the three formal frameworks (partial structures, free logic and supervaluations), and apply the (...) resulting approach to accommodate semantic paradoxes. (shrink)

In this paper, I address a series of arguments recently put forward by Cappelen Review of Philosophy and Psychology 8: 743–762 to the effect that philosophers should not do formal semantics or be concerned with the “minutiae of natural language semantics”. He offers two paths for accessing his ideas. I argue that his arguments fail in favour of the first and cast some doubt on the second in so doing. I then proffer an alternative conception of why exactly philosophers should (...) continue to do formal linguistics which includes both semantics and syntax. (shrink)

The aim of this paper is twofold. First, we clarify the notion of immunity to error through misidentification with respect to the first-person pronoun. In particular, we set out to dispel the view that for a judgment to be IEM it must contain a token of a certain class of predicates. Rather, the importance of the IEM status of certain judgments is that it teaches us about privileged ways of coming to know about ourselves. We then turn to examine how (...) perception, as a state with nonconceptual content, can give rise to judgments that are IEM. On one view, the ‘inheritance model’ of immunity, perception gives rise to such judgments because perception itself is IEM. We argue that this model is misguided, and, instead, suggest and elucidate an alternative view: perception gives rise to judgments that are IEM by virtue of containing implicitly self-related or self-concerning information. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

The most basic divide amongst analytic metaphysicians separates realists from anti-realists. By examining certain characteristic and problematic features of these two families of views, we uncover their underlying metametaphysicalorientations, which turn out to coincide. This shared philosophical picture that underlies both the realist and the anti-realist project we call the Modern Picture. It rests on a crucial distinction between reality as it is for us and reality as it is in itself. It is argued that this distinction indeed generates the (...) realism/anti-realism dichotomy, and is also responsible for the problematic aspects highlighted earlier. We conclude by sketching an alternative philosophical picture that rejects the distinction between reality as it is for us and reality as it is in itself, which we call the Aristotelian Picture, and consider whether it is able to avoid the issues to which the Modern Picture gives rise. (shrink)

Humeans take reality to be devoid of ‘necessary connections’: things just happen. Laws of nature are to be understood in terms of what ‘just happens’, not vice versa. Here the Humean needs some conception of what it is that ‘just happens’ – a conception of the Humean mosaic. Lewis’s Humeanism incorporates such a conception in the form of a Lewis-style metaphysics of objects, properties, and modality. Newer versions of Humeanism about laws of nature, such as the Better Best Systems approach, (...) typically reject such a Lewisian metaphysics, but it remains unclear what they can offer in its place. By exploring different candidate conceptions, this paper sheds light on the limits of Humeanism about laws of nature: not all conceptions of the Humean mosaic form a suitable basis for a Humean theory of laws. In fact, only a metaphysics roughly in line with Lewis’s will do. The paper ends with a tentative generalization of this result, thus pointing to the ‘limit’ of Humeanism in general: taking the Humean way of thinking to its limit results in a rejection of the whole idea of such a mosaic – and hence of Humean mosaic-based accounts of anything. (shrink)

Frege taught us how to understand one form of predication: an atemporal one. There is also a different, temporal form of predication, which I briefly introduce. Accordingly, there are two fundamentally different approaches to time: a reductive one, aiming to account for time in terms of Frege’s atemporal predication, and a non-reductive one, insisting that the temporal form of predication is sui generis, and that time is to be understood in its terms. I do not directly argue for or against (...) reductionism in this paper. Rather, by evaluating the debates on endurantism–perdurantism, A-theory–B-theory, and presentism–eternalism, I argue that these debates, although aiming to be fundamental, largely boil down to mere quarrels between alternative reductive approaches. We should take notice of this fact and reorient ourselves within the debate on time accordingly: the real issue is whether we should reduce or not. I briefly sketch in what sense endurantism, A-theory, and presentism may be developed on a properly anti-reductionist basis. (shrink)

This paper aims at bringing together two debates in metaphysics that so far have been kept separate: the debate about determinism vs. indeterminism as de re modality on the one hand, and the debate about persistence on the other hand. Both debates significantly involve talk of things. We will show that working out a proper semantics for singular terms and an accompanying theory of things, motivated by considerations of quantified modal logic, can significantly further the persistence debate. We will use (...) our semantic framework to give an argument in support of the endurantist position as the best theory of persistence. (shrink)

A radical metaphysical theory typically comes packaged with a semantic theory that reconciles those radical claims with common sense. The metaphysical theory says what things exist and what their natures are, while the semantic theory specifies, in terms of these things, how we are to interpret everyday language. Thus may we “think with the learned, and speak with the vulgar.” This semantic accommodation of common sense, however, can end up undermining the very theory it is designed to protect. This paper (...) is a case study, showing in detail how one popular version of temporal parts theory is self-undermining. This raises the specter that the problem generalizes to other metaphysical theories. (shrink)

This article is a reaction to the following argument that has been offered in favor of abstract realism about fictional characters: fictional characters do not impose any extra ontological cost on our ontology, because they belong to the same ontological kind as literary works, which we already accept. I address arguments that have been adduced by Jeffrey Goodman in defense of this argument, and I show that there is no relevant parallelism between fictional entities and literary works that the abstract (...) fictional realist can use to bolster her theory. (shrink)

This essay appeared as a contribution to a special issue of European Journal of Philosophy to mark the fiftieth anniversary of the publication of P. F. Strawson’s The Bounds of Sense. In that book Strawson asks whether we should agree with Kant's claim, in his Critique of Pure Reason, that there can be only one world. What Kant means by this claim is that the four-dimensional realm that we inhabit must constitute the whole of empirical reality. Strawson gives reasons for (...) challenging this claim. This essay raises the question whether, even if Strawson is right, we may nevertheless have reason to believe that there can be only one world on a broader understanding of ‘world’. The aim is as much to clarify the issue as to settle it, although an attempt is made to motivate the view that there can indeed be only one world on this broader understanding. (shrink)

According to proponents of the causal exclusion problem, there cannot be a sufficient physical cause and a distinct mental cause of the same piece of behaviour. Increasingly, the causal exclusion problem is circumvented via this compatibilist reasoning: a sufficient physical cause of the behavioural effect necessitates the mental cause of the behavioural effect, so the effect has a sufficient physical cause and a mental cause as well. In this paper, I argue that this compatibilist reply fails to resolve the causal (...) exclusion problem. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be dialogue (...) between analytic philosophers and those of other traditions. (shrink)

Adam Elga takes the Sleeping Beauty example to provide a counter-example to Reflection, since on Sunday Beauty assigns probability 1/2 to H, and she is certain that on Monday she will assign probability 1/3. I will show that there is a natural way for Bas van Fraassen to defend Reflection in the case of Sleeping Beauty, building on van Fraassen’s treatment of forgetting. This will allow me to identify a lacuna in Elga’s argument for 1/3. I will then argue, however, (...) that not all is well with Reflection: there is a problem with van Fraassen’s treatment of forgetting. Ultimately I will agree with Elga’s 1/3 answer. David Lewis maintains that the answer is 1/2; I will argue that cases of forgetting can be used to show that the premiss of Lewis’s argument for 1/2 is false. (shrink)

This paper explores the relationships between Davidson's indeterminacy of interpretation thesis and two semantic properties of sentences that have come to be recognized recently, namely semantic incompleteness and semantic indecision.1 More specifically, I will examine what the indeterminacy thesis entails for sentences of the form 'By sentence S (or word w), agent A means that m' and 'Agent A believes that p.' My primary goal is to shed light on the indeterminacy thesis and its consequences. I will distinguish two kinds (...) of indeterminacy that have very different sources and very different consequences. But this does not purport to be an exhaustive study: there may well be other forms of indeterminacy that this .. (shrink)

Wittgenstein’s later works are full of questions about the timing and duration of mental phenomena. These questions are often awkward ones, and Wittgenstein seems to take their awkwardness to be philosophically revealing, but if we ask what it is that these questions reveal then different interpretations are possible. This paper suggests that there are at least six different ways in which the timing of mental phenomena can be awkward. By identifying these we can give sense to some of Wittgenstein’s more (...) cryptic remarks, and doing this enables us to clarify some obscure elements in his picture of the mind, including the distinction between sensations and feelings, and his account of the rational status of those processes out of which rule-following is built. (shrink)

This paper explores the metaethical ramifications of a coarse-grained criterion of property identity, sometimes referred to as Hume's dictum. According to Hume's dictum, properties are identical if and only if they are necessarily co-extensive. Assuming the supervenience of the normative on the natural, this criterion threatens the non-naturalist view that there are instantiable normative properties which are distinct from natural properties. In response, non-naturalists typically point to various counterintuitive implications of Hume's dictum. The paper clarifies this strategy and defends it (...) against objections by Bart Streumer and Ralf Bader. In addition, it is argued that proponents of naturalist and supernaturalist views, along with proponents of a certain kind of nihilism, should also reject Hume's dictum. This shows that non-naturalists can also attack the criterion indirectly, by pointing to partners in guilt. Also, it shows that not just any opponent of non-naturalism can appeal to Hume's dictum. Only certain nihilists can. (shrink)

The article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determinism of theories of physics. In these treatments, we identify three main approaches: one based on the study of equations, one based on mappings (...) between temporal realizations, and one based on branching models. We first give an overview of these approaches and show that current orthodoxy advocates a combination of the mapping- and the equations-based approaches. After giving a detailed formal explication of a branching-based definition of determinism, we consider three concrete applications and end with a formal comparison of the branching- and the mapping-based approach. We conclude that the branching-based definition of determinism most usefully combines formal clarity, connection with an underlying philosophical notion of determinism, and relevance for the practical assessment of theories. 1 Introduction2 Determinism in Philosophy of Science: Three Approaches2.1 Determinism: The core idea and how to spell it out2.2 The three approaches in more detail2.3 Representing indeterminism3 Orthodoxy: DMAP, with Invocations of DEQN4 Branching-Style Determinism 4.1 Models and realizations4.2 Faithfulness4.3 Two types of branching topologies 5 Comparing the Approaches5.1 Case studies5.2 Formal comparison of the DMAP and DBRN frameworks6 Conclusions. (shrink)

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff there is (...) a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

It is possible to wholly exist at multiple spatial locations at the same time. At least, if time travel is possible and objects endure, then such must be the case. To accommodate this possibility requires the introduction of a spatial analog of either relativising properties to times—relativising properties to spatial locations—or of relativising the manner of instantiation to times—relativising the manner of instantiation to spatial locations. It has been suggested, however, that introducing irreducibly spatially relativised or spatially adverbialised properties presents (...) some difficulties for the endurantist. I will consider an objection according to which embracing such spatially relativised properties could lead us to reject mereology altogether in favour of a metaphysics according to which objects are wholly present at every space-time point at which they exist. I argue that although such a view is coherent, there are some good reasons to reject it. Moreover, I argue that the endurantist can introduce spatially relativised or adverbialised properties without conceding that objects lack spatial parts. Such a strategy has the additional advantage that it allows the endurantist not only to explain time travel, but also to reconcile our competing intuitions about cases of fission. (shrink)

This paper defends a view that falls somewhere between the two extremes of inflationary and deflationary accounts of holes, and it does so by rejecting the initial conceptualisation of holes in terms of absences. Once we move away from this conception, I argue, we can see that there are no special metaphysical problems associated with holes. Rather, whatever one’s preferred metaphysics of paradigm material objects, that account can equally be applied to holes. This means that like the deflationist, I am (...) entity monist: I reject the idea that there are any immaterial beings. On the other hand, like the inflationist I reject the idea that we should identify holes with parts or surfaces of paradigm objects. Like the inflationist, I hold that there exist entities in roughly the regions of space-time where pre-theoretically we would say there exist holes, and those entities are holes. Call this latter part of the view—that where the folk are apt to claim there is a hole, that hole has roughly the dimensions that the folk attribute to it—hole-instinctivism (the view that our instincts about hole location/dimension are roughly right). Ultimately I embrace hole conventionalism, a view that includes commitment to both entity monism and hole-instinctivism. According to hole conventionalism, holes are no more ontologically problematic than statues, nor are they of a fundamentally different ontological kind from statues. (shrink)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

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)