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)

Colour relationalism holds that the colours are constituted by relations to subjects. Anti-relationalists have claimed that this view stands in stark contrast to our phenomenally-informed, pre-theoretic intuitions. Is this claim right? Cohen and Nichols’ recent empirical study suggests not, as about half of their participants seemed to be relationalists about colour. Despite Cohen and Nichols’ study, we think that the anti-relationalist’s claim is correct. We explain why there are good reasons to suspect that Cohen and Nichols’ experimental design skewed their (...) results in favour of relationalism. We then run an improved study and find that most of our participants seem to be anti-relationalists. We find some other interesting things too. Our results suggest that the majority of ordinary people find it no less intuitive that colours are objective than that shapes are objective. We also find some evidence that when those with little philosophical training are asked about the colours of objects, their intuitions about colour and shape cases are similar, but when asked about people’s colour ascriptions, their intuitions about colour and shape cases differ. (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 \textbf{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 two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{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)

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 \textbf{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 two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{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 examine the relationship between physicalism and property dualism in the light of the dialectic between anti-physicalist arguments and physicalist responses. Upon rehearsing the moves of each side, it is hard not to notice that there is a puzzling symmetry between dualist attacks on physicalism and physicalist replies. Each position can be developed in a way to defend itself from attacks from the other position, and it seems that there are neither a priori nor a posteriori grounds (...) to choose between the two. I suggest that the reason for the intractability of the disagreement, perhaps surprisingly, is they are both true: physicalism and dualism are formulated in terms of different conceptual schemes, each involving basic metaphysical concepts such as possibility, necessity, law and property. My proposal is that this means that there is no real disagreement in fact; both schemes get at the same reality, in different ways. -/- . (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)

Reductive physicalism is a minority view in contemporary philosophy as well as in science, and therefore arguments for endorsing it often amount to arguments against the alternative views, in particular so-called non-reductive physicalism. In this paper we put forward a new argument for reductive physicalism, according to which it is the best account of the empirical data that we have. In particular, we show that: (a) a reductive physicalist theory of the mind forms an essential part of the very argument (...) for the existence of an external world: if one rejects psychophysical identity physicalism, one’s case for believing in the existence of an external world is substantially weakened; and (b) the success of a physical account of the mind is the most important criterion for the success of (future) physics; and (c) reductive physicalism is the only approach in which relying on science in order to account for the external world makes sense; and finally, (d) within reductive physicalism, one can provide a new criterion for theory preference in science, and a new argument for scientific realism. In our physicalist view the experience forms the initial data, which is then reduced to fundamental physics. (shrink)

Physicalism is the thesis that everything is physical, or as contemporary philosophers sometimes put it, that everything supervenes on, or is necessitated by, the physical. The thesis is usually intended as a metaphysical thesis, parallel to the thesis attributed to the ancient Greek philosopher Thales, that everything is water, or the idealism of the 18th Century philosopher Berkeley, that everything is mental. The general idea is that the nature of the actual world (i.e. the universe and everything in it) conforms (...) to a certain condition, the condition of being physical. Of course, physicalists don't deny that the world might contain many items that at first glance don't seem physical — items of a biological, or psychological, or moral, or social nature. But they insist nevertheless that at the end of the day such items are either physical or supervene on the physical. (shrink)

Some philosophers consider that some of their colleagues deny that consciousness exists. We shall call the latter ‘deniers’, adopting a term that was initially meant pejoratively. What do the deniers deny? In order to answer this question, we shall examine arguments, both of some deniers and of their critics, and present denialism as a systematic highly non-trivial position that has had some interesting achievements. We will show that the denialist project concerns the epistemology of the mind and specifically of consciousness: (...) what can be known about it, and how it can be known. The main argument of denialism is that first-person reports about the mental realm are not always the best source of information about that realm, and are certainly not reliable. This leads the deniers to realize that the reference and meaning of mental terms as used in standard philosophical literature are vague and call for clarification, and that what many take to be empirical data in the study of the mind are actually heavily laden with theory. Denialism thus makes scientific and philosophical research clearer and more fruitful. (shrink)

Flat Physicalism is a theory of through and through type reductive physicalism, understood in light of recent results in the conceptual foundations of physics. In Flat Physicalism, as in physics, so-called "high level" concepts and laws are nothing but partial descriptions of the complete states of affairs of the universe. "Flat physicalism" generalizes this idea, to form a reductive picture in which there is no room for levels, neither explanatory nor ontological. The paper explains how phenomena that seem to be (...) cases of multiple realization of special sciences kinds by physical kinds are fully explains in a reductive physicalist way. Finally, the paper exemplifies the fruitfulness of this reductive approach by showing how it can account even for a case of high-level anomaly in a deterministic universe (for example anomaly of the mental, should this turn our to be a fact about the world) - a result that may be called Anomalous Physicalism. (shrink)

This is the first part of a two-tier overview article on fundamentality in metaphysics and the philosophy of physics. It provides an introduction to the notion of fundamentality in metaphysics, as well as to several related concepts. The key issues in the contemporary debate on the topic are summarised, making systematic reference to the most relevant literature. In particular, various ways in which the fundamental entities and the fundamental structure of reality may be conceived are illustrated and discussed. A final (...) brief section looks at the methodological issue of naturalism, paving the way for the survey of fundamentality in the philosophy of physics, which is carried out in the second part. (shrink)

According to the so-called Hempel’s Dilemma, the thesis of physicalism is either false or empty. Our intention in this paper is not to propose a solution to the Dilemma, but rather to argue as follows: to the extent that Hempel’s Dilemma applies to physicalism it equally applies to any theory that gives a deep-structure and changeable account of our experience or of high-level theories. In particular, we will show that it also applies to mind-body dualistic theories. The scope of Hempel’s (...) Dilemma turns out to be very wide: it is a special case of a general sceptical argument against changeable deep-structure theories in and outside science. (shrink)

This article focuses on the main methods used in analytic metaphysics. It first considers five important sources of constraints on metaphysical theorizing: linguistic and conceptual analysis, consulting intuitions, employing the findings of science, respecting folk opinion, and applying theoretical virtues in metaphysical theory choice such as preferring simpler theories, or preferring more explanatory theories. It then examines the role of formal methods in metaphysics as well as the role of metaphysical communities, traditions, and the place of the history of metaphysics (...) in contemporary work. It also discusses the issue of whether metaphysics should be seen as an enterprise that will yield knowledge of metaphysical matters or whether it should have more modest epistemic goals. Finally, it explores the question of how much of metaphysics is a priori. (shrink)

According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...) is just as it in fact is, then T’ bear on this claim. It concludes that, while analogies with theories that attempt to eliminate unobservable concrete entities provide good reason to regard theories of the former sort as explanatorily bad, this reason does not apply to theories of the latter sort. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (shrink)

The challenge of handling fictional discourse is to find the best way to resolve the apparent inconsistencies in our ways of speaking about fiction. A promising approach is to take at least some such discourse to involve pretense, but does all fictional discourse involve pretense? I will argue that a better, less revisionary, solution is to take internal and fictionalizing discourse to involve pretense, while allowing that in external critical discourse, fictional names are used seriously to refer to fictional characters. (...) I then address two objections to such realist theories of fiction: One, that they can’t adequately account for the truth of singular nonexistence claims involving fictional names, and two, that accepting that there are fictional characters to which we refer is implausible or ontologically profligate. (shrink)

Jerry Fodor’s arguments against the possibility of concept learning, and the responses that have been offered in defense of the coherence of concept learning, have both by and large assumed that concept learning is a descriptive process. I offer an alternative, ostensive approach to concept learning and explain how descriptive concept learning can be explained as a version of ostensive concept learning. I argue that an ostensive view of concept learning offers an empirically plausible and philosophically adequate account of concept (...) learning that is explanatorily superior to traditional descriptive views. (shrink)

According to one tradition in the philosophy of language and mind, the content of a psychological attitude can be characterized by a set of possibilities. On the classic version of this account, advocated by Hintikka (1962) and Stalnaker (1984) among others, the possibilities in question are possible worlds, ways the universe might be. Lewis (1979, 1983a) proposed an alternative to this account, according to which the possibilities in question are possible individuals or centered worlds, ways an individual might be. The (...) motivation for the centered worlds theory has primarily to do with self-locating – or de se – attitudes. The focus of this paper is on the less-discussed question of how other-locating – or de re – attitudes ought to be treated within this framework. Most advocates of what we might call the modal approach to attitudes, Stalnaker and Lewis included, offer some kind of descriptivist solution to the well-known problems that other-locating attitudes raise. There are intramural differences between Stalnaker, Lewis, and other modal theorists (e.g. two-dimensionalists) on a number of issues: on the precise nature of the descriptivism involved, how attitude content relates to the asserted content of the sentences we utter, and on the proper semantic treatment of attitude reports. I pass over these differences to focus on a problem common to these various approaches: all face a problem when it comes to characterizing the contents of counterfactual attitudes like imagining, dreaming, and wishing. (shrink)

Necessarily, if I ate a slice of pizza, then that slice of pizza was eaten by me. More generally, it is necessarily true that if a relation holds between two objects in some order, its converse holds of the same objects in reverse order. What is the intimate relationship that guarantees such necessary connections? Timothy Williamson argues that the relationship between converses must be identity, on pain of the massive and systematic indeterminacy of relational predicates. If sound, Williamson’s argument overturns (...) our standard conception of relations, according to which relations are individuated not just by the arguments they take, but by the order in which they take those arguments. I show how one can defend the standard conception against Williamson’s argument. My defense helps us to better understand both the standard conception of relations and the nature of relational predicates. (shrink)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

Many of the concepts analysed by philosophers have their origin in ordinary – or at least extra-philosophical – language. Perception, knowledge, causation, and mind are examples. But the concept of substance is a philosophical term of art. Its uses in ordinary language tend to derive, often in a rather distorted way, from the philosophical senses. There is an ordinary concept in play when philosophers discuss “substance”, and this, as we shall see, is the concept of object, or thing when this (...) is contrasted with properties or events. But such “individual substances” are never termed “substances” outside philosophy. -/- There exist two rather different ways of characterising the philosophical concept of substance. The first is the more generic. The philosophical term “substance” comes from an early Latin translation of the Greek ousia. Ousia is a noun derived from the verb “einai” (to be) and is naturally translated “being”. According to the generic sense, substances are those things that best merit the title “beings”. This is usually interpreted to mean those things that are the foundational or fundamental entities of a given philosophical system. Thus, for an atomist, atoms are the substances, for they are the basic things from which everything is constructed. In David Hume’s system, impressions and ideas are the substances, for the same reason. In a slightly different way, Forms are Plato’s substances, for everything derives its existence from Forms. -/- The second use of the concept is more specific. According to this usage, substances are a particular kind of entity, and some philosophical theories acknowledge them and others do not. This conception of substance derives from the intuitive notion of individual thing or object, which contrasts mainly with properties and events. According to this usage, it is a live issue whether the fundamental entities are substances or something else, such as events, or properties located at space-times. The issue is how we are to understand the notion of an object, and whether, in the light of the correct understanding, it remains a basic notion, or one that must be characterised in more fundamental terms. Whether, for example, an object can be thought of as nothing more than a bundle of properties, or a series of events. -/- The reason “substance” has acquired these two usages is that the work that introduced the term to philosophy, Aristotle’s Categories, claims that the things that most merit the title “beings” (substances in the generic sense) are individual objects as opposed to properties or events (substances in the specific sense). (shrink)

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

Logical monism is the view that there is ‘One True Logic’. This is the default position, against which pluralists react. If there were not ‘One True Logic’, it is hard to see how there could be one true theory of anything. A theory is closed under a logic! But what is logical monism? In this article, I consider semantic, logical, modal, scientific, and metaphysical proposals. I argue that, on no ‘factualist’ analysis (according to which ‘there is One True Logic’ expresses (...) a factual claim, rather than an attitude like approval), does the doctrine have both metaphysical and methodological import. Metaphysically, logics abound. Methodologically, what to infer from what is not settled by the facts, even the normative ones. I conclude that the only interesting sense in which there could be One True Logic is noncognitive. The same may be true of monism about normative areas, like moral, epistemic, and prudential ones, generally. (shrink)

In this paper, we first briefly survey the main responses to the challenge that experimental philosophy poses to the method of cases, given the common assumption that the latter is crucially based on intuitive judgments about cases. Second, we discuss two of the most popular responses in more detail: the expertise defense and the mischaracterization objection. Our take on the expertise defense is that the available empirical data do not support the claim that professional philosophers enjoy relevant expertise in their (...) intuitive judgments about cases. In contrast, the mischaracterization objection seems considerably more promising than its largely negative reception has suggested. We argue that the burden of proof is thus on philosophers who still hold that the method of cases crucially relies on intuitive judgments about cases. Finally, we discuss whether conceptual engineering provides an alternative to the method of cases in light of the challenge from experimental philosophy. We argue that this is not clearly the case, because conceptual engineering also requires descriptive information about the concepts it aims to improve. However, its primarily normative perspective on our concepts makes it largely orthogonal to the challenge from experimental philosophy, and it can also benefit from the empirical methods of the latter. (shrink)

Conceivability arguments constitute a serious threat against reductive physicalism. Recently, a number of authors have proven and characterized a devastating logical truth centered on these arguments: namely, that their soundness entails the inconceivability of reductive physicalism. In this paper, I demonstrate that this is only a logical truth when reductive physicalism is interpreted in its stronger, intrinsic sense, as opposed to its weaker—yet considerably more popular—extrinsic sense. The basic idea generalizes: perhaps surprisingly, stronger forms of reduction are uniquely resistant to (...) the conceivability arguments opposing them. So far as the modal epistemology of reduction is concerned, therefore, it pays to go intrinsic. (shrink)

In this article I will evaluate the popular view that we acquire most of our concepts by means of learning. I will do this through an examination of Jerry Fodor’s dissenting views and those of some of his most persistent and significant critics. Although I will be critical of Fodor’s central claim that it is impossible to learn a concept, I will ultimately conclude that we should be more sceptical than is normal about the power of learning when it comes (...) to concept acquisition, particularly with respect to natural kind concepts. Central to my argument for this conclusion will be an examination of the bearings of psychological essentialism on concept acquisition. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

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)

This paper discusses two notational variance views with respect to indexical singular reference and content: the view that certain forms of Millianism are at bottom notational variants of a Fregean theory of reference, the Fregean Notational Variance Claim; and the view that certain forms of Fregeanism are at bottom notational variants of a direct reference theory, the Millian Notational Variance Claim. While the former claim rests on the supposition that a direct reference theory could be easily turned into a particular (...) version of a neo-Fregean one by showing that it is bound to acknowledge certain senselike entities, the latter claim is based upon the supposition that a neo-Fregean theory could be easily turned into a particular version of a Millian one by showing that De Re senses are theoretically superfluous and hence eliminable. The question how many accounts of singular reference and content are we confronted with here — Two different (and mutually antagonistic) theories? Or just two versions of what is in essence the same theory? — is surely of importance to anyone interested in the topic. And this question should be answered by means of a careful assessment of the soundness of each of the above claims. Before trying to adjudicate between the two accounts, one would naturally want to know whether or not there are indeed two substantially disparate accounts. Grosso modo, if the Fregean Claim were sound then we would have a single general conception of singular reference to deal with, viz. Fregeanism; likewise, if the Millian Claim were sound we would be facing a single general conception of singular reference, viz. Millianism. My view is that both the Fregean Notational Variance Claim and its Millian counterpart are wrong, though naturally on different grounds. I have argued elsewhere that the Fregean Notational Variance Claim - considered in its application to the semantics of propositional-attitude reports involving proper names — is unsound. I intend tosupplement in this paper such a result by trying to show that the Millian Claim - taken in its application to the semantics of indexical expressions — should also be rated as incorrect. I focus on a certain set of arguments for the Millian Claim, arguments which I take as adequately representing the general outlook of the Millian theorist with respect to neo-Fregeanism about indexicals and which involve issues about the cognitive significance of sentences containing indexical terms. (shrink)

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

We think about and refer to things that we’ve never perceived or experienced. This paper bears on how this could be. Someone is testimonially acquainted with something just in case the explanation of one’s ability to think de re thoughts about it essentially appeals to communication with others who already have that ability. The main motivation for the claim that testimonial acquaintance is possible is that it best explains how we can think de re about and refer to things we’ve (...) never perceived or experienced: we gain these abilities in part by communicating with those who already have them. The main point of this paper is negative: to argue that testimonial acquaintance, as we currently understand it, is impossible. Although one might take this to show that we cannot be acquainted with things we haven’t perceived or experienced, I prefer to think of it as motivation for rethinking the nature of acquaintance. (shrink)

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect synchronically co-existent properties—kinds and their essential features, (...) for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

De re or singular thoughts are, intuitively, those essentially or constitutively about a particular object or objects; any thought about different objects would be a different thought. How should a philosophical articulation or thematization of their nature look like? In spite of extended discussion of the issue since it was brought to the attention of the philosophical community in the late fifties by Quine (1956), we are far from having a plausible response. Discussing the matter in connection with the status (...) of the Kripkean category of the contingent a priori, Donnellan (1979) argued that what can be properly classified as knowable a priori about utterances like those involving ‘one meter’ or ‘Neptune’ famously proposed by Kripke (1980) cannot be the very same singular content that is contingent he distinguished to that end between knowing a true proposition expressed by an utterance, and knowing that an utterance expresses a true proposition. Evans (1979) replied that, for a very specific sort of cases involving “descriptive names”, a related proto-two-dimensionalist account should be preferred, on which it is not the singular contingent content, but rather a general descriptive one which is knowable a priori. In a series of papers, Robin Jeshion (2000, 2001) has recently attacked Donnellan's proposal, arguing in favour of the most straightforward interpretation of Kripke's claim: in the relevant cases, the very same singular content can be both contingent and knowable a priori. This paper appeals to a generalized version of two-dimensional semantics to advance an account of the Kripkean cases along the lines of Evans's, and argues that Jeshion's compelling arguments against Donnellan's view do not apply to this version. (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)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

In this thesis I argue that we should break with the dominant Kripkean tradition concerning natural kind terms and theoretical identity. I claim that there is just no interesting connection between the metaphysics and semantics of natural kind terms, and demonstrate this by constructing a version of descriptivism that is combined with the same metaphysics – that is, a nontrivial version of essentialism – found in Kripke, but which effectively avoids all of the standard criticisms. With my version of descriptivism (...) in place, I present what I take to be the most reasonable version of metaphysical essentialism, positing only what I call 'thin' essences. I claim that thin essences are perfectly adequate to underpin scientific realism, and moreover that they are sufficient to support the version of descriptivism developed here. In effect, what I offer here is an error theory of the Kripkean tradition: Kripke is right to think that there are interesting things to say about meaning and essence, but just wrong about what those things are. Thus whilst Kripke thinks that it is possible to make discoveries about the meanings of natural kind terms, I think, rather, that we make empirical discoveries that lead to revisions in meaning. Furthermore, whilst Kripke thinks there is a dichotomy between de re and de dicto necessity, and that theoretical identities are necessary de re, I think this distinction is both misleading and inaccurate, and that the necessity of theoretical identities is neither entirely de re nor entirely de dicto. By separating and insulating questions concerning meaning from questions concerning essence I show that whilst scientific discoveries are contingent and a posteriori, the definition of scientific terms are both necessary and a priori. (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)

In recent years largely due to the seminal work of Kit Fine and that of Jonathan Lowe there has been a resurgence of interest in the concept of essence and the project of explaining de re necessity in terms of it. Of course, Quine rejected what he called Aristotelian essentialism in his battle against quantified modal logic. But what he and Kripke debated was a notion of essence defined in terms of de re necessity. The new Aristotelian essentialists regard essence (...) as entailing but prior in the order of explanation to de re necessity. In what follows I argue that the concept of essence so understood has not been adequately explained and that any attempt to explain it, at least along the lines most familiar from the literature, must be flagrantly circular or make use of de re modal notions. (shrink)