Logique arithmetique : L'arithmetisation de la logique e-bog

La logique arithmetique est la logique interne de l'arithmetique, c'est la traduction ou l'interpretation de la logique formelle dans le langage de l'arithmetique. Cette arithmetique n'est pas l'arithmetique formelle de Frege et Peano, mais l'arithmetique classique de Fermat à Kronecker jusqu'à la theorie contemporaine des nombres. L'hypothèse proposee ici suppose qu'après l'arithmetisation de l'analyse, chez Cauchy et Weierstrass, et l'arithmetisation de l'algebre, chez Kronecker, la logique formelle a amorce son arithmetisation avec Hilbert pour atteindre son aboutissement avec l'informatique theorique actuelle. Dans cette perspective, la methode de la descente infinie de Fermat et l'arthmetique generale de Kronecker fournissent une critique constructiviste de l'induction transfinie en même temps qu'une preuve de consistance interne de l'artihmetique polynimiale.La position fondationnelle defendue dans l'ouvrage se reclame du constructivisme logicomathematique et constitue les assises d'un programme qu'on peut bien appeler « logique de la science » après Peirce et Carnap. Le motif recteur des travaux formels est d'ordre philosophique et c'est dans un esprit oecumenique que l'auteur a voulu mener ces recherches.