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]

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]

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]

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

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]

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

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]

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]