Frege, Peano and the Interplay between Logic and Mathematics
Dans les études historiques contemporaines, les contributions de Peano sont généralement envisagées dans le cadre de la tradition logiciste initiée par Frege. Dans cet article, je vais d’abord démontrer que Frege et Peano ont développé de manière indépendante des approches semblables visant à s’appu...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2021 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | inglés |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/132718 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/132718 |
| Access Level: | acceso abierto |
| Palabra clave: | 16 Frege Peano concept-script symbolisation Lógica (Filosofía) 1103 Lógica General |
| Sumario: | Dans les études historiques contemporaines, les contributions de Peano sont généralement envisagées dans le cadre de la tradition logiciste initiée par Frege. Dans cet article, je vais d’abord démontrer que Frege et Peano ont développé de manière indépendante des approches semblables visant à s’appuyer sur la logique pour exprimer rigoureusement des lois mathématiques et les prouver. Ensuite, je soutiendrai cependant que Peano a également utilisé sa logique mathématique d’une manière qui anticipait la formalisation des théories mathématiques, laquelle est incompatible avec la conception de la logique défendue par Frege. |
|---|