Types in logic and mathematics before 1940

Bulletin of Symbolic Logic 8 (2):185-245 (2002)
Abstract
In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910-1912) and Church's simply typed λ-calculus of 1940. We first argue that the concept of types has always been present in mathematics, though nobody was incorporating them explicitly as such, before the end of the 19th century. Then we proceed by describing how the logical paradoxes entered the formal systems of Frege, Cantor and Peano concentrating on Frege's Grundgesetze der Arithmetik for which Russell applied his famous paradox and this led him to introduce the first theory of types, the Ramified Type Theory (RTT). We present RTT formally using the modern notation for type theory and we discuss how Ramsey, Hilbert and Ackermann removed the orders from RTT leading to the simple theory of types STT. We present STT and Church's own simply typed λ-calculus (λ → C) and we finish by comparing RTT, STT and λ → C
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/bsl/1182353871
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,841
Through your library
References found in this work BETA
Outline of a Theory of Truth.Saul A. Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Toward Useful Type-Free Theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.

View all 8 references / Add more references

Citations of this work BETA
Completeness and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
21 ( #259,577 of 2,210,404 )

Recent downloads (6 months)
2 ( #225,618 of 2,210,404 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature