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.

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces of (...) nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

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)

Are theories ‘underdetermined by the evidence’ in any way that should worry the scientific realist? I argue that no convincing reason has been given for thinking so. A crucial distinction is drawn between data equivalence and empirical equivalence. Duhem showed that it is always possible to produce a data equivalent rival to any accepted scientific theory. But there is no reason to regard such a rival as equally well empirically supported and hence no threat to realism. Two theories are empirically (...) equivalent if they share all consequences expressed in purely observational vocabulary. This is a much stronger requirement than has hitherto been recognised— two such ‘rival’ theories must in fact agree on many claims that are clearly theoretical in nature. Given this, it is unclear how much of an impact on realism a demonstration that there is always an empirically equivalent ‘rival’ to any accepted theory would have—even if such a demonstration could be produced. Certainly in the case of the version of realism that I defend—structural realism—such a demonstration would have precisely no impact: two empirically equivalent theories are, according to structural realism, cognitively indistinguishable. (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)

This paper discusses Baker’s Enhanced Indispensability Argument for mathematical realism on the basis of the indispensable role mathematics plays in scientific explanations of physical facts, along with various responses to it. I argue that there is an analogue of causal explanation for mathematics which, of several basic types of explanation, holds the most promise for use in the EIA. I consider a plausible case where mathematics plays an explanatory role in this sense, but argue that such use still does not (...) support realism about mathematical objects. (shrink)

I argue that there are two ways of construing Wittgenstein’s slogan that meaning is use. One accepts the view that the notion of meaning must be explained in terms of truth-theoretic notions and is committed to the epistemic conception of truth. The other keeps the notion of meaning and the truth-theoretic notions apart and is not committed to the epistemic conception of truth. I argue that Dummett endorses the first way of construing Wittgenstein’s slogan. I address the issue by discussing (...) two of Dummett’s arguments against the realist truth-theoretic conception of meaning: the manifestation argument and the argument for the unintelligibility of classical logic. I examine the dialectic of those arguments and show that they rest on the assumption that meaning needs to be explained in terms of truth-theoretic notions.Tvrdim da postoje dva načina shvaćanja Wittgensteinova slogana da je značenje upotreba. Jedno prihvaća gledište da se pojam značenja mora objasniti na osnovi istinitosnoteoretskih pojmova te je obvezano na epistemičku koncepciju istine. Drugo pojam značenja i istinitosnoteoretske pojmove drži odvojenima te nije obvezano na epistemičku koncepciju istine. Tvrdim da Dummett prihvaća prvo shvaćanje Wittgensteinova slogana. Problemu pristupam tako što raspravljam o dvama Dummettovim argumentima protiv realističke istinitosnoteoretske koncepcije značenja: o argumentu iz manifestacije i argumentu za neshvatljivost klasične logike. Ispitujem dijalektiku tih argumenata i pokazujem da počivaju na pretpostavci da se značenje mora objasniti na osnovi istinitosnoteoretskih pojmova. (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)

I argue that fictionalism is an unpromising alternative to realism in two important respects. First, fictionalism offers a less satisfactory modal semantics because the incorporated fictive operator is itself modal and its results differ significantly from realism. Second, fictionalism struggles to provide us with a satisfactory account of the ontological grounding of modal truth and finds itself in opposition to several influential accounts of fictional objects which I discuss. I conclude by suggesting that, given the fictionalist’s motivation, a more promising (...) avenue of research would be the older and currently unfashionable fictionalism espoused by Vaihinger (1935). (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)

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (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)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (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.

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

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)

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)

Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...) (UP2). For example, the meaning of a sentence is a proposition evaluable for truth and falsity. In contrast, a collection of the meanings of its parts does not constitute a proposition and is not evaluable for truth. These two puzzles are closely related, since change in formal ontology is the clearest sign of the unity of meaning. The most popular strategy for answering them is taking the meanings of the parts as abstractions from primitive sentence meanings. However, I argue that, given plausible psychological constraints, sentence meanings cannot be taken as explanatory primitives. Drawing on recent work in Generative Grammar and its philosophy, I suggest that the key to both unity questions is to distinguish strictly between lexical and grammatical meaning. The latter is irreducible and determines how lexical content is used in referential acts. I argue that these referential properties determine a formal ontology, which explains why and how formal ontology changes when grammatical structure is built up (UP2). As for UP1, I suggest that, strictly speaking, lexical meanings never combine. Instead, whenever grammar specifies a formal ontology for the lexical meanings entering a grammatical derivation, further lexical (or phrasal) meanings can only specify aspects of this recursive grammatical process. In this way, contemporary grammatical theory can be used to address old philosophical problems. (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)

This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems are presented.

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience and the Growing-Block theory are (...) incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (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)

Fifty years ago J. J. C. Smart published his pioneering paper, “Sensations and Brain Processes.” It is appropriate to mark the golden anniversary of Smart’s publication by considering how well his article has stood up, and how well the identity theory itself has fared. In this paper I first revisit Smart’s text, reflecting on how it has weathered the years. Then I consider the status of the identity theory in current philosophical thinking, taking into account the objections and replies that (...) Smart discussed as well as some that he did not anticipate. Finally, I offer a brief manifesto for the identity theory, providing a small list of the claims that I believe contemporary identity theorist should accept. As it turns out, these are more or less the ones that Smart defended fifty years ago. (shrink)

This paper discusses a modern, especially pragmatist, variant of the Kantian issue of the mind- or scheme-dependence of ontology. It is suggested that the distinction between scheme-dependence and scheme-independence in transcendental metaphysics is itself contextual, not absolute, and that this contextuality is a “transcendental fact” about our practice-embedded world-constitutive activities.

I critically examine confirmational holism as it pertains to the indispensability arguments for mathematical Platonism. I employ a distinction between pure and applied mathematics that grows out of the often overlooked symbiotic relationship between mathematics and science. I argue that this distinction undercuts the notion that mathematical theories fall under the holistic scope of the confirmation of our scientific theories.Keywords: Confirmational holism; Indispensability argument; Mathematics; Application; Science.

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern Ockhamism applied to the mentioned (...) metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (shrink)

The mere fact that ontological debates are possible requires us to address the question, what is it to claim that a certain entity or kind of entity exists—in other words, what do we do when we make an existence-claim? I develop and defend one candidate answer to this question, namely that to make an existence-claim with regard to Fs is to claim that we can refer to Fs. I show how this theory can fulfil the most important explanatory desiderata for (...) a theory of existence; I also defend it against the charges of illegitimate ‘semantic ascent’ and of making existence counterfactually dependent on human linguistic ability. (shrink)