Article contents
Ars inveniendi et théorie des modèles
Published online by Cambridge University Press: 13 April 2010
Extract
Dans son article nécrologique sur Abraham Robinson, Simon Kochen consignait une impression de Gödel qui ne manquera pas d'intéresser un grand nombre de spécialistes de Leibniz. Gödel, dont il faut rappeler l'intérêt particulier pour les travaux philosophiques de Leibniz, pensait en effet que, de tous les logiciens modernes, Abraham Robinson était celui qui avait le mieux réalisé l'idéal leibnizien d'une logique constituée en ars inveniendi pour les mathématiques. Nous voudrions examiner ici à quel aspect de l' ars inveniendi selon Leibniz ce jugement rend justice et quelle caractéristique de la logique contemporaine il fait ressortir. S'agissant des travaux d'Abraham Robinson, nous nous intéresserons surtout au secteur de la théorie des modèles, bien que celui-ci n'ait pas l'exclusivité de mettre en oeuvre l'idée que les résultats logiques sont propres à faciliter la découverte mathématique.
- Type
- Articles
- Information
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie , Volume 27 , Issue 4 , Winter 1988 , pp. 591 - 613
- Copyright
- Copyright © Canadian Philosophical Association 1988
References
Abréviations et références bibliographiques
- 1
- Cited by