Najwcześniejsza postać formalizmu Hilberta
Journal Title: Filozofia Nauki - Year 2019, Vol 27, Issue 3
Abstract
The aim of this paper is to describe and analyze the first (1922) of a long series of Hilbert’s works in which he presented the mature version of formalism. His formalism in 1922 can be called mature because it is characterized by an explicit introduction of metamathematics. Hilbert distinguishes several levels of mathematics (not just two, as one may think — formalized mathematics and metamathematics): the level of meaningless arithmetical signs, labelled I-Z in this paper, the level of arithmetic with content (inhaltliche Arithmetik), II-T, which describes signs from level I-Z, the level of formalized mathematics, II-F (Hilbert postulated a full formalization of mathematics), and the level of metamathematics with content, III-MM, which describes signs from level II-F. Hilbert emphasized that the relation of III-MM to II-F is the same as the relation of II-T to I-Z (description, investigation). In this way, he tried to characterize metamathematics. He expected that in III-MM a consistency proof of II-F could be built, which was the aim of Hilbert’s formalism. This paper discusses Hilbert’s first proof of an auxiliary metamathematical theorem. It is indicated that, on level III-MM, Hilbert assumed a part of arithmetic from level II-T and the classical logic. Although in 1922 he did not distinguish explicitly between the finite and infinite mathematics and between the real and ideal mathematics, such a division was implicit in his study. This allows us to assume that already in 1922 Hilbert had an idea of a finitistic consistency proof of infinitistic mathematics, announced a few years later. It appears, therefore, that already in 1922 he had a very clear idea of formalism, which was presented in detail in the middle of the decade. Hilbert was also aware in 1922 that Brouwer’s objections would eventually force him to explain the issue of logical foundations of classical mathematics.
Authors and Affiliations
Jerzy Dadaczyński
Keywords
Related Articles
- EP ID EP674192
- DOI 10.14394/filnau.2019.0021
- Views 61
- Downloads 0
Biologia w socjologii — trzy sposoby wiązania
The article presents a typology of linking biology and sociology. I argue that there are three possibilities as to what can be transferred from biology to sociology: theoretical structures, data, or both. The first type...
O współczesnej postaci sporu o realizm naukowy
While analyzing Mateusz Kotowski’s book Realizm zreformowany. Filozofia Iana Hackinga a spór o status poznawczy wiedzy naukowej [Realism Reformed. The Philosophy of Ian Hacking and the Controversy over the Cognitive Stat...
Logika modalna i teoria gier
In this paper, I demonstrate the fruitfulness of looking at modal logic from the perspective of game theory. In particular, I show how games in strategic form can be transformed into Kripke’s models for a multi-modal log...
Efekt Knobe’a, normatywność i racje działania
The article discusses Joshua Knobe’s problem of asymmetry in ascribing intentionality to actions. Knobe claims that, in a way, the asymmetry is related to the human tendency for blaming the agent for negative side effect...
Najwcześniejsza postać formalizmu Hilberta
The aim of this paper is to describe and analyze the first (1922) of a long series of Hilbert’s works in which he presented the mature version of formalism. His formalism in 1922 can be called mature because it is charac...