28-03-2017, 12:06
Werter Herr Ekkard!
Es mutet seltsam an, dass Sie mit größter Selbstverständlichkeit unter einer Aussage etwas anderes als eine Behauptung über die Welt verstehen.
Mit freundlichem Gruß
Gast
Zitat:Aus meiner Sicht gibt es zwei wesentlich verschiedene Fragen:
a) Wann ist eine Aussage wahr?
b) Wann ist eine Behauptung über die Welt wahr?
Es mutet seltsam an, dass Sie mit größter Selbstverständlichkeit unter einer Aussage etwas anderes als eine Behauptung über die Welt verstehen.
Zitat:Die Frage a) ist vergleichsweise einfach zu beantworten. Denn sie geht von endlich vielen Voraussetzungen und einigen Verknüpfungsregeln (Logik) aus. Führen die Verknüpfungsregeln zu einer bestimmten Aussage, dann ist diese wahr, anderenfalls nicht.Ihnen ist doch vermutlich klar, dass das, was Sie hier beschreiben, Beweisbarkeit (und im Rahmen der Prädikatenlogik erster Stufe auch das Folgen einer Aussage aus besagten Voraussetzungen) ist, dass aber Wahrheit schon einmal nach den Unentscheidbarkeits- und Unvollständigkeitssätzen der Logik mehr als formale Beweisbarkeit aus gegebenen Axiomen ist?
Mit freundlichem Gruß
Gast