Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Formalismus: Die These, dass Aussagen ihre Bedeutung allein aus den Regeln für das Ersetzen, Einsetzen, Umformen, für Gleichheit und Ungleichheit von Symbolen innerhalb eines Kalküls oder Systems erhalten. Siehe auch Kalkül, Bedeutung, Regeln, Inhalt, Korrektheit, Systeme, Wahrheit.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor Begriff Zusammenfassung/Zitate Quellen

A. d’Abro über Formalismus – Lexikon der Argumente

A. d'Abro Die Kontroversen über das Wesen der Mathematik 1939 in Kursbuch 8 Mathematik 1967
33
Formalismus/D'Abro: Der Formalist sieht Arithmetik und Logik als komplementär an.
Eine gewisse Übereinstimmung der beiden Lehren ergibt sich aus der Unmöglichkeit, die Zahl und insbesondere ganze Zahlen zu definieren (VsFrege). Die Formalisten behaupten jedoch eine indirekte Möglichkeit auf der Basis von Axiomen.
>Formalismus/Frege
, >Formalismus/Heyting.

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.
>Intuitionismus.

PoincaréVsZermelo: Poincaré 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 Aleph0, 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.
>G. Cantor, >D. Hilbert, >E. Zermelo, >B. Russell, >H. Poincaré.

53
Nach Weyl muss der Begriff der irrationalen Zahl entweder aufgegeben, oder gründlich modifiziert werden.
>Irrationale Zahlen.
Brouwer: Bei der Behandlung unendlicher Mengen gilt der Satz vom ausgeschlossenen Dritten nicht.
>Ausgeschlossenes Drittes.

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

54
Formalismus/d‘Abro: Bsp Der Formalismus sieht kein Hindernis, x in der folgenden Weise zu definieren:
(a) x hat diese und diese Beziehung zu allen Gliedern vom Typ G.
55
(b) x ist ein Glied von G.
Für einen Intuitionisten ist, Poincaré zufolge, eine derartige Definition zirkulär.
Bsp Kontroverse um Definitionen die man nicht in einer endlichen Anzahl von Wörtern ausdrücken kann. Von den Intuitionisten abgelehnt.
>Definitionen, >Definierbarkeit.

1 + 1/2 + 1/4 + 1/8...

Diese Reihe ist nach den Intuitionisten geeignet, in endlich vielen Worten ausgedrückt zu werden, da eine Regel formuliert werden kann.
Es sei darauf hingewiesen, dass der Unterschied theoretisch und nicht praktisch wichtig ist, ein Beweis, der in z.B. eine Trillion Wörtern formuliert werden könnte, wäre akzeptabel.

_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der Argumente
Der Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente.

d’ Abro I
A. d’ Abro
The Rise of the New Physics Mineola, NY 1951

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z