What sorts of things are the intuitions generated via thought experiment? Timothy Williamson has responded to naturalistic skeptics by arguing that thought-experiment intuitions are judgments of ordinary counterfactuals. On this view, the intuition is naturalistically innocuous, but it has a contingent content and could be known at best a posteriori. We suggest an alternative to Williamson's account, according to which we apprehend thought-experiment intuitions through our grasp on truth in fiction. On our view, intuitions like the Gettier intuition are necessarily (...) true and knowable a priori. Our view, like Williamson's, avoids naturalistic skepticism. (shrink)

There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical realism. It (...) is hard to see how one might argue, on epistemological grounds, for moral antirealism while maintaining commitment to mathematical realism. But it may be possible to do the opposite. (shrink)

According to the most popular non-skeptical views about intuition, intuitions justify beliefs because they are based on understanding. More precisely: if intuiting that p justifies you in believing that p it does so because your intuition is based on your understanding of the proposition that p. The aim of this paper is to raise some challenges for accounts of intuitive justification along these lines. I pursue this project from a non-skeptical perspective. I argue that there are cases in which intuiting (...) that p justifies you in believing that p, but such that there is no compelling reason to think this is because your intuition is based on your understanding of the proposition that p. (shrink)

The traditional epistemological approach towards judgments like BACHELORS ARE UNMARRIED or ALL KNOWLEDGE IS TRUE is that they are justified or known on the basis of understanding alone. In this paper, I develop an understanding-based account which takes understanding to be a sufficient source of epistemic justification for the relevant judgments. Understanding-based accounts face the problem of the rational revisability of almost all human judgments. Williamson has recently developed a reinforced version of this problem: the challenge from expert revisability. This (...) is the problem that even the best candidate judgments for understanding-based justification can be rationally rejected by the relevant experts, who may not even have any disposition or inclination to accept these judgments. However, I argue that expert revisability is fully compatible with the proposed understanding-based epistemology, because expert revisability is true of sufficient sources of epistemic justification in general. A remaining metaphysical worry is that understanding might end up being ‘too thin’ to play the envisaged epistemological role. This worry can be countered with a novel metaphysics of understanding involving second-order dispositions. (shrink)

Motivational externalists and internalists of various sorts disagree about the circumstances under which it is conceptually possible to have moral opinions but lack moral motivation. Typically, the evidence referred to are intuitions about whether people in certain scenarios who lack moral motivation count as having moral opinions. People’s intuitions about such scenarios diverge, however. I argue that the nature of this diversity is such that, for each of the internalist and externalist theses, there is a strong prima facie reason to (...) reject it. That much might not be very controversial. But I argue further, that it also gives us a strong prima facie reason to reject all of these theses. This is possible since there is an overlooked alternative option to accepting any of them: moral motivation pluralism , the view that different internalist and externalist theses correctly accounts for different people’s concepts of moral opinions, respectively. I end the paper with a discussion of methodological issues relevant to the argument for moral motivation pluralism and of the consequences of this view for theories about the nature of moral opinions, such as cognitivism and non-cognitivism. (shrink)

In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly (...) defining the number operator, what advantage, if any, does adopting this course possess over a direct stipulation of the Dedekind-Peano axioms? This paper attempts to answer them. In response to the first, we spell out the links between the recognition of numerical terms as vehicles of singular reference and the conception of numbers as possible objects of singular, or object-directed, thought, and the role of the acknowledgement of numbers as objects in the neo-Fregean attempt to justify the basic laws of arithmetic. In response to the second, we argue that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former stipulation can, but the latter cannot, play the required foundational role. (shrink)

Truthmakers are supposed to explain the truth of propositions, but it is unclear what kind of explanation truthmakers can provide. In this paper, I argue that ‘truthmaker explanations’ conflate two different explanatory projects. The first project is essentially concerned with truth, while the second project is concerned with reductive explanation. It is the latter project, I maintain, which is really central to truthmaking theory. On this basis, a general account of truthmaking can be formulated, which, when combined with a specific (...) theory of reduction (the ‘conceptual entailment approach’), yields a new analysis of truthmaking. This analysis is intuitively appealing and avoids the problem of necessary truths, which poses a serious obstacle for standard accounts. (shrink)

Several philosophers have recently defended Causal Essentialism—the view that every property confers causal powers, and whatever powers it confers, it confers essentially. I argue that on the face of it, Causal Essentialism implies a form of Monism, and in particular, the thesis I call ‘Mereological Monism’: that there is some concretum that is a part of every concretum. However, there are three escape routes, three views which are such that if one of them is true, Causal Essentialism does not imply (...) any form of Monism at all. I survey the costs associated with taking these escape routes along with the costs associated with accepting Mereological Monism. (shrink)

Easy Ontologists, most notably Thomasson (2015), argue that ontological questions are shallow. They think that these questions can either be answered by using our ordinary conceptual competence—of course tables exist!—or are meaningless, or else should be answered through conceptual re-engineering. Ontology thus is “easy”, requiring no distinctively metaphysical investigation. This paper raises a two-stage objection to Easy Ontology. We first argue that questions concerning which entities exist are inextricably bound up with “ontological category questions”, which are questions concerning the identity (...) of and differences between kinds of entities. We then argue that ontological category questions do not have trivial answers, are meaningful, and cannot be answered through conceptual re-engineering. Easy Ontology hence does not constitute a comprehensive ontological methodology. While some of ontology might be easy, category questions form a central part of ontology and are not answered easily. (shrink)

Gödel argued that intuition has an important role to play in mathematical epistemology, and despite the infamy of his own position, this opinion still has much to recommend it. Intuitions and folk platitudes play a central role in philosophical enquiry too, and have recently been elevated to a central position in one project for understanding philosophical methodology: the so-called ‘Canberra Plan’. This philosophical role for intuitions suggests an analogous epistemology for some fundamental parts of mathematics, which casts a number of (...) themes in recent philosophy of mathematics (concerning a priority and fictionalism, for example) in revealing new light. (shrink)

In this paper, I argue from a metasemantic principle to the existence of analytic sentences. According to the metasemantic principle, an external feature is relevant to determining which concept one expresses with an expression only if one is disposed to treat this feature as relevant. This entails that if one isn’t disposed to treat external features as relevant to determining which concept one expresses, and one still expresses a given concept, then something other than external features must determine that one (...) does. I argue that, in such cases, what determines that one expresses the concept also puts one in a position to know that certain sentences are true—these sentences are thus analytic relative to this determination basis. Finally, I argue that there are such cases: some sentences are analytic relative to what determines that we express certain key concepts, and these sentences include ones that have always been thought to be the best candidates for being analytic, namely, stipulative truths, and first principles of mathematics. (shrink)

Expressivists traditionally explain normative supervenience by saying it is a conceptual truth. I argue against this tradition in two steps. First, I show the modal claim that stands in need of explanation has been stated imprecisely. Classic arguments in metaethics for normative supervenience and those that rely on it as a premise presuppose a constraint on the supervenience base that is rarely (if ever) made explicit: the repeatability of the non-normative properties on which the normative supervenes. Non-normative properties are repeatable (...) when it is possible for numerically distinct individuals to share them. Second, I show if the modal truth that stands in need of explanation entails that there are individuals exactly alike in repeatable non-normative respects that cannot normatively differ, then standard expressivist accounts of normative supervenience as a conceptual truth are unsuccessful. Expressivist metasemantics for normative terms, together with constitutive facts about the non-cognitive attitudes essentially involved in normative thought, strongly suggest that repeatable supervenience could not be a conceptual truth. I argue, finally, that although repeatable supervenience bears the marks of a conceptual truth, expressivists should be content to treat it as an ordinary normative truth, and to explain it the same way they explain other normative truths. (shrink)

Truthmaker theorists hold that propositions about higher-level entities (e.g. the proposition that there is a heap of sand) are often made true by lower-level entities (e.g. by facts about the configuration of fundamental particles). This generates a problem: what should we say about these higher-level entities? On the one hand, they must exist (since there are true propositions about them), on the other hand, it seems that they are completely superfluous and should be banished for reasons of ontological parsimony. Some (...) truthmaker theorists—most prominently David Armstrong—have tried to solve this puzzle by arguing that these entities are ‘an ontological free lunch’, i.e. real existents that are still ‘no addition of being’. This answer is prima facie attractive, but I argue in this paper that the standard approaches to truthmaking—modal theories and grounding theories—are unable to vindicate the doctrine of the ontological free lunch, and thus fail to solve the problem of higher-level entities. Fortunately, there is a non-standard account of truthmaking available, the reductive explanation account, which succeeds where the standard approaches fail. (shrink)

Although there has been a recent swell of interest in theories of truth that attempt solutions to the liar paradox and the other paradoxes affecting our concept of truth, many of these theories have been criticized for generating new paradoxes, called revenge paradoxes. The criticism is that the theories of truth in question are inadequate because they only work for languages lacking in the resources to generate revenge paradoxes. Theorists facing these objections offer a range of replies, and the matter (...) seems now to be at a standoff. I aim, first, to bolster the revenge objections by considering a relation, internalizability, between languages and theories of truth. A theory of truth is internalizable for a language iff there is an extension of that language in which the theory is expressible and for which the theory provides an accurate and complete assignment of semantic values. There are good reasons to think that acceptable theories of truth are internalizable for any language. With this internalizability requirement in hand, I argue that properly formulated revenge objections are decisive and that the replies to them are inadequate. Second, I show that the internalizability requirement can be met by a certain theory of truth. The central claim of this theory is that truth is an inconsistent concept and should be replaced with a pair of consistent concepts that can then be used to provide a semantics for our truth predicates. This theory is compatible with classical logic, does not give rise to revenge paradoxes of any kind, and satisfies the internalizability requirement. (shrink)

In this paper, I introduce and defend a notion of analyticity for formal languages. I first uncover a crucial flaw in Timothy Williamson’s famous argument template against analyticity, when it is applied to sentences of formal mathematical languages. Williamson’s argument targets the popular idea that a necessary condition for analyticity is that whoever understands an analytic sentence assents to it. Williamson argues that for any given candidate analytic sentence, there can be people who understand that sentence and yet who fail (...) to assent to it. I argue that, on the most natural understanding of the notion of assent when it is applied to sentences of formal mathematical languages, Williamson’s argument fails. Formal analyticity is the notion of analyticity that is based on this natural understanding of assent. I go on to develop the notion of formal analyticity and defend the claim that there are formally analytic sentences and rules of inference. I conclude by showing the potential payoffs of recognizing formal analyticity. (shrink)

This dissertation investigates the plausibility of metaethical relativism, or more specifically, what I call “moral truth-value relativism”: the idea that the truth of a moral statement or belief depends on who utters or has it, or who assesses it. According to the most prevalent variants of this view in philosophical literature – “standard relativism” – the truth-values are relative to people’s moralities, often understood as some subset of their affective or desirelike attitudes. Standard relativism has two main contenders: absolutism – (...) the view that the truth-values of moral statements and beliefs do not vary in that way – and non-cognitivism – the view that moral judgements do not have truth-values, since they express affective or desire-like attitudes rather than beliefs. Almost the entire dissertation concerns the plausibility of standard relativism in contrast to absolutism. Part 1 examines first the two main arguments for standard relativism: that it accounts for the connection between moral judgements and motivation (chapter 2), and for the prevalence of diversity of moral opinion (chapter 3). Then the most common objection is considered: that it is inconsistent with the existence of genuine moral disagreements (chapter 4). I argue that these arguments are inconclusive. Both relativism and absolutism can account for the features discussed. Part 2 focuses on the fact that different people have different strongly held intuitions about the relative or absolute nature of morality. I argue that given a common methodological approach in philosophy and metaethics, which takes such intuitions as evidence of correct analyses, this difference in intuitions suggests that neither a relativist nor absolutist analysis can be correct for everyone’s moral judgements. I argue that this result holds both given semantic internalism (chapter 6) and given semantic externalism (chapter 7). To get one single analysis of everyone’s moral judgements we would have to abandon the intuitionbased methodology. In chapter 8, however, I argue that we can maintain this methodology if we accept analysis pluralism, the view that different analyses hold for different people’s moral judgements. (shrink)

Gaskin's book The Unity of the Proposition is very rich in material. I will focus only on its central thesis: Gaskin holds that Bradley's regress (more precisely, one particular version of it) is not only innocent, but in fact philosophically significant because it plays a crucial role in solving what Gaskin calls the problem of the unity of the proposition . In what follows, I first explain what that problem is meant to be ( section 1 ), then I present (...) and criticise Gaskin's proposal about how Bradley's regress bears on the problem ( section 2 ), and finally I sketch an alternative approach to the problem ( section 3 ). (shrink)

In his essay ‘“Conceptual Truth”’, Timothy Williamson (2006) argues that there are no truths or entailments that are constitutive of understanding the sentences involved. In this reply I provide several examples of entailment patterns that are intuitively constitutive of understanding in just the way that Williamson rejects, and I argue that Williamson’s argument does nothing to show otherwise. Williamson bolsters his conclusion by appeal to a certain theory about the nature of understanding. I argue that his theory fails to consider (...) the role that the structure of a sentence plays in determining its meaning. The cases I present suggest that this role imposes greater cognitive requirements on understanding than Williamson can acknowledge. (shrink)

Samuel Scheffler has recently defended what he calls the ‘afterlife conjecture’, the claim that many of our evaluative attitudes and practices rest on the assumption that human beings will continue to exist after we die. Scheffler contends that our endorsement of this claim reveals that our evaluative orientation has four features: non-experientialism, non-consequentialism, ‘conservatism,’ and future orientation. Here I argue that the connection between the afterlife conjecture and these four features is not as tight as Scheffler seems to suppose. In (...) fact, those with an evaluative orientation that rejects these four features have equally strong moral reasons to endorse the existence of the collective afterlife. (shrink)

In response to Paul Boghossian's objections in ‘Inferentialism and the epistemology of logic’, this paper defends counterexamples offered by Paolo Casalegno and the author to an inferentialist account of what it is to understand a logical constant, on which Boghossian had relied in his explanation of our entitlement to reason according to basic logical principles. The importance for understanding is stressed of non-inferential aspects of the use of logical constants. Boghossian's criteria for individuating concepts are also queried.

ABSTRACT In recent years, debates on same-sex marriage and the recognition of transwomen as women have been raging. These debates often seem to revolve around the meaning of, respectively, the word ‘marriage’ and ‘woman’. That such debates should take place might be puzzling. It seems that if debates on gay and transgender rights revolve around the meaning of these words, then those in favor of same-sex marriage and of the recognition of transwomen as women have no room left to maneuver. (...) However, prima facie, the pro – and anti-, in both cases, have genuine disagreements over the meaning of these words: though the analyses of revisionary theorists are revisionary, they are analyses. Sally Haslanger and other philosophers in her wake have appealed to an anti-descriptivist externalist view of meaning to provide the conceptual foundations of this practice of revisionary theorizing: revisionary analyses bring to light what, unbeknownst to us, these words mean. In this paper, I argue that a descriptivist externalist view should be preferred instead. My argument rests on the thesis that what is contested in these debates is the meaning of the words ‘marriage’ and ‘women’ as used in the law. (shrink)

Frege famously endorsed a principle of Thought-Sentence Correspondence that can be spelt out as follows: (Corr1) For all sentences s, for all thoughts t, if r expresses t, then:if a sense is expressed by a part of s then it is part of t, &(Corr2) For all sentences s, for all thoughts t, if s expresses t, then:if a sense is part of t then it is expressed by at least one part of s. He clearly embraces Corr1 when he (...) writes in § 32 of Grundgesetze, vol. I: ‘If a name is part of the name of a trut... (shrink)

The semantic rules that govern ordinary property discourse appear to give rise to a version of Russell's antinomy. Do we therefore have an inconsistent conception of properties? This paper firstly develops a consistent conception of properties and secondly argues that we may indeed interpret ordinary property discourse as expressing the consistent conception rather than an inconsistent one.

This paper challenges the widespread view that contradictions have semantic content. I argue that contradictory sentences in natural language, taken literally and occurring within assertoric contexts, lack content. I present an extended twofold argument, which rests on a set of considerations about the fundamental connection between meaning-constitutivity in natural language and the semantic status of contradictions. First, I argue that the contradictory negations of analytic statements cannot have semantic content as a necessary condition for the possibility of meaning-constitutive facts in (...) natural language. Second, I argue that the special role of contradictions in the constitution of sameness and difference of content in natural language is incompatible with the view that non-analytic contradictions could have semantic content. These two arguments jointly imply that all contradictions in natural language lack content. (shrink)

According to Wittgenstein, mathematical propositions are rules of grammar, that is, conventions, or implications of conventions. So his position can be regarded as a form of conventionalism. However, mathematical conventionalism is widely thought to be untenable due to objections presented by Quine, Dummett and Crispin Wright. It has also been argued that only an implausibly radical form of conventionalism could withstand the critical implications of Wittgenstein’s rule-following considerations. In this article I discuss those objections to conventionalism and argue that none (...) of them is convincing. (shrink)

What is the role of imagination in a priori knowledge? Here I provide a partial answer, arguing that imagination can be used to shed light on which experiences merely enable knowledge, versus which are evidential. I reach this partial answer by considering in detail Timothy’s Williamson’s recent argument that the a priori/a posteriori distinction is insignificant. There are replies to the argument by Boghossian and Casullo that might work on their own terms, but my reply examines the assumptions that Williamson (...) makes about the role of imagination in knowledge generation. I show that Williamson’s argument does not account for important distinctions from recent discussions of imaginative content. When these distinctions are not ignored, we can see that Williamson’s argument attributes a subject knowledge on the basis of a faulty application of universal generalization. I close by connecting my positive account of the role of imagination in the a priori to a debate about the role of memory in the a priori that played out 25 years ago. (shrink)

In this paper, I present the case of the discovery of complex numbers by Girolamo Cardano. Cardano acquires the concepts of (specific) complex numbers, complex addition, and complex multiplication. His understanding of these concepts is incomplete. I show that his acquisition of these concepts cannot be explained on the basis of Christopher Peacocke’s Conceptual Role Theory of concept possession. I argue that Strong Conceptual Role Theories that are committed to specifying a set of transitions that is both necessary and sufficient (...) for possession of mathematical concepts will always face counterexamples of the kind illustrated by Cardano. I close by suggesting that we should rely more heavily on resources of Anti-Individualism as a framework for understanding the acquisition and possession of concepts of abstract subject matters. (shrink)

This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...) The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

In this article, we defend the semantic theory, Question Under Discussion (QUD) Contextualism about Reasons that we develop in our monograph Semantics for Reasons against a series of objections that focus on whether our semantics can deliver predictions for some common examples, how we defend the semantic theory, and how we assess it compared to its competitors.

Conceptual analysis as traditionally understood can be improved by allowing the use of a certain kind of empirical investigation. The conceptual analysis in which the kind of empirical investigation in question is used can be called “empirical conceptual analysis”. In the present inquiry, I provide a systematic exposition of empirical conceptual analysis, so understood, considering what exactly empirical conceptual analysis is, the different kinds of empirical conceptual analysis, and the main application of the method within philosophy. It can be defined (...) as a method that consists in drawing a conclusion about the semantic application conditions of a predicate on the basis of observation of the manifestations of semantic intuitions. The different kinds of empirical conceptual analysis are distinguished according to the way the manifestations of semantic intuitions are observed. The main application of the method is solving conceptual disputes – situations in which different competent speakers of a language disagree about the semantic application conditions of a predicate from that language, and their disagreement is caused by the fact that they have different semantic intuitions about that predicate. (shrink)

What I will call “the deviant logician objection” [DLO] is one line of attack against the common and compelling tenet that our justification for logical truths is grounded in our understanding of their constituent concepts. This objection seeks to undermine the possibility of any deep constitutive connection, in the epistemology of logic, between understanding and justification. I will consider varieties of the deviant logician objection developed by Horwich and by Williamson. My thesis is that while the deviant logician objection falls (...) short of proving that this traditional tenet must be rejected, nonetheless it serves to bolster some important refinements. (shrink)

There is reason to expect a reasonable account of a priori knowledge to be linked with an account of the nature of conceptual thought. Recent “two-dimensionalist” accounts of conceptual thought propose an extremely direct connection between the two: on such views, being in a position to know a priori a large number of non-trivial propositions is a necessary condition of concept-possession. In this paper I criticize this view, by arguing that it requires an implausibly internalist and intellectualist conception of capacities (...) we bring to bear in applying concepts in experience. Empirical concept-application depends on the exercise of a variety of capacities, many of which can be grouped together under the general label “recognitional”. As I argue, two-dimensionalism cannot accommodate a plausible account of such capacities. This suggests that the link between a priori knowledge and the nature of conceptual thought is not as direct as twodimensionalists take it to be. I close by briefly sketching a different way to think of that link. (shrink)

Among the topics to whose discussion Diego Marconi has contributed outstandingly over the years, two of the most notable are the nature of lexical competence and the status of the law of non-contradiction. The topics are linked by the popular idea that adherence to basic logical laws is a necessary condition of understanding logical words, in particular that adherence to the law of non-contradiction is a necessary condition of understanding words for negation. For example, it may be proposed...

One way to discredit the suggestion that a statement is true just in virtue of its meaning is to observe that its truth is the subject of genuine disagreement. By appealing to the case of the unorthodox philosopher, Timothy Williamson has recast this response as an argument foreclosing any appeal to analyticity. Reconciling Quine’s epistemological holism with his treatment of the ‘deviant logician’, I show that we may discharge the demands of charitable interpretation even while attributing trivial semantic error to (...) Williamson’s philosophers. Williamson’s effort to generalize the argument from disagreement therefore fails. (shrink)