This paper challenges the Kripke-Putnam thesis about natural kind terms, according to which natural kind terms are referential and rigid. I argue that natural kind terms are semantically underdetermined expressions, and are therefore intrinsically neither referential nor rigid. After reviewing Kripke’s and Putnam’s original arguments, I look at examples of natural kind terms discussed by them and others in the literature, aiming to show that they are indeed semantically underdetermined. I conclude that contextualist considerations should (...) be taken into account to explain the differing truth-conditional values these expressions may have. In Spanish. (shrink)

Many philosophers have shown great interest in the recent anti-realist turn in Hilary Putnam's thought, whereby he rejects "meta-physical realism" in favor of "internal realism". However, many have also found it difficult to gain an exact understanding, and hence a correct assessment of Putnam's ideas. This work strives for some progress on both of these accounts. ;Part one explicates what Putnam understands by "metaphysical realism" and considers to what extent Putnam himself formerly adhered to it. It (...) reconstructs Putnam's arguments for the indeterminacy of reference and for the rejection of reference and of truth as correspondence, and it shows how such arguments hinge both on considerations in the theory of reference and in metaphysics. It suggests that commentators have often missed the actual structure of Putnam's argumentation, e.g. by simply identifying it with the so called "model-theoretic" argument. Finally, Part One examines Putnam's "internal realism", stressing its ties to such authors as Kant, Goodman and Dummett, and explaining in what senses it is really a strong kind of anti-realism. Basically, Putnam does not deny that a mind-independent world exists, but he denies that we may refer to it, and claims that the world we know is thoroughly mind-dependent. ;Part two criticizes Putnam's arguments for indeterminacy along with some similar indeterminacy arguments such as Goodman's argument on confirmation, and the Kripke-Wittgenstein argument on rules. This is done by vindicating the notion of objective similarity, and by relying on it to fix reference. Putnam's claim that we have no theory showing how reference could possibly be determinate is countered by sketching a possible account of reference--distinctly owing to functionalism--which might answer such question. Putnam's notorious "brains in the vat" argument is also discussed and criticized. ;Putnam's metaphysical picture, by which the mind-independent world is not sorted out into objects or properties, is granted. But it is argued that nonetheless we may refer to the mind-independent world, and have beliefs which are true of it. (shrink)

In this article I am trying to compare the methods of phenomenology and analytic philosophy. Such a general comparison is of course impossible in a small article. In order to make it possible I am comparing selected authors. Phenomenology is thus represented by Husserl and Ingarden, analytic philosophy by Putnam and Kripke (they are chosen because of their realism and essentialism). I am trying to analyze the way the authors describe their methods. First I am analyzing analytic philosophy (...) from the phenomeneological point of view, then phenomenology from the point of view of analytic philosopher. I'm. pointing out that Kripke and Putnam often say about intuition, and that they do not understand it as any kind of linguistic intuition. Then I'm. pointing out that phenomenologists often refer to the way w describe things, although they are convinced that their experience is always prior to any linguistic form. I am suggesting that even if we agree that the practice of both schools is similar, and that the description of methods could be translated, there is no chance of a real agreement between phenomenology and analytic philosophy. My thesis is that neither the practice nor the description of the way we obtain our philosophical goals is important. What really is important is all the philosophical background (ontology, philosophical assumptions and the like). In this particular situation considered in my article, the most important factor is the answer for the following question: Can we think without the language? Phenomenologist can not answer 'no' to this question. If he did he would admit that his philosophy isn't free of assumptions. Analytic philosopher can not answer 'yes' to this question. If he did he would admit that he is interested only in some kind of 'package for thought'. The answer itself depends on some kind of philosophical faith. Thus, the answer for the main question of my article depends only on Kripke's will of changing his declaration of faith. (shrink)

Theoretical identity statements of the form "water is H2O‟ are allegedly necessary truths knowable a posteriori, and assert that nothing could be water and not be H2O. The necessary a posteriori nature of these identity claims has been taken by Kripke, Putnam and Donnellan to justify a move from talk of reference (language) to talk of essence (metaphysics), and has motivated much of contemporary essentialism. In this paper I will contest this move from reference to essence, and argue (...) that (i.) the only way to derive essentialism from semantics (specifically direct reference) is to assume it as a premise, (ii.) that contemporary essentialism is a metaphysical assumption not a thesis, and (iii.) – assuming the accuracy of the analogy between proper names and natural kind terms – present an alternative version of natural kinds classification that is interest-relative, dependent on practical application and reflects the contingent state of affairs which is our world. (shrink)

In componential analysis, word meanings are (partly) decomposed into other meanings, and semantic and syntactic markers. Although a theory of word meaning based on such semantic decompositions remains compatible with the linguistic labor division thesis, it is not compatible with Kripke/Putnam-style indexical externalism. Instead of abandoning indexical externalism, a Separation Thesis is defended according to which lexical meaning need not enter the truth-conditional content of an utterance. Lexical meaning reflects beliefs about word meaning shared in a (...) speaker community, and these may rest on possibly erroneous world-level theories. It is argued that this type of lexical meaning is indispensable for explaining word composition processes and the rationality of metalinguistic disputes. (shrink)

In this paper, I will outline some of the important points made by Kripke and Putnam on the meaning of natural kind terms. Their notion of the baptism of natural kinds- the process by which kind terms are initially introduced into the language — is of special concern here. I argue that their accounts leave some ambiguities that suggest a baptism of objects and kinds that is free of additional theoretical commitments. Both authors suggest that we name the (...) stuff and then let the scientists tell us what properties it really has, and hence what the real meaning is. I contend that such a barren baptism, taken at face value, cannot succeed in the semantic roles it has been assigned and that softening the stance on baptism suggests a more subtle and complex relation between reference and theoretical commitment than has emerged thus far. (shrink)

Metaphysics and Science brings together important new work within an emerging philosophical discipline: the metaphysics of science. In the opening chapter, a definition of the metaphysics of science is offered, one which explains why the topics of laws, causation, natural kinds, and emergence are at the discipline's heart. The book is then divided into four sections, which group together papers from leading academics on each of those four topics. Among the questions discussed are: How are laws and measurement methods related? (...) Can a satisfactory reductive account of laws be given? How can Lorentz transformation laws be explained? How are dispositions triggered? What role should dispositional properties play in our understanding of causation? Are natural kinds and natural properties distinct? How is the Kripke-Putnam semantics for natural kind terms related to the natural kind essentialist thesis? What would have to be the case for natural kind terms to have determinate reference? What bearing, if any, does nonlinearity in science have on the issue of metaphysical emergence? (shrink)

In this admirable book, Scott Soames provides well defended answers to some of the most difficult and important questions in the philosophy of language, and he does so with characteristic thoroughness, clarity, and rigor. The book's title is appropriate, since it does indeed go ‘beyond rigidity’ in many ways. Among other things, Soames does the following in the course of the book. He persuasively argues that the main thesis of Kripke's Naming and Necessity—that ordinary names are rigid designators—can (...) be extended to the more general thesis that simple proper names are synonymous with neither nonrigid nor rigidified descriptions, and so have no descriptive content whatever. He thoroughly defends and places in the context of a larger semantic theory the Millian thesis that the sole semantic contents of most proper names are the names' referents, so that sentences containing such names semantically express singular Russellian propositions. He provides and defends at length an innovative pragmatic account of why substitution of co-referring proper names in cognitive contexts intuitively fails to be truth preserving, even though it seems to follow from the Millian thesis that such substitution must be semantically valid. And he thoroughly and persuasively defends a semantic theory of natural kind terms that explains how, following Kripke and Putnam, theoretical identities involving such terms can express a posteriori necessities, even though on Soames's theory, and contrary to the Kripke-Putnam view, such terms are neither names of natural kinds nor rigid designators in any interesting sense. (shrink)

The thesis aims at analyzing the concepts of risk and safety as well as the class of concepts to which they belong, thick concepts, focusing in particular on the normative aspects involved. Essay I analyzes thick concepts, i.e. concepts such as cruelty and kindness that seem to combine descriptive and evaluative features. The traditional account, in which thick concepts are analyzed as the conjunction of a factual description and an evaluation, is criticized. Instead, it is argued that the descriptive (...) and evaluative aspects must be understood as a whole. Furthermore, it is argued that the two main worries evoked against non-naturalism – that non-naturalism cannot account for disagreement and that it is not genuinely explanatory – can be met. Essay II investigates the utilization of the Kripke/Putnam causal theory of reference in relation to the Open Question Argument. It is argued that the Open Question Argument suitably interpreted provides prima facie evidence against the claim that moral kinds are natural kinds, and that the causal theory, as interpreted by leading naturalist defenders, actually underscores this conclusion. Essay III utilizes the interpretation of the Open Question Argument argued for in the previous essay in order to argue against naturalistic reduction of risk, i.e. reduction of risk into natural concepts such as probability and harm. Three different normative aspects of risk and safety are put forward – epistemic uncertainty, distributive normativity and border normativity – and it is argued that these normative aspects cannot be reduced to a natural measure. Essay IV provides a conceptual analysis of safety in the context of societal decision-making, and argues for a notion that explicitly includes epistemic uncertainty, the degree to which we are uncertain of our knowledge of the situation at hand. Some formal versions of a comparative safety concept are also proposed. Essay V puts forward a normative critique against a common argument, viz. the claim that the public should follow the experts’ advice in recommending an activity whenever the experts have the best knowledge of the risk involved. The importance of safety in risk acceptance together with considerations from epistemic uncertainty makes the claim incorrect even after including plausible limitations to exclude ‘external’ considerations. Furthermore, it is shown that the scope of the objection covers risk assessment as well as risk management. Essay VI provides a systematized account of safety engineering practices that clarifies their relation to the goal of safety engineering, namely to increase safety. A list of 24 principles referred to in the literature of safety engineering is provided, divided into four major categories. It is argued that important aspects of these methods can be better understood with the help of the distinction between risk and uncertainty, in addition to the common distinction between risk and probability. (shrink)

I try to show that there is much sap (synthetic a priori) knowledge although one may not find many, or even any, sap true statements in most natural languages. Reasons are given for the difficulty of expressing sap truths in natural languages, but it is argued that these are not necessary features of language as such. There are, then, sap true statements in some possible languages.Admission of the sap gives one a way of distinguishing logical from metaphysical possiblity. Something is (...) metaphysically impossible just in case it is a sap truth that it is impossible. I argue that the realm of logically possible entities is vastly larger than the realm of metaphysically possible entities.My.defence of the sap begins with a partial defence of the analytic/synthetic distinction. In particular, I attack the intentionality circle argument,Quine's indeterminacy thesis and some applications of the Kripke/Putnam theory of meaning for natural kind terms. Without being a conclusive defence of the analytic/synthetic distinction, this section makes the defence of the sap more secure. Arguments are then mounted in direct defence of the sap by showing that the purported reduction of sap truths to analytic truths is mistaken. Examples are adduced to show that, even where expressions of natural language fail, one can stipulate usage in ways that allow expression of sap truths. I then consider and reply to various objections, giving an example of the sort of meaning theory which illegitimately legislates the analyticity of any purported sap true statement. (shrink)

This lecture, given at Beijing University in 1984, presents a remarkable (previously unpublished) proof of the Gödel Incompleteness Theorem due to Kripke. Today we know purely algebraic techniques that can be used to give direct proofs of the existence of nonstandard models in a style with which ordinary mathematicians feel perfectly comfortable--techniques that do not even require knowledge of the Completeness Theorem or even require that logic itself be axiomatized. Kripke used these techniques to establish incompleteness by means (...) that could, in principle, have been understood by nineteenth-century mathematicians. The proof exhibits a statement of number theory--one which is not at all "self referring"--and constructs two models, in one of which it is true and in the other of which it is false, thereby establishing "undecidability" (independence). (shrink)

Traditionally, many writers, following Kleene (1952), thought of the Church-Turing thesis as unprovable by its nature but having various strong arguments in its favor, including Turing’s analysis of human computation. More recently, the beauty, power, and obvious fundamental importance of this analysis, what Turing (1936) calls “argument I,” has led some writers to give an almost exclusive emphasis on this argument as the unique justification for the Church-Turing thesis. In this chapter I advocate an alternative justification, essentially presupposed (...) by Turing himself in what he calls “argument II.” The idea is that computation is a special form of mathematical deduction. Assuming the steps of the deduction can be stated in a first order language, the Church-Turing thesis follows as a special case of Gödel’s completeness theorem (first order algorithm theorem). I propose this idea as an alternative foundation for the Church-Turing thesis, both for human and machine computation. Clearly the relevant assumptions are justified for computations presently known. Other issues, such as the significance of Gödel’s 1931 Theorem IX for the Entscheidungsproblem, are discussed along the way. (shrink)

‘Natural kind essentialism’—here defined as the view that (i) the existence of natural kinds is a mind- and theory-independent matter, (ii) their essences are intrinsic, and (iii) they have a hierarchical structure—is commonly thought to be justified by appeal to Kripke–Putnam semantics, according to which propositions like ‘water is H20’ are necessary a posteriori. This chapter argues that the Kripke–Putnam semantics is in fact compatible with the denial of each of the three tenets of natural kind (...) essentialism. The basic argument is that, assuming the range of natural kinds goes beyond those kinds for which we have vernacular names, deference to scientific theories is required in fixing the reference of natural kind terms. That those theories describe mind- and theory-independent reality, and that they do not admit a non-hierarchical structure for the categories they deploy, are theses that are independent of anything derivable from Kripke–Putnam semantics itself. (shrink)

O artigo visa analisar, em linhas gerais, a arqueologia do sujeito operada por Alain de Libera, o que será feito pela concentração no estudo de duas teses fundamentais: Descartes chegou ao sujeito menos por reflexão e mais por refração, em seu debate com Hobbes e Regius, ao tentar escapar da redução do indivíduo à vida corporal e, portanto, à passividade; Tomás de Aquino e Pedro de João Olivi teriam sido os responsáveis por dar certo acabamento a uma temática elaborada desde (...) a Patrística, eminentemente por Agostinho de Hipona, que teria formulado um esquema compreensivo do eu como suporte e como agente. This article aims to analyze the fundamentals of Alain de Libera’s archeology of the subject. Two central thesis will be investigated here: Descartes arrived at his theory of the subject in a controversy with Hobbes and Regius, in order to avoid the reduction of the individual to bodily life and passivity; Thomas Aquinas and Peter John Olivi were responsible for a mature approach to the theme of the subject, which had been elaborated by Patristic authors, eminently by Augustine of Hippo, who formulated a comprehensive scheme of the self as support and agent. (shrink)

Under the influence of Quine’s famous manifesto, many philosophers have thought that logical theories are scientific theories that can be ‘adopted’ and tested as scientific theories. Here we argue that this idea is untenable. We discuss it with special reference to Putnam’s proposal to ‘adopt’ a particular non-classical logic to solve the foundational problems of quantum mechanics in his famous paper ‘Is Logic Empirical?’ (1968), which we argue was not really coherent.

I formulate and defend a realist theory of the truth of moral judgements according to which moral properties are synthetically but necessarily determined by natural properties of people, actions, or states of affairs. This view can be found in Moore's later ethical writings. The view reconciles two apparently conflicting intuitions: Moral properties supervene upon natural properties, but judgements about moral properties are generally not entailed by any judgements about natural properties. The view is realist in the sense that moral judgements (...) possess a truth-value independently of our means of knowing it. They are true or false in virture of a reality existing independently of us. ;One promising way of understanding this synthetic, necessary connection between moral and natural properties is in terms of the Kripke-Putnam account of natural kinds: Moral properties are type-identical with configurations of natural properties. But this turns out to be unsatisfactory. Another promising way of understanding this connection is on analogy with the connection between the mental and physical. I reject a token-identity theory of the moral and natural, but the analogy itself is helpful in understanding the relationship between the moral and natural. It offers a model for that relationship. ;I distinguish two senses in which supervenience could be understood in morality--ascriptive and descriptive--and argue that ascriptive supervenience depends on descriptive. A realist must defend descriptive supervenience. Moral properties decriptively supervene upon natural properties because moral differences must be explicable and justifiable in terms of natural differences. ;I construct an epistemology for moral properties in which natural properties are criteria, in Wittgenstein's sense, of moral properties. This conforms with the metaphysics of moral properties, and can be reconciled with the phenomenon of moral conflict. Finally, a careful formulation of moral realism is defended against Dummett's objections to realism generally. The moral realist cannot be forced to hold that there are moral truths that humans could not, even in principle, come to know. Yet this is what seems objectionable about realism in other realms. We can know all moral truths in principle, though perhaps not in practice. (shrink)

Classifications are useful and efficient. We group things into kinds to facilitate the acquisition and transmission of important, often tacit, information about a particular entity qua member of some kind. Whilst it is universally acknowledged that classifications are useful, some scientific classifications (e.g. chemical elements) are held to higher epistemic standards than folk classifications (e.g. bugs). Scientific classifications in terms of ‘natural kinds’ are considered to be more reliable and successful because they are highly projectible and support law-like and inductive (...) generalisations. What counts as a natural kind is, however, controversial: according to essentialists (e.g. Putnam, Kripke, Ellis) natural kinds are mind-independent and possess essential characteristics; according to promiscuous realists (e.g. Dupre ) there are ‘countless legitimate, objectively grounded ways of classifying objects in the world’; and according to scientific realists (e.g. Boyd, Psillos) natural kinds are grounded in the ‘causal structure of the world’. More specifically, realism about kinds can be understood as a commitment to the existence of natural divisions (kinds) in the world that we come to know as a result of mature scientific investigation into the nature of such kinds. Realism about natural kinds is supported and articulated in terms of three main arguments, metaphysical, semantical, and epistemological. In the first part of my thesis I offer a sustained and systematic investigation of these three main arguments, with their respective promises and prospects for the viability of realism about kinds and I find them wanting, whilst in the second part of the thesis I pursue an unexplored line of inquiry regarding natural kinds and propose a mild realism about natural kinds via the ontology of real patterns. (shrink)

Kuhn's ‘taxonomic conception’ of natural kinds enables him to defend and re-specify the notion of incommensurability against the idea that it is reference, not meaning/use, that is overwhelmingly important. Kuhn's ghost still lacks any reason to believe that referentialist essentialism undercuts his central arguments in SSR – and indeed, any reason to believe that such essentialism is even coherent, considered as a doctrine about anything remotely resembling our actual science. The actual relation of Kuhn to Kripke-Putnam essentialism, is (...) as follows: Kuhn decisively undermines it – drawing upon the inadequacies of such essentialism when faced with the failure of attempts to instantiate in history or contemporaneously its ‘thought-experiment’ – and leaves the field open instead for his own more ‘realistic’, deflationary way of thinking about the operation of ‘natural kinds’ in science. (shrink)

I argue that the account of the epistemic modalities developed by Kripke and Putnam is incomplete since it does not make use of the possible worlds machinery that is indispensable to their analysis of the metaphysical modalities. It would have been simpler and more elegant if they had used the concept of 'possible world' to explain both modalities. Instead, they provide an explication of the epistemic modalities in terms of the vague concepts of conceivability and revisability. I show (...) that logical omniscience as a consequence of a possible worlds analysis of the epistemic modalities can be made palatable. (shrink)

Most contemporary analytic philosophers of language and mind accept the view that there is a wide class of terms, “natural kind terms”, which includes names of substances (the most common example is “water”), of species of animals, and of many other kinds of things in nature, whose meaning and reference is determined in the way explained by the theory developed in the 1970s by Saul Kripke and Hilary Putnam. The theory is often referred to as “the Kripke- (...) class='Hi'>Putnam theory” and is supposed to have such achievements as the overthrow of the earlier dominant Fregean theory of word-meanings (dubbed “descriptivism” by Kripke) as determined by the concepts in our minds, providing support for the “externalist” approach to linguistic meanings (in line with Putnam’s claim that “"Meanings" just ain’t in the head”), and the discovery that there is a wide class of truths (such as that water is H20) that are both a posteriori and necessary. Although the priority in the development of this theory belongs to Kripke, it could hardly gain such a wide acceptance without contributions by Putnam, which turned out to be very influential. However, the habitual idea of “the Kripke-Putnam theory”, as one theory, tends to play down the differences between Putnam’s and Kripke’s approaches and to hush up the fact that in his late works, of 1983 and 1990, Putnam revised and abandoned pretty much of his “Kripkean” views of 1970-ies; in particular, repudiated the pride of Kripke’s theory, the idea of necessary a posteriori truths. This article makes critical analysis and evaluation of Putnam’s ideas and arguments usually credited as important contributions to “the Kripke-Putnam theory”, and highlights the main points of the revision in late Putnam’s works. The case is made that Putnam's famous argument for externalism about meanings, the Twin-Earth thought experiment, is question-begging, fails to do justice to likely changes in the meanings of words with the development of knowledge, and conflicts with the linguistic practice in the relevantly similar case of “jade”. Putnam's argument for externalism from the division of linguistic labour is not cogent too, because “semantic deference” is itself a matter of what is there in “heads” - of some (non-expert) heads deferring to other (recognised as expert) heads. Eventually, on close inspection and in the light of Putnam's later reexplanation and revision, his account of meaning and reference turns out to be a sophisticated variety of conceptualism/internalism. (shrink)

First published in 1990, this is a reissue of Professor Hilary Putnam’s dissertation thesis, written in 1951, which concerns itself with The Meaning of the Concept of Probability in Application to Finite Sequences and the problems of the deductive justification for induction. Written under the direction of Putnam’s mentor, Hans Reichenbach, the book considers Reichenbach’s idealization of very long finite sequences as infinite sequences and the bearing this has upon Reichenbach’s pragmatic vindication of induction.

Skepticism about other minds is typically presented as a straightforwardly epistemological thesis. Eliminativism about folk psychology is typically presented as a straightforwardly metaphysical thesis. But having moral status entails having, or having had, some mental states. And relating to persons as persons presupposes the application of folk-psychological concepts. So neither view can be divorced from ethics.Mary likes watching others. She always has. "Stop," her mother said. "It's rude.""What's rude?""Staring like that. Making people uncomfortable.""How do you know they're uncomfortable?""Because (...) they just are.""But how do you know they're uncomfortable unless you stare at them?""Enough."They were in a... (shrink)

Philosophers have been referring to the “Kripke–Putnam” theory of naturalkind terms for over 30 years. Although there is one common starting point, the two philosophers began with different motivations and presuppositions, and developed in different ways. Putnam’s publications on the topic evolved over the decades, certainly clarifying and probably modifying his analysis, while Kripke published nothing after 1980. The result is two very different theories about natural kinds and their names. Both accept that the meaning of (...) a naturalkind term is not given by a description or defining properties, but is specified byits referents. From then on, Putnam rejected even the label, causal theory of reference, preferring to say historical, or collective. He called his own approach indexical. His account of substance identity stops short a number of objections that were later raised, such as what is called the qua problem. He came to reject the thought that water is necessarily H2O, and to denounce the idea of metaphysical necessity that goes beyond physical necessity. Essences never had a role in his analysis; there is no sense in which he was an essentialist. He thought of hidden structures as the usual determinant of natural kinds, but always insisted that what counts as a natural kind is relative to interests. “Natural kind” itself is itself an importantly theoretical concept, he argued. The paper also notes that Putnam says a great deal about what natural kinds are, while Kripke did not. Moreover, a theory about names of natural kinds is to some extent independent of a theory of natural kinds themselves, to the extent that one can accept the one and reject the other, even when both are advanced by the same philosopher. (shrink)

This paper aims to propose a version of the description theory of reference –for short, descriptivism– on natural kind terms. This version is grounded on some proposals of descriptivists, such as Searle and Strawson, about proper names, which will be extended to natural kind terms. According to Searle and Strawson the reference of a proper name is determined by a sufficient number of the descriptions that speakers associate with the name, but among the sorts of descriptions admitted by these authors (...) are those in which the average speaker defers the reference of a term to other speakers. In this regard, descriptivism can accept Putnam’s thesis of the division of linguistic labour and claim that some of the descriptions associated by non-experts have the function of deferring the reference of natural kind terms to their reference in the use by experts. Thus, descriptivism can maintain that the reference of a natural kind term is determined by a sufficient number of the descriptions that experts concerning a natural kind associate with the term. I will argue that this version of descriptivism, which grants more weight to social links than to historical links, can explain better than Kripke’s theory the reference of the use of natural kind terms by the average speaker. (shrink)

Biologists and philosophers of biology typically regard essentialism about speciesas incompatible with modern Darwinian theory. Analytic metaphysicians such asKripke, Putnam and Wiggins, on the other hand, believe that their essentialist thesesare applicable to biological kinds. I explore this tension. I show that standard anti-essentialist considerations only show that species do not have intrinsic essential properties. I argue that while Putnam and Kripke do make assumptions that contradict received biological opinion, their model of natural kinds, suitably modified, is (...) partially applicable to biological species. However, Wiggins'' thesis that organisms belong essentially to their species is untenable, given modern species concepts. I suggest that Putnam''s, Kripke''s and Wiggins'' errors stem from adopting an account of the point of scientific classification which implies that relationally-defined kinds are likely to be of little value, an account which is inapplicable to biology. (shrink)

Die gegenwärtig unter dem Titel ›Realismus‹ geführten Debatten in der Philosophie befinden sich nach allgemeiner Ansicht in einem Zustand größter Verwirrung, so daß es nützlich erscheint, ein wenig Ordnung in die theoretischen Optionen zu bringen bevor man für die eine oder andere Auffassung Partei ergreift. In der vorliegenden Arbeit wird dafür argumentiert, daß sich ein systematisch zusammenhängendes Zentrum dieser Debatten mit Hilfe des Begriffes der Referenz ordnen läßt. Nach der Analyse einiger klassischer Positionen soll ein Rahmen erstellt werden, innerhalb dessen (...) die Positionen eingeordnet und die zentralen Probleme fruchtbar diskutiert werden können. Zu diesem Zwecke ist es erforderlich, für die Einordnung der Positionen theoretische Kriterien zu benennen, die sich an den Problemen orientieren von denen hier argumentiert wird, das sie zentral seien. Sehr knapp ausgedrückt wird hier die Auffassung vertreten, Realismus sei als metaphysische These aufzufassen, welche eine von menschlichen epistemischen und semantischen Möglichkeiten unabhängige Existenz behauptet; in den gegenwärtigen Debatten typischerweise die Existenz einer Art von Dingen, nicht die eines individuellen Gegenstandes. Diese metaphysische These wird jedoch in der gegenwärtigen Debatte mit semantischen Argumenten untermauert, bzw. angegriffen und jene semantischen Argumente wiederum verwenden epistemische Erwägungen – die Frage betreffend, was man wissen kann und was nicht. Der Beginn der gegenwärtigen Realismusdebatten mit der soeben skizzierten zentralen Stellung semantischer Argumente ist, der hier vertretenen Auffassung zufolge, die Kritik am traditionellen Fregeschen Referenzbegriff durch Kripke und den frühen Putnam um 1970 (Kap. 2). Aus dieser neu zu bewertenden Kritik und der von den Autoren daraus entwickelten externalistischen realistischen Semantik für Artausdrücke läßt sich das erste Kriterium für eine Position in einer Realismusdebatte ableiten und klären (Kap. 3): Hält man die fragliche Art für eine natürliche Art und meint also, sie habe ihren ›Zusammenhalt‹ von Natur aus? Wenn ja, dann ist die fragliche Position eine realistische (das Kriterium ist dank des engen Zusammenhangs von Realismus und Externalismus sowohl hinreichend als auch notwendig). Hält man die Art nicht für eine natürliche Art, ist man Antirealist. Damit geht jeweils not- wendig eine bestimmte Semantik für den auf die Art referierenden Ausdruck einher. Es zeigt sich zugleich, daß es zwei Varianten des Realismus zu unterscheiden gilt, die hier als klassischer bzw. als moderater Realismus bezeichnet werden. Im folgenden (Kap. 4.1) wird argumentiert, daß der Begriff der Wahrheit nicht eigentlich der zentrale Punkt in den in Frage stehenden Realismusdebatten sein sollte, wie vielfach behauptet wurde, sondern seine Brisanz vielmehr aus zugrundeliegenden semantischen Fragen gewinnt die also in der weiteren Aufdeckung der Kriterien die zentrale Rolle spielen müssen. In der Analyse der Kritik an der in Kap. 3 entwickelten Position des ›klassischen Realismus‹ läßt sich ein zweites unterscheidendes Kriterium für Positionen in Realismusdebatten entwickeln: begriffliche Relativität. Nach der Ablehnung von Putnams Auffassungen zu diesem Thema, werden zwei Varianten vorgeschlagen, starke und schwache begriffliche Relativität (Kap. 4.2). Die Anwendung dieses Merkmals zwingt, so wird argumentiert, in einigen Fällen zu einer Kombination einer realistischen Auffassung von Arten als natürliche mit begrifflicher Relativität. Diese mittlere Position zwischen klassischem Realismus und Antirealismus wird als »moderater Realismus« bezeichnet. Der im ersten Kriterium verwendete Begriff der natürlichen Art, und damit die Optionen in den Debatten, wird schließlich mittels einer Dis- kussion des Phänomens der Vagheit noch weiter verdeutlicht (Kap. 4.3). Ab- schließend werden die drei Optionen zusammenfassend dargestellt und ein Versuch unternommen, ihre Fruchtbarkeit für diverse Realismusdebatten anzudeuten. (shrink)

The essentialist approach to word meaning has been used to undermine the fundamental assumptions of the cognitive psychology of concepts. Essentialism assumes that a word refers to a natural kind category in virtue of category members possessing essential properties. In support of this thesis, Kripke and Putnam deploy various intuitions concerning word use under circumstances in which discoveries about natural kinds are made. Although some studies employing counterfactual discoveries and related transformations appear to vindicate essentialism, we argue (...) that the intuitions have not been investigated exhaustively. In particular, we argue that discoveries concerning the essential properties of whole categories (rather than simply of particular category members) are critical to the essentialist intuitions. The studies reported here examine such discovery contexts, and demonstrate that words and concepts are not used in accordance with essentialism. The results are, however, consistent with "representational change" views of concepts, which are broadly Fregean in their motivation. We conclude that since essentialism is not vindicated by ordinary word use, it fails to undermine the cognitive psychology of concepts. (shrink)

After the seminal works of Putnam (1975), Burge (1979), and Kripke (1982), the next important contribution to externalism is certainly Davidson’s (mainly 1987, 1988, 1989, 2001). By criticizing the positions of these philosophers, Davidson elaborated his own brand of externalism. We shall first present some features of Davidson’s externalism (the importance of historical-causal connections for the foundation of language and thought, for the explanation of how language can be learned, and how attitudes can be identified by the interpreter, (...) and finally how mental content is determined by appealing to the idea of triangulation), to prepare the discussion of a few problems. We then discuss two questions in Davidson’s externalism. First, how to reconcile the fact that external factors determine mental content, as Putnam, Burge and Davidson himself argued convincingly, with token-physicalism, the thesis that mental events are identical with physical events occurring “in the head” (or the thesis that mental events supervenes locally on brain activities)? The second main problem is how to reconcile the first person authority with some prima facie consequences of externalism, mainly that we should know the relevant parts of our (natural and social) environment in order to know the content of our own thoughts? We argue that Davidson’s answer to the first question is not successful, while his answer to the second was a breakthrough. (shrink)

Talk of “essences” has, since Saul Kripke and Hilary Putnam, gained significant currency in contemporary philosophy. It is no longer unfashionable to talk about the essence of this or that (natural) kind, and as such we now find a variety of brands of essentialism on the market including B.D. Ellis’s scientific essentialism, David Oderberg’s real Essentialism, Alexander Bird’s dispositional essentialism, and the contemporary essentialism of Kripke and Putnam. -/- Almost all these brands of essentialism share a (...) particular gloss on Locke’s famous objection to Aristotle that natural kinds are demarcated by nominal essences not real essences. Thus Oderberg claims that ‘Empiricists take [real] essences to be paradigmatically unobservable’ and that this ‘objection goes back at least to John Locke’ (Oderberg 2007: 21). Bird, presenting his dispositional essentialism, defines a notion of “being” as ‘the reverse of Locke’s definition of essence’ which he takes to be ‘the being of any thing, whereby it is what it is’ (Bird 2007: 100). Joseph LaPorte, discussing nominal and real essences, claims that ‘Kripke and Putnam seem to affirm something more substantive: that biological kinds have “real essences” in Locke’s terminology’ (LaPorte 2004: 49). Even avowed anti-essentialists such as John Dupré sanction the standard criticism of Locke that his scepticism about the knowability of real essences was ‘premature’, and claim that ‘genuine natural kinds provide the extensions of many terms of natural language, where these natural kinds are determined by true Lockean real essences’ (Dupré 1993: 22). -/- All of these essentialisms (even Dupré’s anti-essentialism) are wrong about Locke. Oderberg is wrong to claim that Locke thought that real essences were paradigmatically unobservable; Bird is wrong to think that Locke’s notion of essence is the being of anything whereby it is what it is; LaPorte is wrong to think that Kripke and Putnam are talking about Lockean real essences (although so are Kripke and Putnam); and Dupré is wrong to think that genuine natural kinds (if by genuine he means objective or mind-independent) are determined but true Lockean real essences . -/- The mistake stems from a standard, but ultimately incorrect, interpretation of Locke’s discussion of essences in An Essay Concerning Human Understanding . This mistaken interpretation (Lowe 1995, 2006, Von Leyden 1973, Wiggins 1974) takes Locke to mean, by “real essence”, the Aristotelian notion i.e. ‘the very being of anything, whereby it is what it is’ (Essay III.iii.15), and interprets his objection as epistemological: we cannot come to know what real essences are, and therefore they cannot figure in our classifications of things into kinds. -/- This paper will present and defend the following two claims: i) that Locke’s notion of “real essence” is not the Aristotelian notion, and ii) that Locke’s objection to the Aristotelian notion was not merely epistemological. The first claim can be defended by presenting and applying Vienne’s (1993) terminological revision. Vienne argues that Locke did not introduce a dichotomy between real and nominal essence, but a trichotomy between real essence, nominal essence and real constitution. This terminological revision will be employed to highlight where ambiguous uses of the phrase “real essence” have caused some serious misunderstandings of Locke’s philosophy. The second claim (steering Locke around what is the classic objection to his thesis) can be defended by presenting a novel way of splitting up Locke’s objections to the Aristotelian notion of essence. The analysis will show that Locke’s anti-essentialism is still in good shape, and of contemporary significance. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.1 (2001) 161-163 [Access article in PDF] Avrum Stroll. Twentieth Century Analytic Philosophy. New York: Columbia University Press, 2000. Pp. ii + 302. Cloth, $32.50. Analytic philosophy has entered the history of philosophy since the greatest twentieth-century philosophers of that tradition are dead or retired. It is appropriate then to have a book that clearly and accurately explains the main theories and identifies (...) its character. Avrum Stroll has written such a book, and more. He explains and evaluates where analytic philosophy is today and speculates about where it might go from here.Reserving the first and last chapters for discussion later, I will begin with the seven intervening ones: 2. "Philosophical Logic," 3. "Logical Positivism and the Tractatus," 4. "G. E. Moore: A Ton of Bricks," 5. "Wittgenstein's Later Philosophy: 'The Stream of Life,'" 6. "Ryle and Austin: the Golden Age of Oxford Philosophy," 7. "W. V. O. Quine," and 8."Direct Reference Theories." Chapter 2 deals mostly with Frege and Russell, and Chapter 8 deals mostly with Kripke and Putnam. As the titles and contents indicate, Stroll inclines to a great man understanding of philosophical history, a sensible [End Page 161] approach given the consensus that four or five philosophers have dominated analytic philosophy in the last century, with another four or five being especially talented.Among his expositions of the various philosophical "isms," such as logical atomism and positivism, Stroll intersperses biographical matters that give the book rhythm—he demolishes the widespread idea popularized by Ray Monk that Wittgenstein was anti-Semitic—and charm—he quotes a letter that Wittgenstein wrote to Moore shortly after learning that a certain piece of work could not count as his bachelor's thesis at Cambridge: Dear Moore: Your letter annoyed me. When I wrote Logik I didn't consult the Regulations, and therefore I think it would only be fair if you gave me my degree without consulting them so much either!... If I am not worth you making an exception for me even in some STUPID details then I may as well go to HELL directly... (pp. 91-2). In Chapter One, "The Solera System," Stroll lays out the controlling analogy of his book. The system refers to a way of making sherry. A quantity of wine, drawn from the oldest and best barrel, is replaced by the same quantity drawn from the next oldest, and so one for each successive barrel. The old wine improves the new, and the new refreshes the old. Likewise, "old philosophy has the power to educate and improve new philosophy," according to Stroll. He then continues: "And new philosophy not only preserves the quality and character of old philosophy but has the capacity to refresh it" (246).Also in Chapter One, Stroll observes that "philosophy is essentially a humanistic activity" (3). As such philosophy is tied to its history in a way that science is not. I would put his underlying point differently. Philosophy is humanistic because its problems are timeless and universal; these include what it is to exist, what it is to be conscious, what causation is, and what is the good life. Further, its solutions rarely hang on technical devices.But something has been amiss. Most of the theories distinctive of analytic philosophy, from the theory of descriptions, to modal logic, the causal theory of names, and functionalism, seem to approach these problems obliquely. Also, some of the most respected analytic theories are 'evasion' theories. Eschewing the need to give a substantive account of relations, analytic philosophers hold that relations are n-tuples of objects, which themselves are reducible to unordered sets of objects. Notwithstanding its formal adequacy, the substantive issue seems to be left begging. Loving, causing, being taller than, and being the square of are all relations, but is it illuminating to treat all of them in the same way? Moderating his normal optimism, Stroll says, "I wonder whether the very conception of the role of philosophy has not changed recently. It strikes me that the classical problems that the solera model presupposes are... (shrink)

SCIENTISTS HAVE DISCOVERED that water is H2O. Water is H2O is true. But is it a necessary truth? In other words, is it true in all possible worlds? Some people think it is. For example Hilary Putnam, in his well-known Twin Earth argument, concludes that "water is H2O" is necessarily true; thus a liquid which phenomenally resembles H2O and fits the description of water in almost all aspects, but has the chemical formula XYZ, cannot be water. Saul Kripke (...) has made a similar claim about the necessary identity between water and H2O. Because this type of truth is based on empirical discoveries, Kripke calls truths of this sort "necessary a posteriori." The thesis shared by Putnam and Kripke has two premises: a realist view that natural kinds exist independently of human cognition, and a theory of direct reference of natural kind terms. Opposing the view that natural kind terms pick out objects through descriptions, Putnam and Kripke hold that natural kind terms pick out natural kinds in the world in a direct way. Based on these two premises, they argue that, if two natural kind terms, A and B, designate the same thing in the world, "A = B" expresses a necessary identity. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Aquinas’s Theory of Natural Law: An Analytic Reconstruction by Anthony J. LisskaV. Bradley LewisAnthony J. Lisska. Aquinas’s Theory of Natural Law: An Analytic Reconstruction. Oxford: Clarendon Press, 1996. Pp. xv + 320. Paper, $24.95.This volume aims to provide an explication of the natural law theory of St. Thomas Aquinas “consistent with the expectation of philosophers in the analytic tradition” (10–11, 17). Accordingly, the author begins, in the first (...) three chapters, by reviewing the recent history of Anglo-American metaethics, aligning himself broadly with those critics of analytic ethics like G. E. M. Anscombe, Alasdair MacIntyre, John Finnis, Martha Nussbaum, and Henry Veatch, who have argued for a recovery of Aristotelian moral theory, against varieties of intuitionism, non-cognitivism, and neo-Kantianism. Lisska’s principal objective is to present a reconstructed natural law theory based primarily on Aquinas’s discussion in questions 90–97 of the prima secundae of the Summa theologiae (a translation of these questions is appended to the book). This he offers mostly in the fourth, fifth and eighth chapters of the book. The sixth chapter is a critique of John Finnis’s account of natural law and the seventh is an exposition of the views of Henry [End Page 526] Veatch. The ninth chapter presents some suggestions on how the author’s account can illuminate controversies over the grounding of human rights, and the tenth is a brief conclusion.The three introductory chapters consist mainly of a review and endorsement of the critics of academic ethics since Moore’s Prıncipia Ethıca. Having accepted arguments for the inadequacy of modern ethics, Lisska argues for the recovery of Aquinas’s views which he sees as in fundamental continuity with Aristotelian ethics (84, 89, 100, 102–105, 108, 134–36). His central thesis is that natural law is a “second-order inquiry” based on a realist metaphysics of the human person as defined by a set of dispositional properties, the realization of which constitutes Aristotelian eudaimonia and Thomistic beatitudo (17, 104–106, 131–37, 152–55, 186, 195–201). Moreover, Lisska contends that Aristotelian “eudaimonism” constitutes an adequate account of moral obligation: what he calls, after Veatch, “obligatory teleology” (107–109, 121, 202–205, 235).At the core of Lisska’s account, then, is a metaphysical dispute that pits Aristotelian essentialism against modern reductionist ontology. This metaphysical core is separated from any theological implications in the fifth chapter (especially 119–23, 137) and Lisska reinforces his metaphysical thesis by appealing to Saul Kripke’s discussion of natural kinds and the early work of Hilary Putnam (97–99, 125, 206–209). Given the centrality of metaphysical argument, a critique of Finnis’s theory goes without saying, and Lisska devotes a chapter to it, adding another to expound Henry Veatch’s contrary view.While this book undertakes an important effort to recover a workable natural law theory—especially in its commendable stress on metaphysical questions—it is, as a whole, less satisfactory than it might have been. A good part of this owes to the book’s abstraction from historical questions. No sustained attention is devoted to the problems that accompanied the reception of Aristotle by Christian theologians, nor to the place of natural law in Aquinas’s overall understanding of morality. The former point is not so surprising, given the book’s analytic concerns; the latter, however, carries more serious theoretical implications. Why is it, for example, that natural law takes up so little space compared to the questions on happiness, human acts, and the habits and virtues in the prima secundae, not to mention the detailed treatments of the virtues and vices in the secunda secundae? Similarly, where Aquinas stresses that natural law as law is directed to the common good (Iallae 90.2), Lisska treats it mostly as a guide to “self-realization.”This issue suggests the tensions between Aristotle and Aquinas, tensions that seem to show themselves precisely in Aquinas’s discussion of the very notion of natural law, a notion that has no equivalent in Aristotle. This question hangs over Lisska’s brief treatment of obligation, in particular, since that concept is also lacking explicit treatment in... (shrink)

EI artículo comienza con un análisis de la estructura de la teoría semántica de Kripke y Putnam para términos de génera natural. A continuación, se someten a crítica algunos principios de esta teoría. Tomando pie en lo anterior, la segunda mitad del artículo esta dedicada a una reflexión sobre la relación entre intension y extensión. Tras constatar que los conceptos asociados con términos de genera natural están sujetos a evolución, se concluye que la intensión determina o no determina (...) la extensión dependiendo de la etapa en la que el térmono se encuentre. Esto vendría a significar que tanto ladoctrina tradicional del significado corno la de Kripke y Putnam se basan en intuiciones certeras pero sobre situaciones semánticas diferentes.The paper begins with an analysis of the structure of Kripke and Putnam’s semantic theory in relation to natural kind terms. It then goes on to criticise some of the principles on which their study is based. From the standpoint of this critique, the second part of the article is devoted to a reflection on the relationship between intension and extension. After stablishing that the meaning of natural kind terms is subject toevolution, the thesis, stipulating that the intension determines or does not determine the extension depending at the stage in whieh the term is, is then defended. This seems to indicate that both the traditional doctrine of meaning and that put forward by Kripke and Putnam are based on sound intuitions, but these last ones are targeted towards different semantic situations. (shrink)

Available from UMI in association with The British Library. Requires signed TDF. ;The main part of the thesis concerns how things, in the sense of individuals, might have been. The topic is what limits there are on the counterfactual possibilities for individuals: in other words, what essential properties, if any, they have. ;In Chapters 3-6 three answers to this question that have been given in recent philosophical literature are examined. They are: that each thing has a unique individual essence (...) ; that there are features of the origin of an individual without which it could not possibly have existed ; and, finally, that there are sortal concepts that represent essential properties of the things that fall under them . ;All of these answers, and many of the arguments that have been given for them, are criticised. Sometimes the criticism takes the form of pointing to unpalatable consequences that result from the acceptance of the doctrine in question. Sometimes the criticism consists in pointing to difficulties or inadequacies in the arguments that have been presented in its favour. ;A preliminary chapter prepares the ground by setting out the conceptual framework, and the chief formal characteristics, of the essentialism discussed in the later chapters. Chapter 2 discusses the nature of necessary a posteriori truth, touching on questions in the philosophy of language and mind concerning the notion of de re thought. ;It is argued that essentialism about natural kinds raises problems of its own: some of these are discussed in Chapters 7 and 8. Here the main topic is the connection between semantic theory and natural kind essentialism. Concluding that the essentialism should be regarded as in an important sense independent of semantic theory, the chapters add to, and also criticise, the work of other writers who have reached the same verdict. Scepticism is also expressed about the independent plausibility of natural kind essentialism. ;Recent interest in essentialism owes its genesis chiefly to the work of Saul Kripke and Hilary Putnam: these figures stand in the background throughout the discussion. Among the other writers whose work is discussed are Baruch Brody, Gareth Evans, Graeme Forbes, Colin McGinn, J. L. Mackie, D. H. Mellor, Nathan Salmon, and David Wiggins. (shrink)

According to microessentialism, it is necessary to resort to microstructure in order to adequately characterise chemical substances such as water. But the thesis has never been properly supported by argument. Kripke and Putnam, who originally proposed the thesis, suggest that a so-called stereotypical characterisation is not possible, whereas one in terms of microstructure is. However, the sketchy outlines given of stereotypical descriptions hardly support the impossibility claim. On the other hand, what naturally stands in contrast to (...) microscopic description is description in macroscopic terms, and macroscopic characterisations of water are certainly possible. This suffices to counter the claim that microdescriptions are necessary. Whether it counters the impossibility claim depends on whether all macroscopic descriptions are stereotypical (stereotypical descriptions presumably being macroscopic). In so far as systematic import of “stereotypical” can be determined, it would seem not. But some macroscopic characterisations have definite affinity with everyday knowledge, which presumably stands in conflict with the spirit of the impossibility claim. Since what is characterised are properties expressed by predicates like “is water”, the necessity of identity has no bearing here, and matters of interpretation pose problems for claims to the effect that science fixes the extension of “water” as ordinarily understood. (shrink)

Consider statements like ``Machines will never be able to think'' or ``You cannot turn a cat into a dog''. Many people will find such propositions evident, but we have learned to be cautious. 100 years from now things might look very different; it seems unduly dogmatic to insist on todays opinions as unrevisable points of reference, disallowing future breakthroughs in computer science or biology. The scientific outlook presupposes and enhances a high degree of curiosity and it seems a good idea (...) to generally keep one's meanings flexible so as to master break-downs of everyday understanding induced by unforseen circumstances, science or technology. Such intuitions are at the heart of Quine's philosophy. According to him we find ourselves enmeshed within a web of belief that joins together past and present attitudes, cognitive procedures and evidential tests. The strands show various degrees of coherence and interconnectedness and there are no general rules on how to proceed in case something unexpected happens. Sometimes it is ignored, sometimes it is explained away and sometimes it induces more or less extensive changes in our predictive and behavioural patterns. This seems to be the lesson drawn from the Vienna Circle's battle against metaphysics. Philosophers like Putnam, Kripke and Davidson have, it is true, come up with accounts of meaning, necessity and reality that seriously challenge Quine's indeterminacy of translation and ontological relativity, re-introducing elements of a priori presuppositions and (quasi-)transcendental arguments into philosophical discourse. But - compared to Quine's unrelenting insistence on naturalistic first-level talk - those attempts have a free-floating, speculative touch. Quine refuses to engage in elaborate philosophical constructions designed to block the permanent drift of meaning. His is a truly radical position, admirably suggestive and provocative, to be challenged on its own ground. The untenability of a priori truth is suggested by profound experiences that cannot easily be refuted by arguments purporting to show how some more or less exotic sentences could, after all, be held immune from change.1 If the untenability thesis is to be shaken a more down to earth strategy seems to be called for. It would have to be shown that Quine's radical move entails consequences that are highly unattractive even according to its own standards. (shrink)

THE CLAIM THAT IF GOLD HAS THE ATOMIC NUMBER 79 THEN GOLD NECESSARILY HAS THE ATOMIC NUMBER 79 IS SHOWN TO BE FALSE. THE KRIPKE-PUTNAM ARGUMENT FOR THIS CLAIM IS REWORKED TO SHOW THIS: IF A PROPERTY OF GOLD (LIKE ATOMIC NUMBER) PLAYS A BASIC ROLE IN A THEORY OF SUBSTANCE, THAT IS BOTH TRUE AND THE BEST MOST COMPREHENSIVE THEORY OF SUBSTANCE POSSIBLE, THEN GOLD NECESSARILY HAS THIS PROPERTY. 'BASIC ROLE' IS EXPLAINED.

The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation that permutes assignments of reference. Since this manoeuvre is at the heart of Putnam’s model-theoretic and permutation arguments against metaphysical realism (‘Putnam’s Paradox’), both Goodman’s New Riddle of Induction and the paradox about meaning that Kripke attributes to Wittgenstein are instances of Putnam’s. Evidence cannot selectively confirm the green-hypothesis and disconfirm the grue-hypothesis, because the (...) theory of which the green-hypothesis is a part has an unintended model in which the grue-hypothesis is equally confirmed; and there are no meaning-facts that determine reference, because the objects referred to by the referring terms of any language or set of intentional mental states are permutable in a way that is consistent with the truth-values of all other sentences in that language or beliefs in that set. The upshot is that the three paradoxes need to be solved in a unified way. (shrink)

Kripke (1982, Wittgenstein on rules and private language. Cambridge, MA: MIT Press) presents a rule-following paradox in terms of what we meant by our past use of “plus”, but the same paradox can be applied to any other term in natural language. Many responses to the paradox concentrate on fixing determinate meaning for “plus”, or for a small class of other natural language terms. This raises a problem: how can these particular responses be generalised to the whole of natural (...) language? In this paper, I propose a solution. I argue that if natural language is computable in a sense defined below, and the Church–Turing thesis is accepted, then this auxiliary problem can be solved. (shrink)

Semantic theory has been used for many different philosophical purposes. This thesis investigates two such uses of semantic theory. The first is the use of semantic theory in providing a justification for a formal theory. The second is the use of semantic theory in yielding an account of understanding. ;The first paper is "Truth and Metatheory in Frege". In this paper, it is contended, against much recent work in Frege interpretation, that Frege should be credited with the first semi-rigourous (...) formulation of a semantic theory. In so doing, it attempts to show that many of the arguments which purport to establish that Frege could not have engaged in semantic theorizing suffer from two kinds of misconceptions. The first misconception involves the notion of truth which a philosopher must accept in order to engage in such theorizing. The second misconception involves the sort of justification which these arguments assume a semantic theory attempts to provide. ;The second paper is "Frege's Thesis". For each primitive expression in a language, two questions may be asked. The first is: what is it in virtue of which that expression has the semantic value it does? The second is: what is it in virtue of which a speaker counts as understanding that expression? Frege's Thesis states that one answer can be given to both of these questions: that the account of what it is in virtue of which a speaker understands an expression can also serve as the account of why that expression has the semantic value it does. In this paper, Frege's Thesis is defended. First, it is argued that some objections against it result from a confusion between semantics and metasemantics. Second, the Thesis is defended against traditional objections from Kripke and Putnam. ;The third paper is "Rigidity and Content". According to much recent philosophy of language, if two utterances differ in modal semantic value, then they must express different things. In this paper, it is argued that this view is false. In particular, it is argued that the notion of content which results from this consensus is incompatible with fundamental philosophical principles relating content to use. (shrink)

Una de las objeciones usualmente formuladas contra la teoría causal de la referencia es que ésta no puede dar cuenta de los cambios de referencia que nuestros términos pueden experimentar. El objetivo de este escrito es examinar la posición de dos de los más importantes promotores de la teoría causal de la referencia, Kripke y Putnam, acerca del cambio de referencia. /// One of the most usual objections put forward against the causal theory of reference is that it (...) cannot account for the changes of reference that our terms may experience. The aim of this paper is to examine the position on reference change adopted by two of the most important supporters of the causal reference theory, Kripke and Putnam. (shrink)

Some philosophers and historians of science have suggested that the meanings of scientific terms change in the course of the history of science in such a way that the comparison of successive theories becomes impossible. This claim of "incommensurability", usually associated with Thomas Kuhn and Paul Feyerabend, has attracted attention for its relativist and anti-rationalist implications. It would seem to make the choice between two theories into a random affair, not one of direct comparison. ;The principal attempts to defeat this (...) claim are based either on Saul Kripke and Hilary Putnam's causal theory of reference, first proposed as an account of the reference of proper names, or on Donald Davidson's general argument that all languages are inter-translatable. However, the former is inappropriate as a reply to incommensurability and the latter must be modified before it can serve as a procedure for theory-comparison. After looking at these two replies in detail, the dissertation proposes a method for comparing theories. ;Davidson's argument against incommensurability is adapted so that his interpretive method can serve as the basis of a procedure for comparing scientific theories. Certain constraints on interpretation are spelt out in order to arrive at a unique way of isolating the agreements and disagreements among theories. The main attraction of the interpretive approach is that it consists of a descriptional account of meaning which is also holistic. That is to say, it identifies a term from one theory with a term from another on the basis of the overlap between the two theories, but without relying on the analytic-synthetic distinction. ;A number of case studies are used to demonstrate how theories can be compared and their concepts matched up. One of the consequences of this approach is that transitivity in the translation of concepts will generally break down. But that does not force an anti-realist position in the philosophy of science. To justify this claim, a discussion of scientific taxonomy is undertaken and criticisms are made of the essentialist conception of natural kinds. (shrink)