III 335
Sprache/Davidson: Davidsons Kriterium: Eine Sprache darf nicht unendlich viele Grundbegriffe haben. Kripke: Sonst kann sie nicht "erste Sprache" sein.
Vgl. >
Spracherwerb.
III 338
KripkeVsDavidson: Wir müssen nur verlangen, dass nur endlich viele Axiome "neues" Vokabular enthalten. (schwächer).
III 338
Wahrheitstheorie/WT/Kripke: (hier): Bedingung:
i) Die Axiome definieren Wahrheit implizit (d.h. wir nehmen an, dass die referentiellen Variablen intendierte Bereiche haben und die substitutionalen Variablen intendierte Substitutionsklassen (das definiert implizit eine Mengen von Wahrheiten von L).
ii) a) Die neuen Axiome müssen eine wahre Interpretation im alten Vokabular (mit der intendierten Interpretation) haben...
b) Es muss ein Äquivalenz-Schema für jeden geschlossenen Satz aus der Objektsprache geben, der nur altes Vokabular enthält. Vorteil: Die Ontologie enthält keine Mengen von Ausdrücken der Metasprache.
ii a): Ist die Forderung, dass es eine Interpretation der neuen Prädikate gibt, die die alten enthält.
ii b): Garantiert, dass T(x) eine einzige Extension enthält (Einzigkeit).
Tarski:Tarski braucht nur i) für seine explizite Wahrheitsdefinition (nur altes Vokabular).
III 249
i) Ist erfüllt (ohne vorausgesetzten Wahrheitsbegriff) durch (4)-(6) im alten Vokabular.
III 347
Wahrheitstheorie/Davidson/Kripke: Auch die Metasprache darf semantisches Vokabular enthalten! Die Übersetzung wird ja auch dann garantiert, wenn beide Seiten semantisches Vokabular enthalten.
Kripke: Bei Tarski ist dies ganz anders: Wahrheit und alle semantischen Termini sind explizit in nicht-semantischem Vokabular definiert.
>
Wahrheitstheorie, >
Axiome/Kripke, >
Metasprache, >
Objektsprache.
---
Frank I 32
Vokabular/psychisch/physisch/Kripke: Das Vokabular lehrt die Verschiedenheit der logischen Subjekte des Physischen und des Psychischen. Körperliches schreibe ich mit in einem naturalistischen Vokabular zu (syntaktische Strukturen), Psychisches in einem mentalistischen (semantische Strukturen).
>
Naturalismus, >
Mentalismus, >
Syntax, >
Semantik.
