Il prossimo incontro della serie webinar Reconstructing Carnap si terrà il prossimo 20 Marzo (in allegato la locandina complessiva dell’evento) dalle 16.30 alle 18.30 al seguente link meet.google.com/uaq-jqpf-mwr. Il seminario sarà tenuto dal Professor Georg Schiemer dell’Università di Vienna. Il titolo del seminario, di cui si inoltra l’abstract, è From Hilbert’s Program to Carnap’s Wissenschaftslogik.
Per ulteriori informazioni sulla serie di seminari consultare la seguente pagina web https://www.letterefilosofia.unifi.it/vp-1088-reconstructing-carnap-webinar-series.html
From Hilbert’s Program to Carnap’s Wissenschaftslogik
By Georg Schiemer, University of Vienna
The talk will focus on several points of contact between David Hilbert’s logical work and Rudolf Carnap’s early contributions to the logical reconstruction of mathematical and scientific theories until the publication of Carnap’s monograph Foundations of Logic and Mathematics in 1939. The comparison between Hilbert and Carnap will focus on two interpretative points: first, the extent to which Carnap’s own project on “general axiomatics” from the 1920s with its focus on metatheoretical properties of axiomatic theories was motivated by Hilbert’s foundational work. Second, the talk will analyze to what extent Carnap’s later views on theoretical languages, in particular, on the status of theoretical terms in science, were directly influenced by Hilbert’s instrumental formalism about logic and mathematics.
