Forums Neueste Beiträge
 

Kann eine logische Theorie nun ihr eigenes Wahrheitspreadikat ausdrueck nicht?

31/01/2013 - 22:36 von Anonymous | Report spam
"n his 1975 article "Outline of a Theory of Truth", Kripke showed that a
language can consistently contain its own truth predicate, which was
deemed impossible by Alfred Tarski, a pioneer in the area of formal
theories of truth. The approach involves letting truth be a partially
defined property over the set of grammatically well-formed sentences in
the language. Kripke showed how to do this recursively by starting from
the set of expressions in a language which do not contain the truth
predicate, and defining a truth predicate over just that segment: this
action adds new sentences to the language, and truth is in turn defined
for all of them."
http://en.wikipedia.org/w/index.php?
title=Saul_Kripke&oldidS4763074#Truth

Bisher bin ich davon ausgegangen, dass ein formles System nicht sein
eigenes Wahrheitspràdikat ausdrücken kann, schon weil daraus die
Beweisbarkeit jeder Aussage folgern würde:
http://de.wikipedia.org/wiki/Satz_v...nwendungen
Tarskis' Beweis selbst kenne ich leider nicht.

Fàllt Kripkes Versuch eines Definition der Wahrheit deshalb nicht unter
diese Probleme, weil er nicht über jede beliebige Aussage sondern nur
über einige wohlgeformte Ausdrücke quantifiziert?
 

Lesen sie die antworten

#1 Sam Sung
31/01/2013 - 22:40 | Warnen spam
Anonymous schrieb:

The approach involves letting truth be a partially



Welcher approach denn, wenn die Wahrheit vorgegeben wird.

Ähnliche fragen