12 Jul
2024
12 Jul
'24
7 p.m.
Am Mo., 22. Apr. 2024 um 15:51 Uhr schrieb Ingo Tessmann über PhilWeb <
philweb(a)lists.philo.at>gt;:
Du hast durchaus recht.
Ich verstehe, worauf du anspielst.
RF
Am 20.04.2024 um 10:38 schrieb Rat Frag
<rat96frag(a)gmail.com>om>:
> Und die Prämissen zeigen sich in den Beweisen, die stets zu den Sätzen
herangezogen oder gemacht werden sollten.
Das ist im Grunde:
A -> B -> A.
Hi RF,
Wiederholungen öden mich an; denn wie oft haben wir nicht schon math.
Sätze behandelt und ich darauf verweisen, dass sie nur in Verbindung mit
ihren Beweisen verständlich seien (wie bspw. am 4.1.16). Satz: Gott
existiert notwendigerweise. Im Beweis führt Gödel als Prämissen Axiome,
Definitionen und Hilfssätze an. Also zeigen sich die Prämissen erst im
Beweis und nicht bereits im Satz, d.h. B? A -> B! Was soll demgegenüber
Dein A -> B -> A?
IT