Philosophie Lexikon der Argumente

Suche  
 
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.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Arend Heyting Ein Streitgespräch 1956 in Kursbuch 8 Mathematik 1967
62
Formalismus/Carnap/Heyting: Es bleibt immer der Zweifel, welche Schlussweisen korrekt sind, und welche nicht. (Carnap, 1934).

66
„Letter“/Schwärzung des Papiers/Formalismus/Heyting: These des „Pragmatismus“ der Mathematik: Mathematik ist eine ganz einfache Sache, ich nehme ein paar Zeichen und gebe einige Regeln, wie sie kombiniert werden. Warum sollte ich sie beweisen? Sie sind im Hinblick auf Anwendungen gemacht.

> Gegenargumente zu Formalismus



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