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

Project Information

FORMALISM

Grant agreement ID: 101044114

DOI

10.3030/101044114

EC signature date 16 August 2022

Start date 1 September 2022

End date 31 August 2027

Funded under

• European Research Council (ERC)

Total cost

€ 1 987 840,00

EU contribution

€ 1 987 840,00

Coordinated by

UNIVERSITAT WIEN
Austria

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publications

Other (2)

Carnap on the Formality of Logic and Mathematics

Author(s): Georg Schiemer
Published in: Cambridge University Press, 2024, ISBN 978-1-009-09820-5
Publisher: Cambridge University Press
DOI: 10.1017/9781009099080.013

Introduction: Symbolic Logic and Scientific Philosophy

Author(s): Paola Cantù, Georg Schiemer
Published in: Vienna Circle Institute Yearbook, Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-42190-7_1

Peer reviewed articles (6)

Hilbert on categoricity and completeness

Author(s): Eduardo N. Giovannini, Georg Schiemer
Published in: Synthese, Issue 206, 2025, ISSN 1573-0964
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05345-4

Hilbert and Schröder’s mathematical logic

Author(s): Moritz Bodner
Published in: Synthese, Issue 207, 2026, ISSN 1573-0964
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05401-Z

Peacock's Principle of Permanence and Hankel's Reception

Author(s): Anna Bellomo
Published in: HOPOS: The Journal of the International Society for the History of Philosophy of Science, 2025, ISSN 2152-5188
Publisher: University of Chicago Press
DOI: 10.1086/734645

Hilbert’s Early Metatheory Revisited

Author(s): Eduardo N. Giovannini, Georg Schiemer
Published in: Erkenntnis, 2025, ISSN 0165-0106
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S10670-025-00959-Z

Hilbert’s problems, Kant, and decidability

Author(s): Moritz Bodner
Published in: Archive for History of Exact Sciences, Issue 79, 2025, ISSN 0003-9519
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S00407-025-00350-Y

Structuralism and informal provability

Author(s): Georg Schiemer, John Wigglesworth
Published in: SPRINGER, 2023, ISSN 0039-7857
Publisher: SPRINGER
DOI: 10.1007/s11229-023-04274-4

Book chapters (1)

Ernst Cassirers theoretische Philosophie

Published in: 2025
Publisher: FELIX MEINER VERLAG
DOI: 10.28937/978-3-7873-4945-6