Internal Logic pp 22-49 | Cite as

# From Hilbert to Kronecker

## Abstract

Hilbert uses the expression «das inhaltliche logische Schliessen »^{1} which I translate by “internal logic”, rather than logic of content. Brouwer and H. Weyl^{2} use also the expression to designate an inner logic different from formal (external) logic which mirrors only the superficial structure of mathematics. For Hilbert, internal logic is not ordinary or formal logic, the rôle of which is only ancillary, that is the demonstration of theorems in a given mathematical theory. But internal logic, often identified with metamathematics^{3}, should be considered as an “intramathematics” in the sense that the inner consistency of axioms is more important than the deduction of particular theorems. In other words, proof theory <*Beweistheorie*> or <*Metamathematik*> is an internal logic to the extent it describes the inner workings of a mathematical theory. Proof theory has been seen as the theory of formal systems and, by extension, as the very embodiment of formalism. The hypothesis that I want to defend goes the other way: internal logic is the opposite of formalism and Hilbert’s endeavour or programme could be formulated in the following terms: internal finitary logic reduces infinitary formal logic in the same manner that a finitary mathematical theory (like arithmetic) reduces the infinite problems of the theory of forms or the theory of invariants to a finite calculus.

## Keywords

Elliptic Function Modular System Proof Theory Algebraic Integer Internal Logic## Preview

Unable to display preview. Download preview PDF.