Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 
[englisch]


Inhaltliche Beanstandungen

Tabelle
Begriffe
Versus
Lager
Thesen I
Thesen II

Begriff/Autor  

Was ist falsch?
Seitenangabe
Übrige Metadaten
Übersetzung
Excerpt, Inhalt
Sonstiges

Richtig: Jahr / Ort / Seite
/ /

Richtigstellung
(max 500 Zeichen)

Einsender*
oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*
Captcha Code
 
Bitte Captcha Code hier eingeben

 
Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 


 
Glüer II 24ff
...Die rekusive Methode scheitert jedoch bei Quantoren.
>Rekursive Methode, >Quantoren.
Bsp "Kein Baum ist groß und klein" kann nicht als zwei vollständige Elementarsätze analysiert werden. Die meisten komplexen Sätze die mit Variablen, Junktoren, Prädikaten gebildet sind, müssen als Verbindungen offener Sätze gedeutet werden. Offene Sätze haben aber keinen Wahrheitswert.
>Offene Sätze, >Wahrheitswert.
Lösung: Tarski führt deshalb den Begriff "Erfüllung" ein:

Def Erfüllung: Relation zwischen (geordneten) Folgen von Gegenständen und offenen Sätzen. Hier funktioniert die rekursive Methode: für elementare Sätze wird definiert, welche Gegenstände sie erfüllen, und es werden Regeln angegeben, nach denen sich für alle Zusammensetzungen offener Sätze ermitteln lässt, welche Gegenstände sie erfüllen.

Aussagesätze werden als Sonderfall offener Sätze bestimmt. Sie enthalten entweder keine freien Variablen, oder sie wurden mit Hilfe von Quantoren geschlossen.
Bei wahren Aussagen ist die Erfüllung einfach: denn ob eine geordnete Folge von Gegenständen einen Satz erfüllt, hängt nur von der freien Variablen ab, die er enthält.
>Folge (Sequenz)/Tarski.

Bsp "Der Mond ist rund" enthält keinerlei freie Variablen. Damit ist die Art der Gegenstände der jeweiligen folge völlig irrelevant und es kann per Definition bestimmt werden, ob ein solcher Satz wahr ist, wenn er von allen Folgen erfüllt wird - oder von keiner.

Etwas verwickelter ist es bei quantifizierten Aussagen: Bsp "Alle Sterne sind rund." oder "Es gibt mindestens einen Stern, der rund ist." auch hier wird die Erfüllung derart definiert, dass entweder alle Folgen einen Satz erfüllen, oder keine.

So wird deutlich, dass es absurd wäre, Wahrheit geschlossener Sätze mit der Erfüllung durch keine Folge von Gegenständen zu assoziieren. Ein Satz wie "Alle Sterne sind rund" ist wahr wenn es bestimmte Gegenstände gibt, die "X ist rund" erfüllen: alle Sterne.
Wahrheit/Tarski: eine Aussage ist wahr, wenn sie von allen Gegenständen erfüllt wird, sonst falsch".
- - -
Berka I 399
Teildefinition/Erfüllen/Tarski. Bsp Johann und Peter erfüllen die Aussagenfunktion (AF) "X und Y sind Brüder", wenn sie Brüder sind.(1)

1. A.Tarski, „Grundlegung der wissenschaftlichen Semantik“, in: Actes du Congrès International de Philosophie Scientifique, Paris 1935, Bd. III, ASI 390, Paris 1936, S. 1-8
- - -
Horwich I 119
Erfüllung/Tarski: Hier ersetzen wir die freien Variablen der Aussagenfunktion durch Namen von Objekten und sehen, ob wir wahre Sätze erhalten. - Das geht aber nicht, wenn wir Erfüllung gebrauchen, um Wahrheit zu definieren.
Lösung: rekursive Prozedur. Regeln für die Bedingungen, unter denen Objekte eine zusammengesetzte Aussagenfunktion erfüllen.
>Aussagenfunktionen.
Für ganze Sätze gibt es Erfüllung auch: dann wird ein Satz entweder durch gar kein Objekt erfüllt oder durch alle.
Erfüllung: hat als Relation immer eine Stelle mehr.
Bsp "ist größer als" ist eine Funktion zwischen einer Relation und Paaren von Objekten - daher gibt es viele Erfüllungsbegriffe.
Lösung: "unendliche Sequenz". Dann ist Erfüllung eine binäre Relation zwischen Funktionen und Sequenzen (Folgen) von Objekten.
Wahrheitsdefinition: Der Grund für diese indirekte Wahrheitsdefinition ist, dass zusammengesetzte Sätze aus mehreren Aussagenfunktionen zusammengesetzt sind, nicht immer aus vollständigen Sätzen. Daher gibt es keine rekursive Definition.
>Rekursion.
Horwich I 139
Erfüllung/Antinomie/Tarski: Für die Erfüllung können wir auch eine Antinomie konstruieren: Bsp Die Aussagenfunktion X erfüllt nicht X. - Jetzt betrachten wir die Frage, ob dieser Ausdruck, der sicher eine Aussagenfunktion ist, sich selbst erfüllt oder nicht.(2)

2. A. Tarski, The semantic Conceptions of Truth, Philosophy and Phenomenological Research 4, pp. 341-75
- - -
Skirbekk I 146
Semantisch: bezieht sich auf Aussagen
Erfüllung, Bezeichnung: bezieht sich auf Gegenstände.
Skirbekk I 156
Wahrheit/Tarski: Die Wahrheitsdefinition erhalten wir einfach aufgrund der Definition von Erfüllung: Def Erfüllung/Tarski: Erfüllung ist eine Beziehung zwischen beliebigen Gegenständen und Aussagenfunktionen. - Ein Gegenstand erfüllt eine Funktion wenn die Funktion eine wahre Aussage wird, wenn die freien Variablen durch den Namen der Gegenstände ersetzen.
Bsp Schnee erfüllt die Aussagenfunktion "x ist weiß".
Vs: Das ist zirkulär, weil "wahr" in der Definition von Erfüllung vorkommt.
Lösung: Erfüllung muss selbst rekursiv definiert werden. - Wenn wir die Erfüllung haben, bezieht sie sich von selbst auch auf die Aussagen selbst. - Eine Aussage wird entweder von allen Gegenständen erfüllt, oder von keinem.(3)

3. A.Tarski, „Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik“ (1944) in. G: Skirbekk (Hg.) Wahrheitstheorien, Frankfurt 1996

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.