In her recent (2009) book, The Origins of Concepts, Susan Carey argues that what she calls ‘Quinean Bootstrapping’ and processes of analogy in children show that the expressive power of a mind can be increased in ways that refute Jerry Fodor's (1975, 2008) ‘Mad Dog’ view that all concepts are innate. I argue that it is doubtful any evidence about the manifestation of concepts in children will bear upon the logico-semantic issues of expressive power. Analogy and bootstrapping may be ways (...) to bring about the former, but only by presupposing the very expressive powers Carey is claiming they explain. Analogies must be understood, and bootstrapping involves confirmation of hypotheses already expressible; otherwise they can't select among an infinitude of hypotheses compatible with the finite data the child has encountered, a fact rendered vivid by Goodman's ‘grue’ paradox and Chomsky's poverty of stimulus argument. The problems have special application to minds, since there is no reason to expect a child's concepts to be ‘projectible’ or to correspond to mind-independent natural kinds. I conclude with an ecumenical view that concepts are reasonably regarded as both innate and often learned, and that what is learned can in fact increase what really concerns Carey, the functioning psychological expressive power of the child, even if it leaves untouched what concerns Fodor, the semantic expressive power. Less ecumenically: maybe Fodor (2008) miscast the debate, and the real issue that bothers people concerns not nativism, but an issue on which Carey and Fodor surprisingly agree, his conceptual Atomism, or the view that all mono-morphemic concepts are primitive and unanalyzable. The issue deserves further discussion independently of Mad-doggery. (shrink)

Machery neglects the crucial role of concepts in psychological explanation, as well as the efforts of numerous of the last 40 years to provide an account of that role. He rightly calls attention to the wide variation in people's epistemic relations to concepts but fails to appreciate how externalist and kindred proposals offer the needed stability in concepts themselves that underlies that variation.

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

One of the most important objections to information-based semantic theories is that they are incapable of explaining Frege cases. The worry is that if a concept’s intentional content is a function of its informational content, as such theories propose, then it would appear that coreferring expressions have to be synonymous, and if this is true, it’s difficult to see how an agent could believe that a is F without believing that b is F whenever a and b are identical. I (...) argue that this appearance is deceptive. If we heed the distinction between the analog and digital contents of a signal, it is actually possible to reconstruct something akin to Frege’s sense/reference distinction in purely information-theoretic terms. This allows informational semanticists to treat coreferring expressions as semantically distinct and to solve Frege cases in the same way that Frege did—namely, by appealing to the different contents of coreferring expressions. (shrink)

Philosophers interested in the fitting attitude analysis of final value have devoted a great deal of attention to the wrong kind of reasons problem. This paper offers an example of the reverse difficulty, the wrong kind of value problem. This problem creates deeper challenges for the fitting attitude analysis and provides independent grounds for rejecting it, or at least for doubting seriously its correctness.

Famously, Saul Kripke proposes that there are contingent a priori truths, and has offered a number of examples to illustrate his claim. The most well-known example involves the standard meter bar in Paris. Purportedly, a certain agent knows a priori that the bar is one meter long. However, in response to a long-standing objection to such examples - the "existential complaint" - generally only modified examples having a conditional form are now considered candidates for the contingent a priori. Gareth Evans (...) argues that these conditionals must be understood free-logically, and on this basis argues against Keith Donnellan's analysis of the contingent a priori. I show Evans' argument mistaken. I also take issue with the existential complaint, and suggest a way of understanding Kripke's original examples that is not subject to it. My approach focuses the debate in its right place, and allows us to take Kripke's original examples seriously. (shrink)

We think about and refer to things that we’ve never perceived or experienced. This paper bears on how this could be. Someone is testimonially acquainted with something just in case the explanation of one’s ability to think de re thoughts about it essentially appeals to communication with others who already have that ability. The main motivation for the claim that testimonial acquaintance is possible is that it best explains how we can think de re about and refer to things we’ve (...) never perceived or experienced: we gain these abilities in part by communicating with those who already have them. The main point of this paper is negative: to argue that testimonial acquaintance, as we currently understand it, is impossible. Although one might take this to show that we cannot be acquainted with things we haven’t perceived or experienced, I prefer to think of it as motivation for rethinking the nature of acquaintance. (shrink)

Use theories of meaning (UTMs) seem ill-equipped to accommodate the intuition that ignorant but deferential speakers use natural kind terms (e.g. 'zinc') and technical expression (e.g. 'credit default swap') with the same meanings as the experts do. After all, their use deviates from the experts', and if use determines meaning, a deviant use ordinarily would determine a deviant meaning. Yet the intuition is plausible and advocates of UTMs believe it can be accommodated. I examine Gilbert Harman's and Paul Horwich's views, (...) and argue that they do not offer a satisfactory reconciliation of the intuition with the theory. I propose an accommodation based on a novel account of semantic deference, and show that it is consistent with UTMs that a speaker may use a word with a certain meaning without fully or adequately knowing it. (shrink)

Busshō, one of the central fascicles of Dōgen’s Shōbōgenzō, is dedicated to the problematic of Buddha-nature, the understanding of which in Dōgen’s thought is fairly different from previous Buddhist philosophy, but concordant with his views on reality, time and person. The article will present a close reading of several passages of the fascicle with comment in order to argue that Dōgen’s understanding of Buddha-nature is not something that entities have, but a mode of how they are, neither in itself nor (...) for us, but in the total world-process. The relation between totality and particularity is not hierarchical, nor one of opposition, but conceived of a matter of perspective, which, as Dōgen shows, is both mediated and circumscribed by language. As a result, we can see that particularity of being is precisely what makes the totality of being accessible to every existent, not an obstacle to be overcome. (shrink)

According to the orthodox account of meaning and translation in the literature, meaning is a property of expressions of a language, and translation is a matching of synonymous expressions across languages. This linguistic account of translation gives rise to well-known skeptical conclusions about translation, objectivity, meaning and truth, but it does not conform to our best translational practices. In contrast, I argue for a textual account of meaning based on the concept of a TEXT-TYPE that does conform to our best (...) translational practices. With their semantic function in view, text-types are Archimedean points for their respective disciplines. The text-type of philosophy is no exception. Culture-transcendent conceptual analysis can proceed on firm footing without having to deny the reality of radical cultural and linguistic difference by treating components of text-types as the concepts to be analyzed. Analyses of central philosophical concepts are provided as a means of adjudicating philosophical controversy. (shrink)

In this essay I will defend a novel version of the indexical view on proper names. According to this version, proper names have a relatively sparse truth-conditional meaning that is represented by their rigid content and indexical character, but a relatively rich use-conditional meaning, which I call the (contextual) constraint of a proper name. Firstly, I will provide a brief outline of my favoured indexical view on names in contrast to other indexical views proposed in the relevant literature. Secondly, two (...) general motivations for an indexical view on names will be introduced and defended. Thirdly, I will criticize the two most popular versions of the indexical view on names: formal variable accounts and salience-based formal constant accounts. In the fourth and final section, I will develop my own use-conditional indexical view on names in three different steps by confronting an initial version of this view with three different challenges. (shrink)

The predicate view on proper names opts for a uniform semantic representation of proper nouns like ‘Alfred’ as predicates on the level of logical form. Early defences of this view can be found in Sloat (Language, vol. 45, pp. 26–30, 1969) and Burge (J. Philos. 70: 425–439, 1973), but there is an increasing more recent interest in this view on proper names. My paper aims to provide a reconstruction and critique of Burge’s main argument for the predicate view on proper (...) names, which is still used by several current philosophers in defence of this view. I have called this argument the unification argument. I will present a stepwise interpretation and reconstruction of this argument, consider several possible responses to it and defend a specific response to it in detail. (shrink)

In this paper, I explore the implications of recent empirical research on concept representation for the philosophical enterprise of conceptual analysis. I argue that conceptual analysis, as it is commonly practiced, is committed to certain assumptions about the nature of our intuitive categorization judgments. I then try to show how these assumptions clash with contemporary accounts of concept representation in cognitive psychology. After entertaining an objection to my argument, I close by considering ways in which conceptual analysis might be altered (...) to accord better with the empirical work. (shrink)

A popular argument supporting functionalism has been what is commonly called the “multiple realizability” argument. One version of this argument uses thought experiments designed to show that minds could be composed of different types of material. This article offers a metaphilosophical analysis of this argument and shows that it fails to provide a strong case for functionalism. The multiple realizability argument is best understood as an inference‐to‐the‐best‐explanation argument, whereby a functionalist account of our mental concepts serves to explain our multiple (...) realizability intuitions. I show that the argument is inadequate because alternative accounts of our mental concepts exist that provide equally plausible explanations for these intuitions. Moreover, in the case of our qualia concepts, a nonfunctionalist account explains several other intuitions that functionalism cannot explain. Thus, despite its popularity, the intuition‐based version of the multiple realizability argument is a poor reason for accepting functionalism. (shrink)

The idea that there are features of or in our conscious experience that are, in some important sense, private has both a long history in philosophy and a large measure of intuitive attraction. Once this idea is in place, it will be very natural to assume that one can think and judge about one’s own private features. And it is then only a small step to the idea that we might communicate such thoughts and judgements about our respective private features (...) with each other. (shrink)

The paper argues that the reference of perceptual demonstratives is fixed in a causal nondescriptive way through the nonconceptual content of perception. That content consists first in spatiotemporal information establishing the existence of a separate persistent object retrieved from a visual scene by the perceptual object segmentation processes that open an object-file for that object. Nonconceptual content also consists in other transducable information, that is, information that is retrieved directly in a bottom-up way from the scene (motion, shape, etc). The (...) nonconceptual content of the mental states induced when one uses a perceptual demonstrative constitutes the mode of presentation of the perceptual demonstrative that individuates but does not identify the object of perceptual awareness and allows reference to it. On that account, perceptual demonstratives put us in a de re relationship with objects in the world through the non-conceptual information retrieved directly from the objects in the environment. (shrink)

Since Kaplan : 81–98, 1979) first provided a logic for context-sensitive expressions, it has been thought that the only way to construct a logic for indexicals is to restrict it to arguments which take place in a single context— that is, instantaneous arguments, uttered by a single speaker, in a single place, etc. In this paper, I propose a logic which does away with these restrictions, and thus places arguments where they belong, in real world conversations. The central innovation is (...) that validity depends not just on the sentences in the argument, but also on certain abstract relations between contexts. This enrichment of the notion of logical form leads to some seemingly counter-intuitive results: a sequence of sentences may make up a valid argument in one sequence of contexts, and an invalid one in another such sequence. I argue that this is an unavoidable result of context sensitivity in general, and of the nature of indexicals in particular, and that reflection on such examples will lead us to a better understanding of the idea of applying logic to context sensitive expressions, and thus to natural language in general. (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are they definite descriptions (...) with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

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

Quine’s thesis of the indeterminacy of translation has puzzled the philosophical community for several decades. It is unquestionably among the best known and most disputed theses in contemporary philosophy. Quine’s classical argument for the indeterminacy thesis, in his seminal work Word and Object, has even been described by Putnam as “what may well be the most fascinating and the most discussed philosophical argument since Kant’s Transcendental Deduction of the Categories” (Putnam, 1975a: p. 159).

I have recently argued that origin essentialism regarding individual organisms entails that natural selection does not explain why individual organisms have the traits that they do. This paper defends this and related theses against Mohan Matthen's recent objections.

In his (1978) and parts of (1993), Philip Kitcher advances a new context-sensitive theory of reference which he applies to abandoned theoretical expression-types, such as Joseph Priestley’s ‘dephlogisticated air’, in order to show that, although qua types they fail to refer uniformly, they nonetheless have referential tokens. This piece offers a critical examination of Kitcher’s theory. After a general investigation into the overall adequacy of Kitcher’s theory as a general account of reference, I focus on the case of abandoned theoretical (...) terms. Kitcher’s theory is meant to be able to evaluate and solve disputes about referential continuity and progress in scientific theorychange. To this end, Kitcher employs the principle of humanity and a notion of the “correct historical explanation” of the production of each expression-token. I argue that the application of the principle of humanity does not offer a principled way to show that the historical actors were involved in different modes of reference when they produced different tokens of an expressiontype. I also suggest that the principle of humanity, coupled with Kitcher’s view that tokens of expression-types may systematically refer to different things, makes conceptual progress too easy and thus uninteresting. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

The canonical version of possible worlds semantics for story prefixes is due to David Lewis. This paper reassesses Lewis's theory and draws attention to some novel problems for his account.

This essay is devoted to an analysis of the semantic significance of a fashionable view of proper names, the Predicate Theory of names, typically developed in the direction of the Metalinguistic Theory of names. According to MT, ‘syntactic evidence supports the conclusion that a name such as ‘Kennedy’ is analyzable in terms of the predicate ‘individual named ‘Kennedy’’. This analysis is in turn alleged to support a descriptivist treatment of proper names in designative position, presumably in contrast with theories of (...) names as ‘directly referring rigid designators’. The main aim of this essay is that of questioning the significance of PT and MT as theories of designation: even granting for the argument’s sake that names are analyzable as predicates, their designative occurrences may be interpreted in consonance with the dictates of Direct Reference—indeed, in consonance with the radically anti-descriptivist version of Direct Reference I call Millianism. (shrink)

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

In this paper, I defend a view of names from fiction compatible with the Millian theory of proper names. Unlike other attempts at providing a Millian analysis of names from fiction, my approach gives semantic recognition to our pre‐theoretic intuitions without postulating metaphysically dubious entities. The intuitively correct treatment of typical examples, including true negative existential statements, is obtained by appealing only to independently motivated results in the semantics for natural languages.

Semantic externalism is the view that meaning is at least partly determined by reference. This suggests that the classic philosophical distinction between truth in virtue of meaning alone and truth in virtue of the world may need reconsideration. If all sentences are true in virtue of reference it is difficult to see how we can distinguish some sentences from others as true in virtue of the world-independent, purely semantic entities that their truth-conditions involve. I argue, to the contrary, that semantic (...) externalism instead exposes significant problems with the orthodox view about meaning that underlies the orthodox view about analytic truth, and I offer an account of analyticity from the perspective of semantic externalism. On this view, the truth-value of analytic sentences will not be distinguished from those of synthetic sentences. The truth-conditions of an analytic sentence are, however, to be distinguished from what makes it "analytic". This account is one that revokes the customary world-independence of analytic sentences, but does not sacrifice their unique modal and epistemic features. (shrink)

Direct reference theorists tell us that proper names have no semantic value other than their bearers, and that the connection between name and bearer is unmediated by descriptions or descriptive information. And yet, these theorists also acknowledge that we produce our name-containing utterances with descriptions on our minds. After arguing that direct reference proponents have failed to give descriptions their due, I show that appeal to speaker-associated descriptions is required if the direct reference portrayal of speakers wielding and referring with (...) public names is to succeed. (shrink)

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

Physicist Max Tegmark argues that if there are infinite universes or sub-universes, we will encounter our exact duplicates infinite times, the nearest within 10^10^115 m. Tegmark assumes Humean supervenience and a finite number of possible combinations of elementary quantum states. This paper argues on the contrary that Tegmark’s argument fails to hold if possible thoughts, persons, and life histories are all infinite in number. Are there infinite thoughts we could possibly think? This paper will show that there are. If so, (...) then it is not only Tegmark’s specific claim about our duplication that is called into question. We additionally acquire another strong argument against Humean supervenience. (shrink)

In this paper I argue that Wittgenstein is correct when he says of the Standard Metre stick that we can neither say that it is or is not a metre in length – despite what our intuitions may tell us to the contrary. Specifically, the paper deals with Kripke's criticism of Wittgenstein's claim in Naming And Necessity and with Salmon's attempt to arbitrate between the two views. I conclude that, not only is Wittgenstein correct, but that both Kripke and Salmon (...) (and possibly the majority of philosophers) simply do not understand the concept of measurement. (shrink)

Incommensurability may be regarded as driving specialisation, on the one hand, and as posing some problems to interdisciplinarity, on the other hand. It may be argued, however, that incommensurability plays no role in either specialisation or interdisciplinarity. Scientific specialties could be defined as simply 'different' (that is, about different things), rather than 'incommensurable' (that is, competing for the explanation of the same phenomena). Interdisciplinarity could be viewed as the co- ordinated effort of scientists possessing complemetary and interlocking skills, and not (...) as the overcoming of some sort of incommensurable divide. This article provides a comprehensive evaluative examination of the relations between specialisation, interdisciplinarity, and incommensurability. Its aim is to defend the relevance of incommensurability to both specialisation and interdisciplinarity. At the same time, it aims at correcting the tendency, common among many philosophers, to regard incommensurability in a restrictive manner - such as, for example, as an almost purely semantic issue. (shrink)

Identity theories are those that hold that 'sensations are brain processes'. In particular, they hold that mental/psychological state kinds are identical to brain/neuroscientific state kinds. In this paper, I isolate and explain some of the key features of contemporary identity theories. They are then contrasted with the main live alternatives by means of considering the two most important lines of objection to identity theories.

A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding an (...) axiom to the effect that each world is the set of propositions which are true there. Senses are compositionally assigned to linguistic expressions by a categorial grammar with only two rule schemas, based on the implicative fragment of intuitionistic linear propositional logic, and a fully explicit grammar fragment is provided that illustrates the compositional assignment of sense to a variety of constructions, including dummy-subject constructions, infinitive complements, predicative adjectives and nominals, raising to subject, ‘tough-movement’, and quantifier scope ambiguities. Notably, the grammar and the derivations that it licenses never make reference to either worlds or to the extensions of senses. (shrink)

Recently, Lisa Feldman Barrett and colleagues have introduced the Theory of Constructed Emotions (TCE), in which emotions are constituted by a process of categorizing the self as being in an emotional state. The view, however, has several counterintuitive implications: for instance, a person can have multiple distinct emotions at once. Further, the TCE concludes that emotions are constitutively social phenomena. In this article, I explicate the TCE*, which, while substantially similar to the TCE, makes several distinct claims aimed at avoiding (...) the counterintuitive implications plaguing the TCE. Further, because of the changes that comprise the TCE*, emotions are not constitutively social phenomena. (shrink)

Some hold that proper names and indexicals are “Kaplan rigid”: they designate their designata even in worlds where the designata don’t exist. An argument they give for this is based on the analogy between time and modality. It is shown how this argument gains forcefulness at the expense of carefulness. Then the argument is criticized as forming a part of an inconsistent philosophical framework, the one with which David Kaplan and others operate. An alternative account of a certain class of (...) negative existentials is developed, one which eliminates both the inconsistency and the need for Kaplan rigidity. After all, mustn’t whatever is referred to exist? (shrink)

I will show how a metaphysical problem of Arthur Prior’s can be solved by a logical tool he developed himself, but did not put to any foundational use: metric logic. The broader context is given by the key question about the metaphysics of time: Is time tenseless, i.e., is time just a structure of instants; or is time tensed, because some facts are irreducibly tensed? I take sides with Prior and the tensed theory. Like him, I therefore I have to (...) deal with a more specific metaphysical question: How can the instants of tenseless time be reduced to tensed facts? This is the point where, on the technical level, hybrid logic and metric logic come in. For present purposes, both can be seen as species of tense logic; and both are creations of Prior. In his argument for the tensed theory of time, Prior used hybrid tense logic to reduce instants. But, as he himself pointed out, this reduction runs into deep problems, because it immediately generalizes to other categories, for example and most importantly to persons. My main aim is to show that metric logic does not run into similar difficulties: It will help the tensed theory reduce instants, but it leaves persons untouched. I will also give reasons for preferring a metric to a hybrid logic of time that are independent of the metaphysical issue of reduction, but concern temporal reasoning, natural language semantics, and the epistemic side of time-keeping. (shrink)

Against the background of the theory of branching space-times (BST), the paper sketches a concept of individuals. It discusses Kripkean modal intuitions concerning individuation, and, finally it addresses Lewis’s objections to branching individuals.

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

In this paper I discuss, on behalf of the materialist, a consideration against the modal or conceivability argument against materialism which was first voiced in the third lecture of Naming and Necessity. This consideration is based on intertheoretic identities, statements in which both terms flanking the identity sign are theoretical. I argue that the defender of the conceivability argument has trouble to account for the appearance of contingency in those types of necessary identities. In fact, intertheoretic identities pose a formidable (...) dilemma for the defender of the modal argument and actually force the antimaterialist to say more about the semantics of theoretical terms than is implicit in standard discussions of the argument. I myself consider several options in this regard, the upshot being, however, that none of the alternative semantics for theoretical terms available to the antimaterialist is good enough to achieve the twofold aim which her modal argument requires, namely, to account for the a posteriori necessity of identities of this sort and, at the same time, to preserve her antimaterialist argument. Finally, in the last part of the paper, I argue that my defense of materialism can withstand some worries coming from David Chalmers’ recent views on a priori scrutability. (shrink)