The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought

Projektinformationen

FORMALISM

ID Finanzhilfevereinbarung: 101044114

DOI

10.3030/101044114

EK-Unterschriftsdatum 16 August 2022

Startdatum 1 September 2022

Enddatum 31 August 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 987 840,00

EU-Beitrag

€ 1 987 840,00

Koordiniert durch

UNIVERSITAT WIEN
Austria

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Veröffentlichungen

Other (2)

Carnap on the Formality of Logic and Mathematics

Autoren: Georg Schiemer
Veröffentlicht in: Cambridge University Press, 2024, ISBN 978-1-009-09820-5
Herausgeber: Cambridge University Press
DOI: 10.1017/9781009099080.013

Introduction: Symbolic Logic and Scientific Philosophy

Autoren: Paola Cantù, Georg Schiemer
Veröffentlicht in: Vienna Circle Institute Yearbook, Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-42190-7_1

Peer reviewed articles (6)

Hilbert on categoricity and completeness

Autoren: Eduardo N. Giovannini, Georg Schiemer
Veröffentlicht in: Synthese, Ausgabe 206, 2025, ISSN 1573-0964
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05345-4

Hilbert and Schröder’s mathematical logic

Autoren: Moritz Bodner
Veröffentlicht in: Synthese, Ausgabe 207, 2026, ISSN 1573-0964
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05401-Z

Peacock's Principle of Permanence and Hankel's Reception

Autoren: Anna Bellomo
Veröffentlicht in: HOPOS: The Journal of the International Society for the History of Philosophy of Science, 2025, ISSN 2152-5188
Herausgeber: University of Chicago Press
DOI: 10.1086/734645

Hilbert’s Early Metatheory Revisited

Autoren: Eduardo N. Giovannini, Georg Schiemer
Veröffentlicht in: Erkenntnis, 2025, ISSN 0165-0106
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S10670-025-00959-Z

Hilbert’s problems, Kant, and decidability

Autoren: Moritz Bodner
Veröffentlicht in: Archive for History of Exact Sciences, Ausgabe 79, 2025, ISSN 0003-9519
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S00407-025-00350-Y

Structuralism and informal provability

Autoren: Georg Schiemer, John Wigglesworth
Veröffentlicht in: SPRINGER, 2023, ISSN 0039-7857
Herausgeber: SPRINGER
DOI: 10.1007/s11229-023-04274-4

Book chapters (1)

Ernst Cassirers theoretische Philosophie

Veröffentlicht in: 2025
Herausgeber: FELIX MEINER VERLAG
DOI: 10.28937/978-3-7873-4945-6