Events are the instantiations of properties in substances at times. A full history of the world must include, as well as physical events, mental events (ones to which the substance involved has privileged access) and mental substances (ones to the existence of which the substance has privileged access), and, among the latter, pure mental substances (ones which do not include a physical substance as an essential part). Humans are pure mental substances. An argument for this is that it seems conceivable (...) that I could exist without my body. An objection to this argument is that ‘I’ refers to my body, and so what seems conceivable is not metaphysically possible. My response to this objection is that ‘I’ is an informative designator and so necessarily we know to what it refers, and it does not refer to my body. (shrink)

Table of contents for MONSTERS AND PHILOSOPHY, edited by Charles T. Wolfe (London 2005) -/- List of Contributors iii Acknowledgments vii List of Abbreviations ix -/- Introduction xi Charles T. Wolfe The Riddle of the Sphinx: Aristotle, Penelope, and 1 Empedocles Johannes Fritsche Science as a Cure for Fear: The Status of Monsters in 21 Lucretius Morgan Meis Nature and its Monsters During the Renaissance: 37 Montaigne and Vanini Tristan Dagron Conjoined Twins and the Limits of our Reason 61 Annie (...) Bitbol-Hespériès Degeneration and Hybridism in the Early Modern Species 109 Debate: Towards the Philosophical Roots of the Creation-Evolution Controversy Justin E. H. Smith Leibniz on the Unicorn and Various other Curiosities 131 Roger Ariew The Creativity of God and the Order of Nature: 153 Anatomizing Monsters in the Early Eighteenth Century Anita Guerrini The Status of Anomalies in the Philosophy of Diderot 169 Annie Ibrahim The Materialist Denial of Monsters 187 Charles T. Wolfe Cerebral Assymetry, Monstrosities and Hegel. 205 On the Situation of the Life Sciences in 1800 Michael Hagner The Lady Knight of the Perilous Place 217 Elfriede Jelinek Monster: More than a Word. . . From Portent to Anomaly, 231 the Extraordinary Career of Monsters Beate Ochsner Index 281 . (shrink)

I sketch a philosophical program called ‘Empirical Fundamentalism,’ whose signature feature is the extensive use of a distinction between fundamental and derivative reality. Within the framework of Empirical Fundamentalism, derivative reality is treated as an abstraction from fundamental reality. I show how one can understand reduction and supervenience in terms of abstraction, and then I apply the introduced machinery to understand the relation between water and H2O, mental states and brain states, and so on. The conclusion is that such relations (...) can be understood either as metaphysical contingencies or as necessary type-identities. (shrink)

It is often thought that endowing a demonstrative with a Fregean sense leaves no room for maintaining that it is also a rigid designator. In addition, some philosophers claim that indexicals - surely the paradigms of singular reference - pose a serious threat to the Fregean sense/ reference approach as they do not comply with the view that singular terms have Fregean senses. In this paper I argue that neither of these is true.

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

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

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)

Humeans and non-Humeans reasonably agree that there may be necessary connections between entities that are identical or merely partly distinct—between, e.g., sets and their individual members, fusions and their individual parts, instances of determinates and determinables, members of certain natural kinds and certain of their intrinsic properties, and (especially among physicalists) certain physical and mental states. Humeans maintain, however, that as per “Hume’s Dictum”, there are no necessary connections between entities that are wholly distinct;1 and in particular, no necessary causal (...) connections between such entities (even when the background conditions requisite for causation are in place). The Humean’s differential treatment appears principled, in reflecting that commonly accepted necessary connections involve constitutional relations, whereas wholly distinct entities (notably, causes and effects) do not constitute each other. I’ll argue, however, that the appearance of principle is not genuine, as per the following conditional: Constitutional→Causal: If one accepts certain constitutional necessities, one should accept certain causal necessities. This result provides needed leverage in assessing the two main frameworks in the metaphysics of science, treating natural kinds, causes, laws of nature, and the like. These frameworks differ primarily on whether Hume’s Dictum is taken as a working constraint on theorizing; and it has proved difficult for either side to criticize the other without presupposing their preferred stance on the dictum, hence talking past one another. The arguments for Constitutional→Causal are based, however, in general and independent considerations about what facts in the world might plausibly warrant our beliefs in certain constitutional necessities involving broadly scientific entities. The Humean can respond to these arguments, which reveal a deep tension in their view, at attendant costs of implausibilty and adhocery. The non-Humean framework doesn’t face any such tension between constitutional and causal necessities, however, and so in this respect comes out ahead. (shrink)

David Lewis’s counterpart-theoretic semantics for quantified modal logic is motivated originally by worries about identifying objects across possible worlds; the counterpart relation is grounded more cautiously on comparative similarity. The possibility of contingent identity is an unsought -- and in some eyes, unwelcome -- consequence of this approach. In this paper I motivate a Kripkean counterpart theory by way of defending the prior, pre-theoretical, coherence of contingent directness. Contingent identity follows for free. The theory is Kripkean in that the counterpart (...) relation is in a sense stipulated rather than grounded on similarity, and is such that no object has more than one counterpart at a world. This avoids a number of objections Fara and Williamson have recently levelled against counterpart theory generally; their other objections are addressed by enriching the theory with special quantifiers and actuality operators. (shrink)

The aim of this article is to illustrate how a belief in the existence of kinds may be justified for the particular case of natural kinds: particularly noteworthy in this respect is the weight borne by scientific natural kinds (e.g., physical, chemical, and biological kinds) in (i) inductive arguments; (ii) the laws of nature; and (iii) causal explanations. It is argued that biological taxa are properly viewed as kinds as well, despite the fact that they have been by some alleged (...) to be individuals. Since it turns out that the arguments associated with the standard Kripke/Putnam semantics for natural kind terms only establish the non-descriptiveness of natural kind terms and not their rigidity, the door is open to analyze these terms as denoting traditional predicate-extensions. Finally, special issues raised by physical and chemical kinds are considered briefly, in particular impurities, isotopes and the threat of incommensurability. (shrink)

Parece obvio, o casi obvio, que poseemosuna gran cantidad de conocimiento modal.Sabemos mucho sobre hechos necesariosque se dan en matemáticas o, por ejemplo,sobre el carácter contingente de objetosfísicos con los que tenemos contactocorriente. La cuestión es cómo explicar esteconocimiento. Este trabajo, en particular,va a discutir la relevancia que podría tenerel dilema propuesto por Paul Benacerrafpara el caso matemático sobre enunciadosmodales, considerando las concepcionessobre hechos modales y sobre mundosposibles de David Lewis y de Saul Kripke.It seems obvious –or almost- that we (...) dopossess a great amount of modal knowledge.We know a lot about necessary factsobtainingin mathematics, and we alsoknowa lot about the contingent characterof“middle size dry goods”, for example.Thequestion is how to explain that knowledge.In particular, this work will discusstheimpact that the dilemma posed by PaulBenacerrafin the mathematical case wouldhaveover modal statements, consideringtheconceptions about modal facts andpossibleworlds advanced by David LewisandSaul Kripke. (shrink)

s div class="title" a terTwo Notions of Being: Entity and Essence s /div a ter - Volume 62 - E. J. Lowe.

Can different material objects have the same parts at all times at which they exist? This paper defends the possibility of such coincidence against the main argument to the contrary, the ‘Indiscernibility Argument’. According to this argument, the modal supervenes on the nonmodal, since, after all, the non-modal is what grounds the modal; hence, it would be utterly mysterious if two objects sharing all parts had different essential properties. The weakness of the argument becomes apparent once we understand how the (...) modal is grounded in the nonmodal. By extending the ideas of combinatorialism so that we recombine haecceities as well as fundamental properties, we see how modal properties can be grounded in non-modal properties in a way that allows coincidence and yet also explains why there are differences in the modal properties of coinciding objects. Despite this, some de re modal facts are not grounded in the non-modal but instead are brute. However, although we cannot explain why a particular object has the basic modal properties it has, we can explain a closely related, semantic fact and, comparing the facts we can’t explain to more familiar brute facts, we understand why there should be no better explanation. As a result, we can see how coincidence is, after all, possible. (shrink)

A construção de “existe” como um predicado de primeiraordem ou real é defendida contra a ortodoxia prevalente.

In this critical review I discuss the main themes of the papers in Kit Fine's Modality and Tense: Philosophical Papers. These themes are that modal operators are intelligible in their own right and that actualist quantifiers are to be taken as basic with respect to possibilist quantifiers. I also discuss a previously unpublished paper of Fine's on modality and existence.

A critical survey of the main metaphysical theories concerning the nature of material objects (substratum theories, bundle theories, substance theories, stuff theories) and their identity conditions, both synchronic (monist vs. pluralist theories) and diachronic (three-dimensionalism, four-dimensionalism, sequentialism).

A fully developed sophisticated response-dependent account would fill in specifications for B (the beings) and C (the conditions), would probably replace the reference to disapproval with a reference to a more complex response, and might involve a more complex scheme.[ii] For simplicity, however, I shall focus my argument on the above simple scheme of moral wrongness, since added complexities will be irrelevant to my argument.

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)

Names and natural kind terms have long been a major focus of debates about meaning and reference. This article discusses some of the theories and arguments that have appeared in those debates. It is remarkably difficult to say what names are without making controversial theoretical assumptions. This article does not attempt to do so here. It instead relies on paradigm examples that nearly all theorists would agree are proper names, for instance, ‘Aristotle’, ‘Mark Twain’, ‘London’, ‘Venus’, and ‘Pegasus’. All of (...) the proper names that are discussed in the article are singular nouns that have no syntactic structure. Most of them refer to objects, but some, such as ‘Pegasus’, apparently do not. The article begins with proper names and the question ‘What is the meaning of a proper name?’ It turns to natural kind terms later. (shrink)

In some ways that have been largely ignored, ethnic-group names might be similar to names of other kinds. If they are, for instance, analogous to proper names, then a correct semantic account of the latter could throw some light on how the meaning of ethnic-group names should be construed. Of course, proper names, together with definite descriptions, belong to the class of singular terms, and an influential view on the semantics of such terms was developed, at the turn of the (...) nineteenth century, from discussion of a puzzle about some differences in the cognitive value of certain statements of identity. Clearly, that a = a (e.g., that Mark Twain was Mark Twain) is trivial, and its truth could be known a priori, just by thinking. On the other hand, that a = b (e.g., that Mark Twain was Samuel Clemens) is of course informative and knowable only by empirical investigation. To solve this puzzle, Frege famously proposed that those variations in the cognitive value of statements of identity “can arise only if the difference between the signs corresponds to a difference in the mode of presentation of that which is designated.” On his view, although in the above statements of identity, the singular terms, ‘a,’ and, ‘b,’ may designate the same thing, they do so with different senses, or under different modes of presentation of that object. When the puzzling statements involving ‘a’ and ‘b’ are true, they may then be said to have exactly the same reference. But since those singular terms pick out the object of reference differently (i.e., under different senses or modes of presentation), therefore the cognitive value of these statements also varies significantly. On this account, then, the reference of a non-vacuous proper name is secured by the name’s sense, or mode of presentation, which constitutes its semantic content. And given that Fregeans (here under the influence of Russell) cash out that sense as consisting in whatever concept (or cluster of concepts) could be uniquely associated with that name, they might hold, for example, that the property of being the author of Huckleberry Finn, and that of being an American who lived his early life in Hannibal, Missouri, and later became a famous writer, amount to the senses of ‘Mark Twain,’ and ‘Samuel Clemens,’ respectively.. (shrink)

Much moral skepticism stems from the charge that moral facts do not figure in causal explanations. However, philosophers committed to normative epistemological discourse (by which I mean our practice of evaluating beliefs as justified or unjustified, and so forth) are in no position to demand that normative facts serve such a role, since epistemic facts are causally impotent as well. I argue instead that pragmatic reasons can justify our continued participation in practices which, like morality and epistemology, do not serve (...) the function of causal explanation. Finally, I defend this pragmatic justification of morality and epistemology against a number of objections, including the objection that it confuses practical and theoretical justification. (shrink)

The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This fallacious move has been encouraged by a (...) mistaken belief in the substitutional interpretation of quantifiers, by the myth of thede re reference, and a mistaken assimilation of direct reference to ostensive (perspectival) identification. Thede dicto vs.de re contrast does not involve direct reference, being merely a matter of rule-ordering (scope).The New Theorists' thesis of the necessity of identities of directly referred-to individuals is a consequence of an unmotivated and arbitrary restriction they tacitly impose on the identification of individuals. (shrink)

Trust me: my chair isn't big enough for two. You may doubt that every rational, conscious being is a person; perhaps there are beings that mistakenly believe themselves to be people. If so, read ‘rational, conscious being’ or the like for 'person'.

The notion of similarity plays a central role in Quine’s theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine’s theory has been ignored by several philosophers (see, e.g., Armstrong, D. M. (1978a). Nominalism and (...) realism: Universals and Scientific realism (Vol. I). Cambridge: Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine’s austere ontology; in particular, it does not assume the existence of properties and of possible worlds. (I will mention below Quine’s reason for rejecting properties and possible worlds. For a theory of Universals that assumes possible worlds, see, e.g., Rodriguez-Pereyra, G. (2002). Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine’s approach that have been raised by Armstrong and Oliver [(1996). The metaphysics of properties. Mind, 105, 1–80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [(1986). On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

A sequel to the author’s book /Frege’s Puzzle/ (1986).

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...) nouns in their mass-occurrences and those in their count-occurrences. As both the name view and the mixed view are, in my opinion, subject to serious difficulties discussed in Section III.1,I defend a version of the predicate view. Traditionally, nouns in their singular count-occurrences are also analyzed as playing the semantic role of a predicate. How, then, does the predicate view preserve the intuitive difference between nouns in their mass- and those in their count-occurrences? I suggest, in Section III.2, that there are different kinds of predicates: mass-predicates, e.g. ‘is hair’, singular count-predicates, e.g. ‘is a hair’, and plural count-predicates, e.g. ‘are hairs’. Mass-predicates and count-predicates, in my view, are not reducible to each other. The remainder of Section III takes a closer look at the differences and interrelations between these different kinds of predicates. Mass-predicates and count-predicates differ from each other truth-conditionally, and these truth-conditional differences turn out to have interesting implications, in particular concerning the part-whole relation and our practices of counting. But mass- and count-predicates are also related to each other through systematic entailment relations; these entailment relations are examined in Section III.4. (shrink)

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

In this paper I shall explore a novel alternative to these familiar views. In his recent book Sub ects of Ex erience, E. J. Lowe argues, as many others have done before, that you and I are not animals. It follows from this, he says, that we must be simple substances without parts. That may sound like Cartesian dualism. But Lowe is no Cartesian. He argues from premises that many present-day materialists accept. And he claims that our being mereologically simple (...) is consistent with our having such paradigmatically physical properties as being six feet tall and weighing 160 pounds. You and I, he claims, are mereological atoms shaped like human beings. (shrink)

In this paper I try to make as much sense aspossible of, first, the extensive philosophicalliterature concerned with the status of `Wateris H2O' and, second, the implications ofPutnam's invention of Twin Earth, anotherpossible world stipulated to be just like Earth, except that water is XYZ, notH2O.

In his "Materialism without Reductionism: What Materialism Does not Entail," Richard Boyd answers Kripke's challenge to materialists to come up with a way to explain away the apparent contingency of mind-brain identities. Boyd accuses Kripke of an imaginative myopia manifesting itself as a failure to realize that the more theoretical term in the identity is fixed by contingent descriptions - descriptions that might pick out otherworldly kinds of neural events where C-fibres are absent. If this is something we can confuse (...) in the imagination with actual C-fibre firings, then we have an explanation of the apparent contingency of the necessary identity 'Pain=C-fiber firings.' However, for this to succeed it must be the case that the reference of 'C-fiber firings'€™ is fixed by some contingent description, which is false. Boyd, I submit, has failed to answer Kripke'€™s challenge after all. (shrink)

In his influential “Naming and Necessity,” Saul Kripke has deployed a new sort of analytical apparatus in support of the classical Cartesian argument that minds and bodies must be distinct because they can be imagined separately. In the initial section of this paper, I shall first paraphrase Kripke's version of that argument, and then suggest a way in which even one who accepts all of its philosophical presuppositions may avoid its conclusion. In the second section, I shall defend this suggestion (...) against some of the possible objections to it.Recent materialists have not been overly impressed by the Cartesian claim that minds and bodies can be imagined or conceived separately from each other. Their usual reply is that this is only to be expected, given the contingent nature of the identify involved. Kripke, however, has argued persuasively that such a reply is unacceptable because it overlooks a crucial fact about the terms in which the identity theory is couched. (shrink)

The common view has it that there are two families of approaches towards the logical structure of impossible worlds – Australasian and North American. According to the first, impossible worlds are closed under the relation of logical consequence of one of the non-classical logics. The North American approach is more liberal, allowing for impossible worlds where no logic holds. After pointing out the questionable consequences of each view, I propose a third one. While this new perspective allows for worlds where (...) no logical consequence holds, it also imposes some constraints on what worlds are built upon. This renders the proposed view not as restrictive as the Australasian approach and not as liberal as the North American approach. Due to its intermediary nature, I have named this perspective ‘the Pacific’ approach. (shrink)

Natural kind essentialism is a specification of the intuitive idea that there are some mind-independent or objective categories in nature. These categories are thought to be characterised by a shared essence, which may involve intrinsic or extrinsic properties, mechanisms, or causal history. While the ontological basis of natural kinds has its roots in antiquity and especially Aristotle, the contemporary notion of a “natural kind” in philosophical discussion is often traced to William Whewell’s and John Stuart Mill’s work in the 1800s. (...) In its more modern form, natural kind essentialism was popularised in the 1970s mainly by Saul Kripke and Hilary Putnam. Traditionally, natural kind essentialism has been associated with intrinsic and microstructural properties, but contemporary work has made it clear that more refined versions of natural kind essentialism may have to accept extrinsic or relational essences. (shrink)

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

The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of these debates rest on (...) how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (shrink)