Hostname: page-component-745bb68f8f-d8cs5 Total loading time: 0 Render date: 2025-01-12T23:07:21.164Z Has data issue: false hasContentIssue false
  • English
  • Français

The Contemporary Interest of an old Doctrine

Published online by Cambridge University Press:  28 February 2022

William Demopoulos
William Demopoulos*
Affiliation:
The University of Western Ontario
Get access Rights & Permissions [Opens in a new window]

Extract

My purpose in this talk is to give an overview of the rediscovery of Frege's theorem together with certain of the issues that this rediscovery has raised concerning the evaluation of Frege's logicism—the ‘old doctrine’ of my title.

The contextual definition of the cardinality operator, suggested in §63 of Grundlagen— what, after George Boolos, has come to be known as Hume's principle—asserts

The number of Fs = the number of Gs if, and only if, F ≈ G,

where F ≈ G (the Fs and the Gs are in one-to-one correspondence) has its usual, second order, explicit definition. The importance of this principle for the derivation of Peano's second postulate (‘Every natural number has a successor’) was emphasized by Crispin Wright (1983, §xix) who presented an extended argument showing that, in the context of the system of second-order logic of Frege's Begriffsschrift, Peano's second postulate is derivable from Hume's principle.

Type
Part VII. Foundational Projects in Mathematics at the Beginning of the 20th Century in Their Systematic and Historical Contexts
Information
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association , Volume 1994 , Issue 2: Volume Two: Symposia and Invited Papers 1994 , 1994 , pp. 208 - 216
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.)

Footnotes

1

Support from the Social Sciences and Humanities Research Council of Canada is gratefully acknowledged.

References

Boolos, G. (1987), ‘The consistency of Frege's Foundations of arithmetic,’ in Thomson, Judith Jarvis, ed., On being and saying: Essays for Richard Cartwright, Cambridge: M. I. T. Press, pp. 3 - 20, reprinted in (Demopoulos 1995).Google Scholar
Boolos, G. (1994) ‘The advantages of honest toil over theft,’ in George, Alexander, ed., Mathematics and mind, Oxford: Oxford University Press, 1994, pp. 27 - 44.Google Scholar
Burgess, J. (1984), The philosophical review, 93 638-40.CrossRefGoogle Scholar
Demopoulos, W. (ed.) (1995), Frege's philosophy of mathematics, Cambridge: Harvard University Press.Google Scholar
Heck, R. Jr., (1993) ‘The development of arithmetic in Frege's Grundgesetze der Arithmetik,’ Journal of symbolic logic 58 579 - 601.CrossRefGoogle Scholar
McGuinness, B. (ed.) (1980), Gottlob Frege: Philosophical and mathematical correspondence, Kaal, Hans, tr., Chicago: University of Chicago Press, 1980.Google Scholar
Parsons, C. (1964) ‘Frege's theory of number,’ in Black, Max ed., Philosophy in America, Ithaca: Cornell University Press, 1964; reprinted with its ‘Postscript’ in (Demopoulos 1995)Google Scholar
Wilson, M. (1992), ‘Frege: the royal road from geometry,’ Noûs 26 149 - 80, reprinted in (Demopoulos 1995).CrossRefGoogle Scholar
Wright, C. (1983), Frege's conception of numbers as objects, Aberdeen: Aberdeen University Press.Google Scholar