Publication:4224295
From MaRDI portal
zbMath0933.03002MaRDI QIDQ4224295
Publication date: 11 January 1999
variables; paradoxes; logicism; type theory; individuals; substitution; predicativity; vicious circle principle; arithmetization; Peano axioms; no-classes theory
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
Related Items
Russell's 1903 - 1905 Anticipation of the Lambda Calculus, The truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unities, Frege's Cardinals Do Not Always Obey Hume's Principle, LOGICAL CONTEXTUALITY IN FREGE, Quantification Theory in *8 ofPrincipia Mathematicaand the Empty Domain, On Russell's vulnerability to Russell's paradox, Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate?, The Versatility of Universality inPrincipia Mathematica, The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition, Typos ofPrincipia Mathematica, Substitution and Propositional Proof Complexity, Russellian Propositions in Principia Mathematica, Abstraction in Fitch's Basic Logic, A New–old Characterisation of Logical Knowledge, The aim of Russell's early logicism: a reinterpretation, A plea for logical objects, Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament, Why ramify?, Whitehead's (Badly) EmendedPrincipia, THE FUNCTIONS OF RUSSELL’S NO CLASS THEORY, Russell, His Paradoxes, and Cantor's Theorem: Part II, Russell on Ontological Fundamentality and Existence, Degrees of Validity and the Logical Paradoxes, Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective, Russell's Early Theory of Denoting, Russell's Schema, Not Priest's Inclosure