One hundred years of Russell's paradox : mathematics, logic, philosophy /
"The volume serves a twofold purpose, historical and systematic. One focus is on Bertrand Russell's logic and logical philosophy, taking into account the rich sources of the Russell Archives, many of which have become available only recently. The second equally important aim is to present...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin ; New York :
Walter de Gruyter,
©2004.
|
Colección: | De Gruyter series in logic and its applications ;
6. |
Temas: | |
Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Introduction: Bertrand Russell
- the invention of mathematical philosophy / Godehard Link
- Set theory after Russell: the journey back to Eden / W. Hugh Woodin
- A way out / Harvey M. Friedman
- Completeness and iteration in modern set theory / Sy D. Friedman
- Was sind und was sollen (neue) Axiome? / Kai Hauser
- Iterating [sigma] operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo / Gerhard Jäger, Dieter Probst
- Typical ambiquity: trying to have your cake and eat it too / Solomon Feferman
- Is ZF finitistically reducible? / Karl-Georg Niebergall
- Inconsistency in the real world / Tobias Hürter
- Predicativity, circularity, and anti-foundation / Michael Rathjen
- Russell's paradox and diagonalization in a constructive context / John L. Bell
- Constructive solutions of continuous equations / Peter Schuster, Helmut Schwichtenberg
- Russell's paradox in consistent fragments of Frege's Grundgesetze der Arithmetik / Kai F. Wehmeier
- On a Russellian paradox about propositions and truth / Andrea Cantini
- The consistency of the naive theory of properties / Hartry Field
- The significance of the largest and smallest numbers for the oldest paradoxes / Ulrich Blau
- The prehistory of Russell's paradox / Nicholas Griffin
- Logicism's 'insolubilia' and their solution by Russell's substitutional theory / Gregory Landini
- Substitution and types: Russell's intermediate theory / Philippe de Rouilhan
- Propositional ontology and logical atomism / Francisco Rodríguez-Consuegra
- Classes of classes and classes of functions in Principia Mathematica / Bernard Linsky
- A "constructive" proper extension of ramified type theory (the logic of Principia Mathematica, Second Edition, Appendix B) / Allen P. Hazen
- Russell on method / Andrew D. Irvine
- Paradoxes in Göttingen / Volker Peckhaus
- David Hilbert and Paul du Bois-Reymond: limits and ideals / David Charles McCarty
- Russell's paradox and Hilbert's (much forgotten) view of set theory / Jan Mycielski
- Objectivity: the justification for extrapolation / Shaughan Lavine
- Russell's absolutism vs. structuralism / Geoffrey Hellman
- Mathematicians and mathematical objects / Robert S.D. Thomas
- Russell's paradox and our conception of properties, or: why semantics is no proper guide to the nature of properties / Holger Sturm
- The many lives of Ebenezer Wilkes Smith / Vann McGee
- What makes expressions meaningful? A reflection on contexts and actions / Albert Visser.