Matematikaren filosofia fundamentista vs. ez-fundamentista. Ikuspegi nagusi batzuk

• Enetz Ezenarro ^[1]
  1. [1] UPV/EHU
• Localización: Gogoa: Euskal Herriko Unibersitateko hizkuntza, ezagutza, komunikazio eta ekintzari buruzko aldizkaria, ISSN 1577-9424, Nº. 14, 2016 (Ejemplar dedicado a: Xabier Arrazola Gogoan (1962-2015)), págs. 217-249
• Idioma: euskera
• DOI: 10.1387/gogoa.15640
• Títulos paralelos:
  • Foundationist vs. non-foundationist philosophy of mathematics. Some main viewpoints
• Enlaces
  • Texto completo
• Resumen

  • The logicist project launched by Frege as a continuation of the arithmetization and rigorization process of analysis during the 19th century, not only served to start the modern field of the philosophy of mathematics but, also, to focus the research in a concrete direction. Frege’s last aim was to justify the absolute certitude of the mathematical knowledge through setting secure indubitable foundations for mathematics. This has been the main task of the philosophy of mathematics since then, to such an extent that philosophy of mathematics has often been identified with the search for foundations. Apparently opposite methodologies have been placed in the service of the same final aim by several approaches during these years. I call foundationism to this mainstream in the philosophy of mathematics. In the 1960s, and starting with Lakatos, critical voices emerged opposing the direction adopted in the field since Frege. They considered the question of the foundations as an outdated and irrelevant question from the viewpoint of the mathematics of their time, and committed to the task of articulating the propper methodology of «informal» mathematics, as the primary task for a more relevant philosophy of mathematics. I call nonfoundationism to this heterodox viewpoint. In this paper I review some main examples of each of both branches to emphasize their differences in order to obtain a broader panoramic of the field.

• Referencias bibliográficas
  • ASPRAY, W. & KITCHER, P. (arg.) (1988), History and Philosophy of Modern Mathematics. Minnesota Studies in the Philosophy of Science....
  • BROUWER, L.E.J. (1925-1927); (1925), «Zur Begründung der intuitionistischen Mathematik I». Mathematische Annalen 93: 244-257. (1925a), «Zur...
  • CELLUCCI, C. (2013), «Top-Down and Bottom-Up Philosophy of Mathematics». Foundations of Science 18: 93-106.
  • DAVIS, J.D. & HERSH, R. (1981), The Mathematical Experience. Boston, MA: Birkhäusser.
  • DEDEKIND, R. (1888), Was sind und was sollen die Zahlen?. Braunschwig. Berrargitalpena: Werke 3. bol., 335-391. Ingelesezko itzulpena in:...
  • DIEUDONNÉ, J. (1970), The Work of Nicolas Bourbaki, American Mathematical Monthly 77, 134-145.
  • ERNEST, P. (1991), Philosophy of Mathematics Education. London: Falmer. Feferman, S. (1976), «The Logic of Mathematical Discovery vs. the...
  • FREGE, G. (1879), Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle, Alemania: Louis Nerbert....
  • FREGE, G. (1884), Die Grundlagen der Arithmetik. Breslau: Koebner. Ingelesezko itzulpena J.L. Austin (1978), The Foundations of Arithmetic....
  • FREGE, G. (1893-1903) Grundgesetze der Arithmetik (1. bol., 1892; 2. bol., 1903). Olms: Hildescheim. Ingelesezko itzulpen partziala M. Furth...
  • GEORGE, A. & VELLEMAN, D.J. (2002), Philosophies of Mathematics. Oxford, UK: Blackwell.
  • GÖDEL, K. (1931), Über formal unentscheidbare Sä tze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik....
  • HERSH, R. (1997), What is Mathematics, Really?. New York: Oxford University Press.
  • HILBERT, D. (1899), Grundlagen der Geometrie. Leipzig: Teubner. Ingelesezko itzulpena (1902). Chicago: Open Court.
  • HILBERT, D. & BERNAYS, P. (1934-1939), Grundlagen der Mathematik (1. bol., 1934; 2. bol.,1939) Berlin: Springer.
  • HORSTEN, L. (2012), «Philosophy of Mathematics». Stanford Encyclopedia of Phylosophy.
  • KITCHER, P. (1983), The Nature of Mathematical Knowledge. New York: Oxford University Press.
  • KNEEBONE, G.T. (1963), Mathematical Logic and the Foundations of Mathematics. London: Van Nostrand.
  • LAKATOS, I. (1976), Proofs and Refutations. Cambridge, UK: Cambridge University Press.
  • LAKATOS, I. (1978), Philosophical Papers (2 bol.). J. Worrall eta G. Curriek argitaratua. Cambridge, UK: Cambridge University Press. (Tymoczko,...
  • LOLLI, G. (1985), «Foundational problems from computation theory». Synthese 62: 272-285.
  • MENDELSON, E. (1964), Introduction to Mathematical Logic. New York: Van Nostrand. 4. edizioa (1997), CRC Press.
  • MILL, J.S. (1843), A System of Logic, Ratiocinative and Inductive, being a connected view of the principles of evidence and the methods of...
  • PÓLYA, G. (1945), How to solve It. Princeton, NJ: Princeton University Press.
  • PÓLYA, G. (1954), Mathematics and Plausible Reasoning (2 bol.). Princeton, NJ: Princeton University Press.
  • POPPER, K. (1934), Logik der Forschung. Wien: Springer.
  • RECK, E. (2011), «Dedekind’s Contributions to the Foundations of Mathematics». Stanford Encyclopedia of Phylosophy.
  • RUSSELL, B. (1903), The Principles of Mathematics. Cambridge, UK: University Press.
  • RUSSELL, B. (1908), «Mathematical Logic as Based on the Theory of Types». American Journal of Mathematics 30: 222-262. J. Van Heijenoort (1967)-an...
  • TROELSTRA, A.S. (1994), «History of Constructivism in the Twentieth Century». The ITLI Prepublications Series. Amsterdam: University of Amsterdam...
  • VAN HEIJENOORT, J. (1967), From Frege to Gödel. A Source Book in Mathematical Logic, 1879-1931. Cambridge, MA: Harvard University Press.
  • WHITEHEAD, A.N. & RUSSELL, B. (1910-1913), Principia Mathematica (1. bol., 1910; 2. bol., 1912; 3. bol., 1913). Cambridge, UK: Cambridge...
  • WRIGHT, C. (1983), Frege’s conception of numbers as objects. Aberdeen: Aberdeen University Press.