Philosophie Lexikon der Argumente

Suche  
 
Intuitionismus: A. Der Intuitionismus in der Mathematik geht davon aus, dass die zu untersuchenden Gegenstände wie z.B. Zahlen erst im Prozess der Untersuchung konstruiert werden und daher keine fertigen Gegenstände sind, die entdeckt werden. Das hat unter anderem Auswirkungen auf die doppelte Negation und den Satz vom ausgeschlossenen Dritten.
B. Der Intuitionismus der Ethik nimmt an, dass moralische Prinzipien feststehen und unmittelbar (oder intuitiv) wissbar sind.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
A. d'Abro Die Kontroversen über das Wesen der Mathematik 1939 in Kursbuch 8 Mathematik 1967
50
Intuitionismus/Formalismus/d’Abro: Der Intuitionist ist ein Rigorist, insofern, als er Definitionen und Beweise, die der Formalist akzeptiert, für unzureichend hält. Man sollte zugeben, dass sie nicht von der Logik, sondern der Intuition gegeben werden.

Bsp Zermelos (Formalist) Beweis, dass das Kontinuum eine geordnete Menge ist. d.h., dass die Punkte nacheinander platziert werden können, mit einem Nachfolger für jeden Punkt.

PoincaréVsZermelo erfand dazu ein typisches Streitgespräch: der Pragmatiker lehnt Zermelos Beweis ab weil er zu viel Zeit beanspruchen würde um ihn auszuführen, die Zahl der durchzuführenden Operationen wäre sogar größer als Aleph Null, nicht mit endlich vielen Worten auszudrücken. Der Pragmatiker wird folgern, dass das Theorem sinnlos ist.

Lager: Formalisten: Cantor, Hilbert, Zermelo, Russell – Intuitionisten: Poincaré, Weyl

53
Nach Weyl muss der Begriff der irrationalen Zahl entweder aufgegeben, oder gründlich modifiziert werden.

Brouwer: bei der Behandlung unendlicher Mengen gilt der Satz vom ausgeschlossenen Dritten nicht.

Die Intuitionisten behaupten mit Poincaré, dass Antinomien ohne Unendlichkeiten läppisch seien.
Poincaré: Die Antinomien gewisser Logiker sind einfach zirkulär.

Brouwer: bei der Behandlung unendlicher Mengen gilt der Satz vom ausgeschlossenen Dritten nicht.

Die Intuitionisten behaupten mit Poincaré, dass Antinomien ohne Unendlichkeiten läppisch seien.
Poincaré: Die Antinomien gewisser Logiker sind einfach zirkulär.

> Gegenargumente zu Intuitionismus



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 29.05.2017