are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

am going to discuss some issues inspired by a well-known paper ofKeith Donnellan, "Reference and Definite Descriptions,”2 but the interest—to me—of the contrast mentioned in my title goes beyond Donnellan's paper: I think it is of considerable constructive as well as critical importance to the philosophy oflanguage. These applications, however, and even everything I might want to say relative to Donnellan’s paper, cannot be discussed in full here because of problems of length. Moreover, although I have a considerable interest in (...) the substantive issues raised by Donnellan’s paper, and by related literature, my own conclusions will be methodological, not substantive. I can put the matter this way: Donnellan’s paper claims to give decisive objections both to Russell’s theory of definite descriptions (taken as a theory about English) and to Strawson’s. My concem is not primarily with the question; is Donnellan right, or is Russell (or Strawson)? Rather, it is with the question: do the considerations in Donneilarfs paper refute Russell’s theory (or Strawson’s)? For definiteness, I will concentrate on Donnellan versus Russell, leaving Strawson aside. And about this issue I will draw a definite conclusion, one which I think will illuminate a few methodological maxims about language. Namely, I will conclude that the considerations in Donnellan’s paper, by themselves, do not refute Russell’s theory. Any conclusions about Russell’s views per se, or Donnellan’s, must be tentative, IfI were to be asked for a tentative stab about Russell, I would say that although his theory does a far better job of handling ordinary discourse than many have thought, and although many popular arguments against it are inconclusive, probably it ultimately fails. The considerations I have in mind have to do with the existence of “improper” definite descriptions, such as “the table," where uniquely specifying conditions are not contained in the description itself.. (shrink)

Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence (...) of a description in an extensional context does not matter, provided existence and uniqueness conditions are satisfied. But attempts to eliminate descriptions in more complicated cases may produce an analysis with more occurrences of descriptions than featured in the analysand. Taking alternation and negation to be primitive (as in the first edition of Principia), this can be resolved, although the proof is non-trivial. Taking the Sheffer stroke to be primitive (as proposed by Russell in the second edition), with bad choices of scope the analysis fails to terminate. (shrink)

This important new book is the first of a series of volumes collecting essential work by an influential philosopher. It presents a mixture of published and unpublished works from various stages of Kripke's storied career. Included here are seminal and much discussed pieces such as “Identity and Necessity,” “Outline of a Theory of Truth,” and “A Puzzle About Belief.” More recent published work include “Russell's Notion of Scope” and “Frege's Theory of Sense and Reference” among others. Several of the works (...) included here are published for the first time, including both older works “Two Paradoxes of Knowledge,” “Vacuous Names and Fictional Entities,” “Nozick on Knowledge” as well as newer “The First Person” and “Unrestricted Exportation.” “A Puzzle on Time and Thought” was written for this volume. The publication of this volume—which ranges over epistemology, linguistics, pragmatics, philosophy of language, history of analytic philosophy, theory of truth, and metaphysics—represents a major event in contemporary analytic philosophy. This collection aims to be a testament to one of philosophy's greatest living figures. (shrink)

This important new book is the first of a series of volumes collecting the essential articles by the eminent and highly influential philosopher Saul A. Kripke. It presents a mixture of published and unpublished articles from various stages of Kripke's storied career.

SummaryMind‐body identity theories are standardly supposed to be logically contingent. Kripke defends a quasi‐Cartesian property dualism by observing that bodies and minds or mental and neurophysiological events or event‐types can always be assigned distinct rigid designators. The concept of rigid designation implies that possibly nonidentical rigidly designated bodies and minds are necessarily and therefore actually nonidentical. But Kripke's argument does not refute materialist reductions that affirm the actual identity of minds and bodies while admitting only the possible nonidentity of ncwigidly (...) designated mental and material entities. This limits the adequate expression of contingent materialist theories, but does not defeat materialism per se. The mind‐body problem like other genuine ontological issues resists stipulative semantic‐philosophical resolution. (shrink)

SummaryMind‐body identity theories are standardly supposed to be logically contingent. Kripke defends a quasi‐Cartesian property dualism by observing that bodies and minds or mental and neurophysiological events or event‐types can always be assigned distinct rigid designators. The concept of rigid designation implies that possibly nonidentical rigidly designated bodies and minds are necessarily and therefore actually nonidentical. But Kripke's argument does not refute materialist reductions that affirm the actual identity of minds and bodies while admitting only the possible nonidentity of ncwigidly (...) designated mental and material entities. This limits the adequate expression of contingent materialist theories, but does not defeat materialism per se. The mind‐body problem like other genuine ontological issues resists stipulative semantic‐philosophical resolution. (shrink)

An -ever free relative is felicitous only when the speaker doesn’t know, or doesn’t care about, the identity of the entity denoted. In this paper we investigate what it means to identify an entity by examining the non-identification condition on -ever free relatives. Following Dayal (In A. Lawson (Ed.), Proceedings of SALT VII, 1997 ), we analyze -ever free relatives as definites with a modal dimension. We show that the variation in the identity of the entity across the possible worlds (...) in the modal dimension cannot be captured in a model where transworld identity is expressed using a single trivial principle of identity, and present an analysis within a model where transworld identity is relativized to noun meanings, which has been proposed in the philosophical literature for other reasons (Geach 1968 ; Gupta, The logic of common nouns: an investigation in quantified modal logic, 1980 ). The analysis thus shows that natural language semantics is sensitive to relative identity in the sense of Geach and Gupta; furthermore, it sets the stage for a new typology of referring expressions based on which expression types contribute principles of transworld identity. (shrink)

It may be that all that matters for the modalities, possibility and necessity, is the object named by the proper name, not which proper name names it. An influential defender of this view is Saul Kripke. Kripke’s defense is criticized in the paper.

This is a paper in which I argue that problems of transworld identity and the truth in-truth at distinction are motivated by unhelpful pictures we have in mind while doing metaphysics.

In the by now well known talks he gave at Princeton, Saul Kripke claimed that “[t]heoretical identities … are generally identities involving two rigid designators and therefore are examples of the necessary a posteriori.” 253-355; A rigid designator is an expression that designates the same object in all possible worlds when it is used. So Kripke is claiming that ‘Water is H20’ and ‘Heat is the motion of molecules’ are generally identities involving expressions like ‘water’ and ‘the motion of molecules’ (...) which designate the same objects in all possible worlds. If the identity statement is true, both sides designate the same object rigidly, i.e., in all possible worlds, and therefore the statement is necessarily true. On the other hand, whether it is true is determined ultimately by appeal to experience. It follows that if true, the identity is necessary a posteriori. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Martin Heidegger and OntologyEmmanuel Levinas (bio)The prestige of Martin Heidegger 1 and the influence of his thought on German philosophy marks both a new phase and one of the high points of the phenomenological movement. Caught unawares, the traditional establishment is obliged to clarify its position on this new teaching which casts a spell over youth and which, overstepping the bounds of permissibility, is already in vogue. For once, (...) Fame has picked one who deserves it and, for that matter, one who is still living. Anyone who has studied philosophy cannot, when confronted by Heidegger’s work, fail to recognize how the originality and force of his achievements, stemming from genius, are combined with an attentive, painstaking, and close working-out of the argument—with that craftsmanship of the patient artisan in which phenomenologists take such pride. In this study, it is important for us to understand, above all, the true intentions of our author, to illuminate what he thinks really needs to be said, and to surmise what is most critical for him.To get to the heart of Heidegger’s system, it seems fitting to begin with a problem that is generally familiar. We choose the problem of knowledge, a deeper understanding of which takes us to the very threshold of Heidegger’s thought. For this problem, central to modern philosophy, is one of the main obstacles of modern philosophy that Heidegger wishes to surmount. Neo-Kantianism, which takes knowledge as the philosophical problem of the first rank, is the movement against which Heidegger rebels with all his strength. We have, thus, every chance of gaining access to his thought by the main door, so to speak. Once inside the system we will try to trace its outlines, 2 reserving, for a second part of our work, the determination of Heidegger’s place in the history of ideas, especially in the phenomenological movement, as well as of his relations with the philosopher to whom he owes so much—Edmund Husserl. 31In its most general form, the problem of the theory of knowledge has a critical significance. It consists in delineating a domain where knowledge can be certain and in determining the criteria for the legitimate scope of knowledge. But this problem, as normal and as simple as it may appear, has deeper roots. That knowledge should need a criterion at all presupposes that truth is not identical to all that is known and that the course [End Page 11] of things can fail to correspond with the course of thought. “How does knowledge correspond to being?” is a more profound formulation of the problem of knowledge.But we are not going to touch anymore on the primordial phenomenon that generates the problem. The problem of correspondence between thing and thought presupposes a free activity of thought and its isolation in relation to the object. It is precisely this presupposition which renders their harmony and even their contact problematic. “How does the subject take leave of itself to attain the object?” is what the problem of knowledge, in the last analysis, boils down to. Its true source is thus the concept of “subject” as elaborated by modern philosophy. The cogito presided over the subject’s birth. The cogito was the affirmation of the privileged nature of the subject’s immanent sphere, of its unique place in existence; hence, the cogito was the specificity of the subject’s connection to the rest of reality, the sui generis nature which opens up the passage from immanence to transcendence, the passage from ideas contained in the thinking substance to 4 their “formal existence.”The concept of the subject, understood as a substance having a specific position in the entire domain of being, presents us with difficulties of two kinds. First, how do we understand this leave-taking from the self which the thinking substance brings about and which displays an entirely original aspect? Indeed, we could say that thought, in reaching out toward objects, does not actually take leave of itself, since its objects—considered as ideas and contents of thought—are, in a certain sense, already within it. In order to make sense of this paradox, Descartes... (shrink)

A natural way of viewing compensation is to see it as the restoration of a good or level of well-being which someone would have enjoyed if he had not been adversely affected by the act of another. This view underlies Nozick’s assertion that “something fully compensates … person X for Y’s action A if X is no worse off receiving it, Y having done A, than X would have been without receiving it if Y had not done A”; and it (...) has been held by many others as well. Because the notion that compensation is the restoration of a good which a person would have had but for the act of another is so pervasive, I shall refer to it as the official view of compensation. One noteworthy feature of the official view is the ease with which it allows compensation to be justified in particular cases. If compensation is just the restoration of a good which one would have had if the ordinary course of things had not been disrupted, then to provide a prima facie justification of it, one need only argue that the natural course of things should not have been disrupted in the first place. (shrink)

Saul Kripke’s modal essentialist argument against materialism remains an obstacle to any prospective Identity Theorist. This paper is an attempt to make room for an Identity Theory without dismissing Kripke’s analytic tools or essentialist intuitions. I propose an explanatory model that can make room for the Identity Theory within the constraints of Kripke’s view; the model is based on ideas from Alan Sidelle’s, “Identity and Identity-like” . My model explains the apparent contingency of some scientific identities by appealing to our (...) epistemic access to the conditions of identity for sensations and brain processes. Pace Kripke, the Identity Theorist can thus explain away the apparent contingency of mind-brain identity claims. (shrink)

Noneism a is form of Meinongianism, proposed by Richard Routley and developed and improved by Graham Priest in his widely discussed book Towards Non-Being. Priest's noneism is based upon the double move of building a worlds semantics including impossible worlds, besides possible ones, and admitting a new comprehension principle for objects, differerent from the ones proposed in other kinds of neo-Meinongian theories, such as Parsons' and Zalta's. The new principle has no restrictions on the sets of properties that can deliver (...) objects, but parameterizes the having of properties by objects to worlds. Modality is therefore explicitly built in - so the approach can be conveniently labeled as "modal noneism". In this paper, I put modal noneism to work by testing it against classical issues in modal logic and semantics. It turns out that - perhaps surprisingly - the theory performs well in problems of transworld identity, which are frequently considered to be the difficult ones in the literature; faces a limitation, albeit not a severe one, when one comes to transworld individuation, which is often taken as an easy issue, if not a pseudo-problem; and may stumble upon a real trouble when dealing with what I shall call 'extensionally indiscernible entities' - particular nonexistent objects modal noneism is committed to. (shrink)

Husserl's proposed method for knowing the essences of universals, which he calls “free variation,” has been widely criticized for involving viciously circular reasoning. In this paper, I review existing attempts to resolve this problem, and I argue that they all fail. I then show that extant accounts are all guilty of a common mistake: they assume that circularity is inevitable as long as the exercise of free variation presupposes the ability to identify the universal whose essence is in question, that (...) is, the ability to recognize entities as instances of it. I reject this assumption: I argue on both Husserlian and independent philosophical grounds that knowledge of a universal's essence is not required for identifying it, but only for re‐identifying it at every possible world in which it is instantiated. I then defend a reading on which free variation's purpose is to move its practitioner from non‐essentialistic knowledge of a universal's identity (its actual instantiation‐pattern) to essentialistic knowledge of its transworld identity (its instantiation‐pattern in every possible world in which it is present). And I show that such a transformation is a non‐circular progression from non‐modal to modal knowledge. (shrink)

Chapter 6 is an attempt to show that the Theory of Worldbound Individuals —i.e. the theory that any object exists in exactly one possible world—is false, and that there's no good reason to deny that objects exist in more than one world. First, arguments that attempt to show that a denial of TWI entails a contradiction fail, and the so‐called Problem of Transworld Identity is no problem at all. Second, TWI should be rejected because it entails that all of (...) an object's properties are essential to it. The defender of TWI may attempt to defend his view by adopting Counterpart Theory. I conclude by arguing that the Counterpart Theory is both semantically and metaphysically inadequate. (shrink)

Name der Zeitschrift: Kierkegaard Studies Yearbook Jahrgang: 20 Heft: 1 Seiten: 321-334.

A family heirloom. An endangered species. An ancient piece of pottery. A threatened language. These things differ in myriad ways, but they are tied together by a common thread: they are all examples of things that call out to be saved. The world is brimming with things worth saving, and we have limited time and resources. How do we decide what to save? Why do we make these choices? -/- Philosopher Erich Hatala Matthes explores these questions as they surface in (...) radically diverse contexts--from museums to TikTok, and from National Parks to the corner of your attic. Matthes illustrates the deep relationship between the things we might save and our sense of self. If our cares and concerns are a fundamental part of our identity, then what we care for and preserve will play a significant role in shaping and maintaining our understanding of who we are. In a world in which everything that we care about is subject to powerful forces of change--from climate disturbance and armed conflict, to social transformation and the wear and tear of time--the terms on which we confront change will be key to whether and how we can save the things we care about in the ways that really matter to us. Will change be foisted upon us? Or is there a role for us to play in rejecting, influencing, or managing change? As he explores these questions, Matthes tackles related themes such as authenticity, agency, and appropriation: Who exactly should be responsible for saving things, and on whose behalf should such efforts be pursued? These are all essential elements to a fuller understanding of what to save and why. (shrink)

The quantum symmetrization procedure that is used to handle systems of identical quantum particles brings into question whether the elementary constituents of matter, such as electrons, have the fundamental characteristics of persistence and reidentifiability that are attributed to classical particles. However, we presently lack a coherent conception of matter composed of entities that do not possess one or both of these fundamental characteristics. We also lack a clear a priori understanding of why systems of identical particles (as opposed (...) to non-identical particles) require special mathematical treatment, and this only in the quantum mechanical (as opposed to classical mechanical) setting. -/- Here, on the basis of a conceptual analysis of a recent mathematical reconstruction of the quantum symmetrization procedure, we argue that the need for the symmetrization procedure originates in the confluence of identicality and the active nature of the quantum measurement process. We propose a conception in which detection-events are ontologically primary, while the notion of individually persistent object is relegated to merely one way of bringing order to these events. On this basis, we outline a new interpretation of the symmetrization procedure which gives a new physical interpretation to the indices in symmetrized states and to non-symmetric measurement operators. (shrink)

Recently, a number of philosophers have argued that, despite appearances, the success of Don Marquis's well-known future-like-ours argument against abortion does not turn, in an important way, on the metaphysics of identity. I argue that this is false. The success of Marquis's argument turns on precisely two issues: first, whether it is prima facie seriously wrong to deprive something of a future like ours; second, whether, in a counterfactual circumstance in which an abortion does not occur, the foetus is numerically (...) identical with something that, later on, experiences a life like ours. Since the former claim is plausible (albeit disputable), the success of Marquis's argument does turn on the metaphysics of identity in an important way. Before defending a positive argument for this position, I consider what I take to be the most promising way of challenging it. This involves a recent objection to Marquis by Tim Burkhardt (2021). Burkhardt claims that his objection floats free of the metaphysics of identity. I argue that it fails to do so, and that in fact it fails outright. I end by considering the relationship between my arguments and the question of what matters in survival. (shrink)

The problem of identity across possible worlds is raised with the following questions: What does it mean to say of something in one possible world that it is identical with something in another possible world? How are we to decide whether an individual in one possible world is identical with an individual in another?1 Because the questions concern meaning and verification, it appears to be the case that they presuppose that there are one or more sentences whose meaning and method (...) of verification are in need of explanation. However, although it has been generally presumed to be easy, it turns out to be very difficult to produce a sentence that enables us to formulate the problem and that is not merely supposed to say, but really does say, of an individual in one world and of an individual in another world that the first individual is identical with the second. (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)

A transcript of three lectures, given at Princeton University in 1970, which deals with (inter alia) debates concerning proper names in the philosophy of language.

Engaging Polanyi’s embeddedness–disembeddedness framework, this study explored the work experiences of Bhil children employed in Indian Bt cottonseed GPNs. The innovative visual technique of drawings followed by interviews was used. Migrant children, working under debt bondage, underwent greater exploitation and perennial and severe depersonalized bullying, indicative of commodification of labour and disembeddedness. In contrast, children working in their home villages were not under debt bondage and underwent less exploitation and occasional and mild depersonalized bullying, indicative of how civil society organizations, (...) along with the state, attempt to re-embed economic activities in the social context. Polanyi’s double movement was evident. ‘Place’ emerged as the pivotal factor determining children’s experiences. A ‘protective alliance’ of community controls and social power, associated with in-group affiliations and cohesive ties, stemming from a common village and tribal identity, aided children working at home for Bhil farmers. ‘Asymmetric intergroup inequality’ due to pronounced social identity and class differences, coupled with locational constraints and developmental disadvantage, made migrant children vulnerable targets. Social embeddedness influences how child workers are treated because it forces employers to be ethical and not engage in bullying. However, by shifting production to children’s home villages, there is an attempt to obscure the difference between child labour and child work. Thus, the seeds of disembeddedness are sown through the very act of re-embeddeding, potentially hampering future interventions. (shrink)

The chief goal of this dissertation is to attain some clarity with respect to the interconnected issues which constitute the problem of personal identity. The logical and linguistic categories developed by Saul Kripke provide the tools through which these issues can be separated and put into perspective. In the first two chapters I examine the modal and other semantic features of rigid singular terms and such rigid predicates as natural kind terms. I defend both the transworld identity of named (...) individuals and the real essence of genuine natural kinds. ;In the third chapter this linguistic framework is used to explicate the distinction between the numerical identity of individuals and the qualitative identity of properties. I suggest that individual identity consists in a principle of uniqueness typically supplied through indexical identification and a principle of individuation through which a given individual can be tracked through qualitative change. Property identity is explicated as a form of qualitative similarity. ;In the final two chapters I consider personal identity as a form of individual identity and personal identity as a form of property identity. I reject the former interpretation on the grounds that 'person' fails to supply a principle of individuation for actual persons. I adopt the latter interpretation and suggest that person designates a necessary dispositional property of actual persons. I consider alternative theories of personal identity from the standpoint of a property identity theory of personal identity and I argue that the property identity theory provides a compelling account of a series of widely discussed problem cases. (shrink)

In this paper, I use the comparison between human beings and intelligent machines to shed light on the concept of teleology. What characterizes human beings and distinguishes them from a robot capable of achieving complex objectives? In the first place, by stipulating that what characterizes human beings are mental states, I consider the mark of the mental. A smart robot probably has no consciousness but we might have reason for doubt while interacting with it. And a smart robot shows intentionality. (...) I focus on the type of naturalized intentionality that is at stake here. Then I go back to the traditional idea of teleology, and to the scientific criticism of it, through the question of the kind of purposes that artificial intelligence (AI) may set itself. Husserl's basic idea of teleology therefore serves to have an authoritative term of comparison and to introduce the intuitive difference between human beings and intelligent machines based on the homo pictor thought experiment proposed by Jonas. My conclusion is that a specific finalism, understood in a non-criterial sense, is what qualifies the human being and differentiates the latter (for now) from smart robots. (shrink)

In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

This chapter contains sections titled: The Sexual Citizen, Rights to Recognition, and Visibility as a Strategy.

Kripke has argued that definitions of units of measurements provide examples of statements that are both contingent and a priori. In this paper I argue that definitions of units of measurement are intended to be stipulations of what Kripke calls "theoretical identities": a stipulation that two terms will have the same rigid designation. Hence such a definition is both a priori and necessary. The necessity arises because such definitions appeal to natural kind properties only, which on Kripke's account are (...) necessary. (shrink)

Reference and Existence, Saul Kripke's John Locke Lectures for 1973, can be read as a sequel to his classic Naming and Necessity. It confronts important issues left open in that work -- among them, the semantics of proper names and natural kind terms as they occur in fiction and in myth; negative existential statements; the ontology of fiction and myth. In treating these questions, he makes a number of methodological observations that go beyond the framework of his earlier book -- (...) including the striking claim that fiction cannot provide a test for theories of reference and naming. In addition, these lectures provide a glimpse into the transition to the pragmatics of singular reference that dominated his influential paper, " Speaker's Reference and Semantic Reference " -- a paper that helped reorient linguistic and philosophical semantics. Some of the themes have been worked out in later writings by other philosophers -- many influenced by typescripts of the lectures in circulation -- but none have approached the careful, systematic treatment provided here. The virtuosity of Naming and Necessity -- the colloquial ease of the tone, the dazzling, on-the-spot formulations, the logical structure of the overall view gradually emerging over the course of the lectures -- is on display here as well. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

The aim of this paper is to provide a philosophic answer to a question, which is not at all rhetoric, as it may seem. The author, in fact, wonders whether identity has to be framed, as usual, as an absolute value, i.e., as an “all-or nothing” question. The conclusion of this inquiry is clearly a negative one: Identity, on the contrary, has to be seen as a value which is highly complex, fuzzy, and allowing for degrees, nuances, and trade-offs. In (...) modern societies there must be an interplay between identity and difference which is capable of ensuring institutional fairness and ongoing multicultural dialogue. (shrink)

From 1945 to date Holocaust research has concentrated on complex matters such as militant Jewish resistance, convoluted Nazi strategies, ambivalent bystander behavior, controversial ghetto leadersh...

KANT ARGUES AT GREAT LENGTH in the Critique of Pure Reason that the existence of God cannot be demonstrated by means of theoretical reason. For after dividing all traditional theistic proofs into three different kinds—the ontological, the cosmological, and the physico-theological—Kant argues first that the cosmological and physico-theological implicitly assume the ontological argument and then that the ontological argument is necessarily fallacious. By restricting knowledge in this manner Kant notoriously makes room for faith, that is, in this case, for a (...) practical proof of the existence of God, which he develops in the Critique of Practical Reason. Kant’s reasons for rejecting theoretical proofs of the existence of God have received considerable attention. In particular, Kant’s objection to the ontological argument, namely that existence is not a real predicate, still seems relevant in contemporary philosophy of religion. What has not received much attention, however, is the relationship between Kant’s rejection of theistic proofs in his critical period and his views on the matter in his pre-critical period. For throughout his pre-critical period, but especially in his The Only Possible Argument in Support of a Demonstration of the Existence of God, Kant believes that there is a theoretical proof of the existence of God. One would naturally expect Kant’s criticisms of theistic proofs as developed in the “ideal of pure reason” to apply in straightforward ways to his earlier attempts at a theistic proof. However, Kant rejects the three traditional arguments in The Only Possible Argument just as he does in the first Critique. Further, his reason for rejecting the ontological argument in particular is identical to the one presented in the first Critique: “Existence is not a predicate or a determination of a thing.” Accordingly, Kant understood himself to be developing a theistic proof in The Only Possible Argument that is distinct from the three traditional arguments and is also not subject to the objections he raises against them. Given that Kant rejects all theoretical proofs of God’s existence in his critical period and given that he did not take his critical objections to the traditional proofs to apply to the theistic proof developed in The Only Possible Argument, what is his justification for rejecting his pre-critical argument for God’s existence? (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the (...) existence of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

Under the influence of Quine’s famous manifesto, many philosophers have thought that logical theories are scientific theories that can be ‘adopted’ and tested as scientific theories. Here we argue that this idea is untenable. We discuss it with special reference to Putnam’s proposal to ‘adopt’ a particular non-classical logic to solve the foundational problems of quantum mechanics in his famous paper ‘Is Logic Empirical?’ (1968), which we argue was not really coherent.

Writers on presupposition, and on the ‘‘projection problem’’ of determining the presuppositions of compound sentences from their component clauses, traditionally assign presuppositions to each clause in isolation. I argue that many presuppositional elements are anaphoric to previous discourse or contextual elements. In compound sentences, these can be other clauses of the sentence. We thus need a theory of presuppositional anaphora, analogous to the corresponding pronominal theory.