| |
| |
| 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 | |
| |