This article is aimed to rephrase and critique the arguments presented by Joseph LaPorte about the truth of theoretical identity statements in natural sciences. LaPorte is classified as an essentialist who accepts the real kinds, but he denies the essence of the kinds to be discovered. His arguments are based on the vagueness of the terms of kinds. In his view while science progress we convention (not discover) what is related to the kinds. I evaluate LaPorte's arguments (...) and show they can be applied only for the border terms in scientific theories and so the generalization of the claim is not defensible. (shrink)

Rigid designators for concrete objects and for properties -- On the coherence of the distinction -- On whether the distinction assigns to rigidity the right role -- A uniform treatment of property designators as singular terms -- Rigid appliers -- Rigidity - associated arguments in support of theoretical identity statements: on their significance and the cost of its philosophical resources -- The skeptical argument impugning psychophysical identity statements: on its significance and the cost of its (...) philosophical resources -- The skeptical argument further examined: on resources, allegedly overlooked, for confirming psychological identities. (shrink)

In the addenda to his Naming and Necessity, Kripke provides an account of how necessary aposteriori statements are possible. In such a case, there is an apriori general principle telling us that it is necessary if true at all. Though straightforward in its broad compass, this account faces two obvious questions in its application: in each case of necessary aposteriori statements, what is the underlying principle and how is it established apriori? I treat these questions with respect to (...) theoretical identity statements concerning chemical substances, such as ‘water is H2OH2O’. I argue that the general principle underlying the necessity of the statements is that if a chemical substance has a certain chemical composition, then it could not have had any other chemical composition. Then I defend the view that the principle is a conceptual truth by providing a novel derivation of it from the theoretical concept of chemical substance with a sufficient level of formal rigor. The logical principles required for the derivation will also be stated and defended. (shrink)

Alex Blum ABSTRACT: We show that Kripke’s argument for the necessity of identity statements relating objects a and b by their rigid designators demands an additional significant premise. Download PDF.

This paper challenges a popular thesis which we call the explanatory primitiveness thesis (for short, EPT), namely, the thesis that identities leave no logical space wherein explanatory questions may be formulated and explanatory gaps may reside. We argue that while EPT is, in all likelihood, flawless when the relevant domain consists of identity statements flanked by proper names of individuals it is a mistake to hold that the thesis generalizes to cover all identity statements. In particular, (...) we argue that EPT fails decisively with respect to an important class of identity statements, viz., those in which natural kinds are identified across different theoretical levels (i.e., the so-called inter-level type-identities). If correct, our result shows EPT to be much more limited in scope than is usually supposed. Moreover, and perhaps more significantly, it shows that there is no inherent absurdity in the idea that certain type-identity statements, in particular psychophysical type-identity statements, suffer from an explanatory gap. (shrink)

Despite the encyclopedic knowledge accumulated in contemporary biology, it is still frustratingly elusive to find an uncontroversial answer to the (apparently) simple question, “What are living beings?” Since the traditional approach to answering this question has been by means of definitions, it has been pointed out that an alternative might be to change the strategy and, following the example of other sciences, try to find not a definition but a theoretical identity for living beings. However, according to some (...) critics, such a move is neither possible nor advisable since current biology, limited to only earthly samples of life, does not have enough empirical basis and theoretical development to formulate a theoretical identity for living beings. In this paper, contrary to this diagnosis, I make room for and propose a theoretical identity statement for living beings. First, I argue that the limitations to proposing such an identity are not as severe as it is assumed. Second, I suggest answering the question, “What are living beings?” with the theoretical identity statement, ‘Living beings are exoautopoietic bodies.’ I explain this proposal’s theoretical grounds and defend it against potential objections. (shrink)

Kripke holds the thesis that identity statements containing natural kind terms are if true, necessarily true; these statements can be denominated theoretical identities. Kripke alleges that the necessity of theoretical identities grounds on the linguistic feature that natural kind terms are rigid designators. Nevertheless, I argue that the conception of natural kind terms as rigid designators, in one of their most natural views, hinders the establishment of the truth of theoretical identities and thus of (...) their necessity. However, in Kripke’s works another proposal, not linguistic but metaphysical, is found to justify the presumed necessity of theoretical identities; it grounds on essentialism concerning natural kinds. In this regard, I question some of Kripke’s main claims, focusing on one of the main examples of theoretical identities put forward by Kripke, i.e., “Water is H2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_2$$\end{document}O”. I challenge his a priori claims concerning what should be the essence of a natural kind like water. Furthermore, I adduce that the character of that theoretical identity is not that claimed by Kripke, since in the term flanking the right side of the identity sign it has to be resorted to the notion of similarity or it should have the form of a disjunction of a cluster of substances. (shrink)

In the by now well known talks he gave at Princeton, Saul Kripke claimed that “[t]heoretical identities … are generally identities involving two rigid designators and therefore are examples of the necessary a posteriori.” 253-355; A rigid designator is an expression that designates the same object in all possible worlds when it is used. So Kripke is claiming that ‘Water is H20’ and ‘Heat is the motion of molecules’ are generally identities involving expressions like ‘water’ and ‘the motion of molecules’ (...) which designate the same objects in all possible worlds. If the identity statement is true, both sides designate the same object rigidly, i.e., in all possible worlds, and therefore the statement is necessarily true. On the other hand, whether it is true is determined ultimately by appeal to experience. It follows that if true, the identity is necessary a posteriori. (shrink)

Certain belief-ascription statements suggest that people can think about the same object, even if that object doesn't exist. Peter Geach, who in 1967 first discussed these statements, gave them the name of statements of intentional identity. In an especially puzzling form of these statements, a pronoun in one belief clause has its antecedent in another: "Hob believes a witch is F, and Nob believes she is G." In this form, the statements raise three interesting (...) problems. They generate puzzles for a program in philosophy of mind, according to which intentional properties of thought are to be analyzed as theoretical analogs of something independently explicable. They are beyond the scope of standard intensional logic , and therefore jeopardize its explanatory value in certain respects. For instance, they jeopardize the received theory of the de dicto/de re distinction in terms of the scope distinctions of SIL. They pose problems for certain theories of anaphoric pronouns, in the context of SIL. ;At first it seems possible to modify SIL so as to yield a quantificational interpretation of the recalcitrant intentional identity statements. In the modified theory, the statements are analyzed so that a wide-scope quantifier binds variables in separate belief contexts. The problem with such quantificational theories is that they are unable to account for another puzzle about intentional identity. Intentional identity appears not to be a symmetric relation: it can be argued that the inference from "Hob thinks a witch is F and Nob thinks she is G" to "Nob thinks a witch is G and Hob thinks she is F" is not a plausible one. A better formal approach than the quantificational ones contains two key components. The first is a framework for anaphoric pronouns combining certain features of quantificational, discourse referential, and demonstratival interpretations of pronouns. The second is the use of structured domains in the formal models. Various interpretations of the new formalism are possible, each drawing on a different analogical theory of the nature of thoughts and their intentional properties. The new framework explains in a unified fashion not only the apparent asymmetry of intentional identity, but a number of other perplexing features of belief. (shrink)

Diachronic identity is understood as an identity holding between something existing at one time and something existing at another time. On the stage view, however, ordinary objects are instantaneous stages that do not exist at other times so diachronic identity is, at best, problematic. On account proposed here a name does not, as Sider and others suggest, denote a stage concurrent with its utterance. Rather, at any time, t, a name of an ordinary object designates a stage-at-t (...) as its primary referent and refers indeterminately over it and all and only those stages counterpart-related to it—its reference class at t. At any time, t, a at t1 is the same object as b at t2 iff for every stage x counterpart-related to a’s stage-at t and every stage y counterpart-related to b’s stage-at-t, x=y. Diachronic identity statements, therefore, assert strict identities—between concurrent stages. Ordinarily names select the same reference classes at every time so, in ordinary cases, identity statements are not ‘occasional’. In fission cases names select different reference classes at different times. Where a becomes b and c, at any pre-fission time ‘a’, ‘b’, and ‘c’ have same the primary referent and so select the same reference class—therefore, before fission b is the same object as c. At any post-fission time ‘b’ and ‘c’ select different reference classes—so after fission b is not the same object as c. Identity is not occasional but, in extraordinary cases, identity statements are—because reference is. (shrink)

Although it is common to claim that certain general terms or kind terms are rigid designators and that their rigidity helps explain their behavior in modal contexts, it has turned out to be surprisingly difficult to define an adequate notion of rigidity for general terms. Such definitions tend, as argued in particular by Scott Soames, to lead to a type of overgeneralization that leaves the purported rigidity of general terms explanatorily inert. In recent years, several attempts have been made to (...) circumvent the problem, and the present article focuses on a particular and potentially powerful strategy developed by Joseph LaPorte in his recent book Rigid Designation and Theoretical Identities for blocking one of the core inferences in Soames’s case against general term rigidity. I argue that the type of response LaPorte promotes is bound to fail; though it might initially appear to circumvent the threat of trivialization described by Soames, it is susceptible to a different and arguably even worse kind of trivialization challenge. In conclusion, Soames’s arguments remain a significant obstacle to identifying a non-trivializing definition of kind term rigidity, and we have good reasons to think that an explanation for the modal status of theoretical identity statements must be sought elsewhere. (shrink)

The problem of intentional identity, as originally offered by Peter Geach, says that there can be an anaphoric link between an indefinite term and a pronoun across a sentential boundary and across propositional attitude contexts, where the actual existence of an individual for the indefinite term is not presupposed. In this paper, a semantic resolution to this elusive puzzle is suggested, based on a new quantified intensional logic and game-theoretic semantics (GTS) of imperfect information. This constellation leads to an (...) expressive intensional language with a property of informational independence, argued to produce a purely semantic explication to intentional identity statements. One consequence is that various extra-logical and pragmatic factors become of secondary concern; it is possible to solve the puzzle by logico-semantic methods, albeit somewhat radically renewed ones. (shrink)

The problem of intentional identity, as originally offered by Peter Geach, says that there can be an anaphoric link between an indefinite term and a pronoun across a sentential boundary and across propositional attitude contexts, where the actual existence of an individual for the indefinite term is not presupposed. In this paper, a semantic resolution to this elusive puzzle is suggested, based on a new quantified intensional logic and game-theoretic semantics (GTS) of imperfect information. This constellation leads to an (...) expressive intensional language with a property of informational independence, argued to produce a purely semantic explication to intentional identity statements. One consequence is that various extra-logical and pragmatic factors become of secondary concern; it is possible to solve the puzzle by logico-semantic methods, albeit somewhat radically renewed ones. (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)

Social conflicts of ever widening scope have in recent years emphasized the importance of the problem of the relation of facts and values. This problem has received increasing attention from researchers and theorists in both the physical and social sciences. A number of interesting but by no means compatible solutions have been proposed.Perhaps the simplest and most striking is the position of Carnap, Russell, and others, that value sentences, such as “A ought not to kill B” or “Killing is evil” (...) are merely commands or expressions of wish and, as such, are emotional ejaculations or expletives but not statements which have any theoretical sense or enter into science. On this view the problem of the relation of fact and value statements is meaningless, or at least is not worth considering further. (shrink)

Causal theories of reference for natural kind terms are widely agreed to play a central role in arguments for the claim that theoretical identity statements such as “Water is H2O” are necessary, if true. However, there is also fairly wide-spread agreement, due to the arguments of Nathan Salmon, that causal theories of reference do not alone establish such essentialism about natural kinds: an independent, non-trivial essentialist premise is also needed. In this paper I will question this latter (...) agreement. I will argue that there is an independently attractive explanation of why such identity statements are metaphysically necessary, if true: an explanation which relies on assumptions about the semantics of natural kind terms, general philosophical assumptions about reference, and straightforward empirical assumptions, but presupposes no non-trivial essentialist premises. (shrink)

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

This paper will look at three closely interrelated questions about necessary a posteriori identities, in particular concerning natural kinds. First-ly, what is the semantic phenomenon responsible for a posteriori necessities in general, and theoretical identity statements concerning natural kinds in particular? I will argue that rigidity, as it is usually defined, cannot do the job for theoretical identity statements. Rather, a posteriori necessities are grounded in a semantic phenomenon that I have in earlier work (...) called actuality-dependence. Secondly, what is the basis for this semantic phenomenon? In other words, what makes a given expression actuality-dependent, and thereby fit for appearing in a posteriori necessities? I will argue that actuality-dependence is grounded in our linguistic patterns and dispositions of application and interpretation. Thirdly and finally, what does this tell us about what essences are, and how we possess knowledge of them? I will claim that the view I am proposing gives direct support to a conferralist view of essences, at least when it comes to natural kinds. Moreover, the explanation of a posteriori necessities does not rely on independent essentialist premises; however, it does rely on essentialist beliefs or expectations on the part of ordinary speakers. (shrink)

Since Hilary Putnam and Saul Kripke's first attacks on traditional, descriptivist theories of natural kind terms, it has become customary to speak of the ‘Putnam-Kripke’ view of meaning and reference. This article argues that this is a mistake, and that Putnam's account of natural kind terms is importantly different from that of Kripke. In particular, Putnam has from the very start been sceptical of Kripke's modal claims, and in later papers he explicitly rejects the proposal that theoretical identity (...) statements are metaphysically necessary (if true). I suggest that this is wholly in line with Putnam's earlier, Quine-inspired writings on general terms, and his preoccupation with the philosophy of science. Moreover, I argue that the picture of general terms that emerges from Putnam's writings is more plausible than that suggested by Kripke. However, contrary to Putnam, I also suggest that Putnam's later views on natural kinds and natural kind terms do not support standard Twin Earth externalism. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

Kripke's argument for the rigid designation of natural kind terms is fallacious because he does not distinguish natural kinds from second-order functional properties; by clarifying the concepts of natural kind and functional property, we can show that natural kind terms do designate their referents rigidly, but that functional property terms are not rigid designators. My discussions of functional property will also help dispel the worry about the alleged cases of contingent identity with regard to theoretical statements in (...) science. There is no contingent identity even in the form of second-order logic: Property identity is also a necessary identity. The principle of necessary identity rules relentlessly. (shrink)

In the debate on personal identity, different criteria of identity are proposed and defended. The criteria of identity have usually been taken to state the necessary and sufficient conditions of identity and are interpreted as providing truth conditions for relevant identity statements. The Simple View of personal identity is the thesis that there are no noncircular and informative metaphysical criteria of identity for persons. The paper intends to first deliver a precise and (...) general formulation of the Simple View, and, second, to present the various arguments in favour of the doctrine in question. It argues that there are no other facts of the matter than identity itself which could serve as the truth-conditions of identity statements. The considerations presented in the paper lead to the conclusion that, although the Simple View is faced with many theoretical difficulties, it is still a lively intellectual position in the debate on personal identity. (shrink)

In the first post World War II identity theories (e.g., Place 1956, Smart 1962), mind brain identities were held to be contingent. However, in work beginning in the late 1960's, Saul Kripke (1971, 1980) convinced the philosophical community that true identity statements involving names and natural kind terms are necessarily true and furthermore, that many such necessary identities can only be known a posteriori. Kripke also offered an explanation of the a posteriori nature of ordinary theoretical (...) identities such as that water = H2O. We identify the kinds and substances involved in theoretical identities by certain of their contingent properties. What we discover when we discover a theoretical identity is the underlying nature of the kind that we identify by those contingent properties. Now, of course, it was being a posteriori, not being contingent, that mattered to the identity theorists anyway, so the necessity of identity is not, in itself, damaging to mind brain identity theories. However, Kripke also argued persuasively that the alleged mind brain identities could not be treated in the same way as ordinary theoretical identities. We "identify" pain by feeling it, and surely how it feels is an essential property of pain, not a contingent property. Thus, a mind body identity theory must provide a different explanation of why its identities are a posteriori. A new wave of materialists has appeared on the scene with a new strategy for explaining [1] the a posteriori nature of its alleged identities. The strategy is to locate the explanation for the a posteriori nature of mind body identities, not on the side of the world, but on the side of the mind -in different ways of thinking about or imagining, or in different concepts. Thus, on this new view, there is only one property—this brain process type, which is identical with this pain.. (shrink)

There is a form of argument for a certain kind of essentialist conclusion which appears not to depend upon any appeal to intuition. Identity statements involving natural kind terms are often adverted to in the literature as examples of the necessary a posteriori, and it can appear as though the essentialist is on very strong ground with respect to these claims. It is not merely that they are apt to strike one as plausible in the light of philosophical (...) arguments or modal intuitions; rather, they appear to be provable, given only fairly trivial logical principles and uncontroversial scientific truths. This paper attempts to counter the claim, made particularly convincing by the work of Saul Kripke, that this indeed the case. (shrink)

The primary function of language is communication. We use the tools of situation theory and game theory to develop a definition and model of communication between rational agents using a shared situated language. ;A central thesis of this dissertation is that the key feature of situated communication that enables agents to derive content from meaning is a special type of logical inference called a strategic inference. ;The model we develop, called the Strategic Discourse Model, looks at a single strategic inference. (...) An essential element of a strategic inference is that the content depends on the sentence uttered and on the embedding circumstances. This includes the private and public information and beliefs of the agents, their goals and intentions, and crucially, the other sentences the speaker might have uttered but chose not to. A complete model of communication involves a system of simultaneous strategic inferences. ;When the strategic interaction between two agents is common knowledge between them, that is, when it is a game, the information transfer is a communication. The content communicated is given by the solution to the game. This analysis formalizes Grice's ideas on nonnatural meaning within a situation-theoretic framework. A consequence of our situated analysis is that agents do not need to have the complex and infinite set of nested intentions postulated by the Gricean approach. A simple intention to communicate is all that is required, the ambient game doing the rest of the work. ;This model has many applications. Problems like resolving ambiguity, determining reference, inferring implicatures and indirect speech acts fall within its scope. As one application, we outline a new theory of names and definite descriptions. This account builds upon Russell and Strawson, and Barwise and Perry. The basic idea is that names and descriptions can both be used in various ways circumscribed by an ontological and a communicative constraint. This offers a new solution to the puzzle of informative identity statements and clarifies the referential-attributive distinction. It suggests an approach to the concept of representation. ;An underlying theme is to synthesize situation theory and game theory. (shrink)

This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. (...) I make a case for treating identity statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (shrink)

Kripke has argued that definitions of units of measurements provide examples of statements that are both contingent and a priori. In this paper I argue that definitions of units of measurement are intended to be stipulations of what Kripke calls "theoretical identities": a stipulation that two terms will have the same rigid designation. Hence such a definition is both a priori and necessary. The necessity arises because such definitions appeal to natural kind properties only, which on Kripke's account (...) are necessary. (shrink)

Humans can think about their conscious experiences using a special class of ?phenomenal? concepts. Psychophysical identity statements formulated using phenomenal concepts appear to be contingent. Kripke argued that this intuited contingency could not be explained away, in contrast to ordinary theoretical identities where it can. If the contingency is real, property dualism follows. Physicalists have attempted to answer this challenge by pointing to special features of phenomenal concepts that explain the intuition of contingency. However no physicalist account (...) of their distinguishing features has proven to be satisfactory. Leading accounts rely on there being a phenomenological difference between tokening a physical-functional concept and tokening a phenomenal concept. This paper shows that existing psychological data undermine that claim. The paper goes on to suggest that the recalcitrance of the intuition of contingency may instead by explained by the limited means people typically have for applying their phenomenal concepts. Ways of testing that suggestion empirically are proposed. (shrink)

This paper tracks the commitments of mechanistic explanations focusing on the relation between activities at different levels. It is pointed out that the mechanistic approach is inherently committed to identifying causal connections at higher levels with causal connections at lower levels. For the mechanistic approach to succeed a mechanism as a whole must do the very same thing what its parts organised in a particular way do. The mechanistic approach must also utilise bridge principles connecting different causal terms of different (...) theoretical vocabularies in order to make the identities of causal connections transparent. These general commitments get confronted with two claims made by certain proponents of the mechanistic approach: William Bechtel often argues that within the mechanistic framework it is possible to balance between reducing higher levels and maintaining their autonomy at the same time, whereas, in a recent paper, Craver and Bechtel argue that the mechanistic approach is able to make downward causation intelligible. The paper concludes that the mechanistic approach imbued with identity statements is no better candidate for anchoring higher levels to lower ones while maintaining their autonomy at the same time than standard reductive accounts are, and that what mechanistic explanations are able to do at best is showing that downward causation does not exist. (shrink)

The aim of this book is both to develop a logic of microreduction, primarily for dynamic theories, or theories that state and explain the attributes and behavior, rather than the evolutionary development, of the things in some domain and, also, to argue that a program of microreduction offers the best hope for the unification of science. After two initial chapters, developing the necessary logical tools and techniques, Causey gets to the central problem of microreduction. The fundamental idea is: a theory, (...) T2, involving entities and attributes proper to some domain, D2, is microreduced to a theory, T1, involving entities and attributes proper to some other domain, D1, when the entities of D2 are explained as structured wholes made up of elements of D1. Attributes present more of a problem. One must first select the classifying attributes which divide the entities of each domain into disjoint equivalence classes. The connecting sentences, relating attributes of D2 to attributes of D1 cannot be identity statements in a set-theoretic formulation but should be such in a more flexible formulation. On this basis, the author gives a detailed specification of the condition for a successful, i.e., no emergence, reduction of the ontology and laws of T2 to those of T1. The second half of the book is more programmatic defending the program of microreduction as the best, though presently unrealizable, means of unifying science. The objections to the program brought by Fodor and others are countered. Though the author’s detailed analysis is geared to the reduction of chemistry to physics, he believes that the same general method should also handle the reduction of social sciences to a science of individual behavior. (shrink)

Our objectives in this article are to bring some theoretical order into developmental sequences and simultaneities in children’s ability to appreciate multiple labels for single objects, to reason with identity statements, to reason hypothetically, counterfactually, and with beliefs and desires, and to explain why an ‘implicit’ understanding of belief occurs before an ‘explicit’ understanding. The central idea behind our explanation is the emerging grasp of how objects of thought and desire relate to real objects and to each (...) other. To capture this idea we make use of the notion of discourse referents, as did Perner and Brandl (2005), to explain the developmental link between understanding beliefs and alternative naming. We present confirming evidence of the prediction from this analysis that children should have comparable problems with understanding identity statements. We explain the precociously correct answers in ‘implicit’ false belief tests based on indirect measures in the following way: From infancy children are able to keep track of other people’s experiences, to reason about counterfactual circumstances, and to reason about goal-directed (rational) action depending on given circumstances. Indirect tasks reduce the bias to use actual circumstances for reasoning about goal directed action compared to the traditional task, which leads to more correct answers. An emerging metarepresentational understanding helps overcome these biases and enables not only correct action prediction but also the explanation of erroneous actions. The common metarepresentational element explains why false belief tasks and the alternative naming task are mastered at the same time as children understand identity statements. (shrink)

The article discusses Saul Kripke’s influential theories of a posteriori necessary truths and natural kinds. With respect to the statements of identity involving proper names, it is argued that although their truth is a posteriori and necessary in the specific sense of counterfactual invariance, this is of no significance for substantial philosophical issues beyond the philosophy of language, because this counterfactual invariance is a trivial consequence of the use of proper names as rigid designators. The case is made (...) that the expansion of the realm of necessary a posteriori truths to the statements of theoretical identity that involve “natural kind terms”, as well as the Kripkean essentialist theory of natural kinds, have no weighty argumentative support and fit badly both with science and language practice. This sets the stage for the development of an appropriately sophisticated “descriptivist” account of meaning and reference that would be better suited for a widened range of Kripke-Putnam style thought experiments. The general outlines of such a descriptivist account are provided. (shrink)

The view that scientific reduction succeeds by establishing property identities is challenged. it is argued that, instead of identity statements making reductions successful, the fact that a reduction is successful makes the identity statements possible. the argument proceeds first by showing that an explanatory asymmetry is generated by statements expressing property identities, second by locating the source of the asymmetry in a "generative relation" that obtains between the two properties. it is then argued that reduction (...) succeeds only if the reducing theory embodies a mechanism which accounts for such a generative relation. since this view of reduction is incompatible with the traditional view, an alternate account is outlined. (shrink)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since (...) we do not know which criteria of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

We provide an account of necessary a posteriori identity statements that relies upon Perry’s multipropositionalism. On our account an utterance of, e.g., ‘Hesperus is Phosphorus’, semantically makes available several propositions, one of which is necessary (and a priori) and another of which is a posteriori (and contingent). Since our view resembles two-dimensionalism, one might assume that it is undermined by the sorts of nesting arguments that Soames and others have raised against two-dimensionalism. We demonstrate, however, that our account (...) is immune to such nesting arguments. (shrink)

In this paper I propose a fundamental modification of standard type theory, produce a new kind of type theoretic language, and couch in this language a comprehensive theory of abstract individuals and abstract properties and relations of every type. I then suggest how to employ the theory to solve the four following philosophical problems: the identification and ontological status of Frege's Senses; the deviant behavior of terms in propositional attitude contexts; the non-identity of necessarily equivalent propositions, and the paradox (...) of analysis. We can roughly describe these solutions as follows: the senses of English names and descriptions which denote individuals will be modelled as abstract individuals; the senses of English relation denoting expressions of a given type will be modelled as abstract relations of that type. Inside de dicto attitude contexts, these English expressions denote their senses. Relations and propositions will not be identified with their extensions, nor with functions or sets of any kind. They will be taken as primitive, and precise being and identity conditions will be proposed consistent with the view that necessarily equivalent relations and propositions may be distinct. With the modelling described in, the expressions being a brother and being a male sibling may both denote the same property, though their senses may differ. Just as Frege predicts, being a brother just is being a male sibling is an informative identity statement because the terms flanking the identity sign have the same denotation, though distinct senses. (shrink)

I want to analyse the Quine-Carnap discussion on analyticity with regard to logical, mathematical and set-theoretical statements. In recent years, the renewed interest in Carnap’s work has shed a new light on the analytic-synthetic debate. If one fully appreciates Carnap’s conventionalism, one sees that there was not a metaphysical debate on whether there is an analytic-synthetic distinction, but rather a controversy on the expedience of drawing such a distinction. However, on this view, there can be no longer a (...) single analytic-synthetic distinction, because several kinds of statements could be regarded as analytic (L-determinate). L-equivalence between extra-logical linguistic predicates has already been heavily debated. The recent consensus states that Quine’s rejection of this analytic-synthetic is pragmatically grounded in his linguistic behaviorism. However, Carnap’s logical frameworks also contain other kinds of statements, and it is worthwhile to compare both Quine and Carnap’s grounds for considering these statements as analytic or not analytic. First, I will discuss logical statements. I will argue that Quine draws a very sharp distinction between first order logic and set theory, which should be regarded as a (pragmatic) analytic-synthetic distinction (as Quine admits in an interview, see Theoria, 40, 1994, p. 199). In fact, Quine’s major worry is whether identity statements are analytic. Second, I will discuss mathematical statements. In Carnap’s Foundations of Logic and Mathematics, it is clear that mathematical statements are analytic. For Quine, all mathematical statements are reducible to set-theoretical statements. Third, I discuss the analyticity of set-theoretical statements. For Quine, the membership predicate should be regarded as an interpreted extra-logical predicate. Quine’s work in set theory and his later philosophy of set theory naturally lead to the view that set-theoretical statements cannot be analytic. A major complication for the Quine-Carnap comparison is that Carnap has no elaborate reflections on set theory, while the influence of set theory on Quine’s views can hardly be underestimated. I conclude with some lessons for the contemporary debate on analyticity. (shrink)

We compare Fregean theorizing about sets with the theorizing of an ontologically non-committal, natural-deduction based, inferentialist. The latter uses free Core logic, and confers meanings on logico-mathematical expressions by means of rules for introducing them in conclusions and eliminating them from major premises. Those expressions (such as the set-abstraction operator) that form singular terms have their rules framed so as to deal with canonical identity statements as their conclusions or major premises. We extend this treatment to pasigraphs as (...) well, in the case of set theory. These are defined expressions (such as ‘subset of’, or ‘power set of’) that are treated as basic in the lingua franca of informal set theory. Employing pasigraphs in accordance with their own natural-deduction rules enables one to ‘atomicize’ rigorous mathematical reasoning. (shrink)

In contrast to standard possible worlds semantics, possible worlds in a two-dimensional semantic framework play two kinds of roles, rather than just one. This allows the framework to assign two kinds of intensions to expressions, rather than just one. Its fruitful use in explicating modal operators and the meanings of referential expressions like indexicals has led to two-dimensional accounts that seek to revive the Fregean conception of meaning, or more specifically the descriptivist view of reference, which has fallen into disrepute (...) due to intense criticisms, most famously, by Saul Kripk’s seminal work Naming and Necessity (1972). This entry provides a critical overview of the two most prominent of such accounts, proposed by Frank Jackson and David Chalmers. Unfortunately, there is not space to describe either account in detail, so I rely largely on brief descriptions and plenty of references to primary and secondary sources. More importantly, I rely on focusing on how the accounts explain the phenomenon of necessary a posteriori identity that Kripke’s well-known examples (such as ‘Hesperus is Phosphorus’) have brought to light. Focusing on and structuring our discussions around this phenomenon is by no means just an expository convenience. These cases are of central importance in themselves. They epitomize a large part of the contribution of Naming and Necessity to the theory of reference. This is why section 2 outlines Kripke’s critique of the Fregean theory of referential expressions and section 3 explains rigid designation and identity statements. Section 4 discusses rigidification and the notion of a world considered as actual, leading to the introduction of two-dimensional functions in Section 5. I discuss, finally, Frank Jackson’s and David Chalmers’ two-dimensionalism in Sections 6 and 7. Section 8 makes a few critical remarks on Jackson’s handling of the semantic argument. I conclude (Section 8) by discussing the important distinction between semantics and metasemantics. (shrink)

In this paper, I argue that viewing Frege’s puzzle through a semantic lens results in the rejection of solutions to it on irrelevant grounds. As a result, I develop a solution to it that rests on a non-semantic sense of context-sensitivity. And I apply this picture to Frege’s puzzle when it arises through the use of identity statements designed to establish that distinct speakers are talking about the same thing.