The Logic of Mathematical Discovery Vs. the Logical Structure of Mathematics

PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978 (2):309-327 (1978)
  Copy   BIBTEX

Abstract

Mathematics offers us a puzzling contrast. On the one hand it is supposed to be the paradigm of certain and final knowledge: not fixed to be sure, but a steadily accumulating coherent body of truths obtained by successive deduction from the most evident truths. By the intricate combination and recombination of elementary steps one is led incontrovertibly from what is trivial and unremarkable to what can be non-trivial and surprising.On the other hand, the actual development of mathematics reveals a history full of controversy, confusion and even error, marked by periodic reassessments and occasional upheavals. The mathematician at work relies on surprisingly vague intuitions and proceeds by fumbling fits and starts with all too frequent reversals. In this picture the actual historical and individual processes of mathematical discovery appear haphazard and illogical.The first view is of course the currently conventional one which descends from the classic work of Euclid.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

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

Through your library

Similar books and articles

The Logic of Mathematical Discovery vs. the Logical Structure of Mathematics.Solomon Feferman - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:309 - 327.
New Directions in the Philosophy of Mathematics.Penelope Maddy - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:427 - 448.
Proofs and refutations: the logic of mathematical discovery.Imre Lakatos (ed.) - 1976 - New York: Cambridge University Press.
Poincare on Mathematics, Intuition and the Foundations of Science.Janet Folina - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:217 - 226.
Elementarity and Anti-Matter in Contemporary Physics: Comments on Michael D. Resnik's "Between Mathematics and Physics".Susan C. Hale - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:379 - 383.
Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 1976 - Cambridge and London: Cambridge University Press.

Analytics

Added to PP
2023-02-02

Downloads
2 (#1,817,687)

6 months
1 (#1,515,053)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Mathematical Thought from Ancient to Modern Times.M. Kline - 1978 - British Journal for the Philosophy of Science 29 (1):68-87.

Add more references