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

Información del proyecto

FORMALISM

Identificador del acuerdo de subvención: 101044114

DOI

10.3030/101044114

Fecha de la firma de la CE 16 Agosto 2022

Fecha de inicio 1 Septiembre 2022

Fecha de finalización 31 Agosto 2027

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 987 840,00

Aportación de la UE

€ 1 987 840,00

Coordinado por

UNIVERSITAT WIEN
Austria

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publicaciones

Other (2)

Carnap on the Formality of Logic and Mathematics

Autores: Georg Schiemer
Publicado en: Cambridge University Press, 2024, ISBN 978-1-009-09820-5
Editor: Cambridge University Press
DOI: 10.1017/9781009099080.013

Introduction: Symbolic Logic and Scientific Philosophy

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

Peer reviewed articles (4)

Peacock's Principle of Permanence and Hankel's Reception

Autores: Anna Bellomo
Publicado en: HOPOS: The Journal of the International Society for the History of Philosophy of Science, 2025, ISSN 2152-5188
Editor: University of Chicago Press
DOI: 10.1086/734645

Hilbert’s Early Metatheory Revisited

Autores: Eduardo N. Giovannini, Georg Schiemer
Publicado en: Erkenntnis, 2025, ISSN 0165-0106
Editor: Springer Science and Business Media LLC
DOI: 10.1007/S10670-025-00959-Z

Hilbert’s problems, Kant, and decidability

Autores: Moritz Bodner
Publicado en: Archive for History of Exact Sciences, Edición 79, 2025, ISSN 0003-9519
Editor: Springer Science and Business Media LLC
DOI: 10.1007/S00407-025-00350-Y

Structuralism and informal provability

Autores: Georg Schiemer, John Wigglesworth
Publicado en: SPRINGER, 2023, ISSN 0039-7857
Editor: SPRINGER
DOI: 10.1007/s11229-023-04274-4