| |
| |
Introduction : Bertrand Russell - the invention of mathematical philosophy | |
| |
| |
| |
Set theory after Russell : the journey back to Eden | |
| |
| |
| |
A way out | |
| |
| |
| |
Completeness and iteration in modern set theory | |
| |
| |
| |
Was sind und was sollen (neue) Axiome? | |
| |
| |
| |
Iterating [Sigma] operations in admissible set theory without foundation : a further aspect of metapredicative Mahlo | |
| |
| |
| |
Typical ambiguity : trying to have your cake and eat it too | |
| |
| |
| |
Is ZF finitistically reducible? | |
| |
| |
| |
Inconsistency in the real world | |
| |
| |
| |
Predicativity, circularity, and anti-foundation | |
| |
| |
| |
Russell's paradox and diagonalization in a constructive context | |
| |
| |
| |
Constructive solutions of continuous equations | |
| |
| |
| |
Russell's paradox in consistent fragments of Frege's Grundgesetze der Arithmetik | |
| |
| |
| |
On a Russellian paradox about propositions and truth | |
| |
| |
| |
The consistency of the naive theory of properties | |
| |
| |
| |
The significance of the largest and smallest numbers for the oldest paradoxes | |
| |
| |
| |
The prehistory of Russell's paradox | |
| |
| |
| |
Logicism's 'insolubilia' and their solution by Russell's substitutional theory | |
| |
| |
| |
Substitution and types : Russell's intermediate theory | |
| |
| |
| |
Propositional ontology and logical atomism | |
| |
| |
| |
Classes of classes and classes of functions in Principia Mathematica | |
| |
| |
| |
A "constructive" proper extension of ramified type theory (the logic of Principia Mathematica, second edition, appendix B) | |
| |
| |
| |
Russell on method | |
| |
| |
| |
Paradoxes in Gottingen | |
| |
| |
| |
David Hilbert and Paul du Bois-Reymond : limits and ideals | |
| |
| |
| |
Russell's paradox and Hilbert's (much forgotten) view of set theory | |
| |
| |
| |
Objectivity : the justification for extrapolation | |
| |
| |
| |
Russell's absolutism vs. (?) structuralism | |
| |
| |
| |
Mathematicians and mathematical objects | |
| |
| |
| |
Russell's paradox and our conception of properties, or : why semantics is no proper guide to the nature of properties | |
| |
| |
| |
The many lives of Ebenezer Wilkes Smith | |
| |
| |
| |
What makes expressions meaningful? : a reflection on contexts and actions | |
| |