Map
Index
Random
Help
Topics
th

Topic: names as rigid designators

topics > Group: naming



Group:
philosophy

Topic:
causal theory of names
Topic:
entities
Topic:
names as abbreviations for descriptions
Topic:
names defined by context
Topic:
names independent of objects
Topic:
naming by pointing or recognition
Topic:
necessary truth
Topic:
number as a named set of numbers
Topic:
objects as a set of attributes
Topic:
proper names
Topic:
referential transparency
Topic:
renaming
Topic:
symbolic representation
Topic:
unique names
Topic:
using a description as a name
Topic:
words in natural languages

Summary

A rigid designator designates the same object in all possible worlds. Words become permanent. An object is what can have a name, what can be pointed to.

Equivocation is using the same word in different ways in the same conversation. (cbb 12/00)

Subtopic: words should be fixed up

Quote: I wish that words might be permanent, like the things which they denote
Quote: a name is a fixed point of the language, not an abbreviated description; compare distributive sets for someone dying vs. changing sex [»ziffP_1960]

Subtopic: objects have identity up

Quote: principle of individual preservation: object the same if modified; important for maintaining relationships [»copeG3_1980]
Quote: objects and variables retain their identity during change but values can never change [»maclBJ12_1982]
Quote: the mechanisms of scholarship, arts, transactions are based on physical objects that can't slide, fold, shrink, or become transparent [»nelsTH_1974]
Quote: an object may be a human being, heavenly body, a point in space, a proof, or the direction of a line
Quote: an object is correlative with a proper name, singular term, or definite description [»dummM_1967]
Quote: a proper name refers without presupposing a context; demonstratives and singular, referring expressions assume a context [»searJR_1958]
Quote: language is only the instrument to science; words are but the signs of ideas; words are the daughters of earth and things are the sons of heaven [»johnS_1755, OK]
Quote: an object is anything that has a unique identifier; e.g., an immutable tag or a memory address [»taivA4_1993]
Note: identity is the abstraction of recognition [»cbb_2000, OK]

Subtopic: rigid designator up

Quote: a rigid designator designates the same object in all possible worlds; the object need not exist [»kripSA_1980]
Quote: different names of the same object rigidly designate that same object [»kripSA_1980]
Quote: can identify an object by pointing to it; this holds in other possible worlds [»kripSA_1980]
Quote: a rigid designator designates an object if it does so wherever the object exists [»kripSA_1980]
Quote: names are rigid designators; 'no other than Nixon might have been Nixon' [»kripSA_1980]
Quote: even though the man in the street can't describe Richard Feynman uniquely, he uses the name "Feynman" as a name for Feynman [»kripSA_1980]
Quote: suppose the author of Godel's theorem was actually Schmidt; even then, references to Godel are to Godel himself [»kripSA_1980]
Note: scope ambiguity does not occur with names across modal operators such as possibly [»kripSA_1980, OK]
Quote: a name must name something, otherwise it is not a name; in 'Did Homer exist?', Homer is an abbreviation for a definite description [»russB_1919, OK]
Quote: names refer to the same object in different possible worlds; the object can have different properties
Quote: a name can be used as a rigid designator because the identity of an object is separable from its description; e.g., Homer need not have written the Odyssey [»searJR_1983]
Quote: a proper name refers without presupposing a context; demonstratives and singular, referring expressions assume a context [»searJR_1958]

Subtopic: common names up

Note: indexical pronouns ('she') refers to x in all possible worlds even though fixed by a description such as 'the person pointed to' [»putnH_1973, OK]
Quote: 'water' is the same (same_L) in all possible worlds, i.e. it is indexical and a rigid designator [»putnH_1973]
Quote: a common name such as "water" is a predicate for "this liquid is water"; equivalent in all possible worlds (same_L), including being H_20 [»putnH_1973]
Quote: a term is a name of an entity if identical entities may be substituted; Frege [»quinWV_1950]
Quote: consider Neptune before it was ever seen; its description was an a priori truth but not a necessary one [»kripSA_1980]
Quote: a person may have several titles, but a title only one assignee; titles may be reassigned

Subtopic: strong names up

Quote: software components should have strong names; includes a simple, readable name, a GUID, version, owner, language, cultural region, processor and platform constraints [»meijE10_2002]
Quote: the identity of a CLI assembly consists of an originator key, name, version number, and optional cultural; variations via satellite assemblies [»meijE10_2002]

Subtopic: literals up

Note: literals need an ID just like objects [»cbb_1990, OK]

Subtopic: names in systems up

Quote: Modeler uses immutable objects with unique names; allows name to be used in place of text [»lampBW6_1983]
Quote: in FAD, the name for an item expression can always be replaced by its definition [»martJJ_1980]
Quote: names could be fixed at the creation of a value or object; they would be constants instead of variables [»maclBJ12_1982]
Quote: an interaction transmits a name (a means of access) from one process to another
Quote: Improv spreadsheet uses items to name rows and columns and to identify cells [»yageT10_1990]
Quote: names in a Larch interface specification tie together traits in the Shared language and programs in the programming language [»guttJV9_1985]

Subtopic: multiple identities up

Quote: equivocation is using the same word in different ways in the same conversation; reflects difficulty of dynamic scoping [»maclBJ_1987]
Quote: with block structure, a statement may refer to different variables depending on declarations outside of it; called vulnerability [»maclBJ_1987]
Quote: in natural language, words have a fixed meaning in a given context; but in programming languages, the same word can refer to different objects [»maclBJ12_1982]
Quote: Eiffel uses consistent names across classes; e.g., use 'add' instead of 'push' for STACK [»meyeB9_1990]
Quote: a single logical object may have different identifiers and different types in different databases; user needs to specify equivalences
[»ahmeR12_1991]

Related Topics up

Group: philosophy   (60 topics, 2323 quotes)

Topic: causal theory of names (21 items)
Topic: entities (20 items)
Topic: names as abbreviations for descriptions (35 items)
Topic: names defined by context (36 items)
Topic: names independent of objects (34 items)
Topic: naming by pointing or recognition (13 items)
Topic: necessary truth (25 items)
Topic: number as a named set of numbers (15 items)
Topic: objects as a set of attributes (39 items)
Topic: proper names (35 items)
Topic: referential transparency (26 items)
Topic: renaming (10 items)
Topic: symbolic representation (26 items)
Topic: unique names (58 items)
Topic: using a description as a name (21 items)
Topic: words in natural languages
(40 items)


Updated barberCB 9/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.