@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 30 Mar 2024},
author = {Tarski,Alfred},
subject = {Proper Names},
note = {Berka I 451
Def 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).
>Description levels, >Quotation marks, cf. >Names of sentences.
I 453
Syntactically simple expressions - such as letters - have no independent meaning.
I 451
Def structural-descriptive name/Tarski: (different category than the quotation names): they 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. - This 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).
I 451
Semantically ambiguous/Russell/Tarski: E.g. name, designating:
a) with respect to items
b) to classes, relations, etc.
I 464
Name/translation/metalanguage/object language/Tarski: difference: an expression of the object language in the metalanguage may
a) be given a name,
or b) a translation.
>Object language, >Metalanguage.
I 496
Names/variables/constants/Tarski:
variables represent names
constants are names.
>Representation, >Proxy.
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.(1)
>Constants/Tarski, >Functions/Tarski.
1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935},
note = { Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 },
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=250164}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=250164}
}