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 (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesH. 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.
Katalin Bimbó (2007). $LE^{T}{Rightarrow}$ , $LR^{Circ}{Wedgesim}$ , LK and Cutfree Proofs. Journal of Philosophical Logic 36 (5):557 - 570.
P. X. Monaghan (2010). A Novel Interpretation of Plato's Theory of Forms. Metaphysica 11 (1):63-78.
J. L. Schellenberg (2005). The Hiddenness Argument Revisited (II). Religious Studies 41 (3):287 - 303.
Fairouz Kamareddine, Twan Laan & Rob Nederpelt (2002). Types in Logic and Mathematics Before 1940. Bulletin of Symbolic Logic 8 (2):185-245.
Tang Yijie & Yan Xin (2008). The Contemporary Significance of Confucianism. Frontiers of Philosophy in China 3 (4):477 - 501.
H. M. Malm (1989). Commodification or Compensation: A Reply to Ketchum. Hypatia 4 (3):128 - 135.
Kevin C. Klement (forthcoming). PM's Circumflex, Syntax and Philosophy of Types. In Bernard Linsky & Nicholas Griffin (eds.), Principia Mathematica at 100. Cambridge.
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 index2010-12-22Total downloads4 ( #178,844 of 549,694 )Recent downloads (6 months)1 ( #63,425 of 549,694 )How can I increase my downloads? |
My notes
Discussion
