The Origin of the Theory of Types

Annals of the Japan Association for Philosophy of Science 27:27-44 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos.27.0_27

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

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

Through your library

My notes

Similar books and articles

A System of Simple Type Theory with Type Variables.Sh^|^Ocirc Maehara & Ji - 1969 - Annals of the Japan Association for Philosophy of Science 3 (4):131-137.
Russell´s Early Type Theory and the Paradox of Propositions.André Fuhrmann - 2001 - Principia: An International Journal of Epistemology 5 (1-2):19–42.
Type Theory and the Theory of Meaning: Towards an Intuitionistic View of Language.Hirofumi Saito - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):113-121.
Special Section: Computability Theory and the Foundation of Mathematics.Chi Tat Chong & Stephen G. Simpson - 2017 - Annals of the Japan Association for Philosophy of Science 25:23-24.
Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Sh^|^Ocirc Maehara & Ji - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Shôji Maehara - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
Russell's Paradox and the Theory of Classes in The Principles of Mathematics.Yasushi Nomura - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):23-36.
Frege on Indexicals.Kazuyuki Nomoto - 1985 - Annals of the Japan Association for Philosophy of Science 6 (5):253-259.
Shôji Maehara. A system of simple type theory with type variables. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 , pp. 131–137. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
Frege and the Idea of Formal Language.Taskashi Iida - 2003 - Annals of the Japan Association for Philosophy of Science 12 (1):15-23.

Analytics

Added to PP
2018-11-01

Downloads
57 (#378,556)

6 months
13 (#265,352)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
Plural Logic.Alex Oliver & Timothy Smiley - 2013 - Oxford, England: Oxford University Press UK. Edited by T. J. Smiley.
Plural predication.Thomas McKay - 2006 - New York: Oxford University Press.

View all 31 references / Add more references