Description du projet
Établir les fondements de théories unifiées des notions sémantiques et de la paradoxalité
Les concepts sémantiques tels que la vérité, la validité et la paradoxalité sont des éléments essentiels des enquêtes philosophiques et logiques. Les approches qui analysent les concepts sémantiques individuellement, plutôt que globalement, se sont révélées inadéquates. Toutefois, l’établissement d’approches unifiées décrivant simultanément différentes notions sémantiques est un défi majeur, qui est encore compliqué par des concepts qui défient le traitement formel, tels que la paradoxalité. Soutenu par le programme Actions Marie Skłodowska-Curie, le projet AXIOMS vise à relever ce défi en établissant les fondements formels et philosophiques de théories unifiées des notions sémantiques et de la paradoxalité. Dans le but de développer des systèmes axiomatiques modélisant leur comportement, il identifiera les principes formels de paradoxalité compatibles avec les règles de raisonnement classiques ou non classiques et analysera la relation entre la paradoxalité et d’autres concepts fondamentaux, tels que la vérité.
Objectif
Semantic notions such as truth, validity, and paradoxicality are central to both philosophical and logical inquiries, shaping our understanding of language, meaning, and rationality. An approach studying semantic concepts individually, rather than globally, has proven insufficient. Developing unified systems describing multiple semantic notions simultaneously is a key and outstanding challenge in contemporary philosophical logic. This challenge is made particularly complex by concepts which are reluctant to formal treatment, like 'paradoxicality'. At present, it is unknown whether formal theories of paradoxicality can even be developed.
AXIOMS aims to address this challenge by providing formal and philosophical foundations for unified theories of semantic notions and paradoxicality. Specifically, the project seeks to pioneer the development of axiomatic systems modeling their behaviour. It will determine which formal principles for paradoxicality are consistent with various rules of reasoning, and it will investigate how paradoxicality interacts with other key notions, such as truth. Moreover, AXIOMS will explore the potential duality between paradoxicality and 'determinateness', a concept currently at the forefront of logical and philosophical research. This part of the project will be carried out under the supervision of Prof. Volker Halbach during a secondment at the University of Oxford.
The impact of AXIOMS extends beyond its immediate scope. It promises to (i) influence ongoing philosophical debates on topics such as classical recapture and (ii) serve as a critical step toward constructing formal and artificial systems capable of reasoning globally with diverse semantic information. For the researcher, the project offers an opportunity to deepen cross-disciplinary expertise, expand his publication record, and acquire a wide range of transferable skills, significantly enhancing his prospects for securing an ERC Starting Grant or a tenure-track position.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
La classification de ce projet a été validée par des humains.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
La classification de ce projet a été validée par des humains.
Mots‑clés
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
-
HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA)
PROGRAMME PRINCIPAL
Voir tous les projets financés dans le cadre de ce programme
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
HORIZON-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships
Voir tous les projets financés dans le cadre de ce programme de financement
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
(s’ouvre dans une nouvelle fenêtre) HORIZON-MSCA-2024-PF-01
Voir tous les projets financés au titre de cet appelCoordinateur
La contribution financière nette de l’UE est la somme d’argent que le participant reçoit, déduite de la contribution de l’UE versée à son tiers lié. Elle prend en compte la répartition de la contribution financière de l’UE entre les bénéficiaires directs du projet et d’autres types de participants, tels que les participants tiers.
1012WX Amsterdam
Pays-Bas
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.