La función de los axiomas y las definiciones en la teoría leibniziana de la demostración
El proyecto se propone analizar la concepción leibniziana de la demostración. Esta sigue el esquema fundamental del método axiomático-deductivo, pero tiene características especiales. En este marco, Leibniz propone la reducción a identidades como el ideal fundamental de la demostración rigurosa. Par...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Lenguaje: | Español |
| Publicado: |
1996
|
| Materias: | |
| Acceso en línea: | https://www.memoria.fahce.unlp.edu.ar/library?a=d&c=proyecto&d=Jpy43 |
| Aporte de: |
| Sumario: | El proyecto se propone analizar la concepción leibniziana de la demostración. Esta sigue el esquema fundamental del método axiomático-deductivo, pero tiene características especiales. En este marco, Leibniz propone la reducción a identidades como el ideal fundamental de la demostración rigurosa. Para tal fin, es de capital importancia la intervención de la sustitución definicional. Se analizan así los antecedente de esta concepción de la demostración, así como su versión definitiva. Se destacan sus inconvenientes, en especial aquellos que enfrentan la teoría de la definición, la demostrabilidad de los axiomas y el catálogo de nociones simples. Se pone en conexión la teoría de la demostración con la lógica de la invención y el juicio. Se trata de mostrar que todas estas líneas confluyen en el proyecto leibniziano de la Combinatoria general. |
|---|