This article argues that the best way to pursue systematic normative ethical theorizing involves metaethical enquiry. My argument builds upon two central claims. First, I argue that plausible metaethical accounts can have implications that can help to resolve the methodological controversies facing normative ethics. Second, I argue that metaethical research is at least roughly as well supported as normative ethical research. I conclude by examining the implications of my thesis. Inter alia, it shows that the common practice of engaging in (...) systematic normative theorizing uninformed by metaethical commitments offers a significant and troubling hostage to metaethical fortune. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In this paper I develop an argument against a type of Non-Analytic Normative Naturalism. This argument, the Normative Property Dualism Argument, suggests that, if Non-Analytic Normative Naturalists posit that normative properties are identical to natural properties and that such identities are a posteriori, they will be forced to posit that these properties which are both normative and natural have higher-order normative properties of their own.

Natural modalities are often analysed from an abstract point of view where they are associated with putative laws of nature. However, the way possibilities are represented in physics is more complex. Lagrangian mechanics, for instance, involves two different layers of modalities: kinematical and dynamical possibilities. This paper examines the status of these two layers, both in the classical and quantum case. The quantum case is particularly problematic: we identify four possible interpretive options. The upshot is that a close inspection of (...) the way possibilities are represented in physics could lead to new ways of thinking about natural modalities. (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)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific entities. And (...) thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

This is a critical review of Herman Cappelen’s Fixing Language (2018), an excellent and thought-provoking introduction to a hot topic in metaphilosophy: conceptual engineering, which defines the process of evaluating and improving/revising our representational devices (popularly known as concepts). Here, I first present an overview of the book, summarizing his General Theory of conceptual engineering. Second, I point out some limits of the General Theory, in particular the putative consequence of his semantic externalism, the Lack of Control thesis. According to (...) it, the processes behind changes in meaning are too complex and amorphous for revisionary projects to be generally successful. However, I claim that a proper investigation of Lack of Control demands us to look at the sciences, especially the social sciences, something absent in Cappelen’s book. Furthermore, I remember that many conceptual engineers do not put forward large-scale revisions, but rather local ones – i.e., restricted to specific scientific and institutional contexts, and therefore more feasible and potentially relevant. (shrink)

Stephen Maitzen argues that divine command metaethics must be mistaken because it is committed to the implausible assumption that the sentence ‘God is good’ is a tautology. In this article, I show that a charitable interpretation of R. M. Adams’ version of divine command metaethics is not committed to accept this assumption. I conclude that Maitzen’s objection merely manages to refute a strawman version of divine command metaethics.

This article challenges the orthodox position that some smells are pleasantly fragrant and some tactile sensations are painful. It proposes that the affective components of our experiences are a kind of illusion. Under this alternative picture, experiences that seem to have positive or negative affect never actually do. Rather, the affective component is hyper-illusory, a second-order misrepresentation of the way things actually seem to us. While perceptual hyperillusions have elicited scepticism in other contexts, affective hyperillusions can withstand common critiques. Focusing (...) on the paradigmatic affective experience — pain — the article situates the hyperillusory account within the existing scientific and philosophical literature. Several theoretical advantages of positing a hyper-illusory structure to affective experiences emerge from the discussion. (shrink)

In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal (counterfactual) structure, which we will try to generalise into a useful scheme. -/- (...) . (shrink)

The paper attempts to conciliate the important distinction between what-is, or exists, and what-is-not _thereby supporting Russell’s existential analysis_ with some Meinongian insights. For this purpose, it surveys the varied inhabitants of the realm of ‘non-being’ and tries to clarify their diverse statuses. The position that results makes it possible to rescue them back in surprising but non-threatening form, leaving our ontology safe from contradiction.

Özet: Bu metindeki amacım Kripke’nin kurgu çözümlemesinde özel adlar ve adımsılar (pretended name) arasındaki ilişkiyi ele almak. Kripke için özel adlar değişmez imleyicilerdir (rigid designator), yani tek bir varlığı/şeyi var olduğu tüm olanaklı dünyalarda biricik belirlerler. Adımsılar ise kurgusal söylemde ortaya çıkan kurgunun taslamasının bir parçasıdır; yani kurgu dünyadaki karakterlerin adlarıdır. Kripke’ye göre adımsılar sadece gerçek adları taklit eden fakat taklit ve benzerlik ilişkisinden öte bir ilişkileri olmayan, adlardan kategorik olarak farklı şeylerdir. Fakat Kripke için adlar ve adımsılar kategorik olarak (...) farklı olsalar da bu iki dilsel birim birbirlerini belirler gibi gözükür. Yani “Sherlock Holmes” özel adı, “Sherlock Holmes” özel adımsısı ile eşseslidir fakat bunun gerekçesi yeterince açık değildir. Bu açık olmama durumu kurgusal karakter adlandırma önermelerinin adlandırıcı açısından a priori ve olumsal mı olduğu yoksa a posteriori ve zorunlu mu olduğu sorusuyla ilişkilidir. Böylelikle bu belirleme ilişkisi ya zorunlu ya da olumsal bir ilişkidir. Ben bu belirleme ilişkisinin olumsal olduğunu savunacağım. Fakat bu belirleme ilişkisi olumsal olsa da ad ve adımsı arasında eşseslilik açısından sıkı bir ilişki olmaya devam eder. Ben bu sıkı ilişkinin genellikle kendiliğinden bir ilişki olduğunu, kurgu karakterin önce adı olabileceği gibi ilişkilendiği adımsısı da olabileceğini ve bu ayrım yeterince düşünülmediği için genellikle ad ve adımsının eşseslilik açısından çakıştığını savunacağım. Fakat ilişkilendiği adımsı ve özel adı eşsesli olmayan karakterler de olabileceğini ileri süreceğim. Son olarak ise bu dediklerimizden adımsıların geçtiği betimlemeler üretebileceğimizi ve bunlar yoluyla da kurgu varlıklara değişen imleyiciler olarak gönderimde bulunabileceğimizi savunacağım. Abstract: My purpose in the article is to explore the relation between proper names and pretended names in Kripke’s analysis of fiction. According to Kripke, proper names are rigid designators, so they designate the same object in all possible worlds in which that object exists. In contrast, pretended names are part of the pretense in fiction; they are names of fictional entities in fictional worlds. For Kripke, pretended names just pretend real names but there is no further relation apart from a similarity between them. Although in his view, names and pretended names are categorically different from each other, they seem to determine each other. That is, the proper name “Sherlock Holmes” and the pretended name “Sherlock Holmes” are homophones. However, the reason for their being homophone is not clear enough in this view. That unclarity concerns the question of whether the propositions that are used to name fictional entities are a priori contingent or a posteriori necessary. Thus, the relation of determining is either necessary or contingent. I will defend that it is contingent. However, though it is contingent, names and pretended names have a strict relation in the sense of being homophone. I will argue that this strict relation is generally a spontaneous relation; there are two possibilities: fictional entities have names before the associated pretended names come to existence or vice versa. I think names and pretended names generally coincide because this relation is not being thought thoroughly. Finally, I will defend that we can produce descriptions in which pretended names occur and we can refer to fictional entities non-rigidly via these descriptions. (shrink)

The paper addresses the recurrent charge that Richard Rorty is a “linguistic idealist”. I show what the charge consists of and try to explain that there is a charitable reading of Rorty’s works, according to which he is not guilty of linguistic idealism. This reading draws on Putnam’s well-known conception of “internal realism” and accounts for the causal independence of the world on our linguistic practices. I also show how we can reconcile this causal independence of things and the sense (...) of our discourse being guided by them with our autonomy with regard to the construction of various “vocabularies” with which we describe, or cope with, reality. In the final part, I address in some detail Rorty’s animadversions concerning the idea of the intrinsic nature of reality. I show them to be only partly successful. (shrink)

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

Kants Kritik der praktischen Vernunft (1788) steht zu Unrecht oft im Schatten der Kritik der reinen Vernunft und der Grundlegung zur Metaphysik der Sitten. Tatsächlich sind die Grundelemente der Kantischen Moralphilosophie im Gegensatz zu vielen Thesen der ersten Kritik bis heute weitgehend anerkannt, und erst der Nachweis der zweiten Kritik, dass Freiheit wirklich ist, macht "den Schlussstein von dem ganzen Gebäude eines Systems der reinen, selbst der spekulativen Vernunft aus". Entlang der Stichworte reiner Wille, gesetzgebende Form der Maxime, transzendentale Freiheit, (...) Autonomie und Faktum der Vernunft zeigt Kant in der "Analytik", dass reine Vernunft "für sich" praktisch sein, nämlich den Willen bestimmen kann. Die "Dialektik" sichert den Ideen von der Existenz Gottes und der Unsterblichkeit der Seele objektive Realität und untersucht das Verhältnis von theoretischer und praktischer Vernunft. Die "Methodenlehre" schließlich skizziert eine Theorie moralischer Erziehung, die für den heutigen Ethikunterricht noch aktuell ist. Die zwölf Beiträge dieses kooperativen Kommentars, der anlässlich des 300. Jubiläums Immanuel Kants in einer 3., überarbeiteten Auflage erscheint, rekonstruieren die Argumente eines Schlüsseltextes der Moralphilosophie und prüfen die sachliche Überzeugungskraft. Mit Beiträgen von: Karl Ameriks, Reinhard Brandt, Eckart Förster, Otfried Höffe Allen W. Wood Christoph Horn, G. Felicitas Munzel, Onora O'Neill Annemarie Pieper, Friedo Ricken, Nico Scarano. (shrink)

(revisions posted 12/5/2006) to appear in Internalism and Externalism in Semantics and Epistemology, ed. by Sanford Goldberg (to be published by Oxford in 2006 or 2007) Michael McKinsey formulated an argument that raises a puzzle about the relation between externalism about content and our introspective awareness of content. The puzzle goes like this: it seems like I can know the contents of my thoughts by introspection alone; but philosophical reflection tells me that the contents of those thoughts are externalist, and (...) so I couldn. (shrink)

The extended dual-aspect monism framework of consciousness, based on neuroscience, consists of five components: (1) dual-aspect primal entities; (2) neural-Darwinism: co-evolution and co-development of subjective experiences (SEs) and associated neural-nets from the mental aspect (that carries the SEs/proto-experiences (PEs) in superposed and unexpressed form) and the material aspect (mass, charge, spin and space-time) of fundamental entities (elementary particles), respectively and co-tuning via sensorimotor interaction; (3) matching and selection processes: interaction of two modes, namely, (a) the non-tilde mode that is the (...) material and mental aspect of cognition (memory and attention) related feedback signals in a neural-network, which is the cognitive nearest past approaching towards present; and (b) the tilde mode that is the material and mental aspect of the feed forward signals due to external environmental input and internal endogenous input, which is the nearest future approaching towards present and is a entropy-reversed representation of non-tilde mode; (4) the segregation and integration of information, and (5) the necessary ingredients of SEs (such as wakefulness, attention, re-entry, working memory, stimulus at or above threshold level, and neural-net PEs). This framework leads to structural and functional coherence between the mind and the brain, bridges the explanatory gap (the gap between SEs and their neural-correlates), and leads to our mundane subjective experiences. This extended dual-aspect monism (eDAM) framework (Vimal, 2008, 2010, 2013, 2015a, 2015b) could be the fundamental basis of various religions and philosophies. This is a Western perspective. On the other hand, Eastern perspectives emphasize the practical methods for achieving altered experience at samadhi state. An important corollary of these methods (such as yogic method) is the sublimation of negative aspects of seven groups of self-protective energy system (desire, anger, ego, greed, attachment, jealousy, and selfish-love) into their positive aspects. Their negative aspects create war and suffering, whereas their positive aspects advance science and technology, family values, peace, and happiness. Here, the Western perspective framework is extended to include the concepts of the sublimation process to encompass Eastern perspectives. The four elements (war, suffering, peace, and happiness) are ubiquitous in both space and time because they are essential contributors to the variations for natural selection in our evolutionary system. The sublimation process optimizes the system: minimizes war and suffering, maximizes peace and happiness, and enhances family values and individual progress. This is consistent with both Eastern and Western perspectives. (shrink)

This chapter proceeds from the standard picture of the relation between intuitions and experimental philosophy: the alleged evidential role of intuitions about hypothetical cases, and experimental philosophy’s challenge to these judgments, based on their variation with philosophically irrelevant factors. I will survey some of the main defenses of this standard picture against the x-phi challenge, most of which fail. Concerning the most popular defense, the expertise defense, I will draw the bleak conclusion that intuitive expertise of the envisaged kind is (...) largely a myth. Next, I will consider the mischaracterization objection, which has mainly been developed by Deutsch and Cappelen on the basis of textual evidence: that philosophers do not appeal to intuitions as evidence for their case judgments, but instead argue for them. This would render the x-phi challenge mostly irrelevant, due to its focus on intuitions about hypothetical cases. I will then consider a few instructive replies to the mischaracterization objection, which are all unconvincing on further inspection. Finally, I will discuss some potential normative consequences of the mischaracterization objection, and I will argue that it recommends a shift away from the excessive focus on intuitions about cases in metaphilosophy and experimental philosophy, towards more work on the role of argumentation in the method of cases. More speculatively, I claim that philosophers should always argue for their case judgments, even if they have strong intuitions about them, because an argument-based methodology would be more transparent and philosophically fruitful than one that mainly relies on intuition. (shrink)

What is it to know someone? Epistemologists rarely take up this question, though recent developments make such inquiry possible and desirable. This paper advances an account of how such interpersonal knowledge goes beyond mere propositional and qualitative knowledge about someone, giving a central place to second-personal treatment. It examines what such knowledge requires, and what makes it distinctive within epistemology as well as socially. It assesses its theoretic value for several issues in moral psychology, epistemic injustice, and philosophy of mind. (...) And it offers an account of the complex content in play if interpersonal knowledge is to be understood in terms of its mental states and their functions. (shrink)

A standard view of reference holds that a speaker's use of a name refers to a certain thing in virtue of the speaker's associating a condition with that use that singles the referent out. This view has been criticized by Saul Kripke as empirically inadequate. Recently, however, it has been argued that a version of the standard view, a /response-based theory of reference/, survives the charge of empirical inadequacy by allowing that associated conditions may be largely or even entirely implicit. (...) This paper argues that response-based theories of reference are prey to a variant of the empirical inadequacy objection, because they are ill-suited to accommodate the successful use of proper names by pre-school children. Further, I argue that there is reason to believe that normal adults are, by and large, no different from children with respect to how the referents of their names are determined. I conclude that speakers typically refer /positionally/: the referent of a use of a proper name is typically determined by aspects of the speaker's position, rather than by associated conditions present, however implicitly, in her psychology. (shrink)

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

Drawing from extensions of existing ideas in the logic of ground, a novel account of the grounds of necessity is presented, the core of which states that necessary truths are necessary because they stand in specific grounding connections.

Much of historic Christian philosophical theology has affirmed that God not only exists, but is Existence itself. Nowadays, this claim is widely rejected as unintelligible by theists and non-theists alike. I argue in contrast that if there is such a thing as Existence itself, that thing must be a maximally excellent being, which is what many philosophers call God. This is because Existence would itself need to exist, which is only possible if Existence exists in a paradigmatic way, that is, (...) as a perfect instance of existence. My argument thus offers both a defence of the coherence of the claim that God is Existence itself, and a new way of arguing for theism. (shrink)

Alison Simmons, in Simmons (1999), argues that Descartes in Meditation Six offered a teleological account of sensory representation. According to Simmons, Descartes’ view is that the biological function of sensations explains both why sensations represent what they do (i.e., their referential content) and why they represent their objects the way they do (i.e., their presentational content). Moreover, Simmons claims that her account has several advantages over other currently available interpretations of Cartesian sensations. In this paper, I argue that Simmons’ teleological (...) account cannot be sustained for both theoretical and textual reasons and that it does not have the advantages it is claimed to have. (shrink)

I provide a case-by-case definition of essential truths based on the notions of metaphysical necessity and ontological dependence. Relying on suggestions in the literature, I adopt a definition of the latter notion in terms of the notion of ground. The resulting account is adequate in the sense that it is not subject to Kit Fine’s famous counterexamples to the purely modal account of essence. In addition, it provides us with a novel conception of truths pertaining to the essence of objects, (...) which might help to dispel doubts on the legitimacy of the notion of essence itself. (shrink)

Singular terms without referents are called empty or vacuous terms. But not all of them are equally empty. In particular, not all proper names that fail to name an existing object fail in the same way: although they are all empty, they are not all equally vacuous. “Vulcan,” “Jacob Horn,” “Odysseus,” and “Sherlock Holmes,” for instance, are all empty. They have no referents. But they are not entirely vacuous or useless. Sometimes they are used in statements that are true or (...) false. We are basically referentialists about proper names. The ordinary semantic function of a proper name is to refer to an object, and to do it directly, that is, without semantically providing any identifying condition that the object should meet to be the referent. To put it differently, we agree that statements containing proper names express singular propositions, i.e., that their truth-conditions involve the referent of the proper name, if it exists, and not any identifying condition of it. Now, since empty names lack a referent, and therefore would not express such a singular proposition, how do we explain that many, if not all, statements containing them have a truth-value? Answering this question for the case of fictional names, in particular, is the aim of this paper. (shrink)

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers to (...) the objection so understood and concludes that only one of them has a chance of succeeding. (shrink)

Many metaphysical controversies can be understood as debates over whether some alleged entities are metaphysically possible. No doubt, with regard to these matters, we may have opinions or theories, commonsensical or sophisticated. But do we have knowledge of them? Can we really know that something is metaphysically possible, and if so, how? Several different answers have been offered in the literature, intending to illustrate how we may have knowledge of metaphysical modality. In this paper, I concentrate on a proposal by (...) Timothy Williamson. On this account, our alleged knowledge of metaphysical modality is justified by and grounded in our capacity to handle ordinary mundane counterfactual conditionals. However, I argue that Williamson’s account fails, mainly because the modality involved in ordinary mundane counterfactuals is causal, and thus our capacity to handle them still falls short of giving us any knowledge of metaphysical modality. In the end of the paper, I also provide my own answer to the question. My answer is a sceptical one: we do not really have knowledge of metaphysical modality. But such ignorance is harmless, or so I argue. (shrink)

This is a comment on Gómez-Torrente’s approach to natural kinds and natural kind terms. Here I will focus on his concerns related to the arbitrariness argument and his attempt to formulate a reply to it that maintains most of the “Kripke-Putnam orthodoxy” when it comes to the reference-fixing of such terms. Gómez-Torrente concludes that ordinary kind terms have distinct referents from scientific terms. I will challenge one of the premises that he employs in reaching this conclusion: namely, that the difference (...) in determinacy profiles between ordinary natural kinds and scientific kinds is enough to assume that the terms referring to them do not share their referents. I also suggest that some kind of contextual interpretation of natural kind terms might provide a nice explanation of those determinacy variations. (shrink)

I defend and revise the systematic account of normative functions (teleofunctions), as recently developed by Gerhard Schlosser and by W. D. Christensen and M. H. Bickhard. This account proposes that teleofunctions are had by structures that play certain kinds of roles in complex systems. This theory is an alternative to the historical etiological account of teleofunctions, developed by Ruth Millikan and others. The historical etiological account is susceptible to a general ontological problem that has been under-appreciated, and that offers important (...) reasons to adopt the systematic account. However, the systematic account must be revised to allow for two distinct kinds of teleofunctions in order to avoid another ontological problem. (shrink)

Proper names interpreted as rigid designators do not allow us to formulate metalinguistic statements of the form ‘NN might not have been named “NN”’. All we can do is to show what we are trying to say. But we cannot properly formulate such a metalinguistic statement about a rigid name. The rigidity of the name establishes a relationship with its bearer that is much stronger than the contingent relationship that is supposed to exist in the natural languages between the name (...) and its bearer. The sentence is intuitively true as expressed in natural languages, but once we translate it, if possible, into Kripkean formal semantics it is false because once the individual is rigidly named, she cannot have been named otherwise; or even worse, as I suspect, the whole sentence is untranslatable, because in Kripkean formal semantics there is no possible world in which she would not have had the name she rigidly has. This problem in Kripkean semantics could well be termed, as Wittgenstein would say, an ineffability. Kripkean semantics makes the actual contingent property anyone has of bearing a proper name ineffable, notwithstanding it is effable in natural languages. Keywords: rigid names, metalinguistic statements, rigid quoted names, ineffability. (shrink)

Two convictions underlie the following article. The first is that Hilary Putnam has been one of the greatest thinkers of our time, a philosopher who was able to propose groundbreaking ideas in virtually every area of philosophy. As the reader will see, the topics he tackled in his writings included questions of philosophy of science, philosophy of language, philosophy of mathematics and logic, philosophy of mind, metaethics, the fact-value dichotomy, the interpretation of Wittgenstein’s later thought, the question of relativism, the (...) analysis of rationality, the analysis of religious experience, the character of Jewish philosophy, the interpretation of pragmatism, the elucidation of the concept of truth, the question of realism, the relationship between mind and the world. The second is that the changes some of his positions underwent, far from being a point of weakness—as some critics have sometimes felt compelled to claim—reveal the freshness and genuineness of Putnam’s way of philosophising and at the same time the essence of philosophical discussion itself. (shrink)

The superfunctionality claim is that phenomenal experiences are more than functional (objective, causal) relations. This is one of the most widely used but least attacked claims in the anti-physicalist literature on consciousness. Coupled with one form of structuralism, the view that science only explains functional relations, the superfunctionality claim entails that science will not explain phenomenal experience. The claim is therefore essential to many anti-physicalist arguments. I identify an open question argument for the superfunctionality claim that expresses an intuition deserving (...) of explanation. Using the experience of fear as an example, I show that this intuition cannot distinguish between whether conscious experiences are more than functional relations, or whether instead they are just very complex (including, constituted by very complex functional relations). I give reasons to suspect that the latter is more likely the case. This renders physicalism safe from the superfunctionality claim. This also provides a challenge to the proponents of the superfunctionality claim: they should explain why paradigmatically mysterious phenomenal experiences are correlated with extensive and complex physical correlates. (shrink)

Do we have free will? Understanding free will as the ability to act freely, and free actions as exercises of this ability, I maintain that the default answer to this question is “yes.” I maintain that free actions are a natural kind, by relying on the influential idea that kinds are homeostatic property clusters. The resulting position builds on the view that agents are a natural kind and yields an attractive alternative to recent revisionist accounts of free action. My view (...) also overcomes difficulties confronted by previous views according to which free actions might be a natural kind. On my view, free actions exist and we often act freely, as long as we possess various features that are related in the right sorts of ways to each other and to the world. In turn, we acquire and retain the concept as long as most of us possess enough of those features. (shrink)

We argue for an intimate relation between semantic externalism and semantic deference and propose a typology of speakers’ metasemantic views as revealed by their deferential attitudes. Building on this typology, we then offer a classification of metasemantic disagreements understood as verbal disputes between speakers who (consciously or unconsciously) hold divergent metasemantic views about the same word. In particular, we distinguish lower-order metasemantic disagreements between speakers who disagree on the exact source of meaning determination for a word yet agree on the (...) kind of deferential attitude this word is liable to, from higher-order metasemantic disagreements between speakers who do not even agree on the suitable kind of deferential attitude. We demonstrate the fruitfulness of our classification through the concrete implications it has for conceptual engineering. (shrink)

According to the A-theory of time some instant of time is absolutely present. Many reject the A-theory on the grounds that it is inconsistent with current spacetime physics, which appears to leave no room for absolute presentness. However, some reject the A-theory on purely philosophical grounds. In this article I describe three purely philosophical arguments against the A-theory and show that there are plausible A-theoretic responses to each of them. I conclude that, whatever else is wrong with the A-theory, it (...) is not obviously a philosophically suspect theory. (shrink)

‘Free action’ is subject to the causal theory of reference and thus that The essential nature of free actions can be discovered only by empirical investigation, not by conceptual analysis. Heller ’s proposal, if true, would have significant philosophical implications. Consider the enduring issue we will call the Compatibility Issue : whether the thesis of determinism is logically compatible with the claim that.

Although the doctrine of divine simplicity has faced substantial criticism in recent years, Jeffrey Brower has recently offered a novel defense of the view by appealing to contemporary truthmaker theory. In this paper, I will argue that Brower’s defense of divine simplicity requires an implausible account of how truthmaking works for essential intrinsic predications. I will first argue that, unless Brower is willing to make an ad hoc exception for how truthmaking works in God’s case, he is committed to saying (...) that essential intrinsic predications about any object are made true by that object alone, not by its having essential properties. I will then argue that reflecting on cases where distinct essential intrinsic predications about an object have different causal explanations behind them shows that this general view of truthmaking is implausible. (shrink)

I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion of (...) a priority. (shrink)

George Wilson has defended the thesis that even impersonal third-person fictional narratives should be taken to contain fictional narrations and have fictional narrators. This, he argues, is necessary if we are to explain how readers can take themselves, in their imaginative engagement with fictions, to have knowledge of the things they are imagining. I argue that there is at least one class of impersonal third-person fictional narratives—thought experiments—to which Wilson’s model fails to apply, and that this reveals more general problems (...) with his argument. I further argue that there is no good reason to think that Wilson’s account applies more restrictedly to those impersonal third-person fictional narratives that feature in standard works of literary fiction. (shrink)