Hostname: page-component-848d4c4894-75dct Total loading time: 0 Render date: 2024-06-11T18:49:26.289Z Has data issue: false hasContentIssue false

Poincaré, Richard's Paradox and Indefinite Extensibility

Published online by Cambridge University Press:  28 February 2022

Peter Clark*
Affiliation:
University of St. Andrews

Extract

Sometimes themes exist only in the eye of the beholder and emerge from the history of mathematics only with the benefit (or otherwise) of hindsight. There is however at least one issue (no doubt there are others) which was clearly present throughout the foundational debates of the early Twentieth century. It formed the core component of one of the major traditions that grew up as responses to the paradoxes, though the intuition behind it has never been fully articulated nor has it been possible to give a fully fledged mathematical articulation to that intuition. Essentially the central idea is that of ‘indefinite extensibility’ generated by an appropriate form of diagonalisation and it has its fundamental source in Richard's paradox and in particular in Poincaré's response to that paradox.

Of the four great epistemological concerns around which much of the work in the foundations of mathematics this century has concentrated viz the notions of demonstrability, definability, set or class and computability only the latter clearly falls outside the scope of the Richard type reasoning.

Type
Part VII. Foundational Projects in Mathematics at the Beginning of the 20th Century in Their Systematic and Historical Contexts
Copyright
Copyright © 1995 by the Philosophy of Science Association

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Boolos, G. (1971), ‘The Iterative Conception of Set’, reprinted in Benacerraf, Paul & Putnam, H. (eds.), Philosophy of Mathematics, Selected Readings, Cambridge University Press, 1985, pp.486502.Google Scholar
Boolos, G. ( 1989), ‘Iteration Again’, philosophical Topics,17,pp.521.10.5840/philtopics19891721CrossRefGoogle Scholar
Boolos, G. (1993), ‘Whence the Contradiction’, proceedings of the Aristotelian Society,Supplementary Vol.LXVII,pp.213249.CrossRefGoogle Scholar
Boolos, G. (1994), ‘1879?’ in Clark, P. & Hale, R. (eds.), Reading Putnam, Blackwell, Oxford, 1993, pp.3148.Google Scholar
Boolos, G. & Computability and Logic (Third Edition), Jeffrey, R.C. (1988), Cambridge, Cambridge University Press, 1988.Google Scholar
Cantor, G. (1899), ‘Letter Dedekind’, in Heijenoort, Van (ed.): From Frege to Gödel, a source book in mathematical logic, pp.113117.Google Scholar
Dummett, M. (1991). Frege philosophy of mathematics, London, Duckworth, 1991.Google Scholar
Dummett, M. (1993), ‘What is Mathematics About?’ in Dummett, M., The Seas of Language, Oxford, Oxford University Press, 1993, pp.429445.Google Scholar
Folina, J. (1992), Poincaré and the Philosophy of Mathematics, Macmillan Studies in Contemporary Philosophy, 1992.10.1007/978-1-349-22119-6CrossRefGoogle Scholar
Giaquinto, M. (1994), ‘Epistemology of Visual Thinking in Elementary Real Analysis’, British Journal for the Philosophy of Science, Vol.45, pp.789813.10.1093/bjps/45.3.789CrossRefGoogle Scholar
Gödel, K. (1944), ‘Russell's mathematical logic’, in Feferman,et.al. (eds.): Kurt Gödel, Collected Works, Vol.II, pp.119141.Google Scholar
Gödel, K. (1946), ‘Remarks before the Princeton bicentennial conference on problems in mathematics’, in Feferman, et.al. (eds.): Kurt Gödel, Collected Works, Vol.II, pp.150-53.Google Scholar
Gödel, K. (1972a), ‘Some remarks on the undecidability results’ in Feferman, et.al. (eds.): Kurt Gödel, Collected Works, Vol.II,pp.305-6.Google Scholar
Goldfarb, W. (1988), ‘Poincaré Against the Logicists’, in Aspray W. and Kitcher, P. (eds.), History and Philosophy of Modern Mathematics, pp.61-81.Google Scholar
Hallett, M. (1994), ‘Putnam and the Skolem Paradox’, in Clark, P. and Hale, R. (eds.) Reading Putnam, Blackwell, 1994, pp.6697.Google Scholar
Parsons, C. (1977), ‘What is the iterative concept of set?’ reprinted in Benacerraf, P. and Putnam, H. (eds.): Philosophy of Mathematics Selected Readings, CUP. 1985, pp.503-25.Google Scholar
Parsons, C. (1990), ‘Introductory note to Gödel (1946)’, in Feferman,et. al.(eds.): Kurt Gödel, Collected Works, Vol.II,pp. 144-50.Google Scholar
Poincaré, H. (1893), ‘Le continue mathematiqueRevue de Metaphysique et de morale, 1, pp. 2634.Google Scholar
Poincaré, H. (1906), ‘Les Mathematique et la logique’, Revue de Metaphysique et de morale, 14,pp.294-3 17.(Reprinted in Science and Method, New York, Dover Publications).Google Scholar
Poincaré, H. (1912a), ‘Mathematics and Logic’, reprinted in Poincaré, H. Mathematics and Science:Last Essays, New York, Dover Publications) pp.6574.Google Scholar
Poincaré, H. (1912b), ‘The Logic of Infinity’, reprinted in Poincaré, H. Mathematics and Science:Last Essays, New York, Dover Publications) pp.4564.Google Scholar
Richard, J. (1905), ‘Les principes des mathematique et le probleme des ensemblesé, Revue generale des sciences pures et appliquées, 16,p.541. Translated and reprinted in Van Heijenoort(ed.), From Frege to Gödel, a source book in mathematical logic, pp. 142-44.Google Scholar
Russell, B. (1903), Principles of Mathematics, Cambridge Cambridge University Press, 1903.Google Scholar
Russell, B. (1906), ‘On Some Difficulties in the Theory of Transfinite Numbers and Order Types’, reprinted in Bertrand Russell Essays in Analysis, edited by D.Lackey, 1973 pp. 135-64.Google Scholar
Russell, B. (1908), ‘Mathematical Logic as based on the theory of Types’, reprinted in Logic and Knowledge edited by Marsh, R.C., 1956, pp.135-64.CrossRefGoogle Scholar
Tarski, A. (1948), ‘A problem concerning the notion of definability’, Journal of Symbolic Logic, 13, pp.107-11.10.2307/2267331CrossRefGoogle Scholar
Velleman, D (1993), ‘Constructivism Liberalised’, Philosophical Review, 102, pp.5984.10.2307/2185653CrossRefGoogle Scholar
Young, W.H. & Young, G.Chisholm (1906): The Theory of Sets of Points, Cambridge, Cambridge University Press, 1906.Google Scholar