Curry’s Formalism as Structuralism

Logica Universalis 5 (1):91-100 (2011)
  Copy   BIBTEX


In 1939, Curry proposed a philosophy of mathematics he called formalism. He made this proposal in two works originally written then, although one of them was not published until 1951. These are the two philosophical works for which Curry is known, and they have left a false impression of his views. In this article, I propose to clarify Curry’s views by referring to some of his later writings on the subject. I claim that Curry’s philosophy was not what is now usually called formalism, but is really a form of structuralism



    Upload a copy of this work     Papers currently archived: 91,271

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
El museo de la novela de la Eterna: el mundo fue inventado antiguo….Juan Guillermo Sánchez Martínez - 2010 - Logos: Revista de la Facultad de Filosofia y Humanidades 17:135-144.
Validity Curry Strengthened.Lionel Shapiro - 2013 - Thought: A Journal of Philosophy 2 (1):100-107.
Mathematical structuralism today.Julian C. Cole - 2010 - Philosophy Compass 5 (8):689-699.
A Critique of Moderate Formalism.Simon Fokt - 2013 - Estetika: The European Journal of Aesthetics 50 (1):41-52.
An Open Formalism against Incompleteness.Francesc Tomàs - 1999 - Notre Dame Journal of Formal Logic 40 (2):207-226.


Added to PP

41 (#376,361)

6 months
4 (#797,377)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Three varieties of mathematical structuralism.Geoffrey Hellman - 2001 - Philosophia Mathematica 9 (2):184-211.
Some Aspects of the problem of Mathematical Rigor.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (3):100-102.

View all 7 references / Add more references