This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...) to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

I set up a dilemma, concerning metaphysical modality de re, for the essentialist opponent of a ‘two senses’ view of necessity. I focus specifically on Frank Jackson's two-dimensional account in his From Metaphysics to Ethics (Oxford: Oxford University Press, 1998). I set out the background to Jackson's conception of conceptual analysis and his rejection of a two senses view. I proceed to outline two purportedly objective (as opposed to epistemic) differences between metaphysical and logical necessity. I conclude that since one (...) of these differences must hold and since each requires the adoption of a two senses view of necessity, essentialism is not consistent with the rejection of a two senses view. (shrink)

The paper presents a dilemma for both epistemic and non-epistemic versions of conceivability-based accounts of modal knowledge. On the one horn, non-epistemic accounts do not elucidate the essentialist knowledge they would be committed to. On the other, epistemic accounts do not elucidate everyday life de re modal knowledge. In neither case, therefore, do conceivability accounts elucidate de re modal knowledge.

This paper evaluates six contenders which might be invoked by essentialists in order to meet Quine’s challenge, viz., to provide necessary and sufficient conditions for the crossworld identity of individuals: (i) an object’s qualitative character; (ii) matter; (iii) origins; (iv) haecceities or primitive non-qualitative thisness properties; (v) “world-indexed properties”; and (iv) individual forms. The first three candidates, I argue, fail to provide conditions that are both necessary and sufficient for the crossworld identity of individuals; the fourth and fifth criteria are (...) open to the charge that they do not succeed in meeting Quine’s demand in an explanatorily adequate fashion. On balance, then, individual forms, or so I propose, deserve to be taken very seriously as a possible response to Quine’s challenge, especially by neo-Aristotelians who are already committed to a hylomorphic conception of composite concrete particular objects for other reasons. Theorists who also accept a non-modal conception of essence, i.e., a conception according to which essence is not reducible to modality, in addition face the further difficult task, over and above what is required to meet Quine’s challenge, of having to explain how an object’s de re modal profile in some way follows from facts about its essence. Haecceities and world-indexed properties, as I indicate, are unlikely to be of much help with respect to this second challenge, while the forms of hylomorphic compounds are in fact well-suited for this purpose. (shrink)

To reconcile true claims of de re necessity with the supposedly contingent existence of the concrete objects those claims are typically about, Kripkean essentialists invoke weak necessity. The claim that a is necessarily F is held to be equivalent to the claim that necessarily, if a exists then a is F. This strategy faces a barrage of serious objections a proper subset of which shows that the strategy fails to achieve its intended purpose. Relief can be provided via recourse to (...) a markedly non-Kripkean version of essentialism.1. (shrink)

How can we acquire knowledge of metaphysical modality? How can someone come to know that he could have been elsewhere right now, or an accountant rather than a philosophy teacher, but could not have been a turnip? Jago proposes an account of a route to knowledge of the way things could have been and must be. He argues that we can move to knowledge of metaphysical modality from knowledge about essence. Curtis rejects Jago’s explanation. It cannot, he argues, explain our (...) knowledge of de re necessity. We agree. But there is more to be said. To give an account of our knowledge of metaphysical necessity is part of the task Jago set himself. But another part is to give an account of the knowledge of the possibilities accorded to particular objects. And prior to both what is needed, and something Jago attempts to supply, is an account of how ordinary knowers can come to have knowledge of an individual’s essential properties. We argue that Jago’s accounts of both these additional matters are also unsatisfactory. This is important because the thought that our knowledge of metaphysical modality has its source in our knowledge of essence is currently an attractive one and Jago has set out very clearly what must be done to justify the thought. The flaws in his proposal thus indicate the work needed if the attractive thought is to be accepted. (shrink)

The question of whether it is permissible to quantify into a modal context is re-examined from an empiricist perspective. Following Wiggins, it is argued that an ontology of continuants implies essentialism, but it is also argued, against Wiggins, that the only conception of necessity that we need to start out with is that of analyticity. Essentialism, of a limited kind, can then be actually generated from this. An exceptionally fine-grained identity criterion for continuants is defended in this context. The debate (...) between Wiggins and Ayer over the legitimacy of de re modality is then examined in the light of these results, and it is argued that my position is consistent with Ayer’s minimalist assumptions. It is also argued that non-continuants will not sustain the essential/accidental distinction, thus giving some concessions to the sceptics. It is also shown that there are close connections between these issues and the more modern two-dimensionalist way of disentangling the necessary from the a posteriori, and that the latter needs to learn from the former. (shrink)

De re modality is eliminable if there is an effective translation of all wffs into non-de re equivalents. We cannot have logical equivalence unless 'logic' has odd theses, but we can have material equivalence by banning all essences, something the nonde re facts let us do, or by giving everything such humdrum essences as self-identity and banning the more interesting ones. Eliminability cannot be got from weaker assumptions, nor independent ones of even modest generality. The net philosophical import is that, (...) quite apart from the merits of essentialism, de re language has scant utility. (shrink)

This paper outlines a heterodox and largely unexplored conception of objecthood according to which the notion of an individual object is a determinable. §1 outlines the view. §2 argues that the view is incompatible with a natural analysis of kind membership and, as a consequence, undermines the Quinean distinction between ontology and ideology. The view is then used to alleviate one source of Quinean hostility towards non-trivial restrictions on de re possibility in §3, and to elucidate Fine’s neo-Aristoteltian, non-modal conception (...) of essence in §4. §5 concludes. (shrink)

Neo‐Aristotelian Plenitude is the thesis that, necessarily, any property that could be had essentially by something or other is had essentially by something or other if and only if and because it is instantiated; any essentializable property is essentialized iff and because it is instantiated. In this paper, I develop a partial nonmodal characterization of ‘essentializable' and show it cannot be transformed into a full characterization. There are several seemingly insurmountable obstacles that any full characterization of essentializability must overcome. Moreover, (...) these obstacles threaten other views in the conceptual neighborhood such as Counterpart Theoretic Plenitude and Conceptualist Plenitude. (shrink)

David Lewis may be regarded as an antiessentialist. The reason is that he is said to believe that individuals do not have essential properties independent of the ways they are represented. According to him, indeed, the properties that are determined to be essential to individuals are a matter of which similarity relations among individuals are salient, and salience, in turn, is a contextual matter also determined to some extent by the ways individuals are represented. Todd Buras argues that the acknowledgment (...) of natural properties in counterpart theoretic ontology affects Lewis’s theory with regard to essentialism. Buras’s reasoning is appealing. He claims that, since natural properties determine the existence of similarity relations among individuals that are salient independent of context, Lewis can no longer be claimed to be an antiessentialist. The aim of this paper is to argue, against Buras, that if counterpart theory was antiessentialist before natural properties were taken into account, then it remains so afterwards. (shrink)

In this paper, we argue that, in order to account for the apparently substantive nature of definitional disputes, a commitment to what we call ‘Socratic essentialism’ is needed. We defend Socratic essentialism against a prominent neo-Carnapian challenge according to which apparently substantive definitional disputes always in some way trace back to disagreements over how expressions belonging to a particular language or concepts belonging to a certain conceptual scheme are properly used. Socratic essentialism, we argue, is not threatened by the possibility (...) that some apparently substantive definitional disputes may turn out to be verbal or conceptual, since this pluralist strategy, in our view, requires a commitment to more, rather than fewer, essences. What is more, a deflationary, metaphysically ‘light-weight’ construal of the essence-ascriptions in question leads to a peculiar conception of the pursuit of metaphysicians as behaving like deceptive (or self-deceived) grammarians pretending to be scientists. Moreover, this deflationary attitude, we argue, spreads beyond metaphysics and philosophy more broadly to apparently substantive definitional disputes in the sciences as well as other in other disciplines, such as art criticism. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends that (...) result to show us that ‘believes’ has no transparent sense. Criticisms of this argument are either based on unwarranted assertions or on definitions of key terms that depart from Quine’s usage of those terms. (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are they definite descriptions (...) with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

Nowadays, essentialism has obtained various senses and its extension reaches out over many branches of study who have some immediate connection with it. Socrates, Plato, Aristotle, Saul Kripke, Hilary Putnam and David Wiggins are the notable upholders of essentialism. The Essentialist movement which stemmed from the view that philosophy is a speculative study of Reality was temporarily suspended or stagnated by the spirited movement of the logical positivists like Moritz Schlick, Hans Reichenbach, Rudolf Carnap and A. J. Ayer. According to (...) these philosophers, philosophy is simply an activity of analysis of the fundamental concepts of ordinary language or of science or of any other discipline. Such concept—analysis—philosophers are called anti-essentialist. Here, I shall concentrate on the views of Aristotle. I shall discuss the doctrine of essence, natural kinds, real essence in favour of essentialism and also discuss W. V. O. Quine’s view as an anti-essentialist trend. At last I shall try to examine whether and to what extent an attack of essences reflects back certain essentialist commitments, which is to see what reasonable theory of essences can be eked out from the entire exercise. (shrink)

O czterech typach argumentacji na rzecz logiki klasycznej Moim celem w tym artykule jest analiza argumentacji pod kątem poprawności standardowej logiki. Formułuję też kilka uwag krytycznych i porównawczych. Skupiam się na czterech najbardziej spójnych i kompletnych argumentach, które próbują uzasadnić wyróżnione stanowisko logiki klasycznej. Istnieją następujące argumenty: argumentacja pragmatyczno-metodologiczna Willarda van O. Quine’a, argumentacja filozoficzno-metalogiczna Jana Woleńskiego, argumentacja ontologiczno-semantyczna Stanisława Kiczuka, argumentacja metalogiczna. Moim zdaniem teza o poprawności logiki klasycznej jest racjonalnie uzasadniona tymi argumentacjami. Pozostaje problem, czy analizowana logika standardowa (...) jest jedyną właściwą logiką. (shrink)

In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke possible world semantics. This kind of modal system characterized by finite non-deterministic matrices was originally proposed by Ju. Ivlev in the 70s. The aim of this second paper is to introduce a formal non-deterministic semantical framework for the quantified versions of some Ivlev-like non-normal modal logics. It will be shown that several well-known controversial issues of (...) quantified modal logics, relative to the identity predicate, Barcan’s formulas and de re and de dicto modalities, can be tackled from a new angle within the present framework. (shrink)

A minimal second order modal logic of natural kinds is formulated. Concepts are distinguished from properties and relations in the conceptual-logistic background of the logic through a distinction between free and bound predicate variables. Not all concepts (as indicated by free predicate variables) need have a property or relation corresponding to them (as values of bound predicate variables). Issues pertaining to identity and existence as impredicative concepts are examined and an analysis of mass terms as nominalized predicates for kinds of (...) stuff is proposed. The minimal logic is extendible through a summum genus, an infima species or a partition principle for natural kinds. (shrink)

In this paper, I offer a novel, conservative solution to the puzzle of Tibbles the cat. I do not criticize the existing solutions or the theories within which they are embedded. I am content to offer an alternative, one that relies on the recently resurgent doctrine of Aristotelian essentialism. My solution, unlike some of its competitors, is applicable to the full range of cases in which, as with Tib and Tibbles, there is the threat of coinciding objects. In section 1, (...) I present the solution. In sections II-IV, I defend it against four objections. (shrink)

The source, status, and significance of the derivation of the necessity of identity at the beginning of Kripke’s lecture “Identity and Necessity” is discussed from a logical, philosophical, and historical point of view.

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a rigorous application of (...) Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing such contexts which blocks the slingshot without ramifications for theories of facts or definite descriptions. (shrink)

In this paper I argue against the commonly received view that Kripke's formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke's three main innovations vis-à-vis Carnap's PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: (...) they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke's model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators. (shrink)

In this paper, I reconstruct Quine’s arguments against quantified modal logic, from the early 1940’s to the early 1960’s. Quine’s concerns were not technical. Quine was looking for a coherent interpretation of quantified-in English modal sentences. I argue that Quine’s main thesis is that the intended objectual interpretation of the quantifiers is incompatible with any semantic reading of the modal operators, for example as expressing analytic necessity, unless the entities in the domain of quantification are intensions, i.e. definitional entities. The (...) difficulty is that it makes no sense to say of an ordinary object that it bears a property necessarily or contingently when the necessity or contingency in question is analytic. However, starting in 1960, Quine claims that quantified-in modal sentences can be coherently interpreted only as essentialist predications. When we say about an object that it necessarily F ’s, we can only coherently mean that it essentially F ’s. In the paper, I argue that adequately qualified the thesis is plausible. Two important qualifications are needed. The first is the assumption that satisfaction is an irreducibly predicative notion, making any explication of satisfaction in terms of truth inadequate. The second is the ontological rejection of purely semantic, i.e. merely definitional, entities. With these qualifications in place, Quine’s rejection of the combination of objectual quantifiers and semantic modalities can be upheld. In this way, we vindicate a qualified version of Quine’s conjecture that quantified modal logic is committed to essentialism. (shrink)

In this paper I analyze David Kaplan’s essay “Opacity”. In “Opacity” Kaplan attempts to dismiss Quine’s concerns about quantification across intensional (modal and intentional) operators. I argue that Kaplan succeeds in showing that quantification across intensional operators is logically coherent and that quantified modal logic is strictly speaking not committed to essentialism. However, I also argue that this is not in and of itself sufficient to support Kaplan’s more ambitious attempt to move beyond purely logical results and provide unified, uncontroversial (...) interpretations of both “believes” and “necessarily”. In the paper I raise several questions about the subject matter of logic and the role of semantics, with special focus on singular propositions. (shrink)

On the opposition between de re and de dicto conceptions of vagueness, with special reference to their bearing on the tasks of ontology.

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

L.A. Paul calls “deep” the kind of essentialism according to which the essential properties of objects are determined independently of the context. Deep essentialism opposes “shallow essentialism”, of which David Lewis is said to be a prominent advocate. Paul argues that standard forms of deep essentialism face a range of issues (mainly based on an interpretation of Quinean skepticism) that shallow essentialism does not. However, Paul claims, shallow essentialism eliminates the very heart of what motivates essentialism, so it is better (...) to be deep than shallow. Accordingly, she proposes a very sharp novel account of essentialism, which, while attempting to preserve some of the advantages of shallow essentialism over the classical forms of deep essentialism, can be deemed to be deep. In this paper, I compare Paul’s proposal for a kind of deep essentialism with Lewis’s account, as it is presented by Paul. My aim is to show that the differences between the two approaches are not as significant as Paul takes them to be, and that Paul’s account can be taken to be deeper than Lewis’s only at the cost of sacrificing the very idea at the bottom of deep essentialism. This might be taken to suggest that, if Paul is correct in asserting that shallow essentialism is better equipped to address some skeptical challenges, but it is generally preferable to be deep than shallow, then Lewis’s account should be re-evaluated, since, as shallow as it can be, it might be deeper than it looks. (shrink)

Contemporary philosophy often chants the mantra, ‘Philosophy is continuous with science.’ Now Shepanski gives it a clear sense, by extracting from W. V. Quine’s writings an explicit normative epistemology – i.e. an explicit set of norms for theorizing – that applies to philosophy and science alike. It is recognizably a version of empiricism, yet it permits the kind of philosophical theorizing that Quine practised all his life. Indeed, it is that practice, more than any overt avowals, that justifies attributing this (...) set of norms to Quine. -/- The Quinean epistemology is supported by a metaphilosophy that judges epistemologies by the tenability of their consequences. Shepanski explores the Quinean epistemology’s consequences for inductive and abductive inference, for mathematical entities, for science and for common sense. Moreover, he finds that it continues to be fruitful, as illustrated by a case study in which Quinean methods lead to a new formal treatment of the propositional attitudes. Finally, there is critical discussion of popular alternative views, including foundationalism, the centrality of knowledge, and Quine’s own epistemological naturalism. -/- By focusing on Quine’s normative epistemology, Shepanski illuminates a part of Quine’s thought that has hitherto been insufficiently discussed, and provides a tractable starting point for readers who are new to Quine. Most importantly, he isolates the part of Quine’s thought that has the greatest potential impact outside epistemology, outside philosophy of language, and even outside philosophy. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

In this article I argue for an empiricist view on laws. Some laws are fundamental in the sense that they are the result of inductive generalisations of observed regularities and at the same time in their formulation contain a new theoretical predicate. The inductive generalisations simul- taneously function as implicit definitions of these new predicates. Other laws are either explicit definitions or consequences of other previously established laws. I discuss the laws of classical mechanics, relativity theory and electromagnetism in detail. (...) Laws are necessary, whereas acciden- tal generalisations are not. But necessity here is not a modal concept, but rather interpreted as short for the semantic predicate “... is necessarily true”. Thus no modal logic is needed. The neces- sity attributed to law sentences is in turn interpreted as “necessary condition for the rest of the the- ory”, which is true since fundamental laws are implicit definitions of theoretical predicates use in the theory. (shrink)

In the early twentieth century, Uchiyama Gudō, Seno’o Girō, Lin Qiuwu, and others advocated a Buddhism that was radical in two respects. Firstly, they adopted a more or less naturalist stance with respect to Buddhist doctrine and related matters, rejecting karma or other supernatural beliefs. And secondly, they held political and economic views that were radically anti-hegemonic, anti-capitalist, and revolutionary. Taking the idea of such a “radical Buddhism” seriously, A Buddha Land in This World: Philosophy, Utopia, and Radical Buddhism asks (...) whether it is possible to develop a philosophy that is simultaneously naturalist, anti-capitalist, Buddhist, and consistent. Rather than a study of radical Buddhism, then, this book is an attempt to radicalize it. The foundations of this “radicalized radical Buddhism” are provided by a realist interpretation of Yogācāra, elucidated and elaborated with some help from thinkers in the broader Tiantai/Tendai tradition and American philosophers Donald Davidson and W.V.O. Quine. A key implication of this foundation is that only this world and only this life are real, from which it follows that if Buddhism aims to alleviate suffering, it has to do so in this world and in this life. Twentieth-century radical Buddhists (as well as some engaged Buddhists) came to a similar conclusion, often expressed in their aim to realize “a Buddha land in this world.” Building on this foundation, but also on Mahāyāna moral philosophy, this book argues for an ethics and social philosophy based on a definition of evil as that what is or should be expected to cause death or suffering. On that ground, capitalism should be rejected indeed, but utopianism must be treated with caution as well, which raises questions about what it means – from a radicalized radical Buddhist perspective – to aim for a Buddha land in this world. (shrink)

Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.

This paper will provide support for relationalism; the claim that the identity of objects is constituted by the totality of their relations to other things in the world. I will consider how Kit Fine’s criticisms of essentialism within modal logic not only highlight the inability of modal logic to account for essential properties but also arouse suspicion surrounding the possibility of nonrelational properties. I will claim that Fine’s criticisms, together with concerns surrounding Hempel’s paradox, show that it is not possible (...) to provide a satisfactory account of certain properties in abstraction from their place within a wider context. Next, we will shift attention to natural kinds and consider the notion that relevance plays in metaphysical accounts of identity, by examining Peter Geach’s notion of relative identity. I will argue that the intensional relation between subject and object must be included in a satisfactory account of metaphysical identity. (shrink)

Gettier presented the now famous Gettier problem as a challenge to epistemology. The methods Gettier used to construct his challenge, however, utilized certain principles of formal logic that are actually inappropriate for the natural language discourse of the Gettier cases. In that challenge to epistemology, Gettier also makes truth claims that would be considered controversial in analytic philosophy of language. The Gettier challenge has escaped scrutiny in these other relevant academic disciplines, however, because of its façade as an epistemological analysis. (...) This article examines Gettier's methods with the analytical tools of logic and analytic philosophy of language. (shrink)

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

Standard lore has it that a proper name is a temporally rigid designator. It picks out the same entity at every time at which it picks out an entity at all. If the entity in question is an enduring continuant then we know what this means, though we are also stuck with a host of metaphysical puzzles concerning endurance itself. If the entity in question is a perdurant then the rigidity claim is trivial, though one is left wondering how it (...) is that different speakers ever manage to pick out one and the same entity when a host of suitable, overlapping candidates are available. But what if the entity in question is neither a continuant nor a perdurant? What if the things we talk about in ordinary language are time-bound entities that cannot truly be said to persist through time, or stage sequences whose unity resides exclusively in our minds--like the “waves” at the stadium or the characters of a cartoon? In such cases the rigidity claim can’t be right and a counterpart-theoretic semantics seems required. Is that bad? I say it isn’t. And it had better not be, if that turns out to be the best metaphysical option we have. (shrink)