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

Informazioni relative al progetto

FORMALISM

ID dell’accordo di sovvenzione: 101044114

DOI

10.3030/101044114

Data della firma CE 16 Agosto 2022

Data di avvio 1 Settembre 2022

Data di completamento 31 Agosto 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 987 840,00

Contributo UE

€ 1 987 840,00

Coordinato da

UNIVERSITAT WIEN
Austria

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Pubblicazioni

Other (2)

Carnap on the Formality of Logic and Mathematics

Autori: Georg Schiemer
Pubblicato in: Cambridge University Press, 2024, ISBN 978-1-009-09820-5
Editore: Cambridge University Press
DOI: 10.1017/9781009099080.013

Introduction: Symbolic Logic and Scientific Philosophy

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

Peer reviewed articles (6)

Hilbert on categoricity and completeness

Autori: Eduardo N. Giovannini, Georg Schiemer
Pubblicato in: Synthese, Numero 206, 2025, ISSN 1573-0964
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05345-4

Hilbert and Schröder’s mathematical logic

Autori: Moritz Bodner
Pubblicato in: Synthese, Numero 207, 2026, ISSN 1573-0964
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05401-Z

Peacock's Principle of Permanence and Hankel's Reception

Autori: Anna Bellomo
Pubblicato in: HOPOS: The Journal of the International Society for the History of Philosophy of Science, 2025, ISSN 2152-5188
Editore: University of Chicago Press
DOI: 10.1086/734645

Hilbert’s Early Metatheory Revisited

Autori: Eduardo N. Giovannini, Georg Schiemer
Pubblicato in: Erkenntnis, 2025, ISSN 0165-0106
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S10670-025-00959-Z

Hilbert’s problems, Kant, and decidability

Autori: Moritz Bodner
Pubblicato in: Archive for History of Exact Sciences, Numero 79, 2025, ISSN 0003-9519
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S00407-025-00350-Y

Structuralism and informal provability

Autori: Georg Schiemer, John Wigglesworth
Pubblicato in: SPRINGER, 2023, ISSN 0039-7857
Editore: SPRINGER
DOI: 10.1007/s11229-023-04274-4

Book chapters (1)

Ernst Cassirers theoretische Philosophie

Pubblicato in: 2025
Editore: FELIX MEINER VERLAG
DOI: 10.28937/978-3-7873-4945-6