Summary
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.
Unfold all
/
Fold all
More information & hyperlinks
| Web resources: | https://cordis.europa.eu/project/id/101110740 |
| Start date: | 01-06-2023 |
| End date: | 31-05-2025 |
| Total budget - Public funding: | - 226 751,00 Euro |
Cordis data
Original description
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.Status
SIGNEDCall topic
HORIZON-MSCA-2022-PF-01-01Update Date
31-07-2023
Images
No images available.
Geographical location(s)
