A set of axioms for logic

Journal of Symbolic Logic 9 (1):1-19 (1944)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267307

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

Lévy hierarchy in weak set theories.Jiří Hanika - 2008 - Journal of Philosophical Logic 37 (2):121 - 140.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
The Axioms of Set Theory.Jairo José Da Silva - 2002 - Axiomathes 13 (2):107-126.
An axiom schema of comprehension of zermelo–fraenkel–skolem set theory.Johannes Heidema - 1990 - History and Philosophy of Logic 11 (1):59-65.
Leibniz's logical system of 1686-1690.Floy Andrews Doull - 1991 - Theoria 6 (1):9-28.
Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford, England: Oxford University Press.
Extensive measurement without an order relation.Eric W. Holman - 1974 - Philosophy of Science 41 (4):361-373.
Boolos on the justification of set theory.Alexander Paseau - 2007 - Philosophia Mathematica 15 (1):30-53.
E pluribus unum: Plural logic and set theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.

Analytics

Added to PP
2009-01-28

Downloads
256 (#81,786)

6 months
18 (#152,366)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
Subsystems of Quine's "New Foundations" with Predicativity Restrictions.M. Randall Holmes - 1999 - Notre Dame Journal of Formal Logic 40 (2):183-196.
The Axiom Scheme of Acyclic Comprehension.Zuhair Al-Johar, M. Randall Holmes & Nathan Bowler - 2014 - Notre Dame Journal of Formal Logic 55 (1):11-24.

View all 18 citations / Add more citations

References found in this work

Mathematical Logic. [REVIEW]E. N. & Willard Van Orman Quine - 1940 - Journal of Philosophy 37 (23):640.

Add more references