In Our Knowledge of the Internal World, Robert Stalnaker describes two opposed perspectives on the relation between the internal and the external. According to one, the internal world is taken as given and the external world as problematic, and according to the other, the external world is taken as given and the internal world as problematic. Analytic philosophy moved from the former to the latter, from problems of world-construction to problems of self-locating beliefs. I argue in this paper that these (...) problems are equivalent: both arise because experience and objective, external facts jointly underdetermine their relation. Both can be seen as a problem of expressive completeness; of the internal language in the former case, and of the non-indexical language in the second. (shrink)

The main purpose of this paper is to propose and defend anew definition of synonymy. Roughly (and slightly misleadingly), theidea is that two expressions are synonymous iff intersubstitutions insentences preserve the degree of doxastic revisability. In Section 1 Iargue that Quine''s attacks on analyticity leave room for such adefinition. The definition is presented in Section 2, and Section 3elaborates on the concept of revisability. The definition is defendedin Sections 4 and 5. It is, inter alia, shown that the definition hasdesired (...) formal properties. In Sections 6 and 7 I briefly comment on,first, the relation of the definition to Quine''s later ideas about (stimulus)synonymy, and, second, its relation to a general, interlinguistic, conceptof meaning. (shrink)

This paper is an attack on the Dummett-Prawitz view that the principle of bivalence has a crucial double significance, metaphysical and meaning theoretical. On the one hand it is said that holding bivalence valid is what characterizes a realistic view, i.e. a view in metaphysics, and on the other hand it is said that there are meaning theoretical arguments against its acceptability. I argue that these two aspects are incompatible. If the failure of validity of bivalence depends on properties of (...) linguistic meaning, then there are no metaphysical consequences to be drawn. The case for this view is straightforward as long as we are discussing a language different from our own. But it seems that the distinction between failure because of meaning and failure because of reality cannot be applied to our own language, simply because our own language is just what we use to represent reality. I argue that this impression is illusory. In order to draw a conclusion about reality, meaning must be connected with truth in a non-trivial way, and precisely this cannot be done in the language for which the meaning theory itself is correct. (shrink)

Summary This paper is intended to discuss the problems occurring in the relation between the notion of truth and the question of self-reference. To do this, we shall review Tarski's (T) convention and its related terminology. We shall clarify the relation between truth and extension in order to lead into the question of semantic paradoxes appearing in the theoretical models concerned with truth. Subsequently, we shall review the logical system which develops in the reformulation of the modal proposal of the (...) (T) convention. In closing, we shall critically examine Kripke's interpretation from the proposals made by Tarski. (shrink)

Michael Dummett has claimed that the only way to establish communication between the analytic and Continental schools of philosophy is to go back to their point of divergence in Frege and the early Husserl. In this paper, I try to show that Dummett's claim is false. I examine in detail the discussions at the infamous 1958 Royaumont Colloquium on analytic philosophy. Many ? including Dummett ? believe that these discussions underscore the futility of attempting to bridge the gap between Continental (...) and analytical philosophies in anything like their current shapes. I argue, however, that a close study of the Royaumont proceedings rather reveals how close some of the analytical speakers were to some of their Continental listeners. (shrink)

This paper embeds a theory of proper names in a general approach to singular reference based on type‐free property theory. It is proposed that a proper name “N” is a sortal common noun whose meaning is essentially tied to the linguistic type “N”. Moreover, “N” can be singularly referring insofar as it is elliptical for a definite description of the form the “N” Following Montague, the meaning of a definite description is taken to be a property of properties. The proposed (...) theory fulfils the major desiderata stemming from Kripke's works on proper names. (shrink)

It is customary in current philosophy of time to distinguish between an A- (or tensed) and a B- (or tenseless) theory of time. It is also customary to distinguish between an old B-theory of time, and a new B-theory of time. We may say that the former holds both semantic atensionalism and ontological atensionalism, whereas the latter gives up semantic atensionalism and retains ontological atensionalism. It is typically assumed that the B-theorists have been induced by advances in the philosophy of (...) language and related A-theorists’ criticisms to acknowledge that semantic atensionalism can hardly stand, but have also maintained that what is essential for the B-theory is ontological atensionalism, which can be independently defended. Here it is argued that the B-theorists have been too quick in abandoning semantic atensionalism: they can still cling to it. (shrink)

This paper is a critical examination of Stephen Neale's *The Philosophical Significance of Godel's slingshot*. I am sceptical of the philosophical significance of Godel’s Slingshot (and of Slingshot arguments in general). In particular, I do not believe that Godel’s Slingshot has any interesting and important philosophical consequences for theories of facts or for referential treatments of definite descriptions. More generally, I do not believe that any Slingshot arguments have interesting and important philosophical consequences for theories of facts or for referential (...) treatments of definite descriptions. Friends of facts and referential treatments of definite descriptions can, and should, proceed with the construction of their theories, blithely ignoring the many Slingshots which now litter the landscape. (Of course, there may be other considerations which should give such theorists pause -- but those are other considerations.). (shrink)

In this paper, I argue -- against Steven Wagner -- that Nathan Salmon's semantic theory is not refuted by a suitable variant of Quine's slingshot (Word and Object, 148-9).

In the late preschool years children acquire a "theory of mind", the ability to ascribe intentional states, including beliefs, desires and intentions, to themselves and others. In this paper I trace how children's ability to ascribe intentions is derived from parental attempts to hold them responsible for their talk and action, that is, the attempt to have their behavior meet a normative standard or rule. Self-control is children's developing ability to take on or accept responsibility, that is, the ability to (...) ascribe intentions to themselves. This is achieved, I argue, when they possess the ability to hold an utterance or rule in mind in the form of a quoted expression, and second, when they grasp the causal relation between the rule and their action. The account of how children learn to ascribe intention to themselves and others will then be used to explore the larger question of the relations amongst language, intentional states and the ascription and avowal of those states. (shrink)

Knowledge is more valuable than mere true belief. Many authors contend, however, that reliabilism is incompatible with this item of common sense. If a belief is true, adding that it was reliably produced doesn't seem to make it more valuable. The value of reliability is swamped by the value of truth. In Goldman and Olsson (2009), two independent solutions to the problem were suggested. According to the conditional probability solution, reliabilist knowledge is more valuable in virtue of being a stronger (...) indicator than mere true belief of future true belief. This article defends this solution against some objections. (shrink)

I challenge a cornerstone of the Gettier debate: that a proposed analysis of the concept of knowledge is inadequate unless it entails that people don’t know in Gettier cases. I do so from the perspective of Carnap’s methodology of explication. It turns out that the Gettier problem per se is not a fatal problem for any account of knowledge, thus understood. It all depends on how the account fares regarding other putative counter examples and the further Carnapian desiderata of exactness, (...) fruitfulness and simplicity. Carnap proposed his methodology more than a decade before Gettier’s seminal paper appeared, making the present solution to the problem a candidate for being the least ad hoc proposal on the market, one whose independent standing cannot be questioned, among solutions that depart from the usual method of revising a theory of knowledge in the light of counterexamples. As an illustration of the method at work, I reconstruct reliabilism as an attempt to provide an explication of the concept of knowledge. (shrink)

Tomasello, Kruger & Ratner relate the evolution of social cognition – the understanding of others' minds – to the evolution of culture. Tomasello et al. conceive of the accumulation of culture as the product of cultural learning, a kind of learning dependent upon recognizing others' intentionality. They distinguish three levels of this recognition: of intention (what isxtrying to do), of beliefs (what doesxthink aboutp), and of beliefs about beliefs (what doesxthinkythinks aboutp). They then tie these levels to three discrete forms (...) of cultural learning – imitative, instructed, and collaborative – which children become capable of when they are 9 months, 4 years, and 6 years old respectively, at least in Western culture where relevant data are available. (shrink)

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

This paper examines whether one can accept Quine's critique of the analytic/synthetic distinction while rejecting his indeterminacy of translation thesis. I argue that this is possible, appearances to the contrary notwithstanding. Holding that linguistic synonymy is a well‐defined relation, and that translation is thus a determinate matter, does not commit one to the existence of an analytic‐synthetic distinction capable of playing the explanatory role that the traditional distinction was supposed to play, unless one holds that logical truths have distinctive epistemological (...) or semantic properties that other truths do not. It is therefore possible to deny that logical truths have any such properties, thus to deny the existence of an explanatorily significant analytic/synthetic distinction, while holding that linguistic synonymy is a well‐defined relation. A corollary of this position is that the indeterminacy thesis is false. (shrink)

While there has been considerable recent criticism of perdurance theory in connection with a Humean understanding of causality, perdurance theory conjoined with causal realism has received relatively little attention. One might, then, form the impression that perdurance theory under the auspices of causal realism is a relatively safe view. I shall argue, however, to the contrary. My general strategy is to show that there is no plausible way of spelling out the perdurance position (of the non-Humean, causal realist sort). I (...) implement this strategy by revealing several general problems concerning the causally-connected temporal parts scheme. I begin with a short account of perdurance theory. There follows a description of two general views of causality and the two subsequent accounts of the perduring object; then, the criticism. (shrink)

I discuss and criticise Douglas Gasking’s paper, “The Analytic-Synthetic Controversy” (in the current issue of this journal). Gasking proposes an explanation of our classifying together as “analytic” statements like “Someone is a bachelor if and only if he is an unmarried man”. He proposes that the feature common to the statements that we so classify is that they provide the only “semantic anchor” for a word that does not have, in Quine’s terms, a socially constant stimulus meaning. I argue that, (...) even after modifications are introduced to allow the account to handle certain difficulties, the account falls to some fatal objections. (shrink)

I have two aims for the present paper, one narrow and one broad. The narrow aim is to show that a class of data originally described by Lynsey Wolter empirically undermine the leading treatments of complex demonstratives that have been described in the literature. The broader aim of the paper is to show that Wolter demonstratives, as I will call the constructions I focus on, are a threat not just to existing treatments, but to any possible theory that retains the (...) uncontroversial assumptions that relative clauses always form a constituent with the nouns they modify, and that semantic composition proceeds sequentially and locally, with the inputs to interpretation having the structure syntax tells us they do. (shrink)

Standard semantic theories predict that non-deictic readings for complex demonstratives should be much more widely available than they in fact are. If such readings are the result of a lexical ambiguity, as Kaplan (1977) and others suggest, we should expect them to be available wherever a definite description can be used. The same prediction follows from ‘hidden argument’ theories like the ones described by King (2001) and Elbourne (2005). Wolter (2006), however, has shown that complex demonstratives admit non-deictic interpretations only (...) when a precise set of structural constrains are met. In this paper, I argue that Wolter’s results, properly understood, upend the philosophical status quo. They fatally undermine the ambiguity theory and demand a fundamental rethinking of the hidden argument approach. (shrink)

Within philosophy of medicine it has been a widespread view that there are important theoretical and practical reasons for clarifying the nature of basic health concepts like disease, illness and sickness. Many theorists have attempted to give definitions that can function as general standards, but as more and more definitions have been rejected as inadequate, pessimism about the possibility of formulating plausible definitions has become increasingly widespread. However, the belief that no definitions will succeed since no definitions have succeeded is (...) an inductive objection, open to realist responses. The article argues that an influential argument from philosophy of language constitutes a more fundamental objection. I use disease as an example and show that this argument implies that if a common understanding of disease can be analysed into a definition, then this is a non-trivial definition. But any non-trivial analysis must be viciously circular: the analysis must presuppose that disease can be defined, but this is what the analysis is supposed to yield as a result. This means, the article concludes, that disease and other controversial health concepts do not have analyses grounded in a common language. Stipulative and contextual definitions can have local significance, but the normative roles of such definitions are at the same time limited. (shrink)

I have taken the traditional problem of the seeming interdependence of identity concepts and essentialistic concepts and the attendant difficulties with circularity as a starting point in my consideration of recent attempts to provide accounts ofde re essences. Having distinguished between theories of individual and generic essences, I have shown how a linguistic device based upon a new approach to referring expressions has, perhaps, provided some advance in the understanding of individualde re essences. I have argued that, however efficacious these (...) linguistic devices may be in dealing with individual essences, they are of no help in dealing with generic essences. I considered, therefore, one of the recent attempts to use science as the arbiter ofde re essences and concluded that such attempts will not, ultimately, solve the traditional problem of circularity. That problem remains, arising in different forms to thwart different attempts to account forde re generic essences. (shrink)

Under what conditions does a physical system implement or realize a computation? Structuralism about computational implementation, espoused by Chalmers and others, holds that a physical system realizes a computation just in case the system instantiates a pattern of causal organization isomorphic to the computation’s formal structure. I argue against structuralism through counter-examples drawn from computer science. On my opposing view, computational implementation sometimes requires instantiating semantic properties that outstrip any relevant pattern of causal organization. In developing my argument, I defend (...) anti-individualism about computational implementation: relations to the social environment sometimes help determine whether a physical system realizes a computation. 1 The Physical Realization Relation2 Semantics and Computational Implementation3 Conforming to Instructions4 Implementing a Computer Program4.1 The denotational semantics of Scheme4.2 Worries about intentionality4.3 Worries about the natural numbers5 Implementing a Machine Model6 Bounded Structuralism7 Triviality Arguments8 Anti-individualism about Computational Implementation. (shrink)

Examples suggest that one and the same A may be different Bs, and hence that there is some sort of incompleteness in the unqualified statement that x and y are the same which needs to be eliminated by answering the question “the same what?” One way to make this more precise is by appeal to Geach's idea that identity is relative. In this paper I evaluate Geach's relative identity thesis.

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

Tensions between idealism and scientific realism have been resolved by an appeal to the theory/observation distinction. but many who support incommensurability reject the distinction in favor of a version of idealism, e.g., thomas kuhn who supports a version of relativist idealism in which the terms of a theory do refer, but only to a paradigm--relative world of entities. it is argued that the three kinds of idealism depend on a cluster theory of meaning for fixing the reference of scientific terms, (...) and that a realist interpretation of the growth of science must eschew such a theory of meaning. the kripke-putnam theory for reference fixing of theoretical terms is employed to show how one term, 'mass', is referentially invariant despite change in the theory of motion from newton to einstein. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial counterpossibles, (...) which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

Quine and Davidson employ proxy functions to demonstrate that the use of language (behaviouristically conceived) is compatible with indefinitely many radically different reference relations. They also believe that the use of language (behaviouristically conceived) is all that determines reference. From this they infer that reference is indeterminate, i.e. that there are no facts of the matter as to what singular terms designate and what predicates apply to. Yet referential indeterminacy yields rather dire consequences. One thus does wonder whether one can (...) hold on to a Quine--Davidson stance in semantics-cum-metaphysics and still avoid embracing referential indeterminacy. I argue that one can. Anyone adhering to the behaviouristic account pivotal to the Quine--Davidson stance is bound to acknowledge certain facts about verbal behaviour -- that some utterances are tied to situations, that some utterances are tied to segments in situations, that some predicates have non-contextualised conditions of application, and that use involves causal dependencies. The restrictions from these facts ensure that only reference relations generated by means of rather exceptional proxy functions are compatible with verbal behaviour. I conclude that this allows one to rebuff the Quine--Davidson argument for the indeterminacy of reference, as it were, from within. I moreover tentatively conclude that the line of thought laid out provides good reason for just about anyone to hold that there are facts about reference after all. (shrink)

Hilary Putnam once proposed a semantic approach to, as well as a deflationist resolution of, the problem of analyticity. I take up and defend both ideas. First of all, I defend Putnam's semantic construal of the issue against Quine's reductive understanding. Secondly, I devise a semantics that successfully explains the genesis of the relevant analytic truths and that shows them to be harmless. Finally, I rebut the aspirations of the neo-descriptivist semantics, prominently propounded by David Chalmers and Frank Jackson, that (...) is widely presumed to spearhead the re-establishment of substantial analyticities. I conclude that analytic truths—at least those discussed—are indeed harmless. (shrink)

In this paper a bootstrap theory of rationality is presented. Such a theory is an attempt to explain how standards of rational inquiry may be rationally revised — without assuming that there are any basic and fixed standards for evaluating such revisions. The general bootstrap idea is briefly presented in the first sections. The main part of the paper consists of a discussion of what normative requirements a bootstrap theory should contain, and a number of requirements on rational revisions are (...) proposed. The final section deals with the question of whether a bootstrap theory is self-referentially coherent. (shrink)