The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought
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...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
NUMBERS
Number Cognition and Philosophy of Arithmetic
181K€
Cerrado
C-FORS
Construction in the Formal Sciences
2M€
Cerrado
FFI2016-79923-P
NATURALISMO Y LAS CIENCIAS DE LA RACIONALIDAD: UNA FILOSOFIA...
35K€
Cerrado
FFI2008-01580
REPRESENTACION Y EXPLICACION: ANALISIS INHERENTISTAS Y FUNCI...
54K€
Cerrado
UCAN
Unifying classicality and non-classicality
227K€
Cerrado
FFI2017-83932-P
INSCRIPCIONES LITERARIAS DE LA CIENCIA. COGNICION, EPISTEMOL...
24K€
Cerrado
Información proyecto FORMALISM
Duración del proyecto: 59 meses
Fecha Inicio: 2022-09-01
Fecha Fin: 2027-08-31
Líder del proyecto
UNIVERSITAT WIEN
No se ha especificado una descripción o un objeto social para esta compañía.
TRL
4-5
Presupuesto del proyecto
2M€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
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. This general objective will be addressed in terms of three interrelated subprojects. 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). 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). 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. 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.