This project aims to bring together the study of classicality and non-classicality within the fields of mathematical logic and philosophy of logic. The project is divided into two parts. First, we will unify classical and non-clas...
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
FORMALISM
The Formal Turn - The Emergence of Formalism in Twentieth-Ce...
2M€
Cerrado
Duración del proyecto: 25 meses
Fecha Inicio: 2023-04-03
Fecha Fin: 2025-05-31
Líder del proyecto
Innovasjon Norge
No se ha especificado una descripción o un objeto social para esta compañía.
Presupuesto del proyecto
227K€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
This project aims to bring together the study of classicality and non-classicality within the fields of mathematical logic and philosophy of logic. The project is divided into two parts. First, we will unify classical and non-classical foundations of mathematics within a set-theoretic framework. Moreover, our approach is distinctive from previous attempts of such unification. We believe only an algebraic approach has sufficient generality for such a task. Secondly, we will extend our reconciliation of classicality and non-classicality to the area of philosophy of logic and philosophy of set theory. In particular, we plan to unify the study of set-theoretic and logical pluralism. We believe this will allow us to gain new insights into both fields of study.