Los fundamentos de la aritmética

Los fundamentos de la aritmética
	de Gottlob Frege
	; Página de título de Die Grundlagen der Arithmetik
Tema(s)	Filosofía de la matemática, fundamentos de las matemáticas y aritmética
Idioma	Alemán
Título original	Die Grundlagen der Arithmetik
Editorial	Verlag von Wilhelm Koebner
País	Alemania
Fecha de publicación	1884

Los fundamentos de la aritmética (en alemán: Die Grundlagen der Arithmetik) es un libro de Gottlob Frege, publicado en 1884, que investiga los fundamentos filosóficos de la aritmética. Frege refuta otras teorías de números y desarrolla su propia teoría. El libro también ayudó a motivar los trabajos posteriores de Frege en el logicismo. El libro no fue bien recibido y no fue muy leído cuando se publicó. Sin embargo, atrajo la atención de Bertrand Russell y Ludwig Wittgenstein, quienes estaban fuertemente influenciados por la filosofía de Frege.

Críticas de otras teorías de números

Psicologismo de las matemáticas.

Frege se opone a cualquier explicación de las matemáticas basada en el psicologismo, es decir, que las matemáticas y los números son relativos a los pensamientos subjetivos de las personas que piensan en ellos. Según Frege, los relatos psicológicos apelan a lo subjetivo, mientras que las matemáticas son puramente objetivas: las matemáticas son completamente independientes del pensamiento humano. Las entidades matemáticas, según Frege, tienen propiedades objetivas independientemente de que los humanos las piensen: no es posible pensar en las afirmaciones matemáticas como algo que evolucionó naturalmente a lo largo de la historia y la evolución de la humanidad. Ve una distinción fundamental entre la lógica (y su extensión, según Frege, matemáticas) y la psicología. La lógica explica los hechos necesarios, mientras que la psicología estudia ciertos procesos de pensamiento en las mentes individuales.

Immanuel Kant

Frege apreció mucho el trabajo de Immanuel Kant. Lo critica principalmente porque las afirmaciones numéricas no son juicios sintéticos a priori, sino analíticos a priori. Kant afirma que 7 + 5 = 12 es una declaración sintética no comprobable. No importa cuánto analicemos la idea de 7 + 5, no encontraremos allí la idea de 12. Debemos llegar a la idea de 12 mediante la aplicación a objetos en la intuición. Kant señala que esto se vuelve más claro con números más grandes. Frege, precisamente en este punto, argumenta en dirección opuesta. Kant asume erróneamente que en una proposición que contiene números "grandes" debemos contar puntos o algo así para afirmar su valor de verdad. Frege sostiene que sin tener intuición alguna hacia ninguno de los números en la siguiente ecuación: 654.768 + 436.382 = 1.091.150, sin embargo, podemos afirmar que es cierto. Esto se proporciona como evidencia de que tal proposición es analítica. Si bien Frege acepta que la geometría es sintética a priori, la aritmética debe ser analítica.

John Stuart Mill

Frege critica rotundamente el empirismo de John Stuart Mill. Afirma que la idea de Mill de que los números corresponden a las diversas formas de dividir colecciones de objetos en subcolecciones es inconsistente con la confianza en los cálculos que involucran números grandes. También niega que la filosofía de Mill trate adecuadamente el concepto de cero. Continúa argumentando que la operación de adición no puede entenderse como una referencia a cantidades físicas, y que la confusión de Mill en este punto es un síntoma de un problema mayor de confusión de las aplicaciones de la aritmética para la aritmética misma.

Desarrollo del punto de vista de Frege sobre los números.

Frege hace una distinción entre afirmaciones numéricas particulares como 1 + 1 = 2 y afirmaciones generales como a + b = b + a. Las últimas son afirmaciones verdaderas de los números tan bien como las primeras. Por lo tanto, es necesario solicitar una definición del concepto de número en sí. Frege investiga la posibilidad de que el número se determine en cosas externas. Demuestra cómo funcionan los números en el lenguaje natural como adjetivos. "Este escritorio tiene 5 cajones" tiene una forma similar a "Este escritorio tiene cajones verdes". El hecho de que los cajones sean verdes es un hecho objetivo, basado en el mundo externo. Pero este no es el caso con 5. Frege sostiene que cada cajón está en su propio color verde, pero no cada cajón es 5.[1] Frege nos urge a recordar que de esto no se sigue que los números puedan ser subjetivos. De hecho, los números son similares a los colores al menos en que ambos son completamente objetivos. Frege nos dice que podemos convertir declaraciones numéricas donde las palabras numéricas aparecen adjetivamente (por ejemplo, 'hay cuatro caballos') en declaraciones donde los términos numéricos aparecen como términos singulares ('el número de caballos es cuatro').[2] Frege recomienda tales traducciones porque toma los números como objetos. No tiene sentido preguntar si algún objeto está bajo 4. Después de que Frege da algunas razones para pensar que los números son objetos, concluye que las declaraciones de números son afirmaciones sobre conceptos.

Frege considera que esta observación es el pensamiento fundamental de Grundlagen . Por ejemplo, la frase "el número de caballos en el establo es cuatro" significa que cuatro objetos caen bajo el concepto de caballo en el establo . Frege intenta explicar nuestra comprensión de los números a través de una definición contextual de la operación de cardinalidad ('el número de ...', o $Nx:Fx$ ). Intenta construir el contenido de un juicio que involucra identidad numérica basándose en el principio de Hume (que establece que el número de Fs es igual al número de Gs si y solo si F y G son equinuméricos, es decir, en una correspondencia uno a uno).[3] Rechaza esta definición porque no fija el valor de verdad de las declaraciones de identidad cuando un término singular que no tiene la forma 'el número de Fs' flanquea el signo de identidad. Frege continúa dando una definición explícita de número en términos de extensiones de conceptos, pero expresa algunas dudas.

La definición de Frege de un número.

Frege argumenta que los números son objetos y afirman algo acerca de un concepto. Frege define los números como extensiones de conceptos. 'El número de F' se define como la extensión del concepto, G es un concepto que es equinumérico a F. El concepto en cuestión conduce a una clase de equivalencia de todos los conceptos que tienen el número de F (incluida F). Frege define 0 como la extensión del concepto que no es auto-idéntico. Entonces, el número de este concepto es la extensión del concepto de todos los conceptos que no tienen objetos que caigan debajo de ellos. El número 1 es la extensión de ser idéntico a 0.

Legado

El libro fue fundamental en el desarrollo de dos disciplinas principales, los fundamentos de las matemáticas y la filosofía. Aunque Bertrand Russell más tarde encontró un defecto importante en el trabajo de Frege (este defecto se conoce como la paradoja de Russell, que se resuelve mediante la teoría de conjuntos axiomáticos ), el libro fue influyente en desarrollos posteriores, como Principia Mathematica. El libro también puede considerarse el punto de partida en la filosofía analítica, ya que gira principalmente en torno al análisis del lenguaje, con el objetivo de aclarar el concepto de número. Los puntos de vista de Frege sobre las matemáticas son también un punto de partida en la filosofía de las matemáticas, ya que presenta una cuenta innovadora sobre la epistemología de los números y las matemáticas en general, conocida como el lógismo.

Contenidos

El texto se divide en cinco capítulos, que se dividen en ciertos encabezados o temas (enunciados como preguntas o afirmaciones), y luego en 109 secciones.

Opiniones de ciertos escritores sobre la naturaleza de las proposiciones aritméticas.
1. ¿Las fórmulas numéricas son demostrables? (§5-8)
2. Son la ley de las verdades inductivas aritméticas (§9-11)
3. ¿Las leyes de la aritmética son sintéticas a priori o analíticas? (§12-17)
Opiniones de ciertos escritores sobre el concepto de Número. (§18-20)
1. ¿Es el número una propiedad de cosas externas? (§21-25)
2. ¿Es el número algo subjetivo? (§26-27)
3. La teoría de conjuntos del número (§28)
Opiniones sobre la unidad y uno.
1. ¿Expresa la palabra "uno" una propiedad de los objetos? (§29-33)
2. ¿Son las unidades idénticas entre sí? (§34-39)
3. Intenta superar la dificultad. (§40-44)
4. Solución de la dificultad. (§45-54)
El concepto de número
1. Cada número individual es un objeto auto-subsistente. (§55-61)
2. Para obtener el concepto de Número, debemos arreglar el sentido de una identidad numérica. (§62-69)
3. Nuestra definición completada y su valor comprobado (§71-83)
4. Números infinitos. (§84-86)
Conclusión (§87-91)
1. Otros números. (§92-109)

Véase también

Ediciones

Gottlob Frege (1884). Gottlob Frege (1884). Die Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung über den Begriff der Zahl. Breslau: Verlage Wilhelm Koebner. Breslau: Verlage Wilhelm Koebner.

Referencias

Frege,, §22. : "Is it not in totally different senses that we speak of a tree having 1000 leaves and again as having green leaves? The green colour we ascribe to each single leaf, but not the number 1000."
Frege,, §57. : "For example, the proposition 'Jupiter has four moons' can be converted into 'the number of Jupiter's moons is four'"
Frege,, §63. : "Hume long ago expressed such a means: 'When two numbers are so combined as that one has always a unit answering to every unit of the other, we pronounce them equal'"

Fuentes

The Foundations of Arithmetic. A logico-mathematical enquiry into the concept of number (Oxford: Basil Blackwell, 1950) by Gottlob Frege, translated by J. L. Austin.
Frege, Gottlob (1960). The foundations of arithmetic; a logico-mathematical enquiry into the concept of number (2nd edición). Evanston, Illinois: Northwestern University Press. ISBN 0810106051. OCLC 650.
Boolos, George (1998). «Chapter 9: Gottlob Frege and the Foundations of Arithmetic». Logic, logic, and logic. Edited by Richard C. Jeffrey, introduction by John P. Burgess. Cambridge, Mass: Harvard University Press. ISBN 9780674537675. OCLC 37509971.
On Frege's criticism of Mill: Shapiro, Stewart (2000). Thinking about mathematics: the philosophy of mathematics. New York: Oxford University Press. pp. 95-98. ISBN 9780192893062. OCLC 43864339.

Enlaces externos

Die Grundlagen der Arithmetik en el Proyecto Gutenberg

Edición gratuita en alemán del texto completo.

Stanford Encyclopedia of Philosophy: "Frege's Theorem and Foundations for Arithmetic" by Edward Zalta.
Nechaev, V.I. (2001), «Number», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.
Peter Suber, Geometry and Arithmetic are Synthetic, 2002.

Datos: Q732146

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.

[FOOTNOTEFrege§22:_"Is_it_not_in_totally_different_senses_that_we_speak_of_a_tree_having_1000_leaves_and_again_as_having_green_leaves?_The_green_colour_we_ascribe_to_each_single_leaf,_but_not_the_number_1000."-1] Frege,, §22. : "Is it not in totally different senses that we speak of a tree having 1000 leaves and again as having green leaves? The green colour we ascribe to each single leaf, but not the number 1000."

[FOOTNOTEFrege§57:_"For_example,_the_proposition_'Jupiter_has_four_moons'_can_be_converted_into_'the_number_of_Jupiter's_moons_is_four'"-2] Frege,, §57. : "For example, the proposition 'Jupiter has four moons' can be converted into 'the number of Jupiter's moons is four'"

[FOOTNOTEFrege§63:_"Hume_long_ago_expressed_such_a_means:_'When_two_numbers_are_so_combined_as_that_one_has_always_a_unit_answering_to_every_unit_of_the_other,_we_pronounce_them_equal'"-3] Frege,, §63. : "Hume long ago expressed such a means: 'When two numbers are so combined as that one has always a unit answering to every unit of the other, we pronounce them equal'"