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

  1. Enetz Ezenarro 1
  1. 1 Universidad del País Vasco/Euskal Herriko Unibertsitatea
    info

    Universidad del País Vasco/Euskal Herriko Unibertsitatea

    Lejona, España

    ROR https://ror.org/000xsnr85

Revista:
Gogoa: Euskal Herriko Unibersitateko hizkuntza, ezagutza, komunikazio eta ekintzari buruzko aldizkaria

ISSN: 1577-9424

Año de publicación: 2016

Título del ejemplar: Xabier Arrazola Gogoan (1962-2015)

Número: 14

Páginas: 217-249

Tipo: Artículo

DOI: 10.1387/GOGOA.15640 DIALNET GOOGLE SCHOLAR lock_openAcceso abierto editor

Otras publicaciones en: Gogoa: Euskal Herriko Unibersitateko hizkuntza, ezagutza, komunikazio eta ekintzari buruzko aldizkaria

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. Volume XI. Minneapolis, MN: University of Minnesota Press.
  • BROUWER, L.E.J. (1925-1927); (1925), «Zur Begründung der intuitionistischen Mathematik I». Mathematische Annalen 93: 244-257. (1925a), «Zur Begründung der intuitionistischen Mathematik II». Mathematische Annalen 95: 453-472. (1927), «Zur Begründung der intuitionistischen Mathematik III». Mathematische Annalen 96: 451-488.
  • 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: W.W. Beman (1901): Essays on the Theory of Numbers, I. Continuity and Irrational Numbers, II. The nature and meaning of numbers. Chicago, IL: Open Court.
  • 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 Logical Structure of Mathematics». Department of Mathematics, Stanford University.
  • FREGE, G. (1879), Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle, Alemania: Louis Nerbert. Ingelesezko itzulpena in J. van Heijenoort (1967): From Frege to Gödel. Cambridge, MA: Harvard University Press, 1-82 orr.
  • FREGE, G. (1884), Die Grundlagen der Arithmetik. Breslau: Koebner. Ingelesezko itzulpena J.L. Austin (1978), The Foundations of Arithmetic. Evanston, IL: Northwestern University Press.
  • FREGE, G. (1893-1903) Grundgesetze der Arithmetik (1. bol., 1892; 2. bol., 1903). Olms: Hildescheim. Ingelesezko itzulpen partziala M. Furth (1964), The Basic Laws of Arithmetic: Exposition of the System. Berkeley, CA: California University Press.
  • 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. 38, 173-198. Ingelesezko itzulpena in J. Van Heijenoort (1967): «On formally undecidable propositions of Principia mathematica and related Systems I», 596-616.
  • 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, 1998) liburuan ere agertzen da.
  • 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 scientific investigation. London: John W. Parker, West Strand.
  • 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 berrargitaratua: 152-182.
  • TROELSTRA, A.S. (1994), «History of Constructivism in the Twentieth Century». The ITLI Prepublications Series. Amsterdam: University of Amsterdam Press. Tymoczko, T. (arg.) (1998), New Directions in the Philosophy of Mathematics. Princeton, NJ: Princeton University Press.
  • 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 University Press.
  • WRIGHT, C. (1983), Frege’s conception of numbers as objects. Aberdeen: Aberdeen University Press.
Fuente de los datos: Dialnet