G odehard L ink, ed. One Hundred Years of Russell's Paradox: Mathematics, Logic, and Philosophy. Berlin, New York: Walter de Gruyter, 2004. ISBN 3-11-017438-3. Pp. ix + 662 [Book Review]

[author unknown]
Philosophia Mathematica 13 (2):232-233 (2005)
  Copy   BIBTEX

Abstract

AUTHORS AND TITLESGodehard Link, Introduction. Bertrand Russell—The invention of mathematical philosophy, pp. 1–28.W. Hugh Woodin, Set theory after Russell: The journey back to Eden, pp. 29–47.Harvey M. Friedman, A way out, pp. 49–84.Sy D. Friedman, Completeness and iteration in modern set theory, pp. 85–92.Kai Hauser, Was sind und was sollen (neue) Axiome?, pp. 93–117.Gerhard Jäger and Dieter Probst, Iterating Σ operations in admissible set theory without foundations: A further aspect of metapredicative Mahlo, pp. 119–134.Solomon Feferman, Typical ambiguity: Trying to have your cake and eat it too, pp. 135–151.Karl-Georg Niebergall, Is ZF finitistically reducible?, pp. 153–180.Tobias Hürter, Inconsistency in the real world, pp. 181–189.Michael Rathjen, Predicativity, circularity, and anti-foundation, pp. 191–219.John L. Bell, Russell's paradox and diagonalization in a constructive context, pp. 221–225.Peter Schuster and Helmut Schwichtenberg, Constructive solutions of continuous equations, pp. 227–245.Kai F. Wehmeier, Russell's paradox in consistent fragments of Frege's Grundgesetze der Arithmetik, pp. 247–257.

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nki011

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 , pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 , pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
Alexei Angelides, ed. Essays on the History of the Philosophy of Mathematics. Special issue of Graduate Faculty Philosophy Journal25 (2004), No. 2. New York: New School for Social Research. Pp. xvi + 349. [REVIEW][author unknown] - 2006 - Philosophia Mathematica 14 (1):130-131.
Sy D. Friedman. Fine structure and class forcing. De Gruyter series in logic and its applications, no. 3. Walter de Gruyter, Berlin and New York 2000, x + 221 pp. [REVIEW]M. C. Stanley - 2001 - Bulletin of Symbolic Logic 7 (4):522-525.
Robert L. Martin and Peter W. Woodruff. On representing ‘true-in-L' in L. Philosophia , vol. 5 no. 3 , pp. 213–217. - Saul Kripke. Outline of a theory of truth. The journal of philosophy, vol. 72 , pp. 690–716. - Anil Gupta. Truth and paradox. Journal of philosophical logic, vol. 11 , pp. 1–60. - Hans G. Herzberger. Notes on naive semantics. Journal of philosophical logic, vol. 11 , pp. 61–102. [REVIEW]Geoffrey Hellman - 1985 - Journal of Symbolic Logic 50 (4):1068-1071.
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable algebra and set existence axioms. Annals of pure and applied logic, vol. 25 , pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable algebra and set existence axioms.” Annals of pure and applied logic, vol. 28 , pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Carlo Cellucci and Donald Gillies, eds. Mathematical Reasoning and Heuristics. London: King's College Publications, 2005. ISBN 1-904987-07-9. Pp. xxx + 212. [REVIEW][author unknown] - 2005 - Philosophia Mathematica 13 (3):345-345.
Stewart Shapiro, ed. The Oxford Handbook of Philosophy of Mathematics and Logic. New York: Oxford University Press, 2005. ISBN 0-19-514877-0. Pp. xv + 833. [REVIEW][author unknown] - 2005 - Philosophia Mathematica 13 (3):342-343.
Handbook of mathematical logic, edited by Barwise Jon with the cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , xi + 1165 pp.Smoryński C.. D.1. The incompleteness theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof theory: some applications of cut-elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's theorem and Gentzen's notion of a direct proof. Pp. 897–912.Feferman Solomon. D.4. Theories of finite type related to mathematical practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of constructive mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The logic of topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The type free lambda calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A mathematical incompleteness in Peano arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
Sy D. Friedman, β-recursion theory. Transactions of the American Mathematical Society, vol. 255 , pp. 173–200. - Sy D. Friedman. Post's problem without admissibility. Advances in mathematics, vol. 35 , pp. 30–49. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):664-665.

Analytics

Added to PP
2015-02-05

Downloads
2 (#1,898,889)

6 months
2 (#1,700,055)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references