In
modal logic
Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields
it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...
and the
philosophy of language
Philosophy of language refers to the philosophical study of the nature of language. It investigates the relationship between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy), me ...
, 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
Possible Worlds may refer to:
* Possible worlds, concept in philosophy
* ''Possible Worlds'' (play), 1990 play by John Mighton
** ''Possible Worlds'' (film), 2000 film by Robert Lepage, based on the play
* Possible Worlds (studio)
* ''Possible ...
'' 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 5th to the late 15th centuries, similarly to the post-classical period of global history. It began with the fall of the Western Roman Empire and ...
developed a theory of
properties of terms in which different classifications of
concepts
A concept is an abstract idea that serves as a foundation for more concrete principles, thoughts, and beliefs.
Concepts play an important role in all aspects of cognition. As such, concepts are studied within such disciplines as linguistics, psy ...
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 analytic philosophy, analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emer ...
, 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 broad movement within Western philosophy, especially English-speaking world, anglophone philosophy, focused on analysis as a philosophical method; clarity of prose; rigor in arguments; and making use of formal logic, mat ...
(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 philos ...
and
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...
) 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 (; born ''Otto Eduard Leopold von Bismarck''; 1 April 1815 – 30 July 1898) was a German statesman and diplomat who oversaw the unification of Germany and served as ...
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 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''; ''Walmart'') as distinguished from a common noun, which is a noun that refers to a class of entities (''continent, pl ...
s and certain
natural kind
In the philosophy of science and some other branches of philosophy, a "natural kind" is an intellectual grouping, or categorizing of things, that is reflective of the actual world and not just human interests. Some treat it as a classification ide ...
terms—including biological
taxa
In biology, a taxon (back-formation from ''taxonomy''; : 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 name and ...
and types of natural substances (most famously, "water" and "H
2O") 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 as well as nominations for ...
' 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 is an inorganic compound with the chemical formula . It is a transparent, tasteless, odorless, and Color of water, nearly colorless chemical substance. It is the main constituent of Earth's hydrosphere and the fluids of all known liv ...
is H
2O, then water is ''necessarily'' H
2O. Since the terms 'water' and 'H
2O' pick out the same object in every possible world, there is no possible world in which 'water' picks out something different from 'H
2O'. Therefore, water is necessarily H
2O. 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 H
2O, but ''conditionally'', ''if'' water is H
2O (though we may not know this, it does not change the fact if it is true), then water is necessarily H
2O.
See also
*
Causal theory of reference
*
Class
Class, Classes, 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 d ...
versus
instance
*
Counterpart theory
*
Direct reference theory
*
Non-rigid designator
*
Vivid designator
*
Scientific essentialism
References
{{Formal semantics
Possible world
Philosophy of language
Formal semantics (natural language)