New Foundations for Mathematical Logic
From MaRDI portal
Publication:5765811
DOI10.2307/2300564zbMath0016.19301OpenAlexW4246852004WikidataQ56031502 ScholiaQ56031502MaRDI QIDQ5765811
Publication date: 1937
Full work available at URL: https://doi.org/10.2307/2300564
Related Items
Frege's double correlation thesis and Quine's set theories NF and ML ⋮ A System of Mutually Contradictory n Abstractions Whose Proper Sub-Systems Are all Mutually Consistent ⋮ Russell, His Paradoxes, and Cantor's Theorem: Part I ⋮ Fragmentary structure of global knowledge: constructive processes for interoperability ⋮ Issues in commonsense set theory ⋮ On a set theory suggested by Dedecker and Ehresmann, II ⋮ The categoricity question of certain grand logics ⋮ On a Theory Objects Based on a Single Axiom Scheme ⋮ The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more) ⋮ Choice principles in hyperuniverses ⋮ Strategic management control ⋮ Is Logic Relevant to Classifications? ⋮ Identifying logical evidence ⋮ Formal development of ordinal number theory ⋮ Stratified languages ⋮ Representation of functions and total antisymmetric relations in monadic third order logic ⋮ Identity, variables, and impredicative definitions ⋮ A partial model of NF with E ⋮ Unification of universes in set theory ⋮ On the relative consistency of set theory ⋮ On the strength of a weak variant of the axiom of counting ⋮ Peano as logician ⋮ Symmetry as a criterion for comprehension motivating Quine's `New Foundations' ⋮ A Set Theory Founded on Unique Generating Principle ⋮ The Cardinal Squaring Principle and an Alternative Axiomatization of NFU ⋮ Quine's conjecture on many-sorted logic ⋮ The axiom scheme of acyclic comprehension ⋮ Broadening the iterative conception of set ⋮ Sets and plural comprehension ⋮ Strong axioms of infinity in NFU ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ Conventionalism, consistency, and consistency sentences ⋮ Platitudes in mathematics ⋮ The Empty Set, The Singleton, and the Ordered Pair ⋮ The usual model construction for NFU preserves information ⋮ Extensional quotients for type theory and the consistency problem for NF ⋮ Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations ⋮ Russell, presupposition, and the vicious-circle principle ⋮ Subsystems of Quine's ``New Foundations with predicativity restrictions ⋮ The correctness of Newman's typability algorithm and some of its extensions ⋮ Some results on combinators in the system TRC ⋮ On Cantor's theorem ⋮ On the consistency of Quine's New foundations for mathematical logic ⋮ Consistency of strictly impredicative NF and a little more … ⋮ On the theory of types ⋮ Definition by induction in quine's new foundations for mathematical logic ⋮ Beneš's partial model of NF: an old result revisited ⋮ The graph conception of set ⋮ Modality and description ⋮ Non-standard models for formal logics ⋮ A formal system of logic ⋮ ALGEBRAIC NEW FOUNDATIONS ⋮ What is Neologicism? ⋮ The axiom of infinity in Quine's New Foundations ⋮ ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM ⋮ Some formal relative consistency proofs ⋮ On ω-inconsistency and a so-called axiom of infinity ⋮ A relative consistency proof ⋮ Inequivalence of the fragments of new foundations ⋮ The Burali-Forti paradox ⋮ Simplified foundations for mathematical logic ⋮ Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing ⋮ Automorphisms moving all non-algebraic points and an application to NF ⋮ What is Absolute Undecidability?† ⋮ Systems of combinatory logic related to Quine's `New Foundations' ⋮ Property theory: The type-free approach \(v\). The Church approach