Revue: | Diánoia |
Base de datos: | CLASE |
Número de sistema: | 000331579 |
ISSN: | 0185-2450 |
Autores: | Viñuela, Pedro A1 |
Instituciones: | 1Pontificia Universidad Católica de Chile, Instituto de Filosofía, Santiago de Chile. Chile |
Año: | 2010 |
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) |