Duhem—Quine underdetermination plays a constructive role in epistemology by pinpointing the impact of non-empirical virtues or cognitive values on theory choice. Underdetermination thus contributes to illuminating the nature of scientific rationality. Scientists prefer and accept one account among empirical equivalent alternatives. The non-empirical virtues operating in science are laid open in such theory choice decisions. The latter act as an epistemological test tube in making explicit commitments to how scientific knowledge should be like.

In this paper, I will show that the Miracle Argument is unsound if one assumes a certain form of transient underdetermination. For this aim, I will first discuss and formalize several variants of underdetermination, especially that of transient underdetermination, by means of measure theory. I will then formalize a popular and persuasive form of the Miracle Argument that is based on "use novelty". I will then proceed to the proof that the miracle argument is unsound by means of a mathematical (...) example. Finally, I will expose two hidden presuppositions of the Miracle Argument that make it so immensely though deceptively persuasive. (shrink)

In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

This article aims to give an overview of Carnap's 1928 book Logical Structure of the World or Aufbau and the most influential interpretations of its significance. After giving an outline of the book in Section 2 , I turn to the first sustained interpretations of the book offered by Goodman and Quine in Section 3 . Section 4 explains how this empirical reductionist interpretation was largely displaced by its main competitor. This is the line of interpretation offered by Friedman and (...) Richardson which focuses on issues of objectivity. In Section 5 , I turn to two more recent interpretations that can be thought of as emphasizing Carnap's concern with rational reconstruction. Finally, the article concludes by noting some current work by Leitgeb that aims to develop and update some aspects of the Aufbau project for contemporary epistemology. (shrink)

It is commonplace in cognitive science that concepts are individuated in terms of the roles they play in the cognitive lives of thinkers, a view that Jerry Fodor has recently been dubbed ‘Concept Pragmatism’. Quinean critics of Pragmatism have long argued that it founders on its commitment to the analytic/synthetic distinction, since without such a distinction there is plausibly no way to distinguish constitutive from non-constitutive roles in cognition. This paper considers Fodor’s empirical arguments against analyticity, and in particular his (...) arguments against lexical decomposition and definitions, and argues that Concept Pragmatists have two viable options with respect to them. First, Concept Pragmatists can confront them head-on, and argue that they do not show that lexical items are semantically primitive or that lexical concepts are internally unstructured. Second, Pragmatists may accept that these arguments show that lexical concepts are atomic, but insist that this need not entail that Pragmatism is false. For there is a viable version of Concept Pragmatism that does not take lexical items to be semantically structured or lexical concepts to be internally structured. Adopting a version of Pragmatism that takes meaning relations to be specified by inference rules, or meaning postulates, allows one to accept the empirical arguments in favor of Concept Atomism, while at the same time deny that such arguments show that there are no analyticities. The paper concludes by responding to Fodor’s recent objection that such a version of Concept Pragmatism has unhappy consequences concerning the relation between concept constitution and concept possession. (shrink)

In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely possible, non-actual a (...) priori propositions, as we will see when considering cases like Euclidean geometry. Furthermore, contrary to what Kripke seems to suggest, a priori knowledge is intimately connected with metaphysical modality, indeed, grounded in it. The task of a priori reasoning, according to this account, is to delimit the space of metaphysically possible worlds in order for us to be able to determine what is actual. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

Deviant forms of human thought may provide insight into epistemic standards, such as rationality. A comparative analysis of paranoia and reinforced dogmatism suggests that reinforced dogmatism, such as pseudo-science a-la-Popper, demonstrates a primary epistemic lack of critical rationality, that is, of testability, whereas paranoia demonstrates a lack of range of alternative statements leading secondarily to a lack of testability. This reflects the importance to both epistemology and psychiatry of epistemic standards in addition to testability, such as relevance to problems, and (...) emphasizes the distinction of the context of introduction from the contexts of discovery and of justification. Key Words: context of introduction • paranoia • reinforced dogmatism • relevance • testability. (shrink)

I present and defend a unified, non-reductive analysis of the a priori and a posteriori. It is a mistake to remove all epistemic conditions from the analysis of the a priori (as, for example, Alvin Goldman has recently suggested doing). We can keep epistemic conditions (like unrevisability) in the analysis as long as we insist that a priori and a posteriori justification admit of degrees. I recommend making the degree to which a belief’s justification is a priori or a posteriori (...) solely dependent on the revisability relations that obtain among the faculties that deliver the belief and all other faculties. (shrink)

The basic aim of Alvin Goldman’s approach to epistemology, and the tradition it represents, is naturalistic; that is, epistemological theories in this tradition aim to identify the naturalistic, nonnormative criteria on which justified belief supervenes (Goldman, 1986; Markie, 1997). The basic method of Goldman’s epistemology, and the tradition it represents, is the reflective equilibrium test; that is, epistemological theories in this tradition are tested against our intuitions about cases of justified and unjustified belief (Goldman, 1986; Markie, 1997). I will argue (...) that the prospect of having to reject their standard methodology is one epistemologists have to take very seriously; and I will do this by arguing that some current rival theories of epistemic justification are in fact in reflective equilibrium with our intuitions about cases of justified and unjustified belief. That is, I will argue that intuition underdetermines theory choice in epistemology, in much the way that observation underdetermines theory choices in empirical sciences. If reflective equilibrium leads to the underdetermination problem I say it leads to, then it cannot satisfy the aims of contemporary epistemology, and so cannot serve as its standard methodology. (shrink)

While a large social-choice-theoretic literature discusses the aggregation of individual judgments into collective ones, there is much less formal work on the transformation of judgments in group communication. I develop a model of judgment transformation and prove a baseline impossibility theorem: Any judgment transformation function satisfying some initially plausible conditions is the identity function, under which no opinion change occurs. I identify escape routes from this impossibility and argue that the kind of group communication envisaged by deliberative democats must be (...) "holistic": It must focus on webs of connected propositions, not on one proposition at a time, which echoes the Duhem-Quine "holism thesis" on scientific theory testing. My approach provides a map of the logical space in which different possible group communication processes are located. (shrink)

The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who take propositions as primary, (...) and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)

Two standard epistemological accounts are conflated in Dienes & Perner's account of knowledge, and this conflation requires the rejection of their four conditions of knowledge. Because their four metarepresentations applied to the explicit-implicit distinction are paired with these conditions, it follows by modus tollens that if the latter are inadequate, then so are the former. Quite simply, their account misses the link between true reasoning and knowledge.

I discuss the quantum mechanical theory of consciousness and freewill offered by Stapp (1993, 1995, 2000, 2004). First I show that decoherence-based arguments do not work against this theory. Then discuss a number of problems with the theory: Stapp's separate accounts of consciousness and freewill are incompatible, the interpretations of QM they are tied to are questionable, the Zeno effect could not enable freewill as he suggests because weakness of will would then be ubiquitous, and the holism of measurement in (...) QM is not a good explanation of the unity of consciousness for essentially the same reason that local interactions may seem incapable of accounting for it. (shrink)

The aim of the paper is to sketch an idea—seen from the point of view of a cognitive scientist—of cognitive semiotics as a discipline. Consequently, the article presents aspects of the relationship between the two disciplines: semiotics and cognitive science. The main assumption of the argumentation is that at least some semiotic processes are also cognitive processes. At the methodological level, this claim allows for application of cognitive models as explanations of selected semiotic processes. In particular, the processes of embedded (...) interpretation are considered: belief revision, dynamic organization of meaning and metaknowledge. The explanations are formulated in terms of artificial cognitive agents of the GLAIR/SNePS cognitive architecture. Finally, it is suggested that even if someone rejects the idea of artificial cognitive systems as simulations of semiotic processes, they may acknowledge the usefulness of cognitive modeling in analysis of semiotic processes in virtual, simulated worlds and in the area of “new media”. (shrink)

It is sometimes suggested that Collingwood's philosophy of history is decidedly anti-naturalist and argues for a complete separation between history and the natural sciences. The purpose of this paper is to examine this suggestion and to argue that Collingwood's conception of the relationship between history and natural sciences is much more subtle and nuanced than such a view would allow for. In fact, there is little in Collingwood to offend contemporary naturalistic sensibilities reasonably construed. The impression that Collingwood's views are (...) incompatible with naturalism stems, in part, from an overly Kantian interpretation of the idea of rationality, as applied to historical agents, in terms of transcendentally fixed norms. This difficulty, however, does not arise if we opt for a more Hegelian interpretation of rationality in terms of continuity in thought, which Collingwood himself seemed to favor. Examining Collingwood's pronouncements on these topics leads one to the conclusion that, while objecting to the excesses of early naturalism, Collingwood saw no insurmountable obstacles to the reconciliation of science and history and their potential collaboration in some areas. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

For example, Cheryl Misak in her book-length examination of verificationism writes that ‘the holist [such as Quine] need not reject verificationism, if it is suitably formulated. Indeed, Quine often describes himself as a verificationist’.[iii] Misak concludes that Quine ‘can be described as a verificationist who thinks that the unit of meaning is large’;[iv] and when comparing Dummett and Quine, Misak states that ‘both can be, and in fact are, verificationists’.[v].

Grice and Strawson's 'In Defense of a Dogma is admired even by revisionist Quineans such as Putnam (1962) who should know better. The analytic/synthetic distinction they defend is distinct from that which Putnam successfully rehabilitates. Theirs is the post-positivist distinction bounding a grossly enlarged analytic. It is not, as they claim, the sanctified product of a long philosophic tradition, but the cast-off of a defunct philosophy - logical positivism. The fact that the distinction can be communally drawn does not show (...) that it is based on a real difference. Subcategories that can be grouped together by enumeration will do the trick. Quine's polemical tactic (against which Grice and Strawson protest) of questioning the intelligibility of the distinction is indeed objectionable, but his argument can be revived once it is realized that 'analytic' et al. are theoretic terms, and there is no extant theory to make sense of them. Grice and Strawson's paradigm of logical impossibility is, in fact, possible. Their attempt to define synonymy in Quinean terms is a failure, nor can they retain analyticity along with the Quinean thesis of universal revisability. The dogma, in short, is indefensible. (shrink)

Philosophy is usually considered to be searching out the most general, and hence also the most necessary and the most eternal, truth; its central part, ontology, is often assumed to be fastening upon whatever might be "the form of the world". And because our world is the world as formed by the way we comprehend it and by the way we cope with it by means of our language, it is often assumed that its form must be brought out by (...) the analysis of the interrelations between the meanings of our words and our statements. This is why many philosophers, and analytic philosophers in particular, say that philosophy consists in the analysis of meaning. However, to maintain that philosophy is in this way interlocked with necessary truth and with meaning is no longer a simple matter. Both these concepts are being constantly challenged. Is there, after all, something like necessary truth (pace Quine) to be captured by philosophy? Can we still maintain that there is a meaning (pace not only Quine, but also Austin, Wittgenstein and other sceptics), which can constitute the subject to philosophical analyses? And if these concepts should become endangered species, then what about philosophy? (shrink)

One increasingly popular technique in philosophy might be called the "platitudes analysis": a set of widely accepted claims about a given subject matter are collected, adjustments are made to the body of claims, and this is taken to specify a “role” for the phenomenon in question. (Perhaps the best-known example is analytic functionalism about mental states, where platitudes about belief, desire, intention etc. are together taken to give us a "role" for states to fill if they are to count as (...) mental states.) We then look to our best theory of the world to see where this role is satisfied, if at all. Unfortunately, the platitudes analysis, so characterised, does not seem to help when we are doing fundamental metaphysics—when we want to know what, at base, our world is like (and not merely where things like e.g. the mental would be found in an already-specified ontology). Nevertheless, I will argue that the platitudes analysis, properly understood, does have the materials to help us answer questions in fundamental metaphysics as well. I will explore three different ways it can do so. (shrink)

My primary aim in this chapter is to explain in what the traditional mind–body problem consists, what its possible solutions are, and what obstacles lie in the way of a resolution. The discussion will develop in two phases. The first phase, sections 1.2–1.4, will be concerned to get clearer about the import of our initial question as a precondition of developing an account of possible responses to it. The second phase, sections 1.5–1.6, explains how a problem arises in our attempts (...) to answer the question we have characterized, and surveys the various solutions that can be and have been offered. More specifically, sections 1.2–1.4 are concerned with how to understand the basic elements of our initial question – how we should identify the mental, on the one hand, and the physical, on the other – and with what sorts of relations between them we are concerned. Section 1.2 identifies and explains the two traditional marks of the mental, consciousness and intentionality, and discusses how they are related. Section 1.3 gives an account of how we should understand ‘physical’ in our initial question so as not to foreclose any of the traditional positions on the mind–body problem. Section 1.4 then addresses the third element in our initial question, mapping out the basic sorts of relations that may hold between mental and physical phenomena, and identifying some for special attention. Sections 1.5–1.6 are concerned with explaining the source of the difficulty in answering our initial question, and the kinds of solutions that have been offered to it. Section 1.5 explains why our initial question gives rise to a problem, and gives a precise form to the mind–body problem, which is presented as a set of four propositions, each of which, when presented independently, seems compelling, but which are jointly inconsistent. Section 1.6 classifies responses to the mind–body problem on the basis of which of the propositions in our inconsistent set they reject, and provides a brief overview of the main varieties in each category, together with some of the difficulties that arise for each. Section 1.7 is a brief conclusion about the source of our difficulties in understanding the place of mind in the natural world. (shrink)

William James was one of the most controversial philosophers of the early part of the 20 century, and his apparent skepticism about logic and any robust conception of truth was often simply attributed to his endorsing mysticism and irrationality out of an overwhelming desire to make room for religion in his world-view. However, it will be argued here that James’s pessimism about logic and even truth (or at least ‘absolute’ truth), while most prominent in his later views, stem from the (...) naturalistic conception of concepts developed much earlier in The Principles of Psychology (1890), and it is his commitment to naturalism about our conceptual powers, rather than to any sort of mysticism or irrationalism, that motivates his skepticism about the scope and power of logic, and ultimately about the objectivity of truth itself. (shrink)

Neo-positivism is dead. Let that imperfect designation stand for the project that dominated and defined the philosophy of science, especially in its Anglophone form, during the fifty or so years following the end of the Second World War. While its critics were many,1 its death was slow, and some think still to find a pulse.2 But die it did in the cul-de-sac into which it was led by its own faulty compass.

Philosophy of mathematics for the last half-century has been dominated in one way or another by Quine’s indispensability argument. The argument alleges that our best scientific theory quantifies over, and thus commits us to, mathematical objects. In this paper, I present new considerations which undermine the most serious challenge to Quine’s argument, Hartry Field’s reformulation of Newtonian Gravitational Theory.

Some relations between physics and finitary and infinitary mathematics are explored in the context of a many-minds interpretation of quantum theory. The analogy between mathematical ``existence'' and physical ``existence'' is considered from the point of view of philosophical idealism. Some of the ways in which infinitary mathematics arises in modern mathematical physics are discussed. Empirical science has led to the mathematics of quantum theory. This in turn can be taken to suggest a picture of reality involving possible minds and the (...) physical laws which determine their probabilities. In this picture, finitary and infinitary mathematics play separate roles. It is argued that mind, language, and finitary mathematics have similar prerequisites, in that each depends on the possibility of possibilities. The infinite, on the other hand, can be described but never experienced, and yet it seems that sets of possibilities and the physical laws which define their probabilities can be described most simply in terms of infinitary mathematics. (shrink)

Fodor (1998) argues that most lexical concepts have no internal structure. He rejects what he calls Inferential Role Semantics (IRS), the view that primitive concepts are constituted by their inferential relations, on the grounds that this violates the compositionality constraint and leads to an unacceptable form of holism. In rejecting IRS, Fodor must also reject meaning postulates. I argue, contra Fodor, that meaning postulates must be retained, but that when suitably constrained they are not susceptible to his arguments against IRS. (...) This has important implications for the view that certain of our concepts are deferential. A consequence of the arguments I present is that deference is relegated to a relatively minor role in what Sperber (1997) refers to as reflective concepts; deference has no important role to play in the vast majority of our intuitive concepts. (shrink)

Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.

s Gibson (1982) correctly points out, despite Quine’s brief flirtation with a “mitigated phenomenalism” (Gibson’s phrase) in the late 1940’s and early 1950’s, Quine’s ontology of 1953 (“On Mental Entities”) and beyond left no room for non-physical sensory objects or qualities. Anyone familiar with the contemporary neo-dualist qualia-freak-fest might wonder why Quinean lessons were insufficiently transmitted to the current generation.

This essay is an examination of the relationship between phenomenology and analytic method in the philosophy of law. It proceeds by way of a case study, the requirement of compliance in Raz’s theory of mandatory norms. Proceeding in this way provides a degree of specificity that is otherwise neglected in the relevant literature on method. Drawing on insights from the philosophy of art and cognitive neuroscience, it is argued that the requirement of compliance is beset by a range of epistemological (...) difficulties. The implications of these difficulties are then reviewed for method and normativity in practical reason. A topology of normativity emerges nearer the end of the paper, followed by a brief examination of how certain normative categories must satisfy distinct burdens of proof. (shrink)

The paper builds on the basically Humean idea that A is a cause of B iff A and B both occur, A precedes B, and A raises the metaphysical or epistemic status of B given the obtaining circumstances. It argues that in pursuit of a theory of deterministic causation this ‘status raising’ is best explicated not in regularity or counterfactual terms, but in terms of ranking functions. On this basis, it constructs a rigorous theory of deterministic causation that successfully deals (...) with cases of overdetermination and pre-emption. It finally indicates how the account's profound epistemic relativization induced by ranking theory can be undone. Introduction Variables, propositions, time Induction first Causation Redundant causation Objectivization. (shrink)

This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decision-theoretic principle of Pareto-optimality to derive a notion of minimal belief change, for two different representations of belief: First, for beliefs represented by a theory – a deductively closed set of sentences or propositions – and second for beliefs represented by an axiomatic base for a theory. Three postulates exactly characterize Pareto-minimal revisions of theories, yielding a weaker set of constraints than the (...) standard AGM postulates. The Levi identity characterizes Pareto-minimal revisions of belief bases: a change of belief base is Pareto-minimal if and only if the change satisfies the Levi identity (for “maxichoice” contraction operators). Thus for belief bases, Pareto-minimality imposes constraints that the AGM postulates do not. The Ramsey test is a well-known way of establishing connections between belief revision postulates and axioms for conditionals (“if p, then q”). Pareto-minimal theory change corresponds exactly to three characteristic axioms of counterfactual systems: a theory revision operator that satisfies the Ramsey test validates these axioms if and only if the revision operator is Pareto-minimal. (shrink)

Holistic claims about evidence are a commonplace inthe philosophy of science; holistic claims aboutmeaning are a commonplace in the philosophy oflanguage. W. V. Quine has advocated both types ofholism, and argued for an intimate link between thetwo. Semantic holism may be inferred from theconjunction of confirmation holism andverificationism, he maintains. But in their recentbook Holism: a Shopper's Guide, Jerry Fodor andErnest Lepore (1992) claim that this inference isfallacious. In what follows, I defend Quine's argumentfor semantic holism from Fodor and Lepore'smulti-pronged (...) attack. (shrink)

Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In Word and Object, he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas Grice and Strawson (...) did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy – particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5). Conclusion: We can have well-defined notions of synonymy and analyticity even if we embrace Quine's holism, naturalism, behaviorism, and radical translation. Quine's meaning skepticism is to be repudiated on Quinean grounds. (shrink)

Two of Quine's most familiar doctrines are: that there is a distinction between underdetermination and indeterminacy; and that there is no distinction between analytic and synthetic truths. An argument is given that these two doctrines are incompatible. In terms wholly acceptable to Quine and based on the underdetermination/indeterminacy distinction, an exhaustive and exclusive distinction is drawn between two kinds of true sentences, which, it is argued, corresponds to the traditional analytic/synthetic distinction. An appendix is used to develop one aspect of (...) the underdetermination/indeterminacy distinction, as construed here, and to discuss, in passing, some of Quine’s more general views on truth. (shrink)

For many philosophers not automatically inclined to Platonism, the indispensability argument for the existence of mathematical objectshas provided the best (and perhaps only) evidence for mathematicalrealism. Recently, however, this argument has been subject to attack, most notably by Penelope Maddy (1992, 1997),on the grounds that its conclusions do not sit well with mathematical practice. I offer a diagnosis of what has gone wrong with the indispensability argument (I claim that mathematics is indispensable in the wrong way), and, taking my cue (...) from Mark Colyvan''s (1998) attempt to provide a Quinean account of unapplied mathematics as `recreational'', suggest that, if one approaches the problem from a Quinean naturalist starting point, one must conclude that all mathematics is recreational in this way. (shrink)

Recent Carnap scholarship suggests that the received view of the Carnap-Quine analyticity debate is importantly mistaken. It has been suggested that Carnap’s analyticity distinction is immune from Quine’s criticisms. This is either because Quine did not understand Carnap’s use of analytic-ity, or because Quine did not appreciate that, rather than dispelling dog-mas, he was merely offering an alternate framework for philosophy. It has also been suggested that ultimately nothing of substance turns on this dis-pute. I am sympathetic to these reassessments (...) and their rejection of the re-ceived view, but argue that they fail to pay proper attention to Carnap’s metaphysical deflationism. For it is there that Quine’s arguments ultimately make contact with Carnap, undermining his metaphysical deflationism. Moreover, the viability of deflationism is directly related to the viability of Carnap’s view of philosophy as methodologically distinct from science. Hence, Quine’s criticisms make contact with the deepest aspects of Carnap’s views. (shrink)

Across the humanities and social sciences it has become commonplace for scholars to argue that categories once assumed to be “natural” are in fact “social” or, in the familiar lingo, “socially constructed”. Two common examples of such categories are race and gender, but there many others. One interpretation of this claim is that although it is typically thought that what unifies the instances of such categories is some set of natural or physical properties, instead their unity rests on social features (...) of the items in question. Social constructionists pursuing this strategy—and it is these social constructionists I will be focusing on in this paper—aim to “debunk” the ordinary assumption that the categories are natural, by revealing the more accurate social basis of the classification.2 To avoid confusion, and to resist some of the associations with the term ‘social construction’, I will sometimes use the term ‘socially founded’ for the categories that this sort of constructionist reveals as social rather than natural. (shrink)

In this paper I provide some formal schemas for the analysis of vague predicates in terms of a set of semantic relations other than classical synonymy, including weak synonymy (as between "large" and "huge"), antonymy (as between "large" and "small"), relativity (as between "large" and "large for a dog"), and a kind of supervenience (as between "large" and "wide" or "long"). All of these relations are representable in the simple comparative logic CL, in accordance with the basic formula: the more (...) something is F, the more (or less) it is G. I use Carnapian meaning postulates to define these relations as constraints on interpretations of the formal language of CL. (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)

Three puzzles about self-deception make this mental phenomenon an intriguing explanatory target. The first relates to how to define it without paradox; the second is about how to make sense of self-deception in light of the interpretive view of the mental that has become widespread in philosophy; and the third concerns why it exists at all. In this paper I address the first and third puzzles. First, I define self-deception. Second, I criticize Robert Trivers' attempt to use adaptionist evolutionary psychology (...) to solve the third puzzle (existence). Third, I sketch a theory to replace that of Trivers. Self-deception is not an adaptation, but a spandrel in the sense that Gould and Lewontin give the term: a byproduct of other features of human (cognitive) architecture. Self-deception is so undeniable a fact of human life that if anyone tried to deny its existence, the proper response would be to accuse this person of it. (Allen Wood, 1988). (shrink)

Extensionalism, as I understand it here, is the view that physical reality consists exclusively of extensional entities. On this view, intensional entitities must either be eliminated in favor of an ontology of extensional entities, or be reduced to such an ontology, or otherwise be admitted as non-physical. In this paper I argue that extensionalism is a misguided philosophical doctrine. First, I argue that intensional phenomena are not confined to the realm of language and thought. Rather, the ontology of such phenomena (...) is intimately entwined with the ontology of properties. After providing some evidence to the popularity of extensionalism in contemporary analytic philosophy, I investigate the motivating reasons behind it. Considering several explanations, I argue that the main motivating reason is rooted in the identification of matter with extension, an identification which is one of the hallmarks of the mechanistic conception of nature inherited from the founding fathers of our modern scientific outlook. I then argue that such a conception is not only at odds with a robust ontology of properties but is also at odds with our best contemporary physics. Rather than vindicating extensionalism contemporary science undermines the position, and the lesson to be drawn from this surprising fact is that extensionalism needs no longer be espoused as a regulative ideal of naturalistic philosophy. I conclude by showing that the ontological approach to intensional phenomena advocated throughout the paper also gains support from an examination of the historical context within which ‘intension’ was first introduced as a semantic notion. (shrink)