Types and Functions since Principia

Abstract
Types were invented by Russell to solve the logical paradoxes that resulted from Frege’s generalisaton of the notion of function. Since, the past 100 years saw new formalisations of the notions of functions and types that extend and put to better use Frege’s and Russell’s inventions. Most such formalisations are extensions of Church’s simply typed λ-calculus (Church’s calculus of functions together with Ramsey’s simplification of Russell’s types). Currently, types and functions are the heart of logic and computation and not only are they so closely intertwined, but their evolution demands that they be treated in the same manner. Both are usually constructed, abstracted over and instantiated and the operations for abstraction, construction, instantiation and substitution act alike on both. This paper aims to give a framework where the relationship between functions and types takes into account the similarity of their construction, abstraction, instantiation and substitution. For such a “types as functions” framework to work, special forms of function abstraction (that do not exist in Church’s λ-calculus but exist in Principia and Frege’s work) need to be included.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index Translate to english
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 10,269
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

Similar books and articles
H. E. Baber (1987). How Bad Is Rape? Hypatia 2 (2):125 - 138.
Robert Batterman (1992). Quantum Chaos and Semiclassical Mechanics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:50 - 65.
Tang Yijie & Yan Xin (2008). The Contemporary Significance of Confucianism. Frontiers of Philosophy in China 3 (4):477 - 501.
Peter J. Taylor (1994). Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304 - 310.
Analytics

Monthly downloads

Added to index

2010-12-22

Total downloads

5 ( #209,062 of 1,096,245 )

Recent downloads (6 months)

1 ( #218,857 of 1,096,245 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.