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

Links

PhilArchive



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

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

An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Extensional Equality in the Classical Theory of Types.William Tait - 1995 - Vienna Circle Institute Yearbook 3:219-234.
Causal Efficacy: The Structure of Darwin’s Argument Strategy in the Origin of Species.Doren A. Recker - 1987 - Philosophy of Science 54 (2):147-175.
Two types of qualia theory.Pär Sundström - 2014 - The Harvard Review of Philosophy 20:107-131.
Type Theory and Homotopy.Steve Awodey - unknown
Omitting types in logic of metric structures.Ilijas Farah & Menachem Magidor - 2018 - Journal of Mathematical Logic 18 (2):1850006.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Paradoxes and the theory of logical types.Jorge Roberto Palacio Fernánde - 2008 - Universitas Philosophica 25 (51).
Why Language Evolution Needs Memory: Systems and Ecological Approaches.Anton V. Sukhoverkhov & Carol A. Fowler - 2015 - Biosemiotics 8 (1):47-65.
The theory of logical types.Irving Marmer Copi - 1971 - London,: Routledge and Kegan Paul.
Some non-revisionist solutions to some semantic antinomies.J. M. Kuczynski - 2013 - Philosophical Inquiry 37 (3-4):51-61.
The context principle and Wittgenstein's criticism of Russell's theory of types.Marco Ruffino - 1994 - Synthese 98 (3):401 - 414.
A unified theory of quotation.Ken Akiba - 2005 - Pacific Philosophical Quarterly 86 (2):161–171.
From Domains Towards a Logic of Universals: A Small Calculus for the Continuous Determination of Worlds.Dr Claus Brillowski - unknown
Aesthetic fields—Null theory II.M. Muraskin - 1982 - Foundations of Physics 12 (1):93-100.

Analytics

Added to PP
2018-11-01

Downloads
43 (#362,182)

6 months
5 (#638,139)

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 John Smiley - 2013 - Oxford, England: Oxford University Press UK. Edited by T. J. Smiley.
Plural predication.Thomas J. McKay - 2006 - New York: Oxford University Press.

View all 31 references / Add more references