Published online by Cambridge University Press: 13 April 2010
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.