Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Formalism: the thesis that statements acquire their meaning only from the rules for substituting, inserting, eliminating, forming, equality and inequality of symbols within a calculus or system. See also calculus, meaning, rules, content, correctness, systems, truth._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Arend Heyting on Formalism - Dictionary of Arguments
I 62 Formalism/Carnap/Heyting: there always remains the doubt, which conclusions are correct, and which are not (Carnap, 1934(1), S. 44; 1937(2), S. 51). I 66 "Letter"/darkness of the paper/formalism/Heyting: thesis of the "pragmatism" of mathematics: mathematics is a very simple thing, I take a few signs and give some rules how they are combined. Why should I prove them? They are made with regard to applications. >Blackening of the paper, >Formalism, >Evidence, >Proofs, >Provability, >VsFormalism, cf. >Foundation. 1. R. Carnap, Logische Syntax der Sprache, Wien 1934, p. 44. 2. R. Carnap, Testability and Meaning, in: Philosophy of Science 4, 1937, p. 51._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Heyting I Arend Heyting "Disputation", in: Intuitionism, Amsterdam 1956 German Edition: Streitgespräch In Kursbuch 8/1967, H. M. Enzensberger, Frankfurt/M. 1967 Heyting II Arend Heyting Intuitionism: An Introduction (Study in Logic & Mathematics) 1971 |
||
Ed. Martin Schulz, access date 2024-04-19