Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Tarski, Alfred
 
Bücher bei Amazon
Namen 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).
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.
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.

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Tarski
> Gegenargumente zu Namen



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 28.04.2017