Hostname: page-component-cd9895bd7-7cvxr Total loading time: 0 Render date: 2024-12-26T19:16:07.178Z Has data issue: false hasContentIssue false
  • English
  • Français

Extremality Assumptions in the Foundations of Mathematics

Published online by Cambridge University Press:  28 February 2022

Jaakko Hintikka
Jaakko Hintikka*
Affiliation:
Florida State University
Get access Rights & Permissions [Opens in a new window]

Extract

The work by J.H. Conway (1976, ch. 4), Philip Ehrlich (1987, with further references) and others on absolute continua derives much of its philosophical and mathematical interest from its instantiating a more general approach to the foundations of mathematics. This approach focuses on the role of extremality (rnaximality and minimality) assumptions as a part of the basis of mathematical theories. The idea of extremality is potentially much more important than has recently been pointed out in the literature. It is illustrated by the principle of mathematical induction, which can be thought of as an attempt to enforce the requirement of minimality on the models of elementary number theory as well as by Hilbert's Axiom of Completeness (1971), which was calculated to enforce a kind of maximality on the models of axiomatic geometry. (These models were of course intended to be a species of continua.)

Type
Part VII. Mathematics
Information
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association , Volume 1986 , Issue 2: Volume Two: Symposia and Invited Papers 1986 , 1986 , pp. 247 - 252
Copyright
Copyright © 1987 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

This paper should be considered a preliminary report of work very much still in progress. In particular, my observations concerning set theory ought not to be taken at face value before I (or someone else) have had a chance of constructing detailed arguments for them and of checking the details of such arguments. I have taken the liberty of publishing this report in order to honor my promise to PSA and also to stimulate my colleagues to pursue the same line of thought — or perhaps to refute it.

References

Andrews, Peter. (1972) “General Models and Extensionality.” Journal of Symbolic Logic 37: 395-397.CrossRefGoogle Scholar
Chang, C.C. and Keisler, H.J. (1977) Model Theory. Amsterdam: North-Holland. Cohen, Paul. (1963). “A Minimal Model of Set Theory.” Bulletin of the American Mathematical Society 69: 537-540.Google Scholar
Conway, J.H. (1976) On Numbers and Games. London and New York: Academic Press.Google Scholar
Ehrlich, Philip. (1987) (Contribution to the present volume.)Google Scholar
Godel, Kurt. (1940) The Consistency of the Continuum Hypothesis. (Annals of Mathematics Studies, Vol. 3.) Princeton: Princeton University Press.CrossRefGoogle Scholar
Godel, Kurt. (1947) “What Is Cantor's Continuum Problem?” American Mathematical Monthly 54: 515-525. (Reprinted in a revised and expanded form in Benacerraf, P. and Putnam, H. (eds.). Philosophy of Mathematics, second ed. Cambridge: Cambridge University Press. Pages 470-485).Google Scholar
Hallett, Michael. (1984) Cantorian Set Theory and Limitation of Size. (Oxford Logic Guides, Vol. 10.) Oxford: Clarendon Press.Google Scholar
Henkin, Leon. (1950) “Completeness in the Theory of Types.” Journal of Symbolic Logic 15: 81-91.CrossRefGoogle Scholar
Hilbert, David. (1971) Foundations of Geometry. La Salle, Illinois: Open Court (translated from the. tenth German edition).Google Scholar
Hintikka, Jaakko. (1973) Logic, Language-Games and Information. Oxford: Clarendon Press.Google Scholar
Hintikka, Jaakko. (1980). “Standard vs. Nonstandard Logic: Higher-Order, Modal and First-Order.” In Modern Logic: A Survey. Edited by Agazzi, E.. Dordrecht: D. Reidel. Pages 283-296.Google Scholar
Levy, Azriel. (1960) “Axiom Schemata of Strong Infinity in Axiomatic Set Theory.” Pacific Journal of Mathematics 10: 223-238.CrossRefGoogle Scholar
Potthoff, Klaus. (1981) Einfuhrung in Modelltheorie und ihre Anwendungen. Darmstadt: Wissenschaftliche Buchgesellschaft.Google Scholar
Rantala, Veikko. (1977) Aspects of Definability. (Acta Philosophica Fennica, Vol. 29, nos. 2-3.) Helsinki: Societas Philosophica Fennica.Google Scholar
Scott, Dana. (1979) “A Note on Distributive Normal Forms.” In Essays in Honour of Jaakko Hintikka. Edited by E. Saarinen et. al. Dordrecht: D. Reidel. Pages 75-90.CrossRefGoogle Scholar