I consider a puzzling case presented by Jose Benardete, and by appeal to this case develop a paradox involving counterfactual conditionals. I then show that this paradox may be leveraged to argue for certain non-obvious claims concerning the logic of counterfactuals.

Contrary to the commonly held position of Luis de Molina, Thomas Flint and others, I argue that counterfactuals of divine freedom are pre-volitional for God within the Molinist framework. That is, CDFs are not true even partly in virtue of some act of God’s will. As a result, I argue that the Molinist God fails to satisfy an epistemic openness requirement for rational deliberation, and thus she cannot rationally deliberate about which world to actualize.

There’s a growing sense among philosophers of religion that Humean arguments from evil are some of the most formidable arguments against theism, and skeptical theism fails to undermine those arguments because they fail to make the inferences skeptical theists criticize. In line with this trend, Wes Morriston has recently formulated a Humean argument from evil, and his chief defense of it is that skeptical theism is irrelevant to it. Here I argue that skeptical theism is relevant to Humean arguments. To (...) do this, I reveal the common structure of skeptical theism’s critiques. Seeing the common structure reveals why some versions of skeptical theism are irrelevant to Humean arguments from evil. It also points the way forward to formulating a relevant version. By combining skeptical theism with a plausible principle concerning reasonable belief, I formulate a version of skeptical theism that undermines Morriston’s argument that is also immune from his objections. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

I argue that the existence of a necessary concrete being can be derived from an exceedingly weak causal principle coupled with two contingent truths one of which falls out of very popular positions in contemporary analytic metaphysics. I then show that the argument resists a great many objections commonly lodged against natural theological arguments of the cosmological variety.

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

The method of Conceptual Analysis makes use of natural language speaker intuitions about the meanings of expressions, and relies on an externalist assumption about meanings—namely, that they can be given in terms of referential relations and truth. This article argues that this widely used methodology in metaphysics is troubled, because the assumed externalist hypothesis about natural language meanings is beset with trenchant obstacles in explaining linguistic phenomena. It argues that the use of Conceptual Analysis in metaphysical investigation inherits the difficulties (...) for the externalist hypothesis generally assumed by metaphysical inquiry. It explores two cases of such investigation that serve to exemplify the breadth of topics susceptible to troubles with the externalist hypothesis regarding natural language meanings: the extended mind hypothesis and the metaphysics of causation. (shrink)

According to ecological psychology, animals perceive not just the qualities of things in their environment, but their affordances: in James Gibson’s words, ’what things furnish, for good or ill’. I propose a metaphysics for affordances that fits into a contemporary anti-Humean metaphysics of powers or potentialities. The goal is to connect two debates, one in the philosophy of perception and one in metaphysics, that stand to gain much from each other.

A standard conception of metaphysical modality accepts that Some de re modal claims are true, These should be understood in terms of a possible worlds semantics, and There is trans-world identity. For instance, it seems true that Humphrey could have won the election. In possible worlds speak, we say that there exists a possible world where Humphrey wins the election. Furthermore, had that possibility been actualized instead of this one, Humphrey—our Humphrey, the very same man—would still have existed. Here, I (...) argue that this way of understanding de re modal claims, in conjunction with certain other plausible assumptions, entails that The World is a necessary being. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (shrink)

Bertrand Russell offered an influential paradox of propositions in Appendix B of The Principles of Mathematics, but there is little agreement as to what to conclude from it. We suggest that Russell's paradox is best regarded as a limitative result on propositional granularity. Some propositions are, on pain of contradiction, unable to discriminate between classes with different members: whatever they predicate of one, they predicate of the other. When accepted, this remarkable fact should cast some doubt upon some of the (...) uses to which modern descendente of Russell's paradox of propositions have been put in recent literature. (shrink)

In this paper I show that a novel ontic reading of explanation, intending to capture the de re essential features of individuals, can support the qualitative view of individual essences. It is argued further that the putative harmful consequences of the Leibniz Principle and its converse for the qualitative view can be avoided, provided that individual essences are not construed in the style of the naïve bundle theory with set-theoretical identity- conditions. Adopting either the more sophisticated two-tier BT or, alternatively, (...) the neo-Aristotelian position of taking essences as natures in the Aristotelian sense, can help to evade these main charges against the qualitative view. The functional parallels with the alternative haecceitistic view of individuation and individual essence will also be considered. (shrink)

I argue that ensouled animalism—the view that we are identical to animals that have immaterial souls as parts—has a pair of advantages over its two nearest rivals, materialistic animalism and pure dualism. Contra pure dualism, ensouled animalism can explain how physical predications can be literally true of us. Contra materialistic animalism, ensouled animalism can explain how animals can survive death. Furthermore, ensouled animalism has these advantages without creating any problems beyond those already faced by animalism and by belief in souls. (...) However, some animalists, including Eric Olson, think that animals cannot have immaterial parts. I present a sufficient condition for animal parthood that implies animals can have immaterial parts. Ensouled animalism is not only possible, but also doubly attractive. (shrink)

Many claim that belief in God is like belief in Santa Claus have it out belief in God, or belief in Santa – is rational, and a direct parallel between the reasoning of the two sides is demonstrated. Many important arguments regarding theistic belief are discussed in some form. The article is intended for use in an introduction to philosophy, or an introductory philosophy of religion course, as a humorous way to foster discussion and expose students to criticisms of theistic (...) arguments, and to consider the possibility that theistic belief is no better than belief in the existence of Santa Claus. Act One. (shrink)

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as ‘actually’ and ‘in fact’ are not indexicals like ‘here’ and ‘now’; when e.g. ‘Snow is actually white’ is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that ‘actually’ and its cognates do play. It is also argued (...) that the sentence ⌜Actually S⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S⌝, it is not sufficient to prefix the word ‘necessarily’. (shrink)

This inquiry is motivated by the question: if atheism is true, is it nevertheless the case that holiness or sacredness is exemplified? I believe the answer to this question is affirmative, and that the path to its affirmation lies in the rejection of the traditional assumption that holiness is a single and simple property of a divinity that eludes analysis. The opposite view, that there are several complex properties comprising holiness, makes it manifest that there are holy beings, even a (...) holy ‘supreme being’, even if there is no God and no gods. (shrink)

The distinction between quantitative and qualitative parsimony is supposed to allow David Lewis to dismiss one of the charges against his modal realism: that is, the charge of bloated ontology. The aim of this paper is to undermine Lewis's response to this objection. In order to do this, a distinction between multipliable and nonmultipliable objects is introduced. Based on this it is argued that the acceptance of Lewis's response requires one to believe in modal realism in the first place—that is, (...) one has to believe in the view that the existence of nonactual spatiotemporal worlds does not affect the quality of the ontological commitment. Although the paper focuses on the problem of the metaphysics of possible worlds, this should be regarded merely as a case study. Accordingly, the results of this analysis should find applications in other metaphysical debates as well. (shrink)

This article opposes a view widely accepted in studies concerning the history of modal logic, according to which (i) the approach of C. I. Lewis towards constructing modern modal logic was purely syntactical (i.e. limited to the construction of axiomatic systems S1-S5 of propositional modal logic), and (ii) the notion of a possible world was incorporated into modern logic and philosophy mainly by authors such as Rudolf Carnap and Saul Kripke. The article presents Lewis' definition of a possible world, and (...) his formulation of the truth-conditions of statements containing strict implication as their main connective in terms of possible worlds. The main question of the article is whether it is possible to consider Lewis' work in this area as an early stage of the development of possible world semantics, and if so, in what sense? The article concludes by answering affirmatively, due to soundness and completeness proofs with respect to S5 using Lewis' semantics. (shrink)

Semen Frank (1877–1950) was one of the first and most ardent advocates of the ontological argument in the twentieth century. He proposed an original interpretation of the ontological argument based on its analogy to Descartes’ Cogito. Frank believed that it is possible to develop Cogito ergo sum into Cogito ergo est ens absolutum. In this paper, I analyze his version of the ontological argument. First, I propose a simple reconstruction of his reasoning, paying attention to its hidden premise. Second, departing (...) from the classical logical interpretations of Descartes’ argument, I show that for Frank the claim that God exists had the same logical properties as Cogito. As a result, it seems that his argument was formally correct, though based on a premise which could hardly be convincing for a non-believer. This should not be surprising, however, since Frank, as most Russian religious philosophers, was not interested in the project of philosophical theology. His main concern was rather the development of philosophy based on religious premises, which might be called “theological philosophy”. (shrink)

In a recent article Mark Ian Thomas Robson argues that there is a clear contradiction between the view that possible worlds are a part of God's nature and the theologically pivotal, but philosophically neglected, claim that God is perfectly beautiful. In this article I show that Robson's argument depends on several key assumptions that he fails to justify and as such that there is reason to doubt the soundness of his argument. I also demonstrate that if Robson's argument were sound (...) then this would be a problem for all classical theists and not just those who hold the possible worlds view. (shrink)

For many recent readers of Hegel, Wilfrid Sellars’s 1956 London lectures on the “Myth of the Given” have signaled an important rapprochement between Hegelian and analytic traditions in philosophy. Here I want to explore the ideas of another philosopher, also active in London in the 1950s, who consciously pursued such a goal: John N. Findlay. The ideas that Findlay brought to Hegel—sometimes converging with, sometimes diverging from those of Sellars—had been informed by his earlier study of the Austrian philosopher Alexius (...) Meinong, and transformations of Meinong’s ideas by his student, the logician Ernst Mally. These ideas that Findlay found Hegel-friendly are ones that have had a particular bearing on more recent analytic modal metaphysics, especially via the work of Findlay’s own former student, Arthur Prior. Given this, we might not be surprised at the similarities between the type of actualist interpretation of modal logic that Prior offered in opposition to David Lewis’s variant on Leibnizian possibilism, and Hegel’s approach to the category of “Actuality” [Wirklichkeit] at the end of the Objective Logic of The Science of Logic. But the similarities, I suggest, do not end there, as elements of Hegel treatment of predication in the Subjective Logic parallel similar elements found in the work of Mally and, more recently, “modal actualists” such as Prior and Stalnaker. In this paper I explore some puzzling features of Hegel’s treatment of predication in the Subjective Logic from the point of view of the need for a logic for thought about the modally complex actual world, as Hegel conceived it. (shrink)

This essay studies the semantic properties of what I call Russell-names. Russell-names bear intimate semantic relations with descriptive conditions, in consonance with the main tenets of descriptivism. Yet, they are endowed with the semantic properties attributed to ordinary proper names by Millianism: they are rigid and non-indexical devices of direct reference. This is not an essay in natural language semantics, and remains deliberately neutral with respect to the question whether any among the expressions we ordinarily classify as proper names behave (...) as Russell-names. Its aim is rather that of casting a new light on the traditional debate about descriptivism on the one hand, and, on the other, what is commonly understood as a radically anti-descriptivist approach. From the viewpoint of descriptivism, the conceivability of Russell-names provides welcome relief from the pressure exerted by considerations at odds with a flaccid and/or indexical treatment of proper names. Conversely, from a Millian standpoint, the conceivability of Russell-names indicates that the Millian stance, far from providing a meagre picture of names as ‘mere tags’, is at least in principle consistent with the recognition of their semantic bonds with richer descriptive material. The Appendix provides a formal treatment of Russell-names within a model theoretic semantics for indexical intensional languages, developed within an original ‘double-context’ framework. (shrink)

The main aim of this paper is to identify a type of fact-given warrant for action that is distinct from reason-based justification for action and defend the view that there are two types of practical warrant. The idea that there are two types of warrant is familiar in epistemology, but has not received much attention in debates on practical normativity. On the view that I will defend, normative facts, qua facts, give rise to entitlement warrant for action. But they do (...) not, qua facts, give rise to reason-based warrant. Normative practical reasons, I will argue, are true propositions that represent fact-based favouring and that are made true by normative facts. (shrink)

This paper critically examines Michael Zimmerman’s account of basic final value in The Nature of Intrinsic Value. Zimmerman’s account has several positive features. Unfortunately, as I argue, given one plausible assumption about value his account derives a contradiction. I argue that rejecting that assumption has several implausible results and that we should instead reject Zimmerman’s account. I then sketch an alternative account of basic final value, showing how it retains some of the positive features of Zimmerman’s account while avoiding its (...) pitfalls. (shrink)

The nonexistence of fictional entities does not seem incompatible with their possible existence. The aim of this paper is to give an account of the intuitive truth of statements of possible existence involving fictional proper names in an actualist framework. After having clarified the opposition between a possibilist and an actualist approach of possible wolds, I distinguish fictional individuals from fictional characters and the fictional use of fictional proper names from their metafictional use. On that basis, statements of possible existence (...) involving fictional proper names literally say of fictional characters conceived as abstract objects that they might have been exemplified. (shrink)

Recent work of Gustav Bergmann develops an ontological framework within which an account of relations has been sketched out. The approach is a kind of new logical atomism which has some of the features of an Aristotelian hylomorphism (of sorts). It recognizes a number of categories and groups of a hylomorphic kind, chiefly “determinates” and “subdeterminates”--the latter only indirectly or implicitly. Winsome though it is, the approach is flawed by certain difficulties it gives rise to, among them inability to speak (...) of subdeterminates and failure of a relation to be had by a referent towards a relatum. Instead of having a sense, a relation is conceived of as a determinate which enters an arrangement whose existence and nature are not properly accounted for. Finally, Bergmann’s Ideal Language is assayed and shown not to be as useful philosophically in itself as he takes it to be. (shrink)

This paper attacks the modal ontological argument, as advocated by Plantinga among others. Whereas other criticisms in the literature reject one of its premises, the present line is that the argument is invalid. This becomes apparent once we run the argument assuming fictionalism about possible worlds. Broadly speaking, the problem is that if one defines “x” as something that exists, it does not follow that there is anything satisfying the definition. Yet unlike non-modal ontological arguments, the modal argument commits this (...) “existential fallacy” not in relation to the definition of ‘God’. Rather, it occurs in relation to the modal facts quantified over within a Kripkean modal logic. In brief, we can describe the modal facts by whichever logic we prefer—yet it does not follow that there are genuine modal facts, as opposed to mere facts-according-to-the-fiction. A broader consequence of the discussion is that the existential fallacy is an issue for many projects in “armchair metaphysics.”. (shrink)

Oppenheimer & Zalta have re-formulated their non-modal version of the ontological argument, with the help of PROVER9, an automated reasoning engine. The authors end up rejecting the new argument; however, the theist has a rejoinder worth considering. But after presenting the rejoinder, I highlight that the conceivability of the being does not imply its possibility. One lesson is that even non-modal ontological arguments must engage modal matters concerning God. Another lesson is that if PROVER9 is able to derive a conclusion (...) from fewer premises, the proof is sometimes inferior as an argument. (shrink)

An argument for the existence of gods given by the Stoic Diogenes of Babylon and reported by Sextus Empiricus appears to be an ancient version of the ontological argument. In this paper I present a new reconstruction of Diogenes' argument that differs in certain important respects from the reconstruction presented by Jacques Brunschwig. I argue that my reconstruction makes better sense of how Diogenes' argument emerged as a response to an attack on an earlier Stoic argument presented by Zeno of (...) Citium. Diogenes' argument as reconstructed here is an example of a modal ontological argument that makes use of the concept of being of such a nature as to exist. I argue that this concept is a modal concept that is based on the Philonian definition of possibility, and thus that Diogenes' argument is a source of important evidence about the use of non-Stoic modalities in the post-Chrysippean Stoa. I conclude by arguing that the objections made against considering Diogenes' argument as ontological are unfounded and that Diogenes' argument clearly resembles modern versions of modal ontological arguments. (shrink)

Le nominalisme est « le refus d'admettre toute entité autre qu'indivi-duelle ». II doit, pour justifier la simplicité de son ontologie, proposer une théorie de laconnaissance et une théorie sémantique qui ne présupposent ni l'une ni l'autre l'existence réelle des univer-saux. Certaines des voies qui s'ouvrent à cette entreprise délicate ont été systématiquement explorées vers la fin du Moyen Age et il y a tout à parier que, malgré les ruptures épistémologiques, les révolutions scientifiques et autres changements d'epistémè, les nominalistes (...) contemporains pourraient encore profiter de quelque façon de l'immense travail théorique accompli par leurs prédécesseurs médiévaux. C'est dans cet esprit que je voudrais procéder à une reconstruction sommaire de la théorie sémantique avancée au début du quatorzième siècle par le Fran-ciscain Guillaume d'Occam. Je ne m'engagerai pas dans une comparaison détaillée entre Occam et les auteurs contemporains, mais j'essaierai de présenter sans en trahir l'esprit la sémantique occa-miste de manière à en faire apparaître la pertinence pour les débats actuels. II serait possible, me semble-t-il, d'aller encore plus loin dans cette voie en mettant à profit les techniques formelles récentes pour axiomatiser la théorie d'Occam. Pour l'instant cependant, je me limiterai à une présentation plutôt informelle. (shrink)

Among challenges to Molinism, the challenge posed by divine prophecy of human free action has received insufficient attention. We argue that this challenge is a significant addition to the array of challenges that confront Molinism.

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)

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)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

The semantical framework is fundamentally intensional: neither possible worlds nor sets as basic entities, but rather, besides individuals, propositions, properties and relations (in intension). Logical truth is defined in terms of logical form (without mentioning this notion) without employing sets of models and the concept of truth in a model. Truth itself is explicitly defined (without recursion); the truth-conditions for the logical constants of the object-language become theorems derivable from the axioms for "to intend"--the basic semantical relation.

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)

An intrinsic property is roughly a property things have in virtue of how they are, as opposed to how they are related to things outside of them. This paper argues that it is not possible to give a definition of 'intrinsic' that involves only logical, modal and mereological notions, and does not depend on any special assumptions about either properties or possible worlds.

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

Given Conciliar Christology and a compositionalist metaphysics of the incarnation, I explore whether ‘qua-propositions’ are capable of solving the coherence problem in Christology. I do this by probing the metaphysical aspect of qua-propositions, since ‘semantics presupposes metaphysics’. My proposal focuses on the fact that the Word accidentally owns an individual human nature. Due to that individuality, the human properties first characterise the individual human nature and, in a ‘next step’, this individual human nature characterises the Word. I call this ‘stepped (...) characterisation’. Subsequently, I show that stepped characterisation validates the use of qua-propositions in Conciliar Christology. Hence, qua-propositions are not merely ‘muddling the waters of logic’. (shrink)

For many centuries, philosophers have debated this question: “Does God exist?” Surprisingly, they have paid rather less attention to this distinct – but also very important – question: “Would God’s existence be a good thing?” The latter is an axiological question about the difference in value that God’s existence would make (or does make) in the actual world. Perhaps the most natural position to take, whether or not one believes in God, is to hold that it would be a very (...) good thing if such a being were to exist. After all, God is traditionally thought to be perfectly powerful and good, and it might seem obvious that such a being’s existence would make things better than they would otherwise be. But this judgment has been contested: some philosophers have held that God’s existence would make things worse, and that, on this basis, one can reasonably prefer God’s non-existence. We first distinguish a wide array of axiological positions concerning the value of God’s existence which might be held by theists, atheists, and agnostics alike. We next construe these positions as comparative judgments about the axiological status of various possible worlds. We then criticize an important recent attempt to show that God’s existence would make things worse, in various ways, than they would otherwise be. (shrink)

God is typically conceived as perfectly good and necessarily so, in two senses: in terms of always performing the best possible act and in terms of having maximal moral worth. Yet any being that freely performs the best act she can must be accorded greater moral worth for any such action than a being that does so necessarily. I conclude that any being that performs the best possible act of necessity cannot also have maximal moral worth, making the concept of (...) God’s perfect goodness incoherent. (shrink)

David Lewis has proposed an analysis of lawhood in terms of membership of a system of regularities optimizing simplicity and strength in information content. This article studies his proposal against the broader background of the project of Humean supervenience. In particular, I claim that, in Lewis's account of lawhood, his intuition about small deviations from a given law in nearby worlds (in order to avoid backtracking and epiphenomena) leads to the conclusion that laws do not support (certain) counterfactuals and do (...) not bestow nomic necessity on (certain) facts induced by these laws. Support of counterfactuals and nomic necessity, however, are widely held to be important aspects of the concept of lawhood. In my view, therefore, it is not possible to abandon these criteria in any satisfactory analysis of the notion of laws of nature. In a final section, I suggest that the whole project of Humean supervenience is misleading. It does not sufficiently take notice of the important role that reasoning about contrary-to-fact situations plays in modern scientific practice. (shrink)

The thesis that entities exist in, at, or in relation to logically possible worlds is criticized. The suggestion that actually nonexistent fictional characters might nevertheless exist in nonactual merely logically possible worlds runs afoul of the most general transworld identity requirements. An influential philosophical argument for the concept of world-relativized existence is examined in Alvin Plantinga’s formal development and explanation of modal semantic relations. Despite proposing an attractive unified semantics of alethic modality, Plantinga’s argument is rejected on formal grounds as (...) supporting materially false actual existence assertions in the case of actually nonexistent objects in the framework of Plantinga’s own underlying classical predicate-quantificational logic. (shrink)

The fundamental question I consider is the following: What is it that makes one thing a person and another thing not? I do not provide a complete answer; rather I begin to develop a framework for answering the question. In this essay I do the following: (1) distinguish between the powers possessed by persons and the constitutions of persons, and propose some metaphysical conjectures concerning the relationship between persons' powers and their constitutions; (2) propose for Christians, as well as for (...) others, an hylomorphic soul-body alternative to Cartesianism; (3) highlight some prominent differences between the nature of human persons and the natures of brute animals; and (4) apply this framework for understanding human persons to problems in biomedical ethics concerning the ontological and moral status of human embryos and of the comatose. (shrink)

This paper starts with the presentation of an Aristotelian theory of negative properties. Against this backdrop, it then asks whether there could be objects that have solely negative properties, i.e., completely negative objects. This possibility is entertained by Wittgenstein in his Tractatus Logico-Philosophicus. The notion of a completely negative object is compared to the concepts of a nonexistent object, a nonconcrete object, and a nonactual object. Ultimately, it is argued that there can be no completely negative objects, because all negative (...) properties entail some positive properties. (shrink)

Having clarified certain conceptual matters with regard to God's relation to sin and evil, Professor Brümmer considers the two propositions that God could be the author of any state of affairs that he does not approve of, and that God could approve of any state of affairs which is evil. Brü mmer argues that both these are logically impossible, the first because it would be a sign of weakness in God, and the second because God's will is the ultimate standard (...) of goodness. (shrink)