One hundred years of Russell's paradox : mathematics, logic, philosophy /
| Други автори: | Link, Godehard. |
|---|---|
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Berlin ; New York :
Walter de Gruyter,
℗♭2004.
|
| Серия: |
De Gruyter series in logic and its applications ;
6. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=174371 |
| Подобни документи: |
Print version::
One hundred years of Russell's paradox. |
Съдържание:
- 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 Jager,
- 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 Hurter
- 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 Rodriguez-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 Gottingen /
- 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.