Demostración leibniziana de las fórmulas numéricas



Título del documento: Demostración leibniziana de las fórmulas numéricas
Revue: Diánoia
Base de datos: CLASE
Número de sistema: 000331579
ISSN: 0185-2450
Autores: 1
Instituciones: 1Pontificia Universidad Católica de Chile, Instituto de Filosofía, Santiago de Chile. Chile
Año:
Periodo: May
Volumen: 55
Número: 64
Paginación: 175-200
País: México
Idioma: Español
Tipo de documento: Artículo
Enfoque: Analítico
Resumen en español El presente artículo examina puntos centrales de la teoría leibniziana de la prueba matemática en conexión con su concepción general de la ciencia. Se analizan, primeramente, las características generales del método leibniziano, oponiéndolo al método cartesiano (§§ 1–3). Puesto que para Leibniz las fórmulas numéricas no son verdades lógicas primitivas y por ello requiere una estricta prueba formal, a continuación se examina la demostración de ellas contenida en los Nuevos ensayos, mencionando las críticas que Frege y Poincaré le han dirigido, a fin de precisar y aclarar el significado del formalismo leibniziano (§§ 4–6). Se finaliza con un recuento evaluativo de lo realizado en este trabajo (§ 7)
Resumen en inglés This paper is intended to analyze the Leibnizian theory of mathematical proof, in relation to his general view on science. Firstly, it provides the main characteristics of Leibniz’s method, making a strategic contrast with the Cartesian one (§§ 1–3). Secondly, because for Leibniz the numerical formulae are not primitive logical truths, they require a rigorous formal proof, so that the corresponding demonstration given in the New Essays is examined in order to gain new insights into the so-called Leibnizian formalism, taking into account as well Frege’s and Poincaré’s criticisms to it (§§ 4–6). Finally, it offers an evaluative account of all these considerations (§ 7)
Disciplinas: Filosofía,
Matemáticas
Palabras clave: Lógica,
Método,
Matemáticas puras,
Evidencia,
Intuición,
Formalismo,
Simbolismo
Texte intégral: Texto completo (Ver PDF)