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

Informacje na temat projektu

FORMALISM

Identyfikator umowy o grant: 101044114

DOI

10.3030/101044114

Data podpisania przez KE 16 Sierpnia 2022

Data rozpoczęcia 1 Września 2022

Data zakończenia 31 Sierpnia 2027

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 987 840,00

Wkład UE

€ 1 987 840,00

Koordynowany przez

UNIVERSITAT WIEN
Austria

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publikacje

Other (2)

Carnap on the Formality of Logic and Mathematics

Autorzy: Georg Schiemer
Opublikowane w: Cambridge University Press, 2024, ISBN 978-1-009-09820-5
Wydawca: Cambridge University Press
DOI: 10.1017/9781009099080.013

Introduction: Symbolic Logic and Scientific Philosophy

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

Peer reviewed articles (6)

Hilbert on categoricity and completeness

Autorzy: Eduardo N. Giovannini, Georg Schiemer
Opublikowane w: Synthese, Numer 206, 2025, ISSN 1573-0964
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05345-4

Hilbert and Schröder’s mathematical logic

Autorzy: Moritz Bodner
Opublikowane w: Synthese, Numer 207, 2026, ISSN 1573-0964
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S11229-025-05401-Z

Peacock's Principle of Permanence and Hankel's Reception

Autorzy: Anna Bellomo
Opublikowane w: HOPOS: The Journal of the International Society for the History of Philosophy of Science, 2025, ISSN 2152-5188
Wydawca: University of Chicago Press
DOI: 10.1086/734645

Hilbert’s Early Metatheory Revisited

Autorzy: Eduardo N. Giovannini, Georg Schiemer
Opublikowane w: Erkenntnis, 2025, ISSN 0165-0106
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S10670-025-00959-Z

Hilbert’s problems, Kant, and decidability

Autorzy: Moritz Bodner
Opublikowane w: Archive for History of Exact Sciences, Numer 79, 2025, ISSN 0003-9519
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S00407-025-00350-Y

Structuralism and informal provability

Autorzy: Georg Schiemer, John Wigglesworth
Opublikowane w: SPRINGER, 2023, ISSN 0039-7857
Wydawca: SPRINGER
DOI: 10.1007/s11229-023-04274-4

Book chapters (1)

Ernst Cassirers theoretische Philosophie

Opublikowane w: 2025
Wydawca: FELIX MEINER VERLAG
DOI: 10.28937/978-3-7873-4945-6