Argunet Debates

Formalisierung nur mit Prädikatenlogik höherer Stufe möglich. Insbesondere muss ein Prädikat 'x kann als F gedacht werden' (Ged(x,F)) eingeführt werden, das als Argumente sowohl einen Gegenstand als auch ein Prädikat erster Stufe besitzt.

1. Jeder Gegenstand ist entweder Teil einer 'Märchenwelt' (z.B. Rumpelstielzchen) oder gehört zur vom Menschen unabhängigen Wirklichkeit (z.B. der Planet Venus).
2. Wenn ein Gegenstand x Teil einer Märchenwelt ist, so gibt es einen Gegenstand y, von dem gedacht werden kann, dass er (i) Teil der vom Menschen unabhängigen Wirklichkeit ist und (ii) sonst in allen Hinsichten mit x identisch ist. (Wir können uns z.B. Rumpelstielzchen als im Grunewald wohnend denken.)
3. Gott ist nicht Teil einer vom Menschen unabhängigen Wirklichkeit.
4. Es gibt einen Gegenstand, der (i) als Teil der vom Menschen unabhängigen Wirklichkeit und (ii) als ansonsten in jeder Hinsicht mit Gott identisch gedacht werden kann. (Dieser Gegenstand heiße GG.)
5. Wenn ein Gegenstand x Teil einer Märchenwelt ist, der Gegenstand y (i) als Teil der vom Menschen unabhängigen Welt und (ii) als ansonsten in allen Hinsicht mit x identisch gedacht werden kann, dann kann y als vollkommener als x gedacht werden.
6. GG kann als vollkommener als Gott gedacht werden.
7. Es gibt kein Wesen w, so dass gedacht werden kann, w sei vollkommener als Gott. (Gott ist das Wesen, über das nichts höheres gedacht werden kann.)
8. Gott ist Teil einer vom Menschen unabhängigen Wirklichkeit.
9. God exists.