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)

Sometimes you make a choice. Whether or not you made it was up to you. The choice was free. But how can this be? A scientific view of the world may leave no room for free choice. Free will literature continually explodes. Yet experts still focus on control or on a power to do otherwise. Sadly, they neglect another intuitive feature of free will: being an underived source or ultimate originator. When acting freely, one is a self-determined, self-directed, sole author (...) of change. Surprisingly, though the literature is replete with this pre-theoretic feature of free will, virtually no one makes rigorous use of it when constructing arguments. Equipped with fresh research, this book contends that agent-causation—currently an unpopular theory—deserves serious reconsideration. Only agent-causation accounts for ultimate origination, and popular objections fail under rigorous scrutiny. This book is tightly argued. It challenges and deepens recent advances in free will scholarship made by Peter van Inwagen, Robert Kane, Carl Ginet, Randy Clarke, Stewart Goetz, Tim O’Connor, and others. (shrink)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

In the book, I provide an account of what it is for an agent to have an ability. According to the Success View, abilities are all about success across possible situations. In developing and applying the view, the book elucidates the relation between abilities on the one hand and possibility, counterfactuals, and dispositions on the other; it sheds light on the distinction between general and specific abilities; it offers an understanding of degrees of abilities; it explains which role intentions and (...) performances play for the having of an ability, how abilities relate to success and failure, and gives an outlook at how the view might be applied to the free will debate and time travel. (shrink)

Os tópicos e problemas filosóficos discutidos no volume são de natureza bastante variada: a natureza da complexidade computacional no processamento de uma língua natural; a relação entre o significado linguístico e o sentido Fregeano; as conexões entre a a agência e o poder; o conteúdo semântico da ficção; a explicação dos impasses éticos; a natureza dos argumentos cépticos; as conexões entre as dissociações cognitivas e o carácter modular da mente; a relação entre a referência e o significado. Estes tópicos deixam-se (...) subsumir num tema mais geral, o tema das ligações múltiplas entre a cognição e o conteúdo, mental ou linguístico. O tópico do conteúdo, a questão de determinar como é que muitas das nossas elocuções e muitos dos nossos estados mentais são dotados de conteúdo, representam algo (correcta ou incorrectamente), e o tópico da cognição, a investigação da natureza e dos mecanismos envolvidos na cognição humana, no processamento de informação tipicamente proveniente do exterior, são inegavelmente tópicos centrais da investigação filosófica, presente ou passada.Dado o carácter inclusivo e pluridisciplinar dos tópicos cobertos, não é surpreendente que os ramos da Filosofia representados no presente volume sejam igualmente diversificados: a Filosofia Moral, a Filosofia da Linguagem, a Teoria do Conhecimento, a Filosofia da Mente, os Fundamentos da Ciência Cognitiva. E também não é surpreendente que nele também estejam representados outros ramos do conhecimento cuja relevância para o estudo do conteúdo e da cognição é conspícua: a Psicologia Cognitiva; a Linguística Computacional e a Inteligência Artificial. Os autores dos ensaios são de proveniências diversas. De um lado, há um conjunto de especialistas nacionais a trabalhar na tradição analítica em Filosofia, como João Branquinho, ou a trabalhar em algumas áreas filosoficamente importantes da Ciência Cognitiva, como António Branco (Processamento da Língua Natural), José Frederico Marques (Psicologia Cognitiva) e Helder Coelho (Inteligência Artificial). Do outro lado, há um conjunto de especialistas estrangeiros de elevada reputação internacional: Allan Gibbard, da Universidade de Michigan, autor de livros influentes na área da Ética e Filosofia Moral; Stephen Schiffer, da New York University, uma das principais figuras actuais da Filosofia da Linguagem e da Semântica Geral; Paolo Leonardi, da Universidade de Bolonha, um especialista nas áreas da Filosofia da Linguagem e Filosofia da Comunicação; e Manuel García-Carpintero, da Universidade de Barcelona, um dos grandes vultos da Filosofia Analítica praticada em Espanha e na Europa Continental. (shrink)

In this paper, I examine Plantinga’s (1993, 2000, 2011) Evolutionary Argument Against Naturalism (EAAN). While there has been much discussion about Plantinga’s use of probabilities in the argument, I contend that insufficient attention has been paid to the question of how we are to interpret those probabilities. In this paper, I argue that views Plantinga defends elsewhere limit the range of interpretations available to him here. The upshot is that the EAAN is more limited in its applicability than Plantinga alleges.

This paper focuses on the concept of collective essence: that some truths are essential to many items taken together. For example, that it is essential to conjunction and negation that they are truth-functionally complete. The concept of collective essence is one of the main innovations of recent work on the theory of essence. In a sense, this innovation is natural, since we make all sorts of plural predications. It stands to reason that there should be a distinction between essential and (...) accidental plural predications if there is a distinction among singular predications. In this paper I defend the view that the concept of collective essence is governed by the principle of Monotonicity: that something is essential to some items only if it is essential to any items to which they belong. (shrink)

What is it for something to be essential to an item? For some time, it was standard to think that the concept of necessity alone can provide an answer: for something to be essential to an item is for it to be strictly implied by the existence of that item. We now tend to think that this view fails because its analysans is insufficient for its analysandum. In response, some argue that we can supplement the analysis in terms of necessity (...) with a further condition. In this paper I argue that this view is untenable in its current form. I then provide a glimmer of hope to those who think that essence is at least partially analyzable in terms of necessity. (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)

The unification of grounding and causation has been proposed in the literature. Also, it has encountered many objections. In this paper, I argue that there is a strategy that enables us to reply to many of the objections to the unification. That is the ‘blame the relata strategy’ which claims that all the differences between grounding and causation come from relata rather than relation. I clarify this strategy by appealing to positionalism about relations, and present three arguments for this strategy. (...) Also, I argue that the difference between causal relata and grounding relata is that the former are distinct entities, while the latter are non-distinct. I suggest the ‘essential connections criterion’ to define ‘distinct’ and ‘non-distinct’, showing that grounding is partly grounded in essence in an indirect manner. Given the above strategy and criterion, we can see that there is no real objection to the unification of grounding and causation. (shrink)

The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes (...) 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena. (shrink)

In an author-meets-critics session at the March 1992 Pacific APA meetings, the critics (Christopher Menzel, Harry Deutsch, and C. Anthony Anderson) commented on the author's book *Intensional Logic and the Metaphysics of Intentionality* (Cambridge, MA: MIT/Bradford, 1988). The critical commentaries are published in this issue together with these replies by the author. The author responds to questions concerning the system he proposes, and in particular, to questions concerning the treatment of modality, the semantics of belief reports, and the general efficacy (...) of the metaphysical foundations as compared to that of set theory. (shrink)

Modal Dimensionalism is a metaphysical theory about possible worlds that is naturally suggested by the often-noted parallelism between modal logic and tense logic. It says that the universe spreads out not only in spatiotemporal dimensions but also in a modal dimension. It regards worlds as nothing more or less than indices in the modal dimension in the way analogous to the way in which Temporal Dimensionalism regards temporal points and intervals as indices in the temporal dimension. Despite its naturalness and (...) intuitive appeal. Modal Dimensionalism has been largely ignored while the debates between David Lewis and his critics have dominated the discourse on the nature of possible worlds. It is high time that we took Modal Dimensionalism seriously as a viable alternative. (shrink)

Those who object to David Lewis' modal realism express qualms about philosophical respectability of the Lewisian notion of a possible world and its correlate notion of an inhabitant of a possible world. The resulting impression is that these two notions either stand together or fall together. I argue that the Lewisian notion of a possible world is otiose even for a good Lewisian modal realist, and that one can carry out a good Lewisian semantics for modal discourse without Lewisian possible (...) worls. I do so by generalizing Lewis' own idea that restrictions on quantification come and go with the pragmatic wind and relativizing possible worlds as shifting domains of discourse. I then suggest a way to soften the infamous incredulous stare. (shrink)

It may appear that in order to be any way at all, a thing must exist. A possible – worlds version of this claim goes as follows: (E) For every x, for every possible world w, Fx at w only if x exists at w. Here and later in (R), the letter ‘F’ is used as a schematic letter to be replaced with a one – place predicate. There are two arguments against (E). The first is by analogy. Socrates is (...) widely admired now but he does not exist now. So, it is not the case that for every x, for every time t, Fx at t only if x exists at t. Possible worlds are analogous to times. Therefore, (E) is false (cf., Kaplan 1973: 503 – 05 and Salmon 1981: 36 – 40). For the second argument, replace ‘F’ with ‘does not exist’. (E) then says that for every x, for every possible world w, x does not exist at w only if x exists at w. This is obviously false. Therefore (E) is false (cf., Kaplan 1977: 498). Despite their considerable appeal, these arguments are not unassailable. The first argument suffers from the weakness inherent in any argument from analogy; the analogy it rests on may not.. (shrink)

In recent work, Jonathan Schaffer (Mind 119: 341–376, 2010) has attempted to argue that counterpart theorists are committed to holding that any two actual objects are bound together in a modally substantial sense. By clarifying the core elements of counterpart theory, I explain why Schaffer’s argument fails.

The standard Kripkean semantic theories for quantified modal logic allow the individuals that exist at other worlds to vary from those that exist at the actual world. This causes a problem for those who deny the existence of non-actual individuals. I focus on two prominent strategies for solving this problem, due respectively to Bernard Linsky and Edward Zalta (who identify the possible individuals with the actual individuals) and Alvin Plantinga (who identifies the possible individuals with the individual essences). I argue, (...) contra various commentators, that both of these solutions are acceptable by the lights of those who deny the existence of mere possibilia. (shrink)

I call the Particular Problem of Hell the problem of explaining why God allows a certain set of created persons to populate hell, as opposed to allowing some other set of created persons to do so. This paper proposes a solution to PPH on behalf of proponents of Divine Universal Causality — the view, roughly, that God causes everything distinct from himself to exist at any time it exists. Despite initial appearances, I argue, proponents of DUC can adopt a version (...) of the popular approach to the Problem of Hell sometimes called the Choice Model. My proposal is based upon Eleonore Stump's Thomistically-inspired notion that our wills can enter a state of "quiescence" with respect to a given option. While proponents of DUC will, I argue, most likely find Stump's own quiescence-based solution to PPH unacceptable, there is a way of modifying her approach that renders it compatible with God's causing everything distinct from himself, including the free choices of his creatures. (shrink)

Possible worlds represent you as being certain ways, as having a different lives, different hopes, and different friends. A foundational question in the philosophy of modality thus emerges: in virtue of what does a world represent you in these ways? In this paper, we focus on David Lewis's answer to this metarepresentational question: Counterpart Theory.

Necessitism is the view that necessarily everything is necessarily something; contingentism is the negation of necessitism. The dispute between them is reminiscent of, but clearer than, the more familiar one between possibilism and actualism. A mapping often used to ‘translate’ actualist discourse into possibilist discourse is adapted to map every sentence of a first-order modal language to a sentence the contingentist (but not the necessitist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables (...) the necessitist to extract a ‘cash value’ from what the contingentist says. Similarly, a mapping often used to ‘translate’ possibilist discourse into actualist discourse is adapted to map every sentence of the language to a sentence the necessitist (but not the contingentist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables the contingentist to extract a ‘cash value’ from what the necessitist says. Neither mapping is a translation in the usual sense, since necessitists and contingentists use the same language with the same meanings. The former mapping is extended to a second-order modal language under a plural interpretation of the second-order variables. It is proved that the latter mapping cannot be. Thus although the necessitist can extract a ‘cash value’ from what the contingentist says in the second-order language, the contingentist cannot extract a ‘cash value’ from some of what the necessitist says, even when it raises significant questions. This poses contingentism a serious challenge. (shrink)

It is a truth universally acknowledged that a claim of metaphysical modality, in possession of good alethic standing, must be in want of an essentialist foundation. Or at least so say the advocates of the reductive-essence-first view, according to which all modality is to be reductively defined in terms of essence. Here, I contest this bit of current wisdom. In particular, I offer two puzzles—one concerning the essences of non-compossible, complementary entities, and a second involving entities whose essences are modally (...) ‘loaded’—that together strongly call into question the possibility of reducing modality to essence. (shrink)

All of the ingredients for what has become known as Anselmian perfect being theology were present already in the thought of St. Augustine. This paper develops that thesis by calling attention to various claims Augustine makes. It then asks whether there are principled reasons for determining which properties the greatest possible being has and whether an account of what contributes to greatness can settle the question whether the greatest possible being is the same as the God of Abraham, Isaac, and (...) Jacob. The paper develops Augustine’s answer to the first question by extracting several principles he endorses that generate a hierarchy of greatness. It addresses the second question by discussing the requirements of worship and of creation. (shrink)

I argue that William Craig’s defence of the moral argument is internally inconsistent. In the course of defending the moral argument, Craig criticizes non-theistic moral realism on the grounds that it posits the existence of certain logically necessary connections but fails to provide an adequate account of why such connections hold. Another component of Craig’s defence of the moral argument is an endorsement of a particular version of the divine command theory. Craig’s version of DCT posits certain logically necessary connections (...) but Craig fails to provide an adequate account of why these connections hold. Thus, Craig’s critique of non-theistic moral realism is at odds with his DCT. Since the critique and DCT are both essential elements of his defence of the moral argument, that defence is internally inconsistent. (shrink)

This paper answers a philosophical challenge that emerges when we problematize the seemingly trivial "fact" that, on the one hand, through our senses we are presented with a realm that is not of our own making; while, on the other hand, various perceivers are acquainted with diverse presentations of this realm, depending on their perspective and cognitive machinery. The challenge is dubbed here the problem of presentations. The paper draws on the idea of situation-dependent properties proposed by Susanna Schellenberg. However, (...) the paper takes the notion of situation more seriously and introduces a number of basic notions borrowed from situated cognition—a cluster of ideas that have recently emerged in the philosophy of mind. These make it possible to introduce the perceiver in such a way as not to endanger the objective character of situation-dependent properties. Thought of this way, situation-dependent properties are in turn described as the building blocks of presentations. (shrink)

ABSTRACT This paper defends a controversial view about personal identity. It argues that it is possible to endorse both Phenomenalism and Materialism about persons. Phenomenalism is the view that personal identity is grounded in phenomenal consciousness. Materialism is the view that we are material objects. Many believe that the two views are incompatible. In this paper, I show that it is possible to accept both. I consider two objections against their combination—the argument from disembodiment and an important objection by Tim (...) Bayne. My responses are based on Kripke’s analysis of necessary a posteriori and contingent a priori statements. I make the case that both objections rest on different kinds of modal illusions. This strategy can be applied to other arguments, and the paper is intended to advocate a general approach to personal identity. (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.

In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index. It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialised by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism, which generated the problem of initialization of the semantic index. (...) I present the main argument of those semanticists and describe several responses to the initialisation problem. I finally argue that under certain metaphysical and semantic assumptions, one can respond to the initialisation failure in the classical way, even in indeterministic contexts. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

W ramach semantyk Kripkego dla języków modalnych wartość logiczna zdania może zmieniać się wraz ze zmianą parametru indeksu semantycznego. Oznacza to, że stosując tego typu semantykę do analizy zdań języka naturalnego, musimy wskazać indeks istotny dla analizy semantycznej. Zwykło się przyjmować, że odpowiedni indeks jest ustalany przez kontekst wypowiedzi. Pomysł ten został odrzucony przez semantyków analizujących języki temporalno-modalne w kontekście indeterminizmu, co wygenerowało problem ustalania indeksu. W artykule przedstawię argument owych semantyków, a następnie zarysuję kilka odpowiedzi na problem ustalania indeksu. (...) Ostatecznie będę argumentował, że przy pewnych założeniach metafizycznych i semantycznych można udzielić klasycznej odpowiedzi na problem ustalania indeksu również w kontekstach indeterministycznych. (shrink)

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)

If God is morally perfect then He must perform the morally best actions, but creating humans is not the morally best action. If this line of reasoning can be maintained then the mere fact that humans exist contradicts the claim that God exists. This is the ‘anthropic argument’. The anthropic argument, is related to, but distinct from, the traditional argument from evil. The anthropic argument forces us to consider the ‘creation question’: why did God not create other gods rather than (...) humans? That is, if God is omniscient, omnipotent, and morally perfect then why didn’t He create a world populated exclusively by beings that are perfect in the same way that He is—ontological equivalents— rather than choosing to create humans with finite natures and all the suffering that this entails? (shrink)

Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...) 212–213). That argument purports to show that some plausible claims concerning the nature of vagueness entail (UC). In this paper I will suggest a response to this argument. I will show that the proponent of Supersubstantivalism (SS)—the view that material objects are identical to regions of spacetime—can reject a premise of Sider’s argument without denying the plausible claims concerning vagueness. Doing so requires only rejecting a certain view concerning the relationship between the proper sub-region relation and the proper parthood relation. So, proponents of (SS) are in a better position than many of us to side with common sense regarding composition. In the first section of the paper, I will present Sider’s argument. In the second section, I will introduce (SS) and briefly discuss some reasons one might have to believe that it is true. In the third section, I will show how the proponent of (SS) can avoid commitment to (UC) and reject a premise of Sider’s argument. Last, I’ll briefly consider and respond to some objections. (shrink)

Along with a well-honoured tradition, we will accept that intentionality is at least a property a thought holds necessarily, i.e., in all possible worlds that contain it; more specifically, a necessary relation, namely the relation of existential dependence of the thought on its intentional object. Yet we will first of all try to show that intentionality is more than that. For we will claim that intentionality is an essential property of the thought, namely a property whose predication to the thought (...) is true in virtue of the identity, or nature, of such a thought. More particularly, for us intentionality will again be a relation, yet a relation of ontological dependence of the thought on its intentional object; specifically, the relation for the thought of being constituted by its object. Moreover, we will try to show that if intentionality is such a constitutive relation for the thought that has it, certain metaphysical consequences ensue. First, an objectual thought, a thought whose content basically consists in its intentional object, is nothing but that object in a certain cogitative modality, or, which is the same, as playing a certain motivational role for the subject entertaining the thought itself (at a certain time). Second, if an objectual thought is nothing but an intentional object in a cogitative modality, such a thought, not only as a type, but also as a token, is an abstract entity. More specifically, an objectual thought-type, an abstract object par excellence, is indeed instantiated by objectual thought-tokens which are again abstract particulars, yet of a specific kind: namely, tropes of a relational sort depending for their existence on their bearers (and possibly also on their temporal location). (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.

This is a reply to W. Paul Franks’ critique (‘Why a Believer Could Believe that God Answers Prayers’) of my recent paper in Sophia (2007). I argue that Franks’ Plantinga-inspired criticism fails because it turns on the dubious assumption that the efficacy of prayer could provide evidence for the existence of God.

David Lewis’s counterpart theory is often seen as involving a radical departure from the standard, Kripke-style semantics for modal logic, suggesting that we are dealing with deeply divergent accounts of our modal talk. However, CT captures but one version of the relevant semantic intuition, and does so on the basis of metaphysical assumptions that are ostensibly discretionary. Just as ML can be translated into a language that quantifies explicitly over worlds, CT may be formulated as a semantic theory in which (...) world quantification is purely metalinguistic. And just as Kripke-style semantics is formally compatible with the doctrine of world-boundedness, a counterpart-based semantics may in principle allow for cases of trans-world identity. In fact, one may welcome a framework that is general enough to include both Lewis’s counterpart-based account and Kripke’s identity-based account as distinguished special cases. There are several ways of doing so. The purpose of this paper is to outline a fully general option and to illustrate its philosophical significance, showing how the large variety of intermediate relations that lie between Lewisian counterparthood and Kripkean identity yield a corresponding variety of modal theories that would otherwise remain uncharted. (shrink)