On the Typed Properties in Quine's “New Foundations”

Mathematical Logic Quarterly 25 (7-12):99-102 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790250703

Links

PhilArchive



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

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

On the Typed Properties in Quine's “New Foundations”.André Pétry - 1979 - Mathematical Logic Quarterly 25 (7‐12):99-102.
Quine and Whitehead on Ontological Reduction.Christine Holmgren & Leemon McHenry - 2012 - Process Studies 41 (2):261-286.
Localism and analyticity.Michael Devitt - 1993 - Philosophy and Phenomenological Research 53 (3):641-646.
Comparing cubes of typed and type assignment systems.Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca & Pawel Urzyczyn - 1997 - Annals of Pure and Applied Logic 86 (3):267-303.
Typed logics with states.J. van Eijck - 1997 - Logic Journal of the IGPL 5 (5):623-645.
On universals: an extensionalist alternative to Quine’s resemblance theory. [REVIEW]Nathan Stemmer - 2005 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 38 (1):75 - 90.
Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’.M. Randall Holmes - 2008 - Studia Logica 88 (2):195 - 213.
Words and Objections: Essays on the Work of W. V. Quine.Richard E. Grandy, Donald Davidson & Jaakko Hintikka - 1973 - Philosophical Review 82 (1):99-110.
On the Consistency of a Slight Modification of Quine's New Foundations.Donald Davidson, Jaakko Hintikka, D. Reidel & W. V. Quine - 1975 - Journal of Symbolic Logic 40 (2):241-242.
A typed λ-calculus and Girard's model of ptykes.Peter Päppinghaus - 1985 - In G. Dorn & P. Weingarten (eds.), Foundations of Logic and Linguistics. Problems and Solutions. Plenum. pp. 245--279.
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide - 2008 - Logica Universalis 2 (2):189-207.
Quine's Indeterminacy Thesis and the Foundations of Semantics.Jens Ravnkilde - 1980
A partial model of NF with ZF.Nando Prati - 1993 - Mathematical Logic Quarterly 39 (1):274-278.
A completeness result for the simply typed λμ-calculus.Karim Nour & Khelifa Saber - 2010 - Annals of Pure and Applied Logic 161 (1):109-118.
Lambda calculus and intuitionistic linear logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.

Analytics

Added to PP
2016-02-04

Downloads
30 (#521,181)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Typical ambiguity and the axiom of choice.Marcel Crabbé - 1984 - Journal of Symbolic Logic 49 (4):1074-1078.

Add more citations

References found in this work

Logic for mathematicians.J. Barkley Rosser - 1978 - Mineola, N.Y.: Dover Publications.
Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
Transfinite Zahlen.Heinz Bachmann - 1959 - Journal of Symbolic Logic 24 (3):223-224.

Add more references