SubsidieMeestersThe Formal Turn - The Emergence of Formalism in Twentieth-Century Thought
This project aims to provide an interdisciplinary study of the emergence and implications of formalism in early 20th-century science and logic through historical and comparative analyses.
Projectdetails
Introduction
The philosophy of science and logic underwent a wide-ranging formal turn in the first half of the twentieth century. This shift is characterized by a new emphasis on formal methods and the adoption of a general formalist viewpoint towards the disciplines in question. The project will give a first interdisciplinary and comparative study of early contributions to formalism in twentieth-century thought.
Objectives
This general objective will be addressed in terms of three interrelated subprojects:
-
Historical Reconstruction
The first subproject is historical in character and aims at a historical reconstruction of the emergence of formalist thinking in nineteenth-century mathematics and neo-Kantian epistemology. On the mathematical side, the project will retrace several methodological developments in geometry and algebra between 1860 and 1910 that contributed to a formalist conception of these fields.Regarding its philosophical roots, the focus will be on contributions to a formalist notion of scientific objectivity in the work of the Marburg school of neo-Kantianism (Hermann Cohen, Ernst Cassirer, Paul Natorp).
-
Comparative Study
The second subproject will give a comparative study of the formal turn in logic and logical empiricism between 1920 and 1940. This includes research on the foundations of mathematics and the formality of logic by members of the Göttingen school (David Hilbert, Paul Bernays, Gerhard Gentzen) as well as central contributions to a scientific formalism in logical empiricism (Rudolf Carnap, Moritz Schlick). -
Philosophical Implications
The third subproject will analyze the philosophical implications of the formal turn for the subsequent shaping of these fields. The emergence of formalist thinking was closely related to the development of new theories of semantics in logic and philosophy.
Conclusion
The aim will therefore be to connect the early contributions to formalism with contemporary debates on the philosophy of model theory and inferentialism as well as with the logical study of scientific theories.
Financiële details & Tijdlijn
Financiële details
| Subsidiebedrag | € 1.987.840 |
| Totale projectbegroting | € 1.987.840 |
Tijdlijn
| Startdatum | 1-9-2022 |
| Einddatum | 31-8-2027 |
| Subsidiejaar | 2022 |
Partners & Locaties
Projectpartners
- UNIVERSITAT WIENpenvoerder
Land(en)
Vergelijkbare projecten binnen European Research Council
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
MANUNKIND: Determinants and Dynamics of Collaborative ExploitationThis project aims to develop a game theoretic framework to analyze the psychological and strategic dynamics of collaborative exploitation, informing policies to combat modern slavery. | ERC STG | € 1.497.749 | 2022 | Details |
Elucidating the phenotypic convergence of proliferation reduction under growth-induced pressureThe UnderPressure project aims to investigate how mechanical constraints from 3D crowding affect cell proliferation and signaling in various organisms, with potential applications in reducing cancer chemoresistance. | ERC STG | € 1.498.280 | 2022 | Details |
Uncovering the mechanisms of action of an antiviral bacteriumThis project aims to uncover the mechanisms behind Wolbachia's antiviral protection in insects and develop tools for studying symbiont gene function. | ERC STG | € 1.500.000 | 2023 | Details |
The Ethics of Loneliness and SociabilityThis project aims to develop a normative theory of loneliness by analyzing ethical responsibilities of individuals and societies to prevent and alleviate loneliness, establishing a new philosophical sub-field. | ERC STG | € 1.025.860 | 2023 | Details |
MANUNKIND: Determinants and Dynamics of Collaborative Exploitation
This project aims to develop a game theoretic framework to analyze the psychological and strategic dynamics of collaborative exploitation, informing policies to combat modern slavery.
Elucidating the phenotypic convergence of proliferation reduction under growth-induced pressure
The UnderPressure project aims to investigate how mechanical constraints from 3D crowding affect cell proliferation and signaling in various organisms, with potential applications in reducing cancer chemoresistance.
Uncovering the mechanisms of action of an antiviral bacterium
This project aims to uncover the mechanisms behind Wolbachia's antiviral protection in insects and develop tools for studying symbiont gene function.
The Ethics of Loneliness and Sociability
This project aims to develop a normative theory of loneliness by analyzing ethical responsibilities of individuals and societies to prevent and alleviate loneliness, establishing a new philosophical sub-field.
Vergelijkbare projecten uit andere regelingen
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Polyphonic Philosophy: Logic in the Long Twelfth Century (c. 1070-1220) for a New Horizon in the History of PhilosophyThis project explores 12th-century Latin logical commentaries through an interdisciplinary lens to reshape philosophical history and develop innovative digital editions of unpublished texts. | ERC STG | € 1.498.215 | 2022 | Details |
Formalisation of Constructive Univalent Type TheoryThe project aims to explore the correspondence between dependent type theory and homotopy theory to develop new mathematical foundations and enhance proof systems for complex software and proofs. | ERC ADG | € 2.499.776 | 2022 | Details |
Construction in the Formal SciencesC-FORS aims to revolutionize the foundations of mathematics and philosophy by applying a new constructional approach to intensional entities, addressing longstanding paradoxes and fostering interdisciplinary research. | ERC ADG | € 2.023.956 | 2023 | Details |
Coming to Terms: Proof Theory Extended to Definite Descriptions and other TermsExtenDD integrates proof theory and complex terms by developing formal theories of definite descriptions and enhancing sequent calculus, impacting automated deduction and philosophy of language. | ERC ADG | € 1.629.775 | 2022 | Details |
Polyphonic Philosophy: Logic in the Long Twelfth Century (c. 1070-1220) for a New Horizon in the History of Philosophy
This project explores 12th-century Latin logical commentaries through an interdisciplinary lens to reshape philosophical history and develop innovative digital editions of unpublished texts.
Formalisation of Constructive Univalent Type Theory
The project aims to explore the correspondence between dependent type theory and homotopy theory to develop new mathematical foundations and enhance proof systems for complex software and proofs.
Construction in the Formal Sciences
C-FORS aims to revolutionize the foundations of mathematics and philosophy by applying a new constructional approach to intensional entities, addressing longstanding paradoxes and fostering interdisciplinary research.
Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms
ExtenDD integrates proof theory and complex terms by developing formal theories of definite descriptions and enhancing sequent calculus, impacting automated deduction and philosophy of language.