Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

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

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

Publications

Carnap on the Formality of Logic and Mathematics (opens in new window)

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 (opens in new window)

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

Peacock's Principle of Permanence and Hankel's Reception (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0