Frege, Peano and the Interplay between Logic and Mathematics
Résumé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 à...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Article ou chapitre numérique |
| Lenguaje: | Français |
| Publicado: |
2021
|
| Acceso en línea: | Accès Université d'Orléans et IFPM |
| Sumario: | Résumé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. |
|---|