ISBN : 2747565580
EAN PDF : 9782296362482
Éditeur : Editions L'Harmattan
Collection : La philosophie en commun
Nombre de pages : 178
Date : 5- 2004
La logique du contenu sur la logique interne
Yvon Gauthier
La logique du contenu est la logique interne d'une théorie. La théorie est ici mathématique et la théorie mathématique première est l'arithmétique et ses extensions, ce que l'on peut bien appeler l'arithmétique générale après Kronecker. Le programme kroneckerien (et antifrégéen) dans les fondements des mathématiques signifie que l'on doit fonder la logique et le reste des mathématiques sur l'arithmétique au sens de la théorie des nombres et non au sens de l'arithmétique ensembliste de Peano ou de Dedekind.