Towards finishing off the axiom of reducibility

Philippe de Rouilhan

Philosophia Scientiae (1996)

  • Volume: 1, Issue: 3, page 17-35
  • ISSN: 1281-2463

How to cite


de Rouilhan, Philippe. "Towards finishing off the axiom of reducibility." Philosophia Scientiae 1.3 (1996): 17-35. <>.

author = {de Rouilhan, Philippe},
journal = {Philosophia Scientiae},
language = {eng},
number = {3},
pages = {17-35},
publisher = {Éditions Kimé},
title = {Towards finishing off the axiom of reducibility},
url = {},
volume = {1},
year = {1996},

AU - de Rouilhan, Philippe
TI - Towards finishing off the axiom of reducibility
JO - Philosophia Scientiae
PY - 1996
PB - Éditions Kimé
VL - 1
IS - 3
SP - 17
EP - 35
LA - eng
UR -
ER -


  1. Aczel, Peter1987Non-well Founded Sets, CSLI Lectures Notes n° 14. 
  2. Church, Alonzo1976Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski, Journal of Symbolic Logic 41, 747-60. Zbl0383.03005
  3. Chwistek, Leon1921Antynomie logiki formalnej, Przeglad Filozoficzny 24; 164-171 (english trans., "Antinomies of Formal Logic", in [McCall 1967]). 
  4. Chwistek, Leon1922Ueber die Antinomien der Prinzipien der Mathematik, Mathematische Zeitschrift 14, 236-243. JFM48.0050.03
  5. Chwistek, Leon1929Neue Grundlagen der Logik und Mathematik, Mathematische Zeitschrift 30. JFM56.0047.01
  6. Copi, Irving M.1950The Inconsistency or Redundancy of Principia Mathematica, Philosophical and Phenomenological Research 11, 190-199. Zbl0040.29405
  7. Copi, Irving M.1971The Theory of Logical Types, London : Routledge and Kegan Paul. 
  8. Feferman, Solomon1964Systems of Predicative Analysis, The Journal of Symbolic Logic 29, 1-30. Zbl0134.01101
  9. Gödel, Kurt1944Russell's Mathematical Logic, in [Schilpp 1944, 123-153] (reprinted. in [Gödel 1986-??, vol. II, 119-141]) 
  10. Gödel, Kurt1986-??Collected Works (ed. by S. Feferman et alii), New York et Oxford : Oxford University Press, vol. I, Publications 1929-1936, 1986;vol. II, Publications 1938-1974, 1990; vol. III, Unpublished Essays and Lectures, 1995; vol. IV, forthcoming. Zbl0698.01023
  11. Kleene, Stephen C.1955a Arithmetical Predicates and Function Quantifiers, Transactions of the American Mathematical Society 79, 312-340. Zbl0066.25703
  12. Kleene, Stephen C.1955b Hierarchies of Number Theoretic Predicates, Bulletin of the American Mathematical Society 61, 193-213. Zbl0066.25901
  13. Kleene, Stephen C.1959Quantification of Number-theoretic Functions, Compositio Mathematica 14, 23-40. Zbl0085.24701
  14. McCall, Storrs (ed.) 1967Polish Logic 1920-1939, Oxford : Clarendon Press. 
  15. Mirimanoff, Dimitri1917Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles, L'Enseignement Mathématique 19, 37-52. Zbl46.0306.01JFM46.0306.01
  16. Myhill, John1979A Refutation of an Unjustified Attack on the Axiom of Reducibility, in [Roberts 1979]. 
  17. Parsons, Charles1990Introductory note to 1944, in [Gödel 1986-??, vol. II]. 
  18. Poincaré, Henri1905-06Les mathématiques et la logique, Revue de Métaphysique et de Morale 13 (1905), 815-835; 14 (1906), 17-34, 294-317 (abridged and modified version in [Poincaré 1908]). JFM36.0081.05
  19. Poincaré, Henri1908Science et Méthode, Paris : Flammarion. Zbl39.0095.03
  20. Quine, Willard Van Orman1963Set Theory and its Logic, Cambridge, Mass : Harvard University Press (2nd ed. 1969). Zbl0193.30402
  21. Ramsey, Frank Plumpton1925The Foundations of Mathematics, Proceedings of the London Mathematical Society, series 2, 25 (1926), 338-384 (paper read before the London Mathematical Society in 1925; reprinted in [Ramsey 1978]). JFM52.0046.01
  22. Ramsey, Frank Plumpton1978Foundations Essays in Philosophy, Logic, Mathematics and Economics (ed. by D. H. Mellor), London and Henley : Routledge and Kegan Paul. Zbl0002.00501
  23. Roberts, G. (ed.) 1979Bertrand Russell, Memorial Volume, London : G. Allen and Unwin. 
  24. Rouilhan, Philippe de1996Russell et le cercle des paradoxes, Paris : P.U.F. 
  25. Russell, Bertrand1907The Regressive Method of Discovering the Premisses of Mathematics, published in [Russell 1973]. 
  26. Russell, Bertrand1908Mathematical Logic as Based on the Theory of Types, American Journal of Mathematics 30, 222-262 (reprinted. in [Russell 1956]). Zbl39.0085.03JFM39.0085.03
  27. Russell, Bertrand1910 Cf. [Whitehead and Russell 1910-27, vol. I, lst ed]. 
  28. Russell, Bertrand1956Logic and Knowledge Essays 1901-1950 (ed. by R. C. Marsh), London : G. Allen and Unwin. Zbl0075.23102
  29. Russell, Bertrand1973Essays in Analysis (ed. by D. Lackey), London : G. Allen and Unwin. 
  30. Schütte, Kurt1960Beweistheorie, Berlin : Springer. Zbl0102.24704
  31. Wittgenstein, Ludwig1913a Letter to Russell of September 5, 1913, in [Wittgentein 1961, 2nd ed., 123]. 
  32. Wittgenstein, Ludwig1913b Letter to Russell of the end of 1913, in [Wittgentein 1961, 2nd ed., 127-129]. 
  33. Wittgenstein, Ludwig1961Notebooks 1914-1916 (ed. by G. H. von Wright and G. E. M. Anscombe, with an english trans. by G. E. M. Anscombe), Oxford : B. Blackwell (2nd ed. 1979). 
  34. Wittgenstein, Ludwig1977Culture and Value (ed. by G. H. von Wright, trans. by P. Winch), Oxford : B. Blackwell. 
  35. Zermelo, Ernst1908Untersuchungen über die Grundlagen der Mengenlehre, I, Mathematische Annalen 59, 261-281. JFM39.0097.03
  36. Zermelo, Ernst1930Ueber Grenzzahlen und Mengenbereiche Neue Untersuchungen über die Grundlagen der Mengenlehre, Fundamenta Mathematicae 16, 29-47. Zbl56.0082.02JFM56.0082.02

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.