Ned Block; IX*—An Argument for Holism1, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 151–170.

Millians about proper names typically claim that it is knowable apriori that Hesperus is Phosphorus. We argue that they should claim instead that it is knowable only aposteriori that Hesperus is Hesperus, since the Kripke-Putnam epistemic arguments against descriptivism are special cases of Quinean arguments that nothing is knowable apriori, and Millians have no resources to resist the more general Quinean arguments.

Philosophical analysis was the central preoccupation of 20th-century analytic philosophy. In the contemporary methodological debate, however, it faces a number of pressing external and internal challenges. While external challenges, like those from experimental philosophy or semantic externalism, have been extensively discussed, internal challenges to philosophical analysis have received much less attention. One especially vexing internal challenge is that the success conditions of philosophical analysis are deeply unclear. According to the standard textbook view, a philosophical analysis aims at a strict biconditional (...) that captures the necessary and sufficient conditions for membership in the relevant category. The textbook view arguably identifies a necessary condition on successful philosophical analyses, but understood as a sufficient condition it is untenable, as I will argue in this paper. To this end, I first uncover eight conditions of adequacy on successful philosophical analyses, some of which have rarely been spelled out in detail. As we shall see, even sophisticated alternatives to the textbook view fail to accommodate some of these conditions. I then propose the concept grounding view as a more promising account of philosophical analysis. According to this view, successful philosophical analyses require necessary biconditionals that are constrained by grounding relations among the concepts involved. Apart from providing a satisfactory account of philosophical analysis in its own right, the concept grounding view is also able to meet the challenge that the success conditions of philosophical analysis are problematically unclear. (shrink)

This paper examines popular‘conventionalist’explanations of why philosophers need not back up their claims about how‘we’use our words with empirical studies of actual usage. It argues that such explanations are incompatible with a number of currently popular and plausible assumptions about language's ‘social’character. Alternate explanations of the philosopher's purported entitlement to make a priori claims about‘our’usage are then suggested. While these alternate explanations would, unlike the conventionalist ones, be compatible with the more social picture of language, they are each shown to (...) face serious problems of their own. (shrink)

Within his overarching program aiming to defend an epistemic conception of analyticity, Boghossian (1996 and 1997) has offered a clear-cut explanation of how we can acquire a priori knowledge of logical truths and logical rules through implicit definition. The explanation is based on a special template or general form of argument. Ebert (2005) has argued that an enhanced version of this template is flawed because a segment of it is unable to transmit warrant from its premises to the conclusion. This (...) article aims to defend the template from this objection. We provide an accurate description of the type of non-transmissivity that Ebert attributes to the template and clarify why this is a novel type of non-transmissivity. Then, we argue that Jenkins (2008)’s response to Ebert fails because it focuses on doxastic rather than propositional warrant. Finally, we rebut Ebert’s objection on Boghossian’s behalf by showing that it rests on an unwarranted assumption and is internally incoherent. (shrink)

The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.

According to Brandom’s conceptual role semantics, to grasp a concept involves a commitment to drawing certain inferences. This is a consequence of the inferentialist thesis that the meaning of a term is given by its justification through assertibility conditions. Inferential commitments come out from a material notion of inference which underwrites human rational discourse and activity. In this paper I discuss a problem of Brandom’s semantics allegedly exposed in an argument by Paul Boghossian against Dummett’s and Brandom’s substantive conception of (...) meaning. I contend that Boghossian’s analysis is dubious because it overlooks an important difference between Dummett’s and Brandom’s positions related respectively to a monotonic and a non-monotonic view of the norm underwriting meaning. (shrink)

Many philosophers still believe that metaphysically analytic sentences exist, where a sentence is understood to be metaphysically analytic if and only if it is true solely in virtue of its meaning. I provide two arguments against this claim and hence conclude that metaphysically analytic sentences do not exist. Still, some philosophers, however, hold out hope that epistemically analytic sentences exist, where a sentence is epistemically analytic if and only if an agent's understanding the sentence suffices for the agent to be (...) justified in believing that this sentence is true. One such philosopher is Paul Boghossian, whose so-called analytic theory of the a priori is intended to show how epistemically analytic sentences can explain our a priori knowledge of the truths about logic. His theory, however, relies on the dubious Argument by Implicit Definition. I provide an objection to this argument and hence conclude that Boghossian's analytic theory of the a priori fails to vindicate the notion of epistemic analyticity. Still, I concede that just because Boghossian's attempt to do so fails, it does not follow that the notion of epistemic analyticity cannot, in another way, be vindicated. (shrink)

Paul Boghossian (1997) has argued that there is much to be said on behalf of the notion of analyticity so long as we distinguish epistemic analyticity and metaphysical analyticity. In particular, (1) epistemic analyticity isn’t undermined by Quine’s critique of the analytic-synthetic distinction, (2) it can explain the a prioricity of logic, and (3) epistemic analyticity can’t be rejected short of embracing semantic irrealism. In this paper, we argue that all three of these claims are mistaken.

It is often assumed that there is a close connection between Quine's criticism of the analytic/synthetic distinction, in 'Two dogmas of empiricism' and onwards, and his thesis of the indeterminacy of translation, in Word and Object and onwards. Often, the claim that the distinction is unsound (in some way or other) is taken to follow from the indeterminacy thesis, and sometimes the indeterminacy thesis is supported by such a claim. However, a careful scrutiny of the indeterminacy thesis as stated by (...) Quine, and the varieties of the analytic/synthetic distinction, reveals that the two claims are mutually independent. Neither does the claim that the distinction is unsound follow from the indeterminacy thesis, nor that thesis from unsoundness claim, under any of the common interpretations of the analytic/synthetic distinction. (shrink)

Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation is kept (...) constant. However, the received conception of an interpretation as a mapping from language to a model frame hinders keeping the interpretation constant while varying other components of the model. To make room for analyticity, the concept of an interpretation should therefore be revised. The latter should be made richer in content than it has usually been assumed. As a by-product, this revision also gives us a one-dimensional analogue of the influential two-dimensional account of a priori. We are thus able to map out the network of formal connections between the notions of analyticity, apriority, logical truth and necessity. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (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)

This is a two tiered investigation. On the one hand, the author presents a systematic account of the philosophy of Hilary Putnam. Being the first comprehensive account to be published in the German-speaking world, the author traces the development of Putnam's realism and philosophy of language and their connections from the early 1950's to 2000. Contrary to the popular view of the discontinuity of Putnam's philosophy, he demonstrates that Putnam maintains certain semantic, pragmatic and epistemological foundations for the rational confirmability, (...) fallibility and self-corrigibility of theoretical knowledge in the empirical sciences as a constant around which many other philosophical assumptions are allowed to vary under critical examination. The resulting view of Putnam's philosophical "position" is decidedly "anti-metaphysical" (contrary to the common association of his philosophy of language with e.g. Kripke's understanding of realism), but not fully "deflationary" (contrary to the reclamation of his criticism of realist metaphysics as Quinean or Rortyan skepticism). On the other hand, the author generalizes, in the second and third parts of the book, Putnam's now famous theory of meaning and reference to develop a framework for the pragmatics of semantic continuity and discontinuity, as well as conceptual change within general terms in empirical settings, like natural kind terms, theoretical terms in natural sciences and commonsense classifications. The third part presents, develops and defends the basic normative premisses as a pragmatic alternative to both, metaphysical (Kripke, Devitt) and sceptical approaches (Quine, Kuhn). The main result here is that many (if not all) preconditions for the semantic bahvior of 'rigid' general terms are not, as usually assumed, ontological in nature, but can be usefully framed as part of the pragmatics of general terms in epistemic practices counting with rational revisability. (shrink)

This thesis studies whether there is a tenable distinction between a priori justification and a posteriori justification. My research considers three possible conceptions of a priori: Justification Independent of Experience, Mere Meaning Based Justification and Justification by Rational Insight, and examines whether they can provide a sound and significant distinction between a priori and a posteriori. This thesis contains five chapters. Chapter 1 introduces the background knowledge of the a priori/a posteriori distinction. Chapter 2 analyzes the traditional conception of a (...) priori, i.e. justification independent of experience, and considers whether the distinction based on it is tenable. Five approaches for defining “experience” are examined, but none of them succeed in providing a distinction between a priori and a posteriori. Chapter 3 focuses on the empiricist conception of the a priori, i.e. a priori as mere meaning based justification, and argues that the distinction based on it has a problem of classification. Chapter 4 concerns the rationalist conception of the a priori, i.e. a priori as justification by rational insight, and argues that neither the idea of justification by rational insight itself nor the distinctive features of rational insight could provide a distinction between a priori and a posteriori. Given that none of the current major accounts seem to work, we should not be optimistic about the potential for success in accounting for the distinction between a priori and a posteriori. In the last chapter, I will conclude the thesis and point out the implication of abandoning the a priori/a posteriori distinction: a need to reform our understanding of the nature of different sources of justification and knowledge. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (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)

Think of this paper as an exercise in applied philosophy of language. It has both semantic and deontic concerns. More than about the meaning of ‘marriage,’ it is about how one goes about determining the meaning of social kind terms like ‘marriage’. But it is equally about the place of philosophy of language in the legislative sphere, and inter alia, about the roles and responsibilities of philosophers in public life.

Empiricist philosophers like Carnap invoked analyticity in order to explain a priori knowledge and necessary truth. Analyticity was “truth purely in virtue of meaning”. The view had a deflationary motivation: in Carnap’s proposal, linguistic conventions alone determine the truth of analytic sentences, and thus there is no mystery in our knowing their truth a priori, or in their necessary truth; for they are, as it were, truths of our own making. Let us call this “Carnapian conventionalism”, conventionalismC and cognates for (...) short. This conventionalistC explication of the a priori has been the target of sound criticisms. Arguments like Quine’s in “Truth by Convention” are in our view decisive: the truth of conventionalismC requires that the class of logical truths and logical validities be reductively accounted for as conventionally established; however, no such reduction is forthcoming, because logic is needed to generate the entire class from any given set of conventions properly so-called. Granted that conventionalismC is untenable, we want to take issue with a different, usually made criticism. Although the argument uncovers some difficulties for the way conventionalist claims are defended by some of its advocates, we will try to show that it fails. The criticism thus stands in the way of a proper appreciation of why the Carnapian account of the a priori is not correct. We will try to illustrate this by showing that the criticism we will dispute would dispose of conventionalist claims not only regarding philosophically problematic cases – logical and mathematical truths –, but also regarding cases for which they have some prima facie plausibility. One such case is that of truths that follow from mere abbreviations, “nominal” definitions; ‘someone is a bachelor if and only if he is an unmarried adult male’ can serve at this point for illustration. We will try to articulate a clear sense in which the contents of assertion such as this can be truths by convention. We do not need to prove that a conventionalist claim is true in those cases; it is enough for us to show that it is intelligible, for the arguments we will confront question even this. (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)

Donald Davidson contributed to the discussion of logical form in two ways. On the one hand, he made several influential suggestions on how to give the logical forms of certain constructions of natural language. His account of adverbial modification and so called action-sentences is nowadays, in some form or other, widely employed in linguistics (Harman (forthcoming) calls it "the standard view"). Davidson's approaches to indirect discourse and quotation, while not as influential, also still attract attention today. On the other hand, (...) Davidson provided a general account of what logical form is. This paper is concerned with this general account. Its foremost aim is to give a faithful and detailed picture of what, according to Davidson, it means to give the logical form of a sentence. The structure of the paper is as follows. (1) I will first informally introduce a notion of logical form as the form that matters in certain kinds of entailments, and indicate why philosophers have taken an interest in such a notion. (2) The second section develops constraints that we should arguably abide by in giving an account of logical form. (3) I then turn to Davidson’s view of what is involved in giving such an account. To this end, I will try to reconstruct Davidson’s view of the connection between an assignment of logical forms, a truth theory and a meaning theory. (4) Finally, I will briefly discuss possible problems of Davidson’s account as developed in this paper. (shrink)

There has been some degree of scepticism regarding the intelligibility of the notion of truth in virtue of meaning – which has come to be known as metaphysical notion of analyticity – ever since W. V. Quine’s famous attack. Such scepticism has been forcefully reinforced by Paul Boghossian, and more recently by Timothy Williamson. My main aim is to defend this sceptical stance. I argue that, understood literally, we are right to repudiate this notion of analyticity. But understood less literally, (...) we might find it less objectionable. Drawing from two-dimensional approaches to semantics, I offer what could be a new way of understanding the metaphysical notion of analyticity, one that does not suffer from the problems associated with the old notion of metaphysical analyticity. I argue that despite its intelligibility, this new notion does not seem to capture a semantic phenomenon deserving of the name ‘analytic’ or if it does it fails to capture the kind of semantic phenomenon necessary for the empiricist account of the a priori. (shrink)

Critical review of Gillian Russell's "Truth in Virtue of Meaning".

In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of the constants would presuppose (...) knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (shrink)

Paul Benacerraf’s argument that mathematical realism is apparently incompatible with mathematical knowledge has been widely thought to also show that a priori knowledge in general is problematic. Although many philosophers have rejected Benacerraf’s argument because it assumes a causal theory of knowledge, some maintain that Benacerraf nevertheless put his finger on a genuine problem, even though he didn’t state the problem in its most challenging form. After diagnosing what went wrong with Benacerraf’s argument, I argue that a new, more challenging, (...) version of Benacerraf’s problem can be constructed. The new version—what I call the Defeater Version—of Benacerraf’s problem makes use of a no-defeater condition on knowledge and justification. I conclude by arguing that the best way to avoid the problem is to construct a theory of how a priori judgments reliably track the facts. I also suggest four different kinds of theories worth pursuing. (shrink)

The Gettier problem has stymied epistemologists. But, whether or not this problem is resolvable, we still must face an important question: Why does the Gettier problem arise in the first place? So far, philosophers have seen it as either a problem peculiar to the concept of knowledge, or else an instance of a general problem about conceptual analysis. But I would like to steer a middle course. I argue that the Gettier problem arises because knowledge is a thick concept, and (...) a Gettier-like problem is just what we should expect from attempts at analyzing a thick concept. Section 2 is devoted to establishing the controversial claim that knowledge is thick, and, in Sect. 3, I show that there is a general problem for analyzing thick concepts of which the Gettier problem is a special instance. I do not take a stand on whether the Gettier problem, or its general counterpart, is resolvable. My primary aim is to bring these problems into better focus. (shrink)

The paper argues that the theory of Implicit Definition cannot give an account of knowledge of logical principles. According to this theory, the meanings of certain expressions are determined such that they make certain principles containing them true; this is supposed to explain our knowledge of the principles as derived from our knowledge of what the expressions mean. The paper argues that this explanation succeeds only if Implicit Definition can account for our understanding of the logical constants, and that fully (...) understanding a logical constant in turn requires the ability to apply it correctly in particular cases. It is shown, however, that Implicit Definition cannot account for this ability, even if it draws on introduction rules for the logical constants. In particular, Implicit Definition cannot account for our ability to apply negation in particular cases. Owing to constraints relating to the unique characterisation of logical constants, invoking the notion of rejection does not remedy the situation. Given its failure to explain knowledge of logic, the prospects of Implicit Definition to explain other kinds of a priori knowledge are even worse. (shrink)

According to inferential role semantics (IRS), for an expression to have a particular meaning or express a certain concept is for subjects to be disposed to make, or to treat as proper, certain inferential transitions involving that expression.1 Such a theory of meaning is holistic, since according to it the meaning or concept any given expression possesses or expresses depends on the inferential relations it stands in to other expressions.

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)

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (shrink)

This thesis aims to develop a psychologically plausible account of concepts by integrating key insights from philosophy (on the metaphysical basis for concept possession) and psychology (on the mechanisms underlying concept acquisition). I adopt an approach known as informational atomism, developed by Jerry Fodor. Informational atomism is the conjunction of two theses: (i) informational semantics, according to which conceptual content is constituted exhaustively by nomological mind–world relations; and (ii) conceptual atomism, according to which (lexical) concepts have no internal structure. I (...) argue that informational semantics needs to be supplemented by allowing content-constitutive rules of inference (“meaning postulates”). This is because the content of one important class of concepts, the logical terms, is not plausibly informational. And since, it is argued, no principled distinction can be drawn between logical concepts and the rest, the problem that this raises is a general one. An immediate difficulty is that Quine’s classic arguments against the analytic/synthetic distinction suggest that there can be no principled basis for distinguishing content-constitutive rules from the rest. I show that this concern can be overcome by taking a psychological approach: there is a fact of the matter as to whether or not a particular inference is governed by a mentally-represented inference rule, albeit one that analytic philosophy does not have the resources to determine. I then consider the implications of this approach for concept acquisition. One mechanism underlying concept acquisition is the development of perceptual detectors for the objects that we encounter. I investigate how this might work, by drawing on recent ideas in ethology on ‘learning instincts’, and recent insights into the neurological basis for perceptual learning. What emerges is a view of concept acquisition as involving a complex interplay between innate constraints and environmental input. This supports Fodor’s recent move away from radical concept nativism: concept acquisition requires innate mechanisms, but does not require that concepts themselves be innate. (shrink)

The essay addresses the well‐known idea that there has to be a place for intuition, thought of as a kind of non‐inferential rational insight, in the epistemology of basic logic if our knowledge of its principles is non‐empirical and is to allow of any finite, non‐circular reconstruction. It is argued that the error in this idea consists in its overlooking the possibility that there is, properly speaking, no knowledge of the validity of principles of basic logic. When certain important distinctions (...) are observed, for instance that between recognising that Modus Ponenes is sound and recognising that it is proof against the competent discovery of basic counterexamples, the case for thinking that there is indeed no space for genuine recognition of the validity of Modus Ponens becomes increasingly impressive. It is argued however that, the impossibility of knowledge notwithstanding, we are, in an important sense, entitled to take it that Modus Ponens is sound and that this notion of entitlement can help break the trichotomy ‐ intuition, inference, experience ‐ which imprisons our ordinary thinking about logical knowledge. (shrink)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining fundamentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental representations of elements (...) of the arithmetical structure of the independent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists. Preliminaries Justifying and grounding concepts Cameras and filters An epistemology for arithmetic Concluding remarks. (shrink)

According to the so-called metaphysical conception of analyticity, analytic truths are true in virtue of meaning (or content) alone and independently of (extralinguistic) facts. Quine and Boghossian have tried to present a conclusive argument against the metaphysical conception of analyticity. In effect, they tried to show that the metaphysical conception inevitably leads into a highly implausible view about the truthmakers of analytic truths. We would like to show that their argument fails, since it relies on an ambiguity of the notion (...) of 'independence of (extralinguistic) facts'. If one distinguishes between variation independence and existence independence, the unwelcome view about the truthmakers of analytic truths no longer follows. Thus, there is at best a challenge, but no conclusive argument. The door to the metaphysical conception of analyticity is still open. (shrink)

A growing number of philosophers and linguists have argued that many, if not most, terms in our language should be understood as semantically context sensitive. In opposition to this trend, Herman Cappelen and Ernie Lepore defend a view they call "Semantic Minimalism", which holds that there are virtually no semantically context sensitive expressions in English once you get past the standard list of indexicals and demonstratives such as "I", "you", "this", and "that". While minimalism strikes many as obviously false, it (...) will be argued here that the view is more plausible than commonly assumed if one accepts the 'normative' conception of the relation between meaning and use characteristic of the literature on semantic externalism. That said, it is not clear that Cappelen and Lepore always conceive of their minimal semantic contents in this more normative fashion, and once this framework is place, a version of 'moderate contextualism' that they do not consider comes into view. (shrink)

Officially, for Kant, judgments are analytic iff the predicate is "contained in" the subject. I defend the containment definition against the common charge of obscurity, and argue that arithmetic cannot be analytic, in the resulting sense. My account deploys two traditional logical notions: logical division and concept hierarchies. Division separates a genus concept into exclusive, exhaustive species. Repeated divisions generate a hierarchy, in which lower species are derived from their genus, by adding differentia(e). Hierarchies afford a straightforward sense of containment: (...) genera are contained in the species formed from them. Kant's thesis then amounts to the claim that no concept hierarchy conforming to division rules can express truths like '7+5=12.' Kant is correct. Operation concepts ( ) bear two relations to number concepts: and are inputs, is output. To capture both relations, hierarchies must posit overlaps between concepts that violate the exclusion rule. Thus, such truths are synthetic. (shrink)

According to inferential role semantics, for any given expression to possess a particular meaning one must be disposed to make or, alternatively, acknowledge as correct certain inferential transitions involving it. As Williamson points out, pejoratives such as ‘Boche’ seem to provide a counter-example to IRS. Many speakers are neither disposed to use such expressions nor consider it proper to do so. But it does not follow, as IRS appears to entail, that such speakers do not understand pejoratives or that they (...) lack meaning. In this paper, I examine recent responses to this problem by Boghossian and Brandom and argue that their proposed construal of the kind of inferential rules governing a pejorative such as ‘Boche’ is to be ruled out on the grounds that it is non-conservative. I defend the appeal to conservatism in this instance against criticism and, in doing so, propose an alternative approach to pejoratives on behalf of IRS that resolves the problem Williamson poses. (shrink)

Once a standard tool in the epistemologist’s kit, the analytic/synthetic distinction was challenged by Quine and others in the mid-twentieth century and remains controversial today. But although the work of a lot contemporary philosophers touches on this distinction – in the sense that it either has consequences for it, or it assumes results about it – few have really focussed on it recently. This has the consequence that a lot has happened that should affect our view of the analytic/synthetic distinction, (...) while little has been done to work out exactly what the effects are. All these features together make the topic ideal for either a survey or research seminar at the graduate level: it can provide an organising theme which justifies a spectrum of classic readings from Locke to Williamson, passing though Kant, Frege, Carnap, Quine and Kripke on the way, but it could also provide an excuse for a much more narrowly construed research seminar which studies the consequences of really contemporary philosophy of language and linguistics for the distinction. (shrink)

Hume argued that inductive inferences do not have rational justification. My aim is to reject Hume’s argument. The discussion is partly motivated by an analogy with Carroll’s Paradox, which concerns deductive inferences. A first radically externalist reply to Hume (defended by Dauer and Van Cleve) is that justified inductive inferences do not require the subject to know that nature is uniform, though the uniformity of nature is a necessary condition for having the justification. But then the subject does not have (...) reasons for believing what she believes. I defend a moderate externalist account that seeks to partly accommodate that objection to the radical externalist proposal. It is based on an extension of Peacocke’s theory of concepts: possession conditions for predicative concepts standing for natural properties include (fallible) dispositions to project them to new cases in accordance with inductive inferential patterns. (shrink)

In this paper I will argue that Boghossian's explanation of how we can acquire a priori knowledge of logical principles through implicit definitions commits a transmission of warrant-failure. To this end, I will briefly outline Boghossian's account, followed by an explanation of what a transmission of warrant-failure consists in. I will also show that this charge is independent of the worry of rule-circularity which has been raised concerning the justification of logical principles and of which Boghossian is fully aware. My (...) argument comes in two steps: firstly, I will argue for the insufficiency of Boghossian's template which is meant to explain how a subject can acquire a warrant for logical principles. I will show however that this insufficiency of his template can be remedied by adopting what I call the Disquotational Step. Secondly, I will argue that incorporating this further step makes his template subject to a transmission of warrant-failure, assuming that certain rather basic and individually motivated principles hold. Thus, Boghossian's account faces a dilemma: either he adopts the Disquotational Step and subjects his account to the charge of a transmission of warrant-failure, or he drops this additional step leaving the account confronted with explaining the gap that has previously been highlighted. I will then suggest various rejoinders that Boghossian might adopt but none of which - I will argue - can resolve the dilemma. Lastly, I will raise and briefly discuss the question whether this worry generalizes to other accounts, such as Hale and Wright's that aim to explain our knowledge of logic and/or mathematics in virtue of implicit definitions. (shrink)

A certain ‘pragmatist’ view of concept possession has defined the mainstream of Anglophone philosophy of language/mind for decades: namely, that to have the concept C is to be able to distinguish Cs from non‐Cs, and/or to recognize the validity of certain C‐involving inferences. The present paper offers three arguments why no such account could be viable. An alternative ‘Cartesian’ view is outlined, according to which having C is being able to think about Cs ‘as such’. Some consequences of the proposed (...) paradigm shift are briefly considered. (shrink)

In the past few years, a number of philosophers ; Horgan and Tienson 2002; Pitt 2004) have maintained the following three theses: there is a distinctive sort of phenomenology characteristic of conscious thought, as opposed to other sorts of conscious mental states; different conscious thoughts have different phenomenologies; and thoughts with the same phenomenology have the same intentional content. The last of these three claims is open to at least two different interpretations. It might mean that the phenomenology of a (...) thought expresses its intentional content, where intentional content is understood as propositional, and propositions are understood as mind-and language-independent abstract entities. And it might mean that the phenomenology of a thought is its intentional content—that is, that the phenomenology of a thought, like the phenomenology of a sensation, constitutes its content. The second sort of view is a kind of psychologism. Psychologistic views hold that one or another sort of thing—numbers, sentences, propositions, etc.—that we can think or know about is in fact a kind of mental thing. Since Frege, psychologism has been in bad repute among analytic philosophers. It is widely held that Frege showed that such views are untenable, since, among other things, they subjectivize what is in fact objective, and, hence, relativize such things as consistency and truth to the peculiarities of human psychology. The purpose of this paper is to explore the consequences of the thesis that intentional mental content is phenomenological and to try to reach a conclusion about whether it yields a tenable view of mind, thought and meaning. I believe the thesis is not so obviously wrong as it will strike many philosophers of mind and language. In fact, it can be defended against the standard objections to psychologism, and it can provide the basis for a novel and interesting account of mentality. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

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)

The distinction between the a priori and the a posteriori is an old and influential one. But both the distinction itself and the crucial notion of a priori knowledge face powerful philosophical challenges. Many philosophers worry that accepting the a priori is tantamount to accepting epistemic magic. In contrast, this Element argues that the a priori can be formulated clearly, made respectable, and used to do important epistemological work. The author's conception of the a priori and its role falls short (...) of what some historical proponents of the notion may have hoped for, but it allows us to accept and use the notion without abandoning either naturalism or empiricism, broadly understood. This Element argues that we can accept and use the a priori without magic. (shrink)

In this thesis, I will explore the epistemological evolutionary debunking arguments in meta-ethics. I will defend these arguments by accomplishing two tasks: I will offer the best way to understand the EDA and I will also respond to two strongest objections to the EDA. Firstly, in Part I of this thesis, I will offer my account of how the EDA should be best formulated. I will start from how evolution has significantly influenced our moral beliefs. I will then explain why, (...) due to their evolutionary origin, our moral beliefs are not tracking the moral truth reliably. Furthermore, I will argue that the fact that our moral beliefs are not tracking the moral truth also provides an undercutting and a higher-order defeater for those beliefs. As a result, I will conclude that the epistemic status of our moral beliefs is undermined because of these two kinds of defeaters. Secondly, in Part II of this thesis, I will turn my attention to the two strongest objections to the EDA – the Conceptual Truth Objection and the Third Factor Objection. I will first offer two responses to the Conceptual Truth Objection and, based on these two responses, I will argue that the Conceptual Truth Objection fails as a challenge to the EDA. I will then also argue that there currently doesn’t exist an acceptable version of the Third Factor Objection and it is also unlikely that such a version could be constructed in the future. I will finally conclude that both objections are problematic and they are thus unable to give us reason to doubt the EDA. (shrink)

I argue against inferentialism about logic. First, I argue against an analogy between logic and chess, before considering a more basic objection to stipulating inference rules as a way of establishing the meaning of logical constants. The objectionthe Mushroom Omelette Objectionis that stipulative acts are partly constituted by logical notions, and therefore cannot be used to explain logical thought. I then argue that the same problem also attaches to following existing conventional rules, since either those rules have logical contents, or (...) following those conventional rules is done for logical reasons. Lastly, I compare this argument with other arguments found in Quine’s early work, and consider two attempts to reply to Quine. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)