|Names, proper names, philosophy: the status of proper names is a relatively new philosophical problem. S. A. Kripke has treated it as one of the first in “Naming and Necessity” (three lectures at Princeton University 1970, reprint Cambridge, 1980). Against the traditional bundle theory, according to which the meaning of names lies in the properties, or at least in the essential properties of their bearers, Kripke develops a causal theory of the names, which ultimately goes back to a baptism in the broader sense. The decisive point is that the name is associated with the person but it is not required that the person has any additional properties. See also causal theory, possible worlds, rigidity, rigid designators, descriptions.|
Books on Amazon
|Berka I 451
Definition quotation name/Tarski: any name of a statement (or even meaningless expression) consisting of quotes and the expression, and which is precisely the signified through the considered name - e.g. the name ""it snows"" - ((s) quotation marks twice) - N.B.: identical configured expressions must not be identified - therefore quotation names are general, not individual names (classes of character strings) - (Hilite).
Syntactically simple expression - such as letter - then no independent meaning- ((s).
Vs: however: composed).
Definition structural-descriptive name/Tarski: (different category than the quotation names): describe, of what words the expression, designated by the name, consists and of which characters each individual word consists and in what order they follow one another - goes without quotation marks - method: introduce single names for all letters and other characters (No quotation names)- e.g. for letters f, j, P, etc.: Ef, Jay, Pee, ex - E.g. to the quotation name ""snow"" (quotation marks twice) corresponds the structural-descriptive name: word that consists of the six consecutive letters Es, En, O, double-u - (letter names without quotation marks).
Semantically ambiguous/Russell/Tarski: E.g. name, designating: a) with respect to items - b) to classes, relations, etc.
Name/translation/meta language/object language/Tarski: difference: an expression of the object language in the meta language may a) be given a name, or b) a translation.
Names/variables/constants/Tarski: variables represent names - constants are names. (>Representation, >Substitute) - for each constant and each variable of the object language (except for the logical constants of propositional calculus) can form a fundamental function that contains this character (the statement variables neither occur into the fundamental functions as functors nor as arguments) - statement variable: any ((s) individual) of them is regarded as an independent fundamental function.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983