Quine W. V.. On the theory of types

Journal of Symbolic Logic 4 (1):34-34 (1939)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266230

Links

PhilArchive



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

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

Review: W. V. Quine, On the Theory of Types. [REVIEW]Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (1):34-34.
Extensional quotients for type theory and the consistency problem for NF.Gian Aldo Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.
Rosser Barkley. The independence of Quine's axioms *200 and *201.W. V. Quine - 1941 - Journal of Symbolic Logic 6 (4):163-163.
On the theory of types.W. V. Quine - 1938 - Journal of Symbolic Logic 3 (4):125-139.
The Ordered Pair in Number Theory.J. Barkley Rosser & W. V. Quine - 1951 - Journal of Symbolic Logic 16 (4):289.
Review: W. V. Quine, A Theory of Classes Presupposing no Canons of Type. [REVIEW]Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (2):70-70.
Subsystems of Quine's "New Foundations" with Predicativity Restrictions.M. Randall Holmes - 1999 - Notre Dame Journal of Formal Logic 40 (2):183-196.
Review: Alonzo Church, A Formulation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Review: J. Barkley Rosser, The Relative Strength of Zermelo's Set Theory and Quine's New Foundations. [REVIEW]Václav E. Beneš - 1957 - Journal of Symbolic Logic 22 (3):294-294.
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.
The Esoteric Quine? Belief Attribution and the Significance of the Indeterminacy Thesis in Quine’s Kant Lectures.H. G. Callaway - 2003 - In W.V. Quine, Wissenschaft und Empfindung. Frommann-Holzboog.
Quine W. V.. A theory of classes presupposing no canons of type. Proceedings of the National Academy of Sciences, vol. 22 , pp. 320–326. [REVIEW]Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (2):70-70.
Review: Alonzo Church, Schroder's Anticipation of the Simple Theory of Types. [REVIEW]W. V. Quine - 1940 - Journal of Symbolic Logic 5 (2):71-71.
Extensional Equality in the Classical Theory of Types.William Tait - 1995 - Vienna Circle Institute Yearbook 3:219-234.
Quine.Peter Hylton - 2007 - London: Routledge.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,318,140)

6 months
1 (#1,471,493)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references