Begriff/ Autor/Ismus |
Autor |
Eintrag |
Literatur |
---|---|---|---|
Formale Sprache | Tarski | Berka I 458 Formale Sprache/Tarski: In einer formalen Sprache ist der Sinn jedes Ausdrucks eindeutig durch seine Gestalt bestimmt. I 459 Variablen: haben keine selbständige Bedeutung. Aussagen bleiben nach Übersetzung in Alltagssprache Aussagen. Variablen/Tarski: repräsentieren bei uns immer Namen von Klassen von Individuen. >Klassenname. Berka I 461 Formale Sprache/Terminologie/Abkürzungen/Schreibweise/Tarski: hier: die untersuchte Sprache (Objektsprache) - Symbole: N, A, I, P: Negation, Alternation, Inklusion, Allzeichen. Metasprache/MS: Symbole ng (Negation), sm (Summe, = Alternation), in (Inklusion). Das ist die Sprache, in der die Untersuchung durchgeführt wird. ng, sm usw. entsprechen den alltagssprachlichen Ausdrücken, ((s) die formalen Symbole N, A usw. nicht!). I 464 Bsp Objektsprache: Bsp Ausdruck: NIxi,xll Metasprache: Übersetzung dieses Ausdrucks: (strukturell-deskriptiver Name, symbolischer Ausdruck): Name: "((ng ^ in) ^v1) ^v2" - aber: s.u. Unterschied Name/Übersetzung.(1) >Strukturell-deskriptiver Name, >Anführungsname, >Metasprache. 1.A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 Horwich I 112 Formale Sprache/Tarski: In einer formalen Sprache sind alle behauptbaren Sätze Theoreme. - Es kann auch Sprachen mit genau spezifizierter Struktur geben, die nicht formalisiert sind. - Dann mag die Behauptbarkeit von außersprachlichen Faktoren abhängen.(2) >Behauptbarkeit. 2. A. Tarski, The semantic Conceptions of Truth, Philosophy and Phenomenological Research 4, pp. 341-75 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 Horwich I P. Horwich (Ed.) Theories of Truth Aldershot 1994 |
Funktion | Tarski | Berka I 454 Def Anführungsfunktion/Tarski: Der im Tarski-Schema (oder Varianten) auftretende Ausdruck ""p"" (Anführungszeichen doppelt) muss als Funktion angesehen werden, deren Argument eine Aussagenvariable und deren Werte konstante Anführungsnamen von Aussagen sind. Damit werden die Anführungszeichen zu selbständigen Worten (wie das Wort "Name") mit der syntaktischen Rolle von Funktoren. >Funktoren, vgl. >Namen von Sätzen. Problem: "für beliebige p und q - ist p gdw. q, so ist "p" identisch mit "q"" steht in krassem Widerspruch zur üblichen Verwendung von Anführungszeichen. >Anführungszeichen. Lösung: Funktoren müssten hier intensional aufgefasst werden. >Intensionalität. I 455 VsAnführungsfunktion: mit variablem Argument: führt zur Lügner-Paradoxie, sogar ohne den Ausdruck "wahre Aussage" - Bsp "die Aussage Seite 13 oben". >Paradoxien. Problem: Voraussetzung für Anführungszeichen: ist die Aussage "p" mit der Aussage "q" identisch, so p dann und nur dann, wenn q.(1) 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
Funktoren | Tarski | Berka I 455 Funktor/Tarski: Anführungszeichen: namenbildende Funktoren. "Extensional"/"intensional": damit werden aussagebildende Funktoren bezeichnet.(1). ((s) Es gibt keine "intensionalen" Namen.) >Intensionalität, >Extensionalität. >Funktion/Tarski, >Terminologien/Tarski, >Anführungsname/Tarski, >Strukturell-deskriptiv/Tarski. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
Konvention W | Tarski | Berka I 476f Def Konvention W/Originalstelle/Tarski: Eine formal korrekte in den Termini der Metasprache formulierte Definition des Symbols "Wr" ("Klasse aller wahren Aussagen") werden wir eine zutreffende Definition der Wahrheit nennen, wenn sie folgende Folgerungen nach sich zieht. I 477 a) alle Sätze, die man aus dem Ausdruck "x ε Wr gdw "p" gewinnt, indem man für das Symbol x einen strukturell-deskriptiven Namen einer beliebigen Aussage der betrachteten Sprache ((s) der Objektsprache) und für das Symbol "p" den Ausdruck, der die Übersetzung dieser Aussage in die Metasprache bildet, einsetzt; b) die Aussage "für ein beliebiges x - wenn x ε Wr, so x ε AS" (oder mit anderen Worten "Wr ⊂ AS"). Neu gegenüber Kapitel 1: Einführung der Metasprache.(1) >Objektsprache, >Metasprache. 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). 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
Namen | Tarski | 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 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
Syntax | Schröter | Berka I 415 Zeichenreihen/Schröter: wenn sie gleich gestaltet sind, sollen hier nicht als verschieden (individuell) gelten. - Daher sprechen wir immer als eine Menge von Zeichenreihen, die mit einer gegebenen Zeichenreihe gleich gestaltet sind.(1) - ((s) Tarski: >Anführungsname ist immer allgemein: Klasse gleich gestalteter Reihen, nicht individueller Name.) 1. K. Schröter, Was ist eine mathematische Theorie?, Jahresbericht der deutschen Mathematikervereinigung 53 (1943), 69-82 |
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
Terminologien | Tarski | 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). Berka I 454 Def Anführungsfunktion/Tarski: Der im Tarski-Schema (oder Varianten) auftretende Ausdruck ""p"" (Anführungszeichen doppelt) muss als Funktion angesehen werden, deren Argument eine Aussagenvariable und deren Werte konstante Anführungsnamen von Aussagen sind. - Damit werden die Anführungszeichen zu selbständigen Worten (wie das Wort "Name") mit der syntaktischen Rolle von Funktoren. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |