more on this theme | more from this text
Full Idea
In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command.
Gist of Idea
To study formal systems, look at the whole thing, and not just how it is constructed in steps
Source
Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist')
Book Ref
'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.204
A Reaction
This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism.
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |