Group: naming

Group > Group: topic root

topic root
access to data
distributed systems
natural language
abbreviated input
abstraction by name
attribute-value pairs as information
data as a named set of data objects
dictionary for natural language
denoting phrases and definite descriptions
file directory
hypertext nodes made of names
immutable files and data
is a name a literal string or a symbol
local declaration of data
meaning of words
meaning vs. reference
name of a relationship
named constants and expressions
naming conventions
no need for variables
number as a named set of numbers
number representation
parameter passing by keyword or position
pidgin and creole languages
problem of assigning names
Thesa data model
selecting command names for a user interface
words in natural languages

all groups
map of the Thesa web site
Thesa data model
topics n-r


Naming is key to our ability to understand and organize the world. Names come in many forms for many purposes. (cbb 12/00)

A name in Thesa refers to an numeric identifier in a depot. The combination of depot and identifier is permanent while its name or names may change over time. The names belong to a natural language while the identifiers belong a computational language. Given a version, the mapping is bi-directional. This ties together the natural and computational languages for everything represented in the system. (cbb 4/06)

Group members up

Topic: absolute vs. relative names
Topic: alias names
Topic: binding of names to objects
Topic: binding names to variables or expressions
Topic: causal theory of names
Topic: definition
Topic: descriptive naming
Topic: early vs. late binding
Topic: encoded names
Topic: group names
Topic: hierarchical naming
Topic: locating named objects by broadcast
Topic: name server or name directory
Topic: names as abbreviations for descriptions
Topic: names as rigid designators
Topic: names as place holders
Topic: names defined by context
Topic: names independent of objects
Topic: namespace
Topic: naming authority
Topic: naming by pointing or recognition
Topic: object-defined names
Topic: objects without names
Topic: pronoun reference
Topic: proper names
Topic: renaming
Topic: self reference
Topic: symbolic representation
Topic: unique names
Topic: unique numeric names as surrogates
Topic: name as description
Topic: name as address
Subtopic: naming and reason/science up

Quote: structure and naming make proofs easy to understand; create detailed explanations by naming the previously stated facts [lampL11_2011]
Quote: the first truths of all things arose from agreeing about the various names of things; e.g., man is an animal [hobbT_1655]
Quote: reason is nothing but adding and subtracting the consequences of general names; marking when we think, and signifying when we communicate [hobbT_1651 OK]
Quote: science is the knowledge of the consequences of names; the dependance of one fact upon another; the ability to make things happen [hobbT_1651 OK]
Quote: our universe is not chaos; we perceive and name beings and objects that have stable structures [thomR_1975]
Quote: Augustine was taught to speak by learning the names of things [wittL_1958]
Quote: tastes, odors, colors are mere names as far as material objects are concerned; they are only excitations of living animals; same as tickling and armpits [galiG_1623]
Quote: names make us capable of science; they draw men out of ignorance, or may lead men into error [hobbT_1650 OK]

Subtopic: names of ideas up

Quote: a definition explicates a name by means of a speech act; names are employed to arouse the idea of the same thing in the learner [hobbT_1655]
Quote: we give names to ideas, i.e., the spoken or written sounds by which we think of ideas and communicate with others about them [demoA_1847]
Quote: the idea of an idea is not the idea itself; thought cannot be the subject of thought without language [demoA_1847]
Quote: a-man-in-a-black-coat-riding-along-the-high-road-on-a-bay-horse is as much a name of an idea as man, black, or horse [demoA_1847]
Quote: names are used indifferently, both for the objects which produce ideas, and for the ideas produced by them [demoA_1847]
Quote: every name has a reference to every idea, either positively or negatively; this, no matter what, is or is not a horse [demoA_1847]
Quote: a name ought to be boundary that either includes or excludes ideas, but clear and undeniable inclusion or exclusion is seldom attainable; at and near the boundary, all is vague [demoA_1847]

Subtopic: name as classification of ideas up

Quote: a name is a symbol which is attached to one or more objects of thought, on account of some resemblance, or community of properties; or else a name distinguishes them from others having the same properties [demoA_1847]
Quote: objects of the same name are, so far as that name is concerned, undistinguishable; one object may have many names, as being one in each of many classes of objects of thought [demoA_1847]

Subtopic: names as atomic objects up

Quote: an SDSI reference may include a SHA-1 hash to verify its contents [riveRL4_1996]
Quote: a name, when used as a name, has no internal structure; names are atomic objects; may test for equality [straC8_1967]
Quote: a numeral, an R-value expression, is the written representation of a number, an abstract object; only the single digits are also names [straC8_1967]

Subtopic: names as sharing up

Quote: a name is for sharing; multiple names may refer to the same object; one name may refer to multiple objects for different purposes [saltJH_1979]
Quote: names for human beings (e.g., filenames) should be arbitrary-length character strings; mnemonically useful [saltJH_1979]
Quote: to model sharing, each object must have a unique name; if x contains the name of y, then y is a component of x; if an object is named more than once, it is shared [herlM10_1982]

Subtopic: name resolution up

Quote: resolving names -- predictable result, easily specified, local rearrangement, old object remains accessible, precise substitution [saltJH_1979]
Quote: a name may be a compound conception; the definition resolves that name into its more universal parts, e.g., a man is a body, animate, sentient, rational [hobbT_1655]

Subtopic: names as marks up

Quote: names are the marks and signs of the particular sensations of things; names are the tokens of memory which itself is "decaying sense" [sepkD_2007]
Quote: a name is a sign by which we distinguish one object or product of thought from another; they apply to external objects, their qualities, subjective classes and attributes [demoA_1864 OK]
Quote: names are marks of human voices which recall conceptions of the things named [hobbT_1650 OK]

Subtopic: names as arbitrary up

Quote: the use of names is private and abitrary; e.g., 'parabolic' and 'hyperbolic' are different in geometry and in rhetoric [hobbT_1655]
Quote: nothing is more permissible than to give a clearly designated thing any name we wish [peanG_1921]

Subtopic: name as extension up

Quote: the critical element of meaning is the extension of the name, not its description or properties [hackI6_2007]

Subtopic: names as universals up

Quote: there is nothing universal but names; the things named are not themselves universal [hobbT_1650 OK]
Quote: a parameter is either literal data or a capability; the actual parameter must be have a matching capability type and option bits [lampBW_1971]
Quote: capabilities may name any object in the system including files, processes, event channels, capability lists, operations, class codes, and allocation blocks [lampBW_1971]

Subtopic: names as logic up

Quote: names are the objects of formal logic; the identity and difference of things is described by asserting or denying the application of names [demoA_1847]
Quote: represent names, whether simple or complex, by letters of the alphabet, as X, Y, Z [demoA_1847]

Subtopic: naming as manual process up

Quote: manual process for accepting another individual's public key(s) and associating it with a local name; authentication and meaningful names require judgement [riveRL4_1996]

Subtopic: names as comparable up

Quote: names are only assigned to comparable things; a plurality of being requires number; if number is removed, the distinctness, order, comparative relation, and harmony of things cease [cusaN_1440]

Subtopic: name via content up

Quote: an SDSI reference may include a SHA-1 hash to verify its contents [riveRL4_1996]
Quote: with immutability, consistency is a naming problem; consistency via domain relative addressing without serialization (more concurrency) [walpJ6_1988]

Subtopic: names as fields up

Note: the name of an object is a dictionary entry, i.e., a field [cbb_2000 OK]

Subtopic: memory address as name and location up

Quote: a memory address serves two functions: a name of information for computation, and a location in physical main memory [dennJB10_1965]

Subtopic: requirements for names up

Quote: assign a segment name and word address to each memory reference -- unique names, without reallocation, shared across computations, protected access [dennJB10_1965]

Subtopic: names as access control up

Quote: controlled access to operations with flexible naming, e.g., via capabilities [lampBW_1971]

Subtopic: rules vs. regularities up

Note: there are two kinds of rules: formal rules and regularities; Turing machines and words in a natural language [cbb_1990 OK]

Subtopic: how to name an object up

Quote: an object is a software or hardware structure that is worthy of a distinct name [saltJH_1979]
Quote: ways to designate an object: name, address, content, owner, class, group, path, relationship [watsRW_1981]
Quote: names can have different relationships to things; e.g., legal name, maiden name, descriptive name [kentW_1978]
Quote: names are characterized by structure, time, and number [hauzBM10_1986]
Quote: the name of a resource indicates what we seek, an address is where, and a route is how to get there [shocJF9_1978]

Subtopic: names are expressions, functions, attributes, resources up

Quote: names are meaningful expressions without free variables [churA_1951]
Quote: a major weakness of von Neumann languages is not treating names as functions [backJ8_1978a]
Quote: all names are attribute names since variables, procedures, etc. are attributes of the environment [maclBJ12_1983]
Quote: Representational State Transfer (REST) manages resources; i.e., anything that can be named [fielRT5_2002]

Subtopic: calculus of names and labeled calculus up

Quote: track dependencies with the labeled lambda calculus; it propagates names for subexpressions to the result; same properties as the unlabelled calculus [abadM5_1996]
Quote: the key idea of pi-calculus is naming or reference; concurrency requires the independent identity of its components [milnR1_1993]
Quote: pi-calculus expressions consist of names and processes; names may be a channel or a datum [milnR1_1993]
Quote: an interaction transmits a name (a means of access) from one process to another [milnR1_1993]

Subtopic: abbreviation names up

Quote: abbreviated names often become unreliable [saltJH_1979]

Subtopic: no name up

Quote: the absolutely Maximum is both incomprehensibly understandable and unnameably nameable [cusaN_1440]
Quote: God has no name; his essence is beyond what we understand of him and the meaning of the names we use [aquiT_1273]

Subtopic: only nine names up

Quote: man gave names to only nine numbers and invented only nine shapes to represent all numbers [alkhAJMM_825a]

Subtopic: too many names up

Quote: parts need names; there is already enough names; one must know when to stop; like a river flowing home to the sea [tsuL_300]
Quote: traditional programming requires the constant invention of unique names just to create structure [edwaJ10_2005]
Quote: an object may have many names in multiple contexts; human vs. computational/unambiguous, local vs. universal, unique vs. meaning, unlimited vs. limited context [saltJH_1979]

Related up

Group: access to data
Group: distributed systems
Group: hypertext
Group: information
Group: natural language
Group: philosophy
Group: systems
Topic: abbreviated input
Topic: abstraction by name
Topic: attribute-value pairs as information
Topic: classification
Topic: data as a named set of data objects
Topic: dictionary for natural language
Topic: denoting phrases and definite descriptions
Topic: file directory
Topic: hypertext nodes made of names
Topic: immutable files and data
Topic: is a name a literal string or a symbol
Topic: local declaration of data
Topic: meaning of words
Topic: meaning vs. reference
Topic: name of a relationship
Topic: named constants and expressions
Topic: naming conventions
Topic: no need for variables
Topic: number as a named set of numbers
Topic: number representation
Topic: parameter passing by keyword or position
Topic: pidgin and creole languages
Topic: problem of assigning names
Topic: Thesa data model
Topic: recognition
Topic: selecting command names for a user interface
Topic: words in natural languages

Subtopics up

abbreviation names
calculus of names and labeled calculus
how to name an object
memory address as name and location
name as classification of ideas
name as extension
name resolution
name via content
names are expressions, functions, attributes, resources
names as access control
names as arbitrary
names as atomic objects
names as comparable
names as fields
names as logic
names as marks
names as sharing
names as universals
names of ideas
naming and reason/science
naming as manual process
no name
only nine names
requirements for names
rules vs. regularities
too many names

Updated barberCB 9/04
Copyright © 2002-2023 by C.B. Barber
Thesa, Avev, and thid-... are trademarks of C.B. Barber