A set of axioms for logic

DOI10.2307/2267307zbMath0060.02201OpenAlexW2131525765WikidataQ56031500 ScholiaQ56031500MaRDI QIDQ5834315

Theodore Hailperin

Publication date: 1944

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267307

zbMATH Keywords

foundations, philosophy, logic

Related Items

The categoricity question of certain grand logics, Finite sets and natural numbers in intuitionistic TT, Symmetry as a criterion for comprehension motivating Quine's `New Foundations', The axiom scheme of acyclic comprehension, Broadening the iterative conception of set, The usual model construction for NFU preserves information, Subsystems of Quine's ``New Foundations with predicativity restrictions, Finite methods in 1-order formalisms, Beneš's partial model of NF: an old result revisited, ALGEBRAIC NEW FOUNDATIONS, On the consistency of a slight (?) modification of Quine's 'New Foundations'