UCAN
Financiado
Unifying classicality and non-classicality
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...
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.
ver más
Duración del proyecto: 25 meses
Fecha Inicio: 2023-04-03
Fecha Fin: 2025-05-31
Fecha Fin: 2025-05-31
Línea de financiación: concedida
El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-04-03
Línea de financiación objetivo
El proyecto se financió a través de la siguiente ayuda:
HORIZON-MSCA-2022-PF-01-01:
MSCA Postdoctoral Fellowships 2022
Cerrada
hace 2 años
Presupuesto
El presupuesto total del proyecto asciende a
227K€
Líder del proyecto
Innovasjon Norge
No se ha especificado una descripción o un objeto social para esta compañía.
