On the consistency of a slight (?) Modification of quine'smew foundations

Synthese 19 (1-2):250 - 264 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00568059

Links

PhilArchive



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

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

The consistency of arithmetic.Storrs McCall - manuscript
Extensional quotients for type theory and the consistency problem for NF.Gian Aldo Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.
On the consistency of Quine's new foundations for mathematical logic.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (1):15-24.
Quantification Theory in *8 of Principia Mathematica and the Empty Domain.Gregory Landini - 2005 - History and Philosophy of Logic 26 (1):47-59.
Glymour on confirmation.Aron Edidin - 1981 - Philosophy of Science 48 (2):292-307.
Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency.Gemma Robles & José M. Méndez - 2009 - Journal of Logic, Language and Information 18 (3):357-402.
Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’.M. Randall Holmes - 2008 - Studia Logica 88 (2):195 - 213.
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.

Analytics

Added to PP
2009-01-28

Downloads
86 (#193,794)

6 months
11 (#226,317)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
On Specifying Truth-Conditions.Agustín Rayo - 2008 - Philosophical Review 117 (3):385-443.
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
Foundations of applied mathematics I.Jeffrey Ketland - 2021 - Synthese 199 (1-2):4151-4193.

View all 41 citations / Add more citations

References found in this work

From a Logical Point of View.Willard Van Orman Quine - 1953 - Cambridge: Harvard University Press.
The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
A set of axioms for logic.Theodore Hailperin - 1944 - Journal of Symbolic Logic 9 (1):1-19.

Add more references