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

Informations projet

FORMALISM

N° de convention de subvention: 101044114

DOI

10.3030/101044114

Date de signature de la CE 16 Août 2022

Date de début 1 Septembre 2022

Date de fin 31 Août 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 987 840,00

Contribution de l’UE

€ 1 987 840,00

Coordonné par

UNIVERSITAT WIEN
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publications

Other (2)

Carnap on the Formality of Logic and Mathematics

Auteurs: Georg Schiemer
Publié dans: Cambridge University Press, 2024, ISBN 978-1-009-09820-5
Éditeur: Cambridge University Press
DOI: 10.1017/9781009099080.013

Introduction: Symbolic Logic and Scientific Philosophy

Auteurs: Paola Cantù, Georg Schiemer
Publié dans: Vienna Circle Institute Yearbook, Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle, 2024
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-42190-7_1

Peer reviewed articles (6)

Hilbert on categoricity and completeness

Auteurs: Eduardo N. Giovannini, Georg Schiemer
Publié dans: Synthese, Numéro 206, 2025, ISSN 1573-0964
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05345-4

Hilbert and Schröder’s mathematical logic

Auteurs: Moritz Bodner
Publié dans: Synthese, Numéro 207, 2026, ISSN 1573-0964
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05401-Z

Peacock's Principle of Permanence and Hankel's Reception

Auteurs: Anna Bellomo
Publié dans: HOPOS: The Journal of the International Society for the History of Philosophy of Science, 2025, ISSN 2152-5188
Éditeur: University of Chicago Press
DOI: 10.1086/734645

Hilbert’s Early Metatheory Revisited

Auteurs: Eduardo N. Giovannini, Georg Schiemer
Publié dans: Erkenntnis, 2025, ISSN 0165-0106
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S10670-025-00959-Z

Hilbert’s problems, Kant, and decidability

Auteurs: Moritz Bodner
Publié dans: Archive for History of Exact Sciences, Numéro 79, 2025, ISSN 0003-9519
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S00407-025-00350-Y

Structuralism and informal provability

Auteurs: Georg Schiemer, John Wigglesworth
Publié dans: SPRINGER, 2023, ISSN 0039-7857
Éditeur: SPRINGER
DOI: 10.1007/s11229-023-04274-4

Book chapters (1)

Ernst Cassirers theoretische Philosophie

Publié dans: 2025
Éditeur: FELIX MEINER VERLAG
DOI: 10.28937/978-3-7873-4945-6