Quote: a proper name designates a single object; its sense is grasped by any speaker of the language [»fregG_1892]

Quote: proper names have no signification; they do not convey any information about an object

Quote: a proper name is but an unmeaning mark for knowing that an assertion applies to something with which we were previously acquainted [»millJS_1843, OK]

Quote: proper names denote individuals, but they do not imply any attributes; they are not connotative [»millJS_1843, OK]

Quote: proper names refer publicly to objects without having to agree on what description identifies an object [»searJR_1958]

Quote: proper names exist because we need to make repeated references to the same object, even if not present [»searJR_1983]

Quote: all human languages distinguish proper names from common nouns; names learned very quickly; fundamental to identification [»sowaJF_1984]

Quote: a name is a symbol or combination of symbols by which an entity is known [»senkME1_1973]

Quote: a name is a simple symbol that directly designates an individual

Quote: direct manipulation needs easily reproducible symbols for entities; text is best, that's its purpose [»diseAA_1986]

Quote: if maintenance of old versions is required during development, side branches are needed; symbolic version names should be used [»tichWF9_1982]

Quote: use spies to learn the names of all involved [»tzuS_180]

Quote: how does a proper name refer to an object? [»searJR_1983]

Quote: the sense of a proper name is the definite description associated with the name [»searJR_1983]

Quote: for proper names, sense is necessary but reference is contingent; they look like shorthand or a vague description [»searJR_1958]

Quote: does a name refer because an object fits a description or because of facts that are independent of description [»searJR_1983]

Quote: proper names such as 'Aristotle' may have varying senses; should be avoided in science and perfect languages [»fregG_1892]

Note: consider Nextperson as a proper name; its description fixes its reference but does not give its meaning; i.e., contingent, a priori truth [»kripSA_1980, OK]

Quote: proper names isolate the referring function from the describing function of language

Quote: proper names are logically connected with descriptions but they are not used to describe; so proper names sort of have a sense [»searJR_1958]

Quote: Mill's account of proper names as non-connotative simply says that they do refer, and that's that

Quote: a proper name refers without presupposing a context; demonstratives and singular, referring expressions assume a context [»searJR_1958]

Quote: proper names can have prominent uses not based on acquaintance; constrained regardless of chain of communication, e.g., 'Japan' could not refer to a butterfly [»searJR_1983]

Quote: the most important names are for frequent, personal contacts; though learned from other people, a reference does not depend on others [»searJR_1983]

Quote: can use a proper name even though no causal connection to an object; e.g., M Street in Washington or the names of numbers [»searJR_1983]

Quote: an object is correlative with a proper name, singular term, or definite description [»dummM_1967]

Quote: proper names are pegs on which to hang descriptions

Quote: 'Socrates is a man' identifies a named object with an ambiguously described object; i.e., the ambiguously described object actually exists [»russB_1919, OK]

Note: "Cicero = Tully" informs people about a language; e.g., merge if names are clusters of characteristics [»searJR_1958, OK]

Quote: a proper name presupposes the truth of unspecified, uniquely referring descriptive statements [»searJR_1958]

Quote: the cat in "the cat is on the mat" does not refer to Tabby the cat even though the cat is Tabby [»martAP_1990]

Quote: authenticated operation requires program identity; e.g., restrict access to financial data via cryptographic hash of executable code [»englP7_2003]

Quote: even if people have the same legal name in a domain, pick unique names [»oppeDC7_1983]

Quote: do not use proper names as the sole index to critical records; they serve many functions and create difficult problems [»normDA4_1993]

Quote: an individual is an instance of something general; pure particulars do not exist [»stawPF_1954]