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