Arend Heyting über Formalismus – Philosophie Lexikon der Argumente

Autor/Titel	Begriff	Zusammenfassung	Metadaten
Philosophie Lexikon der Argumente


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.

Heyting, Arend Bücher bei Amazon	Formalismus	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. _____________ 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.	Heyt I Arend Heyting Intuitionism: An Introduction (Study in Logic & Mathematics) 1971

> Gegenargumente zu Formalismus

Listenansicht
Listenansicht Autoren und Begriffe der Philosophie