Books on Amazon
|Proper Names||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