Berka I 451
Def Anführungsname/Tarski: Jeder Name einer Aussage (oder sogar sinnlosen Ausdrucks) der aus Anführungszeichen und dem Ausdruck besteht, und der eben das durch den betrachteten Namen Bezeichnete ist.
Bsp der Name ""es schneit"".
((s) Anführungszeichen doppelt).
Pointe: Gleichgestaltete Ausdrücke dürfen nicht identifiziert werden! - Daher sind Anführungsnahmen allgemeine, nicht individuelle Namen (Klassen von Zeichenreihen).
>
Beschreibungsebenen, >
Anführungszeichen, vgl. >
Namen von Sätzen.
I 453
Syntaktisch einfacher Ausdruck - wie z.B. ein Buchstabe - hat dann keine selbständige Bedeutung.
((s) s.u. I 454
Hier sind es zusammengesetzte Ausdrücke, die eine Bedeutung haben.)
I 451
Def strukturell-deskriptiver Name/Tarski: (andere Kategorie als die Anführungsnamen): beschreiben, aus welchen Worten der durch den Namen bezeichnete Ausdruck und aus welchen Zeichen jedes einzelne Wort besteht und in welcher Ordnung diese aufeinander folgen - das geht ohne Anführungszeichen. Methode: für alle Buchstaben und anderen Zeichen Einzelnamen (keine Anführungsnamen) einführen.
Bsp für die Buchstaben: "f", "j", "P" usw.die Bezeichnungen: Ef, Jott, Pe, iks (ohne Anführungszeichen) - Bsp dem Anführungsnamen ""Schnee"" (Anführungszeichen doppelt) entspricht der
strukturell-deskriptiver Name: "Wort, das aus den sechs aufeinanderfolgenden Buchstaben Es, Ce, Ha, En, E und E besteht" - (Buchstabennamen ohne Anführungszeichen).
I 451
Semantisch mehrdeutig/Russell/Tarski: Bsp "Name", "Bezeichnen": a) in Bezug auf Gegenstände - b) auf Klassen, Relationen, usw.
I 464
Name/Übersetzung/Metasprache/Objektsprache/MS/OS/Tarski: Unterschied: Ein Ausdruck der Objektsprache kann in der Metasprache
a) einen Namen erhalten, oder
b) eine Übersetzung.
>
Objektsprache, >
Metasprache.
I 496
Namen/Variablen/Konstanten/Tarski:
Variablen repräsentieren Namen
Konstanten sind Namen.
>
Repräsentation, >
Stellvertreter.
Für jede Konstante und jede Variable der Objektsprache (mit Ausnahme der logischen Konstanten des Aussagenkalküls) lässt sich eine fundamentale Funktion bilden, die dieses Zeichen enthält (die Aussagenvariablen kommen in den fundamentalen Funktionen weder als Funktoren noch als Argumente vor).
Aussagenvariable: jede ((s) einzelne) von ihnen wird als selbständige fundamentale Funktion betrachtet.
(1)
>
Konstanten/Tarski, >
Funktion/Tarski.
1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935
