Rigid designator
   HOME

TheInfoList



OR:

In
modal logic Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend ot ...
and the
philosophy of language In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy of language), meanin ...
, a term is said to be a rigid designator or absolute substantial term when it designates (picks out, denotes, refers to) the same thing in ''all possible worlds'' in which that thing exists. A designator is ''persistently rigid'' if it also designates nothing in all other possible worlds. A designator is ''obstinately rigid'' if it designates the same thing in every possible world, period, whether or not that thing exists in that world. Rigid designators are contrasted with ''connotative terms'', ''non-rigid'' or ''flaccid designators'', which may designate different things in different possible worlds.


History

The Scholastic philosophers in the
Middle Ages In the history of Europe, the Middle Ages or medieval period lasted approximately from the late 5th to the late 15th centuries, similar to the post-classical period of global history. It began with the fall of the Western Roman Empire ...
developed a theory of properties of terms in which different classifications of
concepts Concepts are defined as abstract ideas. They are understood to be the fundamental building blocks of the concept behind principles, thoughts and beliefs. They play an important role in all aspects of cognition. As such, concepts are studied by s ...
feature prominently. Concepts, and the terms that signify them, can be divided into absolute or connotative, according to the mode in which they signify. If they signify something absolutely, that is, after the manner of substance, they are absolute, for example rock, lion, man, whiteness, wisdom, tallness. If they signify something connotatively, that is, with reference to a subject of inherence, i.e., after the manner of accidents, they are connotative, for example, white, wise, tall. Both connotative and absolute concepts can be used to signify accidents, but since connotative concepts signify with a reference to a subject of inherence, they can refer to object with different definitions and properties (i.e. with different ''essences''). For example, large, as a connotative concept, can signify objects with many distinct essences: a man, a lion, a triangle can be large. On the other hand, absolute concepts signify objects that have the same definitions and properties. For example, the concept of gold, as an absolute concept, can signify only objects with the same definitions and properties (i.e. with the same ''essence'').


Proper names and definite descriptions

The notion of absolute concepts was then revived by
Saul Kripke Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American philosopher and logician in the analytic tradition. He was a Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and e ...
, with the name “rigid designation”, in the lectures that became '' Naming and Necessity'', in the course of his argument against descriptivist theories of reference, building on the work of Ruth Barcan Marcus. At the time of Kripke's lectures, the dominant theory of reference in
analytic philosophy Analytic philosophy is a branch and tradition of philosophy using analysis, popular in the Western world and particularly the Anglosphere, which began around the turn of the 20th century in the contemporary era in the United Kingdom, United ...
(associated with the theories of
Gottlob Frege Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic p ...
and
Bertrand Russell Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, a ...
) was that the meaning of sentences involving proper names could be given by substituting a contextually appropriate description for the name. Russell,Russell, Bertrand (1917), ''Knowledge by Acquaintance and Knowledge by Description'' for example, famously held that someone who had never met
Otto von Bismarck Otto, Prince of Bismarck, Count of Bismarck-Schönhausen, Duke of Lauenburg (, ; 1 April 1815 – 30 July 1898), born Otto Eduard Leopold von Bismarck, was a conservative German statesman and diplomat. From his origins in the upper class of ...
might know of him as ''the first Chancellor of the German Empire'', and if so, his statement that (say) "Bismarck was a ruthless politician" should be understood to mean "The first Chancellor of the German Empire was a ruthless politician" (which could in turn be analysed into a series of more basic statements according to the method Russell introduced in his theory of definite descriptions). Kripke argued—against both the Russellian analysis and several attempted refinements of it—that such descriptions could not possibly ''mean the same thing'' as the name "Bismarck," on the grounds that proper names such as "Bismarck" always designate ''rigidly'', whereas descriptions such as "the first Chancellor of the German Empire" do not. Thus, for example, it ''might have been the case'' that Bismarck died in infancy. If so, he would not have ever satisfied the description "the first Chancellor of the German Empire," and (indeed) someone else probably would have. It does not follow that the first Chancellor of the German Empire may not have been the first Chancellor of the German Empire—that is (at least according to its surface-structure) a contradiction. Kripke argues that the way that proper names ''work'' is that when we make statements about what might or might not have been true of Bismarck, we are talking about what might or might not have been true of ''that particular person'' in various situations, whereas when we make statements about what might or might not have been true of, say, ''the first Chancellor of the German Empire'' we ''could'' be talking about what might or might not have been true of ''whoever'' would have happened to fill that office in those situations. The "could" here is important to note: rigid designation is a property of the ''way terms are used'', not a property of ''the terms themselves'', and some philosophers, following Keith Donnellan, have argued that a phrase such as "the first Chancellor of the German Empire" ''could'' be used rigidly, in sentences such as "the first Chancellor of the German Empire could have decided never to go into politics." Kripke himself doubted that there was any need to recognize rigid uses of definite descriptions, and argued that Russell's notion of
scope Scope or scopes may refer to: People with the surname * Jamie Scope (born 1986), English footballer * John T. Scopes (1900–1970), central figure in the Scopes Trial regarding the teaching of evolution Arts, media, and entertainment * Cinema ...
offered all that was needed to account for such sentences. But in either case, Kripke argued, nothing important in his account depends on the question. Whether definite descriptions can be used rigidly or not, they can at least ''sometimes'' be used non-rigidly, but a proper name ''can only be used rigidly''; the asymmetry, Kripke argues, demonstrates that no definite description could ''give the meaning'' of a proper name—although it might be used to explain ''who'' a name refers to (that is, to "fix the referent" of the name).


Essentialism

In '' Naming and Necessity'', Kripke argues that
proper name A proper noun is a noun that identifies a single entity and is used to refer to that entity (''Africa'', ''Jupiter'', ''Sarah'', ''Microsoft)'' as distinguished from a common noun, which is a noun that refers to a class of entities (''continent, ...
s and certain
natural kind "Natural kind" is an intellectual grouping, or categorizing of things, in a manner that is reflective of the actual world and not just human interests. Some treat it as a classification identifying some structure of truth and reality that exists wh ...
terms—including biological
taxa In biology, a taxon (back-formation from ''taxonomy''; plural taxa) is a group of one or more populations of an organism or organisms seen by taxonomists to form a unit. Although neither is required, a taxon is usually known by a particular nam ...
and types of natural substances (most famously, "water" and "H2O") designate rigidly. He argues for a form of scientific essentialism not unlike Aristotelian essentialism. Essential properties are common to an object in all possible worlds, and so they pick out the same objects in all possible worlds - they rigidly designate.


Causal-historical theory of reference

Proper names rigidly designate for reasons that differ from natural kinds terms. The reason '
Johnny Depp John Christopher Depp II (born June 9, 1963) is an American actor and musician. He is the recipient of List of awards and nominations received by Johnny Depp, multiple accolades, including a Golden Globe Award and a Screen Actors Guild Awa ...
' refers to one particular person in all possible worlds is because some person initially gave the name to him by saying something like "Let's call our baby 'Johnny Depp'". This is called the initial baptism. This usage of 'Johnny Depp' for referring to some particular baby got passed on from person-to-person in a giant causal and historical chain of events. That is why everybody calls Johnny Depp 'Johnny Depp'. Johnny's mother passed it onto her friends who passed it onto their friends who passed it onto their friends, and so on.


Necessary identities

One puzzling consequence of Kripke semantics is that identities involving rigid designators are necessary. If
water Water (chemical formula ) is an inorganic, transparent, tasteless, odorless, and nearly colorless chemical substance, which is the main constituent of Earth's hydrosphere and the fluids of all known living organisms (in which it acts as ...
is H2O, then water is ''necessarily'' H2O. Since the terms 'water' and 'H2O' pick out the same object in every possible world, there is no possible world in which 'water' picks out something different from 'H2O'. Therefore, water is necessarily H2O. It is possible, of course, that we are mistaken about the chemical composition of water, but that does not affect the necessity of identities. What is not being claimed is that water is necessarily H2O, but ''conditionally'', ''if'' water is H2O (though we may not know this, it does not change the fact if it is true), then water is necessarily H2O.


See also

* Causal theory of reference *
Class Class or The Class may refer to: Common uses not otherwise categorized * Class (biology), a taxonomic rank * Class (knowledge representation), a collection of individuals or objects * Class (philosophy), an analytical concept used differently ...
versus instance *
Counterpart theory In philosophy, specifically in the area of metaphysics, counterpart theory is an alternative to standard ( Kripkean) possible-worlds semantics for interpreting quantified modal logic. Counterpart theory still presupposes possible worlds, but differs ...
* Direct reference theory * Non-rigid designator * Vivid designator * Scientific essentialism


References

{{Formal semantics Modal logic Philosophy of language Formal semantics (natural language)