In this paper, I articulate and argue for a new truthmaker view of ontological commitment, which I call the “General Truthmaker View”: when one affirms a sentence, one is ontologically committed to there being something that makes true the proposition expressed by the sentence. This view comes apart from Quinean orthodoxy in that we are not ontologically committed to the things over which we quantify, and it comes apart from extant truthmaker views of ontological commitment in that we are not (...) ontologically committed to the truthmakers of our sentences. (shrink)

Colour vision plays a foundational explanatory role in the philosophy of colour, and serves as perennial quarry in the wider philosophy of perception. I present two contributions to our understanding of this notion. The first is to develop a constitutive approach to characterizing colour vision. This approach seeks to comprehend the nature of colour vision qua psychological kind, as contrasted with traditional experiential approaches, which prioritize descriptions of our ordinary visual experience of colour. The second contribution is to argue that (...) colour vision does not constitutively involve the ability to see colours, in a natural and categorically committed sense. I argue that two subjects exactly alike in respect of their constitutive colour vision abilities could differ in respect of whether or not they have categorical perception of colour. The argument is supported by thought experiment and dissociations observed in cognitive neuropsychology. The argument also bears connections to recent neo-Whorfian accounts of colour categorization. _1._ Introduction _2._ Colour Vision, Experience, and Natures _3._ The Central Argument _3.1._ Colour constancy and discrimination _3.2._ Dissociating colour vision and categorical perception for colour _4._ Whorf and the View from Cognitive Neuropsychology _5._ Conclusion. (shrink)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

According to some contemporary nonnaturalists about normativity (e.g., Parfit, Scanlon, Dworkin), normative facts exist in an ontologically non-committing sense. These nonnaturalists face an explanatory burden. They must explain their claim that normative facts exist in such a sense. I identify criteria for an adequate explanation, and extract five distinct candidate explanations from the writings of these authors (based on causal efficacy, analogy with modality, fundamentality, domain-relativity and first-order considerations respectively). I assess each. None is both (a) informative and (b) recognizable (...) as a version of contemporary nonnaturalism. In light of this, I assess the best options for proponents of this view. (shrink)

This paper maintains (following Yougrau 1987; 2000 and Hinchliff 1996) that the dead and other former existents count as examples of non-existent objects. If the dead number among the things there are, a further question arises: what is it to be dead—how should the state of being dead be characterised? It is argued that this state should be characterised negatively: the dead are not persons, philosophers etc. They lack any of the (intrinsic) qualities they had while they lived. The only (...) facts involving the dead are facts about the relations they stand in—including the relations they bear to the qualities they formerly instantiated, and the intentional relations they stand in to us. Given an appropriate conception of qualities the dead can be said to be quality-less objects: bare particulars. The ‘Bare Particular Theory’ of individuals, it is argued, is coherent if and only if it concedes that the bare particulars it allows for don’t exist. The account of the dead and other former existents as bare particulars does justice to the misfortune of death, and points the way to a general theory of nonexistent objects. (shrink)

The symmetries of a physical theory are often associated with two things: conservation laws and representational redundancies. But how can a physical theory's symmetries give rise to interesting conservation laws, if symmetries are transformations that correspond to no genuine physical difference? In this article, I argue for a disambiguation in the notion of symmetry. The central distinction is between what I call "analytic" and "synthetic" symmetries, so called because of an analogy with analytic and synthetic propositions. "Analytic" symmetries are the (...) turning of idle wheels in a theory's formalism, and correspond to no physical change; "synthetic" symmetries cover all the rest. I argue that analytic symmetries are distinguished because they act as fixed points or constraints in any interpretation of a theory, and as such are akin to Poincaré's conventions or Reichenbach's 'axioms of co-ordination', or 'relativized constitutive a priori principles'. (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)

Confirmational holism is central to a traditional formulation of the indispensability argument for mathematical realism (IA). I argue that recent strategies for defending scientific realism are incompatible with confirmational holism. Thus a traditional formulation of IA is incompatible with recent strategies for defending scientific realism. As a consequence a traditional formulation of IA will only have limited appeal.

Quine, taking the molecular constitution of matter as a paradigmatic example, offers an account of the relation between theory confirmation and ontology. Elsewhere, he deploys a similar ontological methodology to argue for the existence of mathematical objects. Penelope Maddy considers the atomic/molecular theory in more historical detail. She argues that the actual ontological practices of science display a positivistic demand for “direct observation,” and that fulfillment of this demand allows us to distinguish molecules and other physical objects from mathematical abstracta. (...) However, the confirmation of the atomic/molecular theory and the development of scientists’ ontological attitudes towards atoms was more complicated and subtle than even Maddy supposes. The present paper argues that the history of the theory in fact supports neither Quine’s and Maddy’s accounts of scientific ontology. There was no general demand from scientists to “see” atoms before they were reckoned to be real; but neither did the indispensable appearance of atoms in the best theory of chemical combination suffice to convince scientists of their reality. (shrink)

This paper examines the ontological commitments of the second-order language of arithmetic and argues that they do not extend beyond the first-order language. Then, building on an argument by George Boolos, we develop a Tarski-style definition of a truth predicate for the second-order language of arithmetic that does not involve the assignment of sets to second-order variables but rather uses the same class of assignments standardly used in a definition for the first-order language.

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) the (...) claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (shrink)

The aim of this article is to provide an account of introspective knowledge concerning visual experiences that is in accordance with the idea of transparent introspection. According to transparent introspection, a person gains knowledge of her own current mental state M solely by paying attention to those aspects of the external world which M is about. In my view, transparent introspection is a promising alternative to inner sense theories. However, it raises the fundamental question why a person who pays attention (...) to something extra-mental should be epistemically justified in holding a belief about something intra-mental. In his Naturalizing the Mind, Fred Dretske solves this problem by conceiving of introspection concerning visual experiences as an inference based on a connecting belief. Although Dretske's account proves defective upon closer inspection, its essence can be salvaged by looking upon introspection as being a game of make-believe. (shrink)

Much of the current thought concerning mathematical ontology in volves in some way the Quine/Putnam indispensability argument. The indispensability approach needs to be more thoroughly specified, however, before substantive progress can be made in assessing it. To this end I examine in some detail the ways in which pure mathematics is applied to physical theory; such considerations give rise to three specific issues with which the indispensability approach must come to grips.

Geach and Thomson have argued that nothing is just plain good, because ‘good’ is, logically, an attributive adjective. The upshot, according to Geach and Thomson, is that consequentialism is unacceptable, since its very formulation requires a predicative use of ‘good’. Reactions to the argument have, for the most part, been uniform. Authors have converged on two challenging objections . First, although the logical tests that Geach and Thomson invoke clearly illustrate that ‘good’, as commonly used, is an attributive, they don’t (...) show that ‘good’ lacks an intelligible predicative interpretation. Second, even if the English word ‘good’ fails to express the property of goodness, we can just stipulate that ‘good*’ expresses goodness and thus formulate consequentialism accordingly. The second objection is one way of voicing skepticism about the method of drawing substantive philosophical conclusions from considerations about ordinary language. In this essay, we present an argument, inspired by Geach and Thomson, which isn’t susceptible to the same objections but which supports the same conclusion. The significance of our argument for ethics is obvious; it challenges the intelligibility of standard consequentialism, and even certain forms of non-consequentialism. One might be inclined to think that a more sophisticated consequentialism, which relies on ‘good {possible world/state of affairs/outcome}’ instead of just ‘good’, evades the criticism. But we explain why the criticism can’t be so easily evaded. (shrink)

Recently, a number of philosophers have defended a novel, materialist view on the nature of musical works—musical perdurantism. According to this view, musical works are a peculiar kind of concreta, namely perduring mereological sums of performances and/or other concrete entities. One problem facing musical perdurantism stems from the thought that if this view is correct, then virtually no musical work can exist in a continuous, non-intermittent fashion. The aim of this paper is to expound this problem and show that it (...) cannot be plausibly solved by a musical perdurantist. (shrink)

Everyone working on metaphysical questions about properties or propositions knows the reaction that many non-philosophers, even nonmetaphysicians, have to such questions. Even though they agree that Fido is a dog and thus has the property (or feature or characteristic) of being a dog, it seems weird, suspicious, or confused to them to now ask what that thing, the property of being a dog, is. The same reservations do not carry over to asking what this thing, Fido, is. There is a (...) substantial and legitimate project to find out more about Fido, but is there a similar substantial and legitimate project to find out more about the property of being a dog? Metaphysicians know that there is a straightforward way to motivate such a project, and much of the contemporary debate in the metaphysics of properties is in the ballpark of carrying it out. If we agree that Fido has the property of being a dog, then there is something that is a property and that Fido has. Thus we can ask about what this thing is that he has. How does it relate to Fido? Is it concrete or abstract? Is it fully present in each object that has it? And so on and so forth. Maybe the nonphilosophers are merely not used to asking such questions about unusual entities such as properties, but they are equally legitimate for them as they are for any other thing. However, even metaphysicians sometimes have the nagging feeling that something has gone wrong in the metaphysics of properties, and that a substantial metaphysical investigation into their.. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

Queremos neste ensaio introduzir um esboço de uma semântica simples e adequada para uma classe importante de predicações singulares de inexistência, ou frases existenciais singulares negativas. Frases deste género, como “Sócrates (já) não existe” e “O pássaro Dódó não existe”, são usualmente tidas como de algum modo paradoxais e semanticamente problemáticas. O modelo semântico que vamos delinear para tais frases, que desejavelmente se caracteriza pela simplicidade e pela economia, depende no entanto de duas importantes e substantivas suposições de partida, e, (...) mais crucialmente, de uma tese semântica de alguma maneira controversa acerca da referência singular. Trata-se da tese da rigidez obstinada, a tese de que nomes próprios e outros termos irredutivelmente singulares – tais como indexicais, demonstrativos e termos para categorias naturais – são designadores, não apenas rígidos, mas obstinadamente rígidos, dos objectos que de facto designam. (shrink)

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

Self-consciousness in non-human animals is a complex phenomenon which raises both conceptual and methodological problems. First, what do we mean by the concept of ‘self-consciousness’? Secondly, what is the best experimental approach to self-consciousness? This paper gives a short overview of the concept of self-consciousness in section 1. We can understand the concept of self-consciousness as capturing the ability of subjects to consciously think about themselves as themselves. If this is accurate, then it is prudent to look at a broad (...) bundle of abilities which are related to this ability. The paper then focuses on advantages and problems of the multipronged approach, a kind of empirical approach which uses several different test criteria to determine whether a subject is self-conscious or not. Section 2 briefly contrasts this kind of approach with other possibilities. The main disparity is to singlepronged approaches, which have been discussed and dismissed in greater detail elsewhere. Section 3 discusses the advantages of a multipronged approach, whereas section 4 is dedicated to the discussion of some of its problems. (shrink)

Gideon Rosen’s [1990 Modal fictionalism. Mind, 99, 327–354] Modal Fictionalist aims to secure the benefits of realism about possible-worlds, whilst avoiding commitment to the existence of any world other than our own. Rosen [1993 A problem for fictionalism about possible worlds. Analysis, 53, 71–81] and Stuart Brock [1993 Modal fictionalism: A response to Rosen. Mind, 102, 147–150] both argue that fictionalism is self-defeating since the fictionalist is tacitly committed to the existence of a plurality of worlds. In this paper, I (...) develop a new strategy for the fictionalist to pursue in response to the Brock–Rosen objection. I begin by arguing that modal fictionalism is best understood as a paraphrase strategy that concerns the propositions that are expressed, in a given context, by modal sentences. I go on to argue that what is interesting about paraphrastic fictionalism is that it allows the fictionalist to accept that the sentence ‘there is a plurality of worlds’ is true without thereby committing her to the existence of a plurality of worlds. I then argue that the paraphrastic fictionalist can appeal to a form of semantic contextualism in order to communicate her status as an anti-realist. Finally, I generalise my conception of fictionalism and argue that Daniel Nolan and John O’Leary-Hawthorne [1996 Reflexive fictionalisms. Analysis, 56, 26–32] are wrong to suggest that the Brock-Rosen objection reveals a structural flaw with all species of fictionalism. (shrink)

Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...) the literature by Hilary Putnam and Peter Koellner. In this paper I sketch a conventionalist theory of mathematics, show that this conventionalist theory can meet the challenge just raised , and clarify the type of mathematical pluralism endorsed by the conventionalist by introducing the notion of a semantic counterpart. The paper’s aim is an improved understanding of conventionalism, pluralism, and the relationship between them. (shrink)

In this article I trace some of the main tenets of the struggle between nominalism and realism as identified by John Deely in his Four ages of understanding. The aim is to assess Deely’s claim that the Age of Modernity was nominalist and that the coming age, the Age of Postmodernism — which he portrays as a renaissance of the late middle ages and as starting with Peirce — is realist. After a general overview of how Peirce interpreted the nominalist-realist (...) controversy, Deely gives special attention to Thomas Aquinas’s On being and essence and the realism it entails. A subsequent discussion of the Modern Period shows that the issue of nominalism and realism is very much tied up with di¤erent conceptions of the intellect. Deely credits the theory of evolution with bringing us a conception of the intellect that is closer to that of the Middle Ages and that opens the way for a truly realistic ‘‘fourth age’’ of the understanding. (shrink)

According to Crane’s schematicity thesis (ST) about intentional objects, intentionalia have no particular metaphysical nature qua thought-of entities; moreover, the real metaphysical nature of intentionalia is various, insofar as it is settled independently of the fact that intentionalia are targets of one’s thought. As I will point out, ST has the ontological consequence that the intentionalia that really belong to the general inventory of what there is, the overall domain, are those that fall under a good metaphysical kind, i.e., a (...) kind such that its members figure (for independent reasons) in such an inventory. Negatively put, if there are no things of a certain metaphysical kind, thoughts about things of that kind are not really committed to such things. Pace Crane, however, this does not mean that the intentionalia that are really there are only those that exist. For existence, qua first-order property, is no metaphysical kind. Thus, there may really be intentionalia that do not exist, provided that they belong to good metaphysical kinds. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

This paper seeks to uncover and rationally reconstruct four theoretical prescriptions that H. L. A. Hart urged philosophers to observe and follow when investigating and theorizing about the nature of law. The four prescriptions may appear meager and insignificant when each is seen in isolation, but together as an inter-connected set they have substantial implications. In effect, they constitute a central part of Hart’s campaign to put philosophical investigations about the nature of law onto a path to a genuine research (...) program. The paper takes note of certain prevalent and robust trends in contemporary legal philosophy that detract its practitioners from the four prescriptions, and that have them revert to the some older modes of thinking from which Hart sought a decisive break. A number of contemporary legal philosophers’ views and commitments are taken up and assessed, and in particular those of John Gardner and Leslie Green. (shrink)

This paper seeks to uncover and rationally reconstruct four theoretical prescriptions that H. L. A. Hart urged philosophers to observe and follow when investigating and theorizing about the nature of law. The four prescriptions may appear meager and insignificant when each is seen in isolation, but together as an inter-connected set they have substantial implications. In effect, they constitute a central part of Hart's campaign to put philosophical investigations about the nature of law onto a path to a genuine research (...) program. The paper takes note of certain prevalent and robust trends in contemporary legal philosophy that detract its practitioners from the four prescriptions, and that have them revert to the some older modes of thinking from which Hart sought a decisive break. A number of contemporary legal philosophers' views and commitments are taken up and assessed, and in particular those of John Gardner and Leslie Green. ‘Yet the answer is a prosaic one: don’t ask what time is but how the word ‘time’ is being used’.Friedrich Waismann.I miss the future.Jaron Lanier. (shrink)

I argue that thinking of existence questions as deep questions to be resolved by a distinctively philosophical discipline of ontology is misguided. I begin by examining how to understand the truth-conditions of existence claims, by way of understanding the rules of use for ‘exists’ and for general noun terms. This yields a straightforward method for resolving existence questions by a combination of conceptual analysis and empirical enquiry. It also provides a blueprint for arguing against most common proposals for uniform substantive (...) ‘criteria of existence’, whether they involve mind-independence, possession of causal powers, observability, etc., and thus for showing that many arguments for denying entities (numbers, ordinary objects, fictional characters, propositions…) on grounds of their failure to meet one or more of these proposed existence criteria are mistaken. (shrink)

The idea of there being “no fact of the matter” (NFM) features centrally in Quine’s indeterminacy theses. Yet there has been little discussion of how exactly Quine understands this idea. In this paper I identify, develop and then critically evaluate Quine’s conception of NFM. In Sects. 3–4 I consider a handful of intuitive semantic and ontological conceptions of NFM and argue that none is workable from within Quine’s philosophy. I conclude that the failure of each of these proposals is due (...) to the immanent status of truth and existence for Quine. In Sect. 5 I then present Quine’s official conception of NFM. Briefly, Quine’s idea is that there is NFM between two theories of translation iff those theories are physically equivalent. I develop this idea in detail. Finally, I raise two independent problems for this conception of NFM. In Sect. 6 I argue that Quine’s definition is too strong: given what he means by NFM, his arguments for indeterminacy—even granting all their premises and internal reasoning—simply cannot support his claim that there is NFM regarding translation; instead they establish a strictly weaker conclusion. In Sect. 7 I argue that Quine’s conception of NFM is in significant tension with his thesis of physicalism, and that he must give up one or the other. (shrink)

In philosophy one runs the risk of two kinds of criticism: that the answer one gives to a question is false or otherwise inadequate; or, perhaps worse, that the question one is trying to answer is itself misconceived. Carnap has directed a criticism of the second kind against traditional ontological disputes; the supposed issue between nominalists and realists is, according to him, devoid of cognitive content. This view is, of course, of a piece with Carnap’s general antipathy to metaphysical questions: (...) nevertheless, Carnap employs some specific arguments against ontological questions in particular, and does not rely on standard verificationist arguments against metaphysics in general. My object in this paper will be mainly to get clear the issues raised by Carnap in ‘Empiricism, Semantics and Ontology’,’ in the hope that this will clear the way for a positive account of the status of ontological issues. In the final section I shall offer some- inevitably sketchy - suggestions towards such an account. (shrink)

Lewis famously argued that mereology is ontologically innocent. Many who have considered this claim believe he was mistaken. Mereology is not innocent, because its acceptance entails the acceptance of sums, new objects that were not previously part of one’s ontology. This argument, the argument from ontological parsimony, has two versions: a qualitative and a quantitative one. I argue that the defender of mereology can neutralize both arguments by holding that, given mereology, a commitment to the parts of an object is (...) not an extra ontological commitment, made in addition to the commitment to the object; and that if the parts of an object are ‘ontologically innocent’, then sums cannot fail to be innocent either. (shrink)

Mark Jago has presented a dilemma for truthmaker non-maximalism—the thesis that some but not all truths require truthmakers. The dilemma arises because some truths that do not require truthmakers by the non-maximalist’s lights (e.g., that Santa Claus does not exist) are necessitated by truths that do (e.g., that Barack Obama knows that Santa Claus does not exist). According to Jago, the non-maximalist can supply a truthmaker for such a truth only by conceding the primary motivation for the view: that it (...) allows one to avoid positing strange ‘negative’ entities without adopting a non-standard account of the necessary features of ordinary things. In this paper, I sketch out and defend two plausible non-maximalist proposals that evade Jago’s dilemma. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

This is a symposium on my book, Writing the Book of the World, containing a precis from me, criticisms from Contessa, Merricks, and Schaffer, and replies by me.

Recent attempts to reconcile the ontic and epistemic approaches to explanation propose that our best explanations simply fulfill epistemic and ontic norms simultaneously. I aim to upset this armistice. Epistemic norms of attaining general and systematic explanations are, I argue, autonomous of ontic norms: they cannot be fulfilled simultaneously or in simple conjunction with ontic norms, and plausibly have priority over them. One result is that central arguments put forth by ontic theorists against epistemic theorists are revealed as not only (...) question-begging, but ultimately self-defeating. Another result is that a more nuanced reconciliation of the epistemic and ontic views is required: we should regard good explanatory practice as a dynamic process with distinct phases of epistemic and ontic success. (shrink)

In Grundgesetze, Vol. II, §91, Frege argues that ‘it is applicability alone which elevates arithmetic from a game to the rank of a science’. Many view this as an in nuce statement of the indispensability argument later championed by Quine. Garavaso has questioned this attribution. I argue that even though Frege's applicability argument is not a version of ia, it facilitates acceptance of suitable formulations of ia. The prospects for making the empiricist ia compatible with a rationalist Fregean framework appear (...) thus much less dim than expected. Nonetheless, those arguing for such compatibility eventually face an hardly surmountable dilemma. (shrink)

The overriding question in contemporary philosophy is as follows: We now have a reasonably well-established conception of the basic structure of the universe. But it is not at all easy to reconcile the basic facts we have come to know with a certain conception we have of ourselves, derived in part from our cultural inheritance but mostly from our own experience. Various aspects of this question are examined, concerning consciousness, intentionality, language, rationality, free will, society and institutions, politics, and ethics.

Boolos has suggested a plural interpretation of second-order logic for two purposes: to escape Quine’s allegation that second-order logic is set theory in disguise, and to avoid the paradoxes arising if the second-order variables are given a set-theoretic interpretation in second-order set theory. Since the plural interpretation accounts only for monadic second-order logic, Rayo and Yablo suggest an new interpretation for polyadic second-order logic in a Boolosian spirit. The present paper argues that Rayo and Yablo’s interpretation does not achieve the (...) goal. (shrink)

In this paper I show that one version of motivational internalism follows from the so-called ideal observer theory. Let us call the version of the ideal observer theory used in this essay (IOT). According to (IOT), it is necessarily the case that it ought to be that A if and only if every ideal observer wants it to be the case that A. We shall call the version of motivational internalism that follows from (IOT) (moral) conditional belief motivational internalism (CBMI). (...) According to (CBMI), it is necessarily the case that, for every x: if x were an ideal observer, it would be the case that x believes that it ought to be that A only if x wants it to be the case that A. Given that it is necessarily true that no ideal observer has any false beliefs, (IOT) entails (CBMI). Or, so I shall argue. (shrink)

Social groups, including racial and gender groups and teams and committees, seem to play an important role in our world. This article examines key metaphysical questions regarding groups. I examine answers to the question ‘Do groups exist?’ I argue that worries about puzzles of composition, motivations to accept methodological individualism, and a rejection of Racialism support a negative answer to the question. An affirmative answer is supported by arguments that groups are efficacious, indispensible to our best theories, and accepted given (...) common sense. Then, I turn to an examination of the features of social groups. I argue that social groups can be divided into two sorts. Groups of Type 1 are organized social groups like courts and clubs. Groups of Type 2 are groups like Blacks, women, and lesbians. While groups of both sorts have some features in common, they also have marked differences in features. Finally, I turn to views of the nature of social groups. I argue that the difference in features provides evidence that social groups do not have a uniform nature. Teams and committees are structured wholes, while race and gender groups are social kinds. (shrink)

A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS computational knowledge-representation system, (...) the essay analyzes Keller’s belief that learning that “everything has a name” was the key to her success, enabling her to “partition” her mental concepts into mental representations of: words, objects, and the naming relations between them. It next looks at Herbert Terrace’s theory of naming, which is akin to Keller’s, and which only humans are supposed to be capable of. The essay suggests that computers at least, and perhaps non-human primates, are also capable of this kind of naming. (shrink)

What are reasons? For example, if you’re aware that your secretary plans to expose you, and you resign to avoid a scandal, what is your reason for resigning? Is your reason the fact that your secretary plans to expose you? If so, what kinds of facts are eligible to be reasons? Can merely possible facts be reasons (for actual subjects)? Can merely apparent facts? Or are reasons rather attitudes? Are your reasons for resigning your belief that your secretary plans to (...) expose you, and your desire to avoid a scandal? Or are reasons propositions? If so, which propositions? Only propositions that the subject believes and desires? Only propositions that are true? (On some views, those will be facts; on other views, not.). (shrink)