Internal Logic pp 186-213 | Cite as

Conclusion. Internal Logic : From Kronecker to Hilbert and Beyond

  • Yvon Gauthier
Part of the Synthese Library book series (SYLI, volume 310)


Internal logic is the logic internal to mathematical discourse, primarily the arithmetical discourse. The logic in question tends to vanish as a component of arithmetic and is readily identified to the inferential structure of arithmetic. Internal logic becomes arithmetical or polynomial logic — or modular logic as we shall say later on. The internal structure can be exhibited with the help of ordinary logic (Hilbert says Aristotelian logic) or intuitionistic (constructive) logic. The internalization of logic in the case of arithmetic means the arithmetization of logic, that is the polynomial interpretation of logic which I have achieved on the model of Kronecker’s general arithmetic. I have claimed that Hilbert’s programme was conceived originally along the same line of thought. The idea that consistency (and decidability) were internal properties of mathematical theories was Hilbert’s own motive in his first attempts at defining the consistency problem — which had to be solved, as we have seen, in terms of polynomial equations.


Classical Logic Internal Logic Peano Arithmetic Transfinite Induction Bounded Arithmetic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • Yvon Gauthier
    • 1
  1. 1.University of MontréalCanada

Personalised recommendations