Lexikon der Argumente

 

I (c) 89
Intuitionismus/Putnam: Beim Intuitionismus ist Existenz intratheoretisch. Bsp Tarski: "Elektron referiert" ist äquivalent mit "Es gibt Elektronen".
Intuitionistisch: Es gibt eine Beschreibung D, so dass "D ist ein Elektron" in B1 beweisbar ist. Das könnte bei entsprechender Theorie wahr sein, selbst wenn es keine Elektronen gibt.
---
II 124f
Intuitionismus/PutnamVs: Intuitionismus nimmt eine stark aprioristsche Haltung gegenüber geistigen Entitäten, nämlich "Bedeutungen", an. Sie nimmt auch eine platonistische Fähigkeit zum Erfassen konstruktiver Relationen zwischen ihnen an.
II 125
Pro Intuitionismus: Die Löwenheim-Paradoxie taucht nicht auf, weil "Existenz eines Modells" bedeutet, ein Beweisverfahren zu haben.
>Löwenheim.
Gegenstand/Bedeutung/Beschreibung: Gegenstände in der konstruktiven Mathematik sind durch Beschreibungen gegeben. Diese müssen nicht mit mysteriösem "Klebstoff" angeheftet werden. Referenz ist hier durch den Sinn gegeben, und Sinn durch ein Verifikationsverfahren, nicht durch Wahrheitsbedingungen. Es gibt dann keine "Kluft" zwischen Theorie und Gegenständen. ((s) Wahrheits-Bedingungen: Wenn die Wahrheitsbedingungen sprachlich formuliert sind, könnte die Bedeutung nach dem Satz von Löwenheim verschoben sein. Verfahren sind nicht-sprachlich.)