Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions (...) Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

Recent discussions of Geach sentences by Braun and Salmon are reprised. It is shown that the intractability of providing semantics for Geach sentences (using standard logical tools) is due to the assumption that quantifiers are ontologically committing. Representing the content of these statements is easy using neutral quantifiers. An important concern is consistent identity conditions for nonreferring terms. It may be thought that Meinongian-object approaches handle this better than Azzouni's no-objects-in-any-sense-at-all approach. This is shown to be false. How our truth-inducing (...) practices determine truth values for empty-term statements is indicated—in particular, it is argued that our identification and distinguishing practices with “fictional entities” are parasitic on our practices with entities we take to be real. Examples from Austin—white dots on the horizon and specks—are among the test cases for the views developed here. (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)

In this paper, we develop an impure somatic theory of emotion, according to which emotions are constituted by the integration of bodily perceptions with representations of external objects, events, or states of affairs. We put forward our theory by contrasting it with Prinz's pure somatic theory, according to which emotions are entirely constituted by bodily perceptions. After illustrating Prinz's theory and discussing the evidence in its favor, we show that it is beset by serious problems—i.e., it gets the neural correlates (...) of emotion wrong, it isn't able to distinguish emotions from bodily perceptions that aren't emotions, it cannot account for emotions being directed towards particular objects, and it mischaracterizes emotion phenomenology. We argue that our theory accounts for the empirical evidence considered by Prinz and solves the problems faced by his theory. In particular, we maintain that our theory gives a unified and principled account of the relation between emotions and bodily perceptions, the intentionality of emotions, and emotion phenomenology. (shrink)

In this paper I present an interpretation of Immanuel Kant’s transcendental deduction of the categories (a dangerous interpretation it turns out), based primarily on the “two-step” argument of the B deduction of the Critique of Pure Reason. I undertake to show that Kant’s distinction between the “pure forms of intuition” and “pure formal intuition” is successful in its attempt to prove that all sensible intuitions presuppose the a priori categories, in a way which is compatible, I claim, with Kant’s statements (...) (in the Aesthetic and elsewhere) that sensible intuition is prior to all concepts; and therefore that the Transcendental Aesthetic presupposes the Transcendental Analytic. Thus my Interpretation is a "conceptualist" reading of the deduction, in holding that perception, as receptivity, presupposes an underlying spontaneity of the pure understanding and categories. The categories are held to be not just compatible with all possible sensible intuitions, but through their "transcendental content" constitutive of the relation of sensible intuitions to objects - and this explains how our thought can represent objects a priori. It is one of the claims of my interpretation that the logical forms of judgment of general logic derive from the pure categories of transcendental logic, rather than vice-versa. I.e. that the logical forms through which we make empirical judgments by combining analytical concepts in inner sense in time, are originally grounded in an atemporal categorial synthesis in pure intuition (i.e. in the form of time but not the dimension of time), referring an outer intuition in general to the transcendental object of intuition (as “something in general” outside sensibility or receptivity), thereby providing the synthetic unity of the manifold which “..all analysis presupposes.” My conceptualist reading of the deduction, I claim, avoids the problems associated with other conceptualist readings, for example inconsistency with the text (“Intuitions are prior to all concepts.” etc.) and blurring of the distinction between receptivity and spontaneity. In my paper I prove that the categories can correctly be held to provide the a priori unity of intuitions, notwithstanding the fact that the latter are “prior to all concepts,” because this unity is not provided by the categories as fully-fledged concepts in the empirical subject, but as the transcendental logical form of these concepts, as a unity in the pure understanding - and the categories therefore require their empirical content or application for their objective reality as concepts. I.e. the categories, as logical functions of judgment for transcendental apperception, in the pure forms of intuition, are prior to all "concepts", correctly speaking, as well as prior to all intuitions, and provide the necessary unity of both. Likewise, at the empirical level my version of conceptualism cannot be accused of blurring the distinction between receptivity and spontaneity, or sensibility and understanding, because although the transcendental content of the categories, as a logical function of judgment in the pure forms of intuition, in transcendental apperception, is in necessary relation to sensibility (in combining the manifold in the pure or formal representation of the transcendental object) their empirical content is not. - At the empirical level the divide between spontaneity (as judgment in the empirical subject) and receptivity (as the effect of transcendental synthesis and the transcendental object on outer and inner sense) remains intact. Conceptualist readings of the deduction also have to avoid infringing Kant’s requirement that the sensible manifold originally be given prior to and independently of all acts of the understanding, or otherwise to qualify the requirement in some way - e.g. by taking a Hegelian direction, such as that taken by John McDowell.1 On my reading of the deduction the sensible manifold given indeterminately in the pure forms of space and time must be given prior to the categorial synthesis of the manifold in the pure representation of the transcendental object, i.e. in the pure 'concept' of an object in general affecting sensibility. Therefore Kant’s requirement for an undetermined manifold given prior to, and independently of, all acts of the understanding (“..the manifold to be intuited must be given prior to the synthesis of understanding, and independently of it. How this takes place, remains here undetermined” [cf.B145/146]) is not infringed. In a later section of the paper, however, I will argue that the transcendental object (of intuition) does have pure theoretical reason as one of its two interacting immanent aspects, but is distinct from pure theoretical reason in the other of its (the transcendental object of intuition's) two interacting immanent aspects, i.e. pure will, which adds a Schopenhauerian element to my interpretation (which will be argued for in a way which supports Kantian optimism over Schopenhauerian pessimism however, in regard to the freedom of the will). Another perceived inconsistency in the deduction, which my interpretation can explain, is Kant’s description (in the B deduction) of the principle of the necessary synthetic unity of apperception as analytic, while in the A deduction it is described as synthetic. I explain this as a difference in the reference of terms such as “my representations” in the two versions - a transcendental reference in the B version but an empirical and transcendental reference in the A version of the principle. I also show that the first part of the two-step B deduction can correctly be characterised by Kant as analytic and the second, concluding part, synthetic (a point of dispute amongst Kant scholars) because transcendental logic (which refers to both the analytic and synthetic aspects of the principle of apperception) “does not abstract from the pure content of knowledge.” While being a “double aspect” rather than “two world” view of transcendental Idealism (because objects of intuition are comprised of both the empirical and transcendental object, i.e. transcendental referent, of intuition, my view differs significantly from the “double aspect” interpretation of Henry Allison (which distinguishes empirical reality from the “God’s eye” view). The view of transcendental idealism resulting from my reading of the deduction, I claim, allows a full empirical realism, because empirical intuitions, as objects of cognition, are the appearance of both the transcendental subject and the transcendental object (i.e. transcendental referent ) of transcendental synthesis (both as “something in general” outside sensibility or receptivity, or rather outside sensibility as receptivity). I conclude that Kant succeeds (although only with the addition of what I have called my 'Schopenhauerian element') in his attempt to prove that we have a transcendental unity of apperception which both constitutes, and is constituted by, the relation of sensible representations to objects, and that since transcendental apperception is the a priori underlying ground of empirical apperception, the categories (as the logical functions of judgment by which transcendental apperception relates sensible representations to objects) are the a priori underlying ground of all experience, and are therefore valid synthetically a priori for all objects of experience. 1 E.g. in “On Pippin’s Postscript.” European Journal of Philosophy 15:3 pp. 395-410. (shrink)

One debate that metaphysicians of race have been consumed with since the 1990s is what we can call the US race debate, which is the debate about what the nature and reality of race is according to the dominant ways that ‘race’ and race terms are used to classify people in contemporary American English. In 2014, I contributed a defence of biological racial realism in the US race debate that utilized new results about human genetic clustering from population genetics. In (...) this paper, I will show that all US race theories have been wrong, including my own. This is because, as I will argue, the correct US race theory has a radically pluralist form. This is an instance of a metametaphysical position that I call radical racial pluralism. After defending radical racial pluralism in the US race debate, I explore valuable implications of the view for philosophers of race. (shrink)

Just as bodily actions are things you do with your body, mental actions are things you do with your mind. Both are different from things that merely happen to you. Where does the idea of mental action come from? What are mental actions? And why do they matter in philosophy? These are the three main questions answered in this paper. Section 1 introduces mental action through a brief history of the topic in philosophy. Section 2 explains what it is to (...) be a mental action in terms of intentional action. Section 3 argues that the fact that we can perform mental actions has some striking consequences concerning mental content. Section 4 shows how mental action helps to explain some important facts about self-knowledge and the normativity of thought. The conclusion mentions two further fruitful avenues for philosophical research on mental action. (shrink)

What is the modal significance of sortal concepts? It is generally accepted that sortal concepts provide persistence conditions with modal implications that are de re, and not merely de dicto. I do not think that this important assumption has received the scrutiny that it deserves. In this paper, I examine the contrast between a ‘pure de dicto’ theory of the persistence conditions associated with sortal concepts and a variety of de re theories, both essentialist and non-essentialist. I conclude that although (...) there is a defensible argument against the pure de dicto theory, it has two interesting implications. First, the argument lends no support to an essentialist version of the de re theory. Secondly, it appears to support the rejection of the pure de dicto theory only by a theorist who is also a pluralist about coincidence. Hence it appears to provide no justification for the rejection of the pure de dicto theory on the part of a contingent identity theorist. (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)

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

I develop here a novel version of the Fregean view of belief ascriptions (i.e., sentences of the form ‘S believes that p’) and I explain how my view accounts for various problem cases that many philosophers have supposed are incompatible with Fregeanism. The so-called problem cases involve (a) what Perry calls essential indexicals and (b) de re ascriptions in which it is acceptable to substitute coreferential but non-synonymous terms in belief contexts. I also respond to two traditional worries about what (...) the sense of a proper name could be, and I explain how my view provides intuitively pleasing solutions to Kripke’s ‘London’–‘Londres’ puzzle and his Paderewski puzzle. Finally, in addition to defending my view, I also argue very briefly against Russellian alternatives to Fregeanism. (shrink)

Standard truthmaker theory has generally assumed a realist account of de re modality and essences. But there are reasons to be skeptical about such a view, and for considering antirealist alternatives. Can truthmaker theory survive in the face of such skepticism? I argue that it can, but that only certain antirealist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the best account of (...) essential and accidental features that can be put to work in truthmaker theory. An important consequence of this approach is that it offers an account of truthmaking that is consistent with a nominalist perspective on properties, and yet fully respects the ontological ambitions driving truthmaker theory. (shrink)

This paper provides an exposition of the structuralist approach to underdetermination, which aims to resolve the underdetermination of theories by identifying their common theoretical structure. Applications of the structuralist approach can be found in many areas of philosophy. I present a schema of the structuralist approach, which conceptually unifies such applications in different subject matters. It is argued that two classic arguments in the literature, Paul Benacerraf’s argument on natural numbers and W. V. O. Quine’s argument for the indeterminacy of (...) translation, can be analyzed as instances of the structuralist schema. These two applications illustrate different kinds of conclusions that can be drawn through the structuralist approach; Benacerraf’s argument shows that we can derive an ontological conclusion about the given subject matter, while Quine’s structuralist approach leads to a semantic conclusion about how to determine linguistic meanings given radical translation. Then, as a case study, I review a recent debate in metaphysics between Shamik Dasgupta, Jason Turner, and Catharine Diehl to consider the extent to which different instances of the structuralist schema are conceptually unified. Both sides of the debate can be interpreted as utilizing the structuralist approach; one side uses the structuralist approach for an ontological conclusion, while the other side relies on a semantic conclusion. I argue that this has a strong dialectical consequence, which sheds light on the conceptual unity of the structuralist approach. (shrink)

One reason for the recent attention to conceivability claims is to be found in the extended use of conceivability in philosophy of mind, and then especially in connection with zombie thought experiments. The idea is that zombies are conceivable; beings that look like us and behave like us in all ways, but for which “all is dark inside;” that is, for a zombie, there is no “what it is like.” There is no “what it is like” to be a zombie, (...) there is no “what it is like” for a zombie to feel pain, there is no “what it is like” for a zombie to taste, or feel, or smell something. They are creatures without consciousness. I am skeptical about the conceivability of zombies. That is not to say that I believe that there is some inherent contradiction to be found in the idea of zombies. Instead, I do not think that I am justified in believing that zombies are conceivable. The focus on justification is not common in the literature on conceivability, or for that matter in the literature on the possibility of zombies. Instead, the focus tends to be on trying to find out whether or not the notion of a zombie is contradictory. It is widely accepted in the literature on conceivability that the absence of a contradiction when conceiving of X is both necessary and sufficient for X to be conceivable. That might be true of ideal conceivability, but as I will argue below, ideal conceivability is not relevant to our (human) pursuit of knowledge and understanding. Further, as I will argue, once we focus on non-ideal conceivability the notion of justification, and degrees of justification comes into play. (shrink)

Recently, and rather startlingly, given the history of the debate about a name's semantic content, some claim that names are in fact predicates -- predicativism. Some of predicativists claim that a name's semantic content involves the concept of being called -- calling accounts that have been traditionally meta-linguistic. However, these accounts fail to be informative. Inspired by Burge's claim that proper names are literally true of the individuals that have them, Fara develops a non-meta-linguistic concept of being called analysed in (...) terms of property attributions. I offer seven separate reasons for rejecting the account, one of which is that Fara's development of the view, at least, has implausible consequences for a theory of name acquisition. I sketch an alternative account of name acquisition that is meta-linguistic in nature, but because it is not offered as a theory of name's content, the standard worries fail to apply. In fact, I argue that an account of name acquisition must be meta-linguistic, and therefore a more nuanced conception of meta-linguistic speech acts is required. The account invokes Austin's performative-constative distinction. It analyses name acquisition as due to performative meta-linguistic speech acts. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

Abstract: Many, if not most philosophers, deny that a sentence like ‘Sherlock Holmes smokes’ could be true. However, this attitude conflicts with the assignment of true to that sentence by natural language speakers. Furthermore, this process of assigning truth values to sentences like ‘Sherlock Holes smokes’ seems indistinguishable from the process that leads speakers to assign true to other sentences, those like ‘Bertrand Russell smokes’. I will explore the idea that when speakers assign the value true to the first sentence, (...) they are not mistaken or confused — that we ought to take these assignments at face value. I show how the most popular alternative to this idea is inadequate for explaining various sentences involving fictional names. In addition, I offer evidence that these truth value assignments to sentences are tracking semantic content rather than pragmatic effects. (shrink)

Gottlob Frege (1848-1925) was a German logician, mathematician and philosopher who played a crucial role in the emergence of modern logic and analytic philosophy. Frege's logical works were revolutionary, and are often taken to represent the fundamental break between contemporary approaches and the older, Aristotelian tradition. He invented modern quantificational logic, and created the first fully axiomatic system for logic, which was complete in its treatment of propositional and first-order logic, and also represented the first treatment of higher-order logic. In (...) the philosophy of mathematics, he was one of the most ardent proponents of logicism, the thesis that mathematical truths are logical truths, and presented influential criticisms of rival views such as psychologism and formalism. His theory of meaning, especially his distinction between the sense and reference of linguistic expressions, was groundbreaking in semantics and the philosophy of language. He had a profound and direct influence on such thinkers as Russell, Carnap and Wittgenstein. Frege is often called the founder of modern logic, and he is sometimes even heralded as the founder of analytic philosophy. (shrink)

One way to challenge the substantiveness of a particular philosophical issue is to argue that those who debate the issue are engaged in a merely verbal dispute. For example, it has been maintained that the apparent disagreement over the mind/brain identity thesis is a merely verbal dispute, and thus that there is no substantive question of whether or not mental properties are identical to neurological properties. The goal of this paper is to help clarify the relationship between mere verbalness and (...) substantiveness. I first argue that we should see mere verbalness as a certain kind of discourse defect that arises when the parties differ as to what each takes to be the immediate question under discussion. I then argue that mere verbalness, so understood, does not imply that the question either party is attempting to address is a non-substantive one. Even if it turns out that the parties to the mind/brain dispute are addressing subtly different questions, these might both be substantive questions to which their respective metaphysical views provide substantive answers. One reason it is tempting to reach deflationary conclusions from the charge of mere verbalness is that we fail to distinguish it from the claim that a sentence under dispute is, in a certain sense, indisputable. Another reason is that we fail to distinguish mere verbalness from a certain sort of indeterminacy. While indisputability and indeterminacy plausibly capture forms of nonsubstantiveness, I argue that mere verbalness is insufficient to establish either indisputability or indeterminacy. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

Possible worlds are commonly seen as an interpretation of modal operators such as "possible" and "necessary". Here, we develop possible world semantics (PWS) which can be expressed in basic set theory and first-order logic, thus offering a reductionist account of modality. Specifically, worlds are understood as complete sets of statements and possible worlds are sets whose statements are consistent with a set of conceptual laws. We introduce the construction calculus (CC), a set of axioms and rules for truth, possibility, worldness (...) and consistency. We show that CC allows to prove fundamental theorems about necessity, possibility, impossibility and contigency, thus demonstrating prima-facie plausibility of PWS. Finally, we discuss the explanatory power of our approach and draw connections between our account and established philosophical conceptions of possible worlds. (shrink)

Most discussions of proper names in fiction concern the names of fictional characters, such as ‘Clarissa Dalloway’ or ‘Lilliput.’ Less attention has been paid to referring names in fiction, such as ‘Napoleon’ (in Tolstoy’s War and Peace) or ‘London’ (in Orwell’s Nineteen Eighty-Four). This is because many philosophers simply assume that such names are unproblematic; they refer in the usual way to their ordinary referents. The alternative position, dubbed Exceptionalism by Manuel García-Carpintero, maintains that referring names make a distinctive semantic (...) contribution in fiction. In this paper I offer a positive argument for Non-Exceptionalism, relying on the claim that works of both fiction and non-fiction can express the same singular propositions. I go on to defend my account against García-Carpintero’s objections. (shrink)

Derk Pereboom has recently elaborated a formulation of non-reductive physicalism in which supervenience does not play the central role and realization plays no role at all; he calls his formulation “robust non-reductive physicalism”. This paper argues that for several reasons robust non-reductive physicalism is inadequate as a formulation of physicalism: it can only rule out fundamental laws of physical-to-mental emergence by stipulating that there are no such laws; it fails to entail the supervenience of the mental on the physical; it (...) appeals to two relations that are physicalistically unacceptable; and it rules out certain epistemically possible ways that the world might turn out to be according to current physics. This paper further argues that the difficulties faced by Pereboom’s robust non-reductive physicalism can all be avoided if physicalism is instead formulated by appeal to a carefully-defined relation of realization. (shrink)

Philosophers have found postulating possible worlds to be very useful in a number of areas, including philosophy of language and mind, logic, and metaphysics. Impossible worlds are a natural extension to this use of possible worlds, and can help resolve a number of difficulties thrown up by possible‐worlds frameworks.

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

The ‘Ordinary Language’ philosophy of the early 20th century is widely thought to have failed. It is identified with the broader so-called ‘linguistic turn’, a common criticism of which is captured by Devitt and Sterelny (1999), who quip: “When the naturalistic philosopher points his finger at reality, the linguistic philosopher discusses the finger.” (p 280) The implication is that according to ‘linguistic’ philosophy, we are not to study reality or truth or morality etc, but the meaning of the words ‘reality’, (...) ‘truth’, ‘morality’ etc. Ordinary Language philosophy has fallen so thoroughly into disrepute because it is supposed to advocate that not only are we to study words and meanings rather than the phenomena themselves (which is apparently bad enough), but we must restrict that study to words and meanings as they occur in the language used by the ordinary speaker. A number of preposterous corollaries have been taken to follow from this view. Most seriously, perhaps, and irritatingly, is that any theory which contains ‘non-ordinary’ uses of expressions is thereby ‘meaningless’ or simply false – which is clearly absurd. In this paper I show that this is a completely inaccurate picture of Ordinary Language philosophy. My aim is to correct these persistent misinterpretations, and make possible a more sensible reassessment of the philosophy. (shrink)

What words we use, and what meanings they have, is important. We shouldn't use slurs; we should use 'rape' to include spousal rape (for centuries we didn’t); we should have a word which picks out the sexual harassment suffered by people in the workplace and elsewhere (for centuries we didn’t). Sometimes we need to change the word-meaning pairs in circulation, either by getting rid of the pair completely (slurs), changing the meaning (as we did with 'rape'), or adding brand new (...) word-meaning pairs (as with 'sexual harassment'). A problem, though, is how to do this. One might worry that any attempt to change language in this way will lead to widespread miscommunication and confusion. I argue that this is indeed so, but that's a feature, not a bug of attempting to change word-meaning pairs. The miscommunications and confusion such changes cause can lead us, via a process I call transformative communicative disruption, to reflect on our language and its use, and this can be further, rather than hinder, our goal of improving language. (shrink)

Racism, sexism, and other forms of injustice are more than just bad attitudes; after all, such injustice involves unfair distributions of goods and resources. But attitudes play a role. How central is that role? Tommie Shelby, among others, argues that racism is an ideology and takes a cognitivist approach suggesting that ideologies consist in false beliefs that arise out of and serve pernicious social conditions. In this paper I argue that racism is better understood as a set of practices, attitudes, (...) social meanings, and material conditions, that systematically reinforce one another. Attitudes play a role, but even the cognitive/affective component of ideologies should include culturally shared habits of mind and action. These habits of mind distort, obscure, and occlude important facts about subordinated groups and result in a failure to recognize their interests. How do we disrupt such practices to achieve greater justice? I argue that this is sometimes, but not always, best achieved by argument or challenging false beliefs, so social movements legitimately seek other means. (shrink)

Öz: Frege özel adların (ve diğer dilsel simgelerin) anlamları ve gönderimleri arasında ünlü ayrımını yaptığı “Anlam ve Gönderim Üzerine” (1948) adlı makalesinde, bu ayrımın önemi, gerekliliği ve sonuçları üzerine uzun değerlendirmeler yapar ancak özel adın anlamından tam olarak ne anlaşılması gerektiğinden yalnızca bir dipnotta kısaca söz eder. Örneğin “Aristoteles” özel adının anlamının Platon’un öğrencisi ve Büyük İskender’in öğretmeni ya da Stagira’da doğan Büyük İskender’in öğretmeni olarak alınabileceğini söyler. Burada dikkat çeken nokta örnekteki özel adın olası anlamları olarak gösterilen belirli betimlemelerin (...) de özel ad içeriyor olması. Anlamın Frege için bileşimsel olduğu, bir başka deyişle bir dilsel simgenin anlamının (varsa) parçalarının anlamlarınca belirlendiği düşünülürse, örnekteki belirli betimlemelerin anlamlarının saptanabilmesi için içerdikleri özel adların da anlamları saptanıp betimleme içinde geçtikleri yere konmalıdır. Bu işlem hiçbir özel ad kalmayana kadar sürdürülmelidir. Ancak biraz düşünülünce bir özel adın nesnesini tekil olarak betimleyecek ve içinde özel ad geçmeyecek bir betimleme bulmanın kolay olmadığı görülür. Örneğin yukarıdaki betimlemelerde geçen “Platon”, “Büyük İskender” ve “Stagira” gibi özel adların anlamları olabilecek ancak özel ad içermeyen betimlemeler bulmak pek kolay görünmüyor. Ortaya bir sonsuz gerileme sorunu çıkmış gibi duruyor. Frege’nin anlam-gönderim ayrımını için ciddi sonuçları olabilecek bu sorunu Frege çözebilir mi? Bu yazıda bu sorunun yanıtını arayacağım. Sorunu betimledikten sonra Frege’nin önündeki seçenekleri (örneğin bağlama duyarlı terimlerden (gösterme adılları veya belirteçler) yararlanma veya bağlamı sınırlama gibi) değerlendireceğim. -/- Abstract: In his “Sense and Reference” (1948), Frege makes his famous distinction between the sense and the reference of a proper name (and other signs) and discusses at length the significance, necessity and consequences of the distinction, but he explains how the sense of a proper name should be understood very briefly in a footnote. According to him, for example, the sense of the proper name “Aristotle” can be taken as the pupil of Plato and teacher of Alexander the Great or the teacher of Alexander the Great who was born in Stagira. What is interesting here is that the definite descriptions given as the possible senses of this proper name do themselves contain proper names too. Since the sense is something compositional for Frege, which means the sense of a linguistic sign is determined by its constituents (if there are any), in order to determine the sense of definite descriptions in question, we should first determine the senses of proper names they contain and substitute these senses with the proper names themselves. This process should continue until no proper name remains. However, it does not seem easy to find a definite description which describes the object of a proper name uniquely but contains no proper name itself. For instance, could we find appropriate senses that contain no proper name for “Plato”, “Alexander the Great” and “Stagira”? It does not seem likely. A problem of infinite regress appears to arise. Can Frege solve this problem, which poses a serious threat for his sensereference distinction? I will explore this problem in this paper. After explaining the problem, I will discuss the options (e.g. turning to indexicals or context restriction) Frege can take to deal with it. (shrink)

When you think about a particular object, what makes your thought about that object? Roderick Chisholm, Ernest Sosa and Michael McKinsey have defended 'latitudinarian', 'descriptivist', or what I call 'liberal' answers to that question. In this paper I carefully consider the motivation for these liberal views and show how it extends in unanticipated ways to motivate views that are considerably more liberal.

Once symbolized by a burning armchair, experimental philosophy has in recent years shifted away from its original hostility to traditional methods. Starting with a brief historical review of the experimentalist challenge to traditional philosophical practice, this chapter looks at research undercutting that challenge, and at ways in which experimental work has evolved to complement and strengthen traditional approaches to philosophical questions.

I will develop a new problem for almost all realist theories of colour. The problem involves fluctuations in our colour experiences that are due to visual noise rather than changes in the objects we are looking at.

This paper compares tracking and phenomenal intentionality theories of intentionality with respect to the issue of naturalism. Tracking theories explicitly aim to naturalize intentionality, while phenomenal intentionality theories generally do not. It might seem that considerations of naturalism count in favor of tracking theories. We survey key considerations relevant to this claim, including some motivations for and objections to the two kinds of theories. We conclude by suggesting that naturalistic considerations may in fact support phenomenal intentionality theories over tracking theories.

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

This paper argues that a priori justification is, in principle, compatible with naturalism—if the a priori is understood in a way that is free of the inessential properties that, historically, have been associated with the concept. I argue that empirical indefeasibility is essential to the primary notion of the a priori ; however, the indefeasibility requirement should be interpreted in such a way that we can be fallibilist about apriori-justified claims. This fallibilist notion of the a priori accords with the (...) naturalist’s commitment to scientific methodology in that it allows for apriori-justified claims to be sensitive to further conceptual developments and the expansion of evidence. The fallibilist apriorist allows that an a priori claim is revisable in only a purely epistemic sense. This modal claim is weaker than what is required for a revisability thesis to establish empiricism, so fallibilist apriorism represents a distinct position. (shrink)

semantic minimalism and moderte contextualism.

Even after Willard Quine’s critique of the analytic-synthetic distinction in “Two Dogmas of Empiricism,” Wilfrid Sellars maintained some forms of analyticity or truth in virtue of meaning. In this article, I aim to reconstruct (a) his neglected account of the analytic-synthetic distinction and the revisability of analytic sentences, (b) its connection to his inferentialist account of meaning, and (c) his response to Quine. While Sellars’s account of the revisability of analytic sentences bears certain similarities to Carnap’s and Grice and Strawson’s (...) accounts, it is still striking in that it is part of his broader picture of how our language develops dynamically in our ongoing inquiry. I aim to show how it relates to his account of how the diachronic continuity in meaning, language, or conceptual framework can be preserved through a revision of analytic sentences and to his evolutionary account of the development of our language or conceptual framework. (shrink)

Interdisciplinary investigations marry the methods and concerns of different fields. Computer science is the study of precise descriptions of finite processes; semantics is the study of meaning in language. Thus, computational semantics embraces any project that approaches the phenomenon of meaning by way of tasks that can be performed by following definite sets of mechanical instructions. So understood, computational semantics revels in applying semantics, by creating intelligent devices whose broader behavior fits the meanings of utterances, and not just their form. (...) IBM’s Watson (Ferrucci, Brown, Chu-Carroll, Fan, Gondek, Kalyanpur, Lally, Murdock, Nyberg, Prager, Schlaefer & Welty 2010) is a harbinger of the excitement and potential of this technology. (shrink)

A systematic theory of naturalism, bridging metaphysics and the science of complexity and emergence.

Perhaps the two main contemporary formulations of ethical naturalism – Synthetic Ethical Naturalism (SEN) and Analytical Descriptivism – seem to conflict with plausible views about cases where moral debate and disagreement is possible. Both lack safeguards to avoid divergence of reference across different communities, which can scupper the prospects for genuine moral disagreement. I explore the prospects for supplementing both views with Lewis's notion of eligibility, arguing that this can solve the problem for a modified form of analytical descriptivism, and (...) for a modified form of SEN too (though perhaps more controversially). I close by considering the appropriateness of using the notions of eligibility and joint-carving in ethics. (shrink)

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)