The book offers a novel approach to the idea of divinity in guise of a philosophical doctrine called 'Logical Pantheism', according to which the only way to establish the existence of God undeniably is by equating God with Logical Space.

Amodal completion is the representation of occluded parts of perceived objects. We argue for the following three claims: First, at least some amodal completion-involved experiences can ground knowledge about the occluded portions of perceived objects. Second, at least some instances of amodal completion-grounded knowledge are not sensitive, that is, it is not the case that in the nearest worlds in which the relevant claim is false, that claim is not believed true. Third, at least some instances of amodal completion-grounded knowledge (...) are not safe, that is, it is not the case that in all or nearly all near worlds where the relevant claim is believed true, that claim is in fact true. Thus, certain instances of amodal completion-grounded knowledge refute both the view that knowledge is necessarily sensitive and the view that knowledge is necessarily safe. (shrink)

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

The distinction between qualitative properties like mass and shape and non-qualitative properties like being Napoleon and being next to Obama is important, but remains largely unexamined. After discussing its theoretical significance and cataloguing various kinds of non-qualitative properties, I survey several views about the nature of this distinction and argue that all proposed reductive analyses of this distinction are unsatisfactory. I then defend primitivism, according to which the distinction resists reductive analysis.

I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)

We grant that anthropic reasoning yields the result that we should not expect to be in a small civilization. However, regardless of what civilization one finds oneself in, one can use anthropic reasoning to get the result that one should not expect to be in that sort of civilization. Hence, contra Ken Olum, anthropic reasoning does not conflict with observation.

Two arguments have recently been advanced that Maxwell-Boltzmann particles areindistinguishable just like Bose–Einstein and Fermi–Dirac particles. Bringing modalmetaphysics to bear on these arguments shows that ontological indistinguishabilityfor classical (MB) particles does not follow. The first argument, resting on symmetryin the occupation representation for all three cases, fails since peculiar correlationsexist in the quantum (BE and FD) context as harbingers of ontic indistinguishability,while the indistinguishability of classical particles remains purely epistemic. The secondargument, deriving from the classical limits of quantum statistical partition (...) functions,embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a thirdargument is considered that attempts to deflate metaphysical concerns altogether byshowing that the phase-space and distribution-space representations of MB-statisticshave contrary haecceitistic import. Careful analysis shows this argument to fail as well,leaving de re modality unproblematically grounding particle identity in the classicalcontext while genuine puzzlement about the underlying ontology remains for quantumstatistics. (shrink)

In this paper, I try to show that Kripke’s proposed solution to the problem of negative existentials fails. I try to show that Kripke’s proposal fails because it entails that anybody who has good reasons to believe that there are no propositions has also good reasons to believe that he or she does not exist. However, there were philosophers who had good reasons to believe that there are no propositions even though they didn’t have good reasons to believe that they (...) do not exist. I conclude that Kripke’s proposed solution to the problem of negative existentials fails. (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 two main theories of perceptual reasons in contemporary epistemology can be called Phenomenalism and Factualism. According to Phenomenalism, perceptual reasons are facts about experiences conceived of as phenomenal states, i.e., states individuated by phenomenal character, by what it’s like to be in them. According to Factualism, perceptual reasons are instead facts about the external objects perceived. The main problem with Factualism is that it struggles with bad cases: cases where perceived objects are not what they appear or where there (...) is no perceived object at all. The main problem with Phenomenalism is that it struggles with good cases: cases where everything is perfectly normal and the external object is correctly perceived, so that one’s perceptual beliefs are knowledge. In this paper we show that there is a theory of perceptual reasons that avoids the problems for Factualism and Phenomenalism. We call this view Propositionalism. We use ‘proposition’ broadly to mean the entities that are contents of beliefs and other doxastic attitudes. The key to finding a middle ground between Phenomenalism and Factualism, we claim, is to allow our reasons to be false in bad cases. Despite being false, they are about the external world, not our phenomenal states. (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)

Two arguments are offered here for postulating individual essences of concrete individuals on top of their sortal essences. One is the explanatory gap argument, the other draws on the analogy with the individual essences of events presupposed in single causal explanations. These arguments support qualitative individual essences with explanatory goals as opposed to hybrid impure relational essences accounting for origin and numerical identity. It is highlighted why origin properties as parts of impure relational essences do not yield genuine de re (...) constructions. The distinction between the two types of individual essences is traced back to the ambiguity of the very notion of individuation. (shrink)

We offer an empirical assessment of description theories of proper names. We examine empirical evidence on lexical and cognitive development, memory, and aphasia, to see whether it supports Descriptivism. We show that description theories demand much more, in terms of psychological assumptions, than what the data suggest; hence, they lack empirical support. We argue that this problem undermines their success as philosophical theories for proper names in natural languages. We conclude by presenting and defending a preliminary alternative account of reference (...) from a developmental perspective. (shrink)

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

The thesis that the necessary and the a priori are extensionally equivalent consists of two independent claims: 1) All a priori truths are necessary and 2) all necessary truths are a priori. In Naming and Necessity1 Saul A. Kripke gives examples of necessary but a posteriori truths, so he disagrees with the second leg of the thesis.2 His examples are of two types; on the one hand statements involving essential properties and on the other hand true identity statements. My concern (...) will be with examples of the second type and whether they refute (2). (2), however, is ambiguous and can mean one of three things. (shrink)

In this paper, presented at an APA colloquium in Boston on December 28, 1994, it is argued that Ruth Barcan Marcus' 1961 article on Modalities and Intensional Languages originated many of the key ideas of the New Theory of Reference that have often been attributed to Saul Kripke and others. For example, Marcus argued that names are directly referential and are not equivalent to contingent descriptions, that names are rigid designators, and that identity sentences with co-referring names are necessary if (...) true. She also first presented the modal argument that names are directly referential, the epistemic argument that names are directly referential, and the argument that there area posteriori necessities. (shrink)

According to predicativism about names, names which occur in argument positions have the same type of semantic contents as predicates. In this paper, I shall argue that these bare singular names do not have the same type of semantic contents as predicates. I will present three objections to predicativism—the modal, the epistemic, and the translation objections—and show that they succeed even against the more sophisticated versions of predicativism defended by Fara and Bach.

This paper considers Kripke's (1972, 1980) modal arguments against descriptivism about proper names, the descriptivist reply that the meaning of a name is given by a description involving the modifier ‘actually’, and Kit Fine's (1994) distinction between necessary and essential attributes. It explains how Kripke's modal arguments can be recast in essentialist terms by appealing to Fine's distinction, and it argues that the resulting essentialist arguments are immune to the abovementioned descriptivist reply to the original modal arguments.

Millianism and Fregeanism agree that a sentence that contains a name expresses a structured proposition but disagree about whether that proposition contains the object that the name refers to (Millianism) or rather a mode of presentation of that object (Fregeanism). Various problems – about simple sentences, propositional‐attitude ascriptions, and sentences that contain empty names – beset each view. To solve these problems, Millianism can appeal to modes of presentation, and Fregeanism can appeal to objects. But this raises a further problem: (...) namely, to explain why the proposition expressed by a sentence that contains a name matters in some cases but not in others. (shrink)

Alvin Plantinga gave a reductio of the conjunction of the following three theses: Existentialism (the view that, e.g., the proposition that Socrates exists can't exist unless Socrates does), Serious Actualism (the view that nothing can have a property at a world without existing at that world) and Contingency (the view that some objects, like Socrates, exist only contingently). I sketch a view of truth at a world which enables the Existentialist to resist Plantinga's argument without giving up either Serious Actualism (...) or Contingency. (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 some sense, both ontological and epistemological problems related to individuation have been the focal issues in the philosophy of mathematics ever since Frege. However, such an interest becomes manifest in the rise of structuralism as one of the most promising positions in recent philosophy of mathematics. The most recent controversy between Keränen and Shapiro seems to be the culmination of this phenomenon. Rather than taking sides, in this paper, I propose to critically examine some common assumptions shared by both (...) parties. In particular, I shall focus on their assumptions on haecceity as an individual essence, haecceity as a property, the classification of properties, and thereby the search for the principle of individuation in terms of properties. I shall argue that all these assumptions are mistaken and ungrounded from Scotus’ point of view. Further, I will fathom what consequences would follow, if we reject each of these assumptions. (shrink)

The aim of this paper is to make the case for the obstinacy thesis. This is the thesis that proper names like ‘Hitler’, demonstratives like ‘this’, pure indexicals like ‘I’, and natural kind terms like ‘water’ and ‘gold’, are obstinately rigid terms. An obstinately rigid term is one that refers to the object that is its actual referent with respect to every possible world (hence, a fortiori, even with respect to worlds where that object does not exist). This form of (...) rigidity is stronger than the usual Kripkean one and has been notoriously explored by David Kaplan (Kaplan 1989a: 492-3; Kaplan 1989b: 569-71). Yet, the obstinacy thesis seems implausible to many philosophers and is worth substantive argument. For convenience, we focus our attention on proper names; but most of our remarks could be easily generalized to other unstructured singular terms. We shall take for granted Saul Kripke’s semantical doctrine that proper names are rigid in the general sense of the term and argue that their rigidity should take the specific form of obstinacy rather than persistence. (shrink)

In this paper, I defend the claim that an object can have a property only if it exists from two arguments, both of which turn on how to understand Plantinga’s notion of the α-transform of a property.

Recently Saul Kripke has drawn attention to a puzzle about belief and proper names, a puzzle of which philosophers have been aware for a long time, but which has never been completely resolved. Kripke gives a new, bilingual illustration of the puzzle:1 Pierre, while living in his native France, learns much about the city of London, which he calls ‘Londres,’ and comes to believe something which he would express in French with the words, ‘Londres est jolie.’ Using standard principle of (...) translation, it seems correct for us to say, ‘Pierre believes that London is pretty.’ Suppose however that Pierre learns English, travels to London, learns that the name of the city he is in is ‘London,’ and sincerely and comprehendingly asserts, ‘London is not pretty.’ On the basis of his assertion, it seems correct for us to say, ‘Pierre believes that London is not pretty.’ But suppose he does not realize that ‘Londres’ is also a name for the city he is in, so he retains the belief which he would express with the French words, ‘Londres est jolie.’ Then, by the same principles of translation as before, it seems that we are still justified in saying, ‘Pierre believes that London is pretty.’ But now we have attributed to Pierre contradictory beliefs, and that does not seem acceptable, since Pierre has committed no logical oversight.Kripke believes that this is the same puzzle as one that arises in older, monolingual examples, such as that used by Quine: suppose Tom believes that Cicero denounced Cataline. Since ‘Tully’ is another name for Cicero, it seems acceptable to paraphrase his belief and say, ‘Tom believes that Tully denounced Cataline.’ But suppose Tom does not realize that Cicero and Tully are the same person, and suppose, in fact, that he sincerely and comprehendingly asserts, ‘Tully did not denounce Cataline.’ Then it also seems acceptable to say, on the basis of Tom’s assertion, ‘Tom believes that Tully did not denounce Cataline.’ But now we have attributed to Tom contradictory beliefs, and, as in the Pierre example, that does not seem acceptable. (shrink)

Fregeans follow Frege in accepting informativeness and substitution failure as reliable criteria for the existence of senses as objects of thought. In this paper I show that if we accept this, we must also accept the existence of an infinite hierarchy of senses as objects of thought. This is a bad result since it turns Fregeanism into a doctrine according to which object-related thoughts either have an infinite number of objects as contents or none at all. This shows, against the (...) Fregean, that senses cannot themselves be constituents of thought. Los fregeanos aceptan, siguiendo a Frege, que los criterios de informatividad y falla de sustitución son guías confiables de la existencia de sentidos como objetos del pensamiento. En este artículo muestro que si aceptamos esta tesis también debemos aceptar la existencia de una jerarquía infinita de sentidos como objetos del pensamiento. Esta es una mala consecuencia pues convierte al fregeanismo en una doctrina según la cual los pensamientos dirigidos a objetos o bien tienen un número infinito de objetos como contenido o ninguno. Esto muestra, contra los fregeanos, que los sentidos no pueden ellos mismos ser objeto del pensamiento. (shrink)

This paper aims at examining the main arguments presented against the description theory of reference for proper names. It will especially focus on the arguments exposed by Kripke in Naming and Necessity, with the object of outlining a description theory which is not affected by such arguments.