En una serie de trabajos Carol Cleland ha argumentado por los últimos veinte años que la búsqueda de una definición de la vida es no solo inútil sino contraproducente. Una definición en términos de condiciones necesarias y suficientes nos podría cegar para la tarea mucho más importante de desarrollar una teoría universal de la vida. La principal justificación para este alegato es que la vida es una clase natural. Términos para clases naturales no poseen definiciones ideales, porque pretenden hacer referencia (...) a rasgos objetivos del mundo y no hacer explícito el contenido de nuestro pensamiento o lenguaje. Se argumenta aquí que la vida es, en efecto, una clase natural y, luego, la semántica para el término vida no puede darse por una definición ideal con condiciones necesarias y suficientes. Sin embargo, la semántica del término vida no excluye la posibilidad de hallar una ‘definición real’ adecuada de la esencia de la vida, esto es, de qué es la vida. Una definición real no es la enunciación del significado de un término sino de una esencia. (shrink)

Essentialism as applied to individuals is the claim that for at least some individuals there are properties that those individuals possess essentially. What it is to possess a property essentially is a matter of debate. To possess a property essentially is often taken to be akin to possessing a property necessarily, but stronger, although this is not a feature of Aristotle’s essentialism, according to which essential properties are those thing could not lose without ceasing to exist. Kit Fine (1994) takes (...) essential properties to be those that an object has in virtue of its identity, while other essentialists refer (as Fine also does) to the nature of an object as the source of its essential properties. It is sometimes important to distinguish the essential properties of a thing and the ‘full’ essence of a thing. The latter is the set of the essential properties of a thing, when that set necessarily suffices to determine the thing’s identity. One might hold that something has essential properties without agreeing that it has an identity-determining essence. Essentialism was largely in abeyance during the first two thirds of the twentieth century thanks to the domination of analytic philosophy by anti-metaphysical logical empiricism and the linguistic turn. The rehabilitation of essentialism owes much to the development of a formal apparatus for the understanding of modality more generally, thanks to C. I. Lewis, Ruth Barcan Marcus, and Saul Kripke. Kripke’s discussion of essentialism both about individuals and also about about natural kinds brought essentialism to wider philosophical prominence. Natural kind essentialism, which finds its modern genesis also in the work of Hilary Putnam, claims that natural kinds have essential properties: to say that possession of property P is is part of the essence of the kind K implies that, necessarily, every member or sample of the kind K possesses P. Essentialism about individuals has been linked to thinking about natural kinds by the contentious claim that one of the essential properties of any entity is that it belongs to the natural kind (or kinds) it actually belongs to. In this chapter I shall first outline certain claims and arguments concerning essentialism concerning individuals (Section 2).. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Stephen Maitzen argues that divine command metaethics must be mistaken because it is committed to the implausible assumption that the sentence ‘God is good’ is a tautology. In this article, I show that a charitable interpretation of R. M. Adams’ version of divine command metaethics is not committed to accept this assumption. I conclude that Maitzen’s objection merely manages to refute a strawman version of divine command metaethics.

We articulate a view of natural kinds as complex universals. We do not attempt to argue for the existence of universals. Instead, we argue that, given the existence of universals, and of natural kinds, the latter can be understood in terms of the former, and that this provides a rich, flexible framework within which to discuss issues of indeterminacy, essentialism, induction, and reduction. Along the way, we develop a 'problem of the many' for universals.

In describing and classifying things we often rely on their modal characteristics. We will in general not have a satisfactory account of the nature and character of an object, unless we specify at least partly how the thing might be or cannot be, and also how it might have been or could not have been. In his contribution to the Second Jerusalem Philosophical Encounter,1 Strawson addressed the issue of how to understand such ascriptions of modal characteristics. Although his paper is (...) terse and provocative, and develops an intriguing account of modal predications, it has never received much attention in the philosophical literature. Recently, the issues dealt with in Strawson’s paper have become the subject of a widespread debate. Hence, we think it worthwhile to put Strawson’s account under closer scrutiny. In what follows, we first discuss his account of present tense ‘might’-statements, then his account of past perfect ‘might’-statements, and finally some essentialist remarks that he makes in his paper. That the discussion will be rather critical for the most part (though not exclusively so) should not belie the originality and inherent value of his pioneering approach. (shrink)

Aristotle talks about 'the first philosophy' throughout the Metaphysics – and it is metaphysics that Aristotle considers to be the first philosophy – but he never makes it entirely clear what first philosophy consists of. What he does make clear is that the first philosophy is not to be understood as a collection of topics that should be studied in advance of any other topics. In fact, Aristotle seems to have thought that the topics of Metaphysics are to be studied (...) after those in Physics. In what sense could metaphysics be the first philosophy in the context of contemporary metaphysics? This is the question examined in this essay. Contemporary topics such as fundamentality, grounding, and ontological dependence are considered as possible ways to understand the idea of first philosophy, but I will argue that the best way to understand it is in terms of essence. (shrink)

Slot theory is the view that (i) there exist such entities as argument places, or ‘slots’, in universals, and that (ii) a universal u is n-adic if and only if there are n slots in u. I argue that those who take properties and relations to be abundant, fine-grained, non-set-theoretical entities face pressure to be slot theorists. I note that slots permit a natural account of the notion of adicy. I then consider a series of ‘slot-free’ accounts of that notion (...) and argue that each of them has significant drawbacks. (shrink)

Some plausibly necessary a posteriori theoretical claims include ‘water is H 2 O’, ‘gold is the element with atomic number 79’, and ‘cats are animals’. In this paper I challenge the necessity of the third claim. I argue that there are possible worlds in which cats exist, but are not animals. Under any of the species concepts currently accepted in biology, organisms do not belong essentially to their species. This is equally true of their ancestors. In phylogenetic systematics, monophyletic clades (...) such as the animal kingdom are composed of an ancestral stem species and all of its descendants. If the stem species had not existed, neither would the clade. Thus it could have been the case that all the organisms which actually belong to the animal kingdom might have existed yet not have been animals. (shrink)

In this paper, I support a hybrid view regarding the metaphysics of worlds. I endorse Lewisian Modal Realism for possible worlds (LMR). My aim is to come up with a hybrid account of impossible worlds that provides all the plenitude of impossibilities for all fine-grained intentional contents. I raise several challenges for such a plenitudinous hybrid theory. My version of hybrid modal realism builds impossible worlds as set-theoretic constructions out of genuine individuals and sets of them, that is, as set-theoretic (...) constructions from parts and sets of parts of genuine Lewisian worlds. _Structured worlds_ are defined as sets of tuples: structured entities built out of Lewisian ‘raw material’. These structured worlds are ersatz worlds, some of which are impossible. I claim that propositions must be sets of worlds rather than members of sets. Once the construction is in place, I evaluate the proposal and show that my hybrid account is able to supply a plenitude of impossibilities and thus giving the resources to make all the hyperintensional distinctions we are looking for, whilst remaining Lewisian-conservative. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

Under a ‘dirty hands’ model of undercover policing, it inevitably involves situations where whatever the state agent does is morally problematic. Christopher Nathan argues against this model. Nathan’s criticism of the model is predicated on the contention that it entails the view, which he considers objectionable, that morally wrongful acts are central to undercover policing. We address this criticism, and some other aspects of Nathan’s discussion of the ‘dirty hands’ model, specifically in relation to state entrapment to commit a crime. (...) Using János Kis’s work on political morality, we explain three dilemmatic versions of the ‘dirty hands’ model. We show that, while two of these are inapplicable to state entrapment, the third has better prospects. We then pursue our main aim, which is to argue that, since the third model precludes Nathan’s criticism, a viable ‘dirty hands’ model of state entrapment remains an open possibility. Finally, we generalize this result, showing that the case of state entrapment is not special: the result holds good for policing practices more generally, including such routine practices as arrest, detention, and restraint. (shrink)

This chapter is devoted to criticisms of the views of propositions defended by my co-authors, Jeff King and Scott Soames. The focus is on criticism of their attempts to explain the representational properties of propositions. The criticisms are varied, but one theme is a tension between their view that our actions can explain the representational properties of propositions and their commitment to the idea that propositions have their representational properties essentially.

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

1 Some philosophers defend the thesis that women are adult human females. Call this the adult human female thesis (AHF). There are two versions of this thesis—one modal and one definitional. Accord...

I here defend microphysical manyism. According to microphysical manyism, each composite or higher-level object is a mere plurality of microphysical particles. After clarifying the commitments of the view, I offer two physicalist-friendly arguments in its favour. The first argument appeals to the Canberra Plan. Here I argue that microphysical particles acting in unison play the theoretical roles associated with composite objects - that they do everything that we think of composite objects as doing - and thus that composite objects are (...) to be identified with pluralities of microphysical particles. Along the way I rebut the objections that pluralities of particles don’t display the right emergent, ‘lingering’, or modal properties to be good candidates for identification with higher-level objects. In the second argument I claim that microphysical manyism is uniquely able to capture a compelling and widespread physicalist intuition concerning the intimate nature of the relationship between higher-level, composite objects and the microphysical world. (shrink)

Dans cet article, j'introduis premièrement l'une des plus célèbres objections dirigées à l’encontre de la théorie du bloc en croissance (GBT), communément appelée « l’objection épistémique », selon laquelle GBT ne fournirait aucune raison de croire que nous sommes situés dans le présent objectif – bien au contraire. Deuxièmement, j'exprime mon insatisfaction à l’égard des tentatives traditionnelles de répondre à cette objection (Merricks 2006, Forrest 2004, Correia & Rosenkranz 2018). Enfin, troisièmement, je présente ma propre solution à l'objection épistémique, basée (...) sur l'existence continue des particuliers nus. (shrink)

In this paper, I first introduce one of the most prominent objections against the Growing Block Theory of time (GBT), the so-called ‘epistemic objection’, according to which GBT provides no way of knowing that our time is the objective present and, therefore, leads at best to absolute skepticism about our temporal location, at worst to the quasi-certainty that we are located in the objective past. Secondly, I express my dissatisfaction regarding the various traditional attempts to address this objection, especially Merricks (...) (2006), Forrest (2004) and Correia and Rosenkranz (2018). Thirdly, I show that the passage of time leads to an anti-essentialist picture of natural kinds. Finally, I develop my own solution to the epistemic objection, based on the continued existence of bare particulars. (shrink)

This paper consists of my responses to the comments by nine commentators on my book Are we Bodies or Souls? It makes twelve separate points, each one relevant to the comments of one or more of the commentators, as follows: I defend my understanding of “knowing the essence” of an object as knowing a set of logically necessary and sufficient conditions for an object to be that object; I claim that there cannot be thoughts without a thinker; I argue that (...) my distinction of “mental” from “physical” events in terms of whether anyone has privileged access to whether or not they occur, is a clear one; and I defend my account of metaphysical modality and its role in defending my account of personal identity; I defend my view that Descartes’s argument in favor of the view that humans are essentially souls fails, but that my amended version of that argument succeeds; I claim that my theory acknowledges the closeness of the connection in an earthly life between a human soul and its body; I argue that my Cartesian theory of the soul-body relation is preferable to Aquinas’s theory of that; I argue that a material thing cannot have mental properties; I argue that any set of logically necessary conditions for an object to be the object it is, which together form a logically sufficient condition for this, mutually entails any other such set; I deny that a dualist needs to provide an explanation of how the soul has the capacities that it has; and finally I defend my view that souls have thisness, and claim that that is not a difficulty for the view that God determines which persons will exist. (shrink)

Essentialists claim that at least some individuals or kinds have essences. This raises an important but little-discussed question: how do we come to know what the essence of something is? This paper examines Aristotle’s answer to this question. One influential interpretation (viz., the Explanationist Interpretation) is carefully expounded, criticized, and then refined. Particular attention is given to what Aristotle says about this issue in DA I.1, APo II.2, and APo II.8. It is argued that the epistemological claim put forward in (...) DA I.1 differs from that put forward in APo II.2 and II.8, contrary to what has been claimed by Explanationists, and that each of these distinct epistemological claims rests on a distinct non-epistemological thesis about essence. Consequently, an ‘Enriched Explanationist Interpretation’ is developed which takes into account both of the aforementioned elements in Aristotle’s epistemology of essence. The paper concludes by highlighting an insight the preceding exegetical discussion offers to contemporary essentialists seeking to explain how we come to know what something’s essence is. (shrink)

What explains the truth of a universal generalization? Two types of explanation can be distinguished. While an ‘instance-based explanation’ proceeds via some or all instances of the generalization, a ‘generic explanation’ is independent of the instances, relying instead on completely general facts about the properties or operations involved in the generalization. This intuitive distinction is analyzed by means of a truthmaker semantics, which also sheds light on the correct logic of quantification. On the most natural version of the semantics, this (...) analysis vindicates some claims made—without a proper defense—by Michael Dummett, Solomon Feferman, and others. Where instance-based explanations are freely available, classical logic is shown to be warranted. By contrast, intuitionistic logic remains warranted regardless of what explanations are available. (shrink)

Events between which we have no epistemic reason to discriminate have equal epistemic probabilities. Bertrand’s chord paradox, however, appears to show this to be false, and thereby poses a general threat to probabilities for continuum sized state spaces. Articulating the nature of such spaces involves some deep mathematics and that is perhaps why the recent literature on Bertrand’s Paradox has been almost entirely from mathematicians and physicists, who have often deployed elegant mathematics of considerable sophistication. At the same time, the (...) philosophy of probability has been left out. In particular, left out entirely are the philosophical ground of the principle of indifference, the nature of the principle itself, the stringent constraint this places on the mathematical representation of the principle needed for its application to continuum sized event spaces, and what these entail for rigour in developing the paradox itself. This book puts the philosophy and its entailments back in and in so doing casts a new light on the paradox, giving original analyses of the paradox, its possible solutions, the source of the paradox, the philosophical errors we make in attempting to solve it and what the paradox proves for the philosophy of probability. The book finishes with the author’s proposed solution—a solution in the spirit of Bertrand’s, indeed—in which an epistemic principle more general than the principle of indifference offers a principled restriction of the domain of the principle of indifference. (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)

Barbara Vetter, Potentiality. From Dispositions to Modality, Oxford University Press, Oxford, 2015, 321pp., ISBN: 978–0–19–871431–6.

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)

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (shrink)

This paper is a survey of the supervenience challenge to non-naturalist moral realism. I formulate a version of the challenge, consider the most promising non-naturalist replies to it, and suggest that no fully effective reply has yet been given.

This paper presents a line of thought against the possibility of causation without time. That possibility, insofar as it is supposedly rested upon a Lewisian counterfactual theory of causation, does not stand up to scrutiny. The key point is that, as a reflection on the trans-world identity of events reveals, (distinct) events deprived of times are—according to Lewis’s own semantics of counterfactuals—no longer eligible to stand in counterfactual dependence.

Modal metaphysics consumed much of the philosophical discussion at the turn of the century, yielding a number of epistemological insights. Modal analyses were applied within epistemology, yielding sensitivity and safety theories of knowledge as well as counterfactual accounts of the basing relation. The contemporary conversation has now turned to a new metaphysical notion – grounding – opening the way to a fresh wave of insights by bringing grounding into epistemology. In this paper, I attempt one such application, making sense of (...) the epistemic regress problem in terms of grounding. I argue that the relation that generates the epistemic regress is a grounding relation, showing that grounding can make sense of proposals by epistemic foundationalists and charting the course for similar applications to epistemic coherentism and epistemic infinitism. If it is right that grounding is involved in the epistemic regress, this points the way forward both for epistemologists and metaphysicians, revealing the prospects of solutions to the epistemic regress problem while providing grounding advocates with yet another example of grounding with which to theorize. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted in related installments (previously published and unpublished essays).

Far from being unwelcome or impossible in a mathematical setting, indeterminacy in various forms can be seen as playing an important role in driving mathematical research forward by providing “sources of newness” in the sense of Hutter and Farías :434–449, 2017). I argue here that mathematical coincidences, phenomena recently under discussion in the philosophy of mathematics, are usefully seen as inducers of indeterminacy and as put to work in guiding mathematical research. I suggest that to call a pair of mathematical (...) facts a coincidence is roughly to suggest that the investigation of connections between these facts isn’t worthwhile. To say of this pair, “That’s no coincidence!” is to suggest just the opposite. I further argue that this perspective on mathematical coincidence, which pays special attention to what mathematical coincidences do, may provide us with a better view of what mathematical coincidences are than extant accounts. I close by reflecting on how understanding mathematical coincidences as generating indeterminacy accords with a conception of mathematical research as ultimately aiming to reduce indeterminacy and complexity to triviality as proposed in Rota Indiscrete thoughts, Birkhäuser, 1997). (shrink)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

The chapter discusses the issue of how we may achieve knowledge of essence. It offers a critical survey of the main theories of knowledge of essence that have been proposed within contemporary debates, particularly by Lowe, Hale, Oderberg, Elder, and Kment.

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...) to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

Do conceivability arguments work against physicalism if properties are causal powers? By considering three different ways of understanding causal powers and the modality associated with them, I will argue that most, if not all, physicalist powers theorists should not be concerned about the conceivability argument because its conclusion that physicalism is false does not hold in their favoured ontology. I also defend specific powers theories against some recent objections to this strategy, arguing that the conception of properties as powerful blocks (...) conceivability arguments unless a rather implausible form of emergence is true. (shrink)

Este capítulo es una guía para conocer los elementos básicos de la fundamentación metafísica. Ofrece una revisión accesible de sus características y usos, comparando este concepto con otras formas de dependencia que se pueden encontrar en la literatura. Enfatiza dos roles teóricos centrales que la fundamentación supuestamente juega en la teorización filosófica: (i) dar cuenta de una forma distintiva de determinación no causal y (ii) entender mejor la estructura jerárquica de la realidad. El capítulo apunta a persuadir a las lectoras (...) de la utilidad de la fundamentación discutiendo cómo pueden mitigarse algunas objeciones dirigidas a esos roles. (shrink)

In this paper we argue that defenders of Frankfurt-style counterexamples to the Principle of Alternative Possibilities do not need to construct a metaphysically possible scenario in which an agent is morally responsible despite lacking the ability to do otherwise. Rather, there is a weaker (but equally legitimate) sense in which Frankfurt-style counterexamples can succeed. All that's needed is the claim that the ability to do otherwise is no part of what grounds moral responsibility, when the agent is indeed morally responsible.

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

My dissertation explores the nature of artifacts – things like chairs, tables, and pinball machines – and addresses the question of whether there is anything essential to being an artifact and a member of a particular artifact kind. My dissertation offers new arguments against both the anti-essentialist and current essentialist proposals. Roughly put, the view is that artifacts are successful products of an intention to make something with certain features constitutive of an artifact kind. The constitutive features are often functional (...) features, but may include structural, material, aesthetic, and other features. I further explore the ways in which artifacts are mind-dependent and I argue that this dependence is disjunctive. Not only do they depend on the intentions of their makers, but they also can depend on social groups or public norms and thus artifacts have an importantly social dimension and I argue that this disjunctive account applies not to artifact kinds but to individual artifacts depending on their context of creation. (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

What is the structure of normative reality? According to X First, normativity has a monistic foundationalist structure: there is a unique normatively basic property in terms of which all the other normative properties are analysed. The main aim of this paper is to defend the view that fittingness—the property that an attitude has when it gets things right with respect to its object, as when you admire the admirable or desire the desirable—is first, or perhaps joint first. I will focus (...) in particular on the questions whether and why fittingness is normative. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary identity statements (...) involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)