Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch de
CORDIS - Forschungsergebnisse der EU
CORDIS

Paradoxicality and Semantic Notions: Philosophical and Axiomatic Foundations.

Projektbeschreibung

Schaffung von Grundlagen für einheitliche Theorien zu semantischen Begriffen und Paradoxien

Semantische Konzepte wie Wahrheit, Validität und Paradoxie sind Kernelemente sowohl philosophischer als auch logischer Untersuchungen. Methoden, die semantische Konzepte einzeln statt umfassend analysieren, haben sich als unzureichend erwiesen. Allerdings stellt die Etablierung einheitlicher Ansätze, die gleichzeitig unterschiedliche semantische Begriffe beschreiben, eine große Herausforderung dar, die durch Konzepte, die sich einer formalen Behandlung entziehen, wie beispielsweise Paradoxien, noch weiter verkompliziert wird. Das im Rahmen der Marie-Skłodowska-Curie-Maßnahmen geförderte Projekt AXIOMS will diese Herausforderung angehen, indem es formale und philosophische Grundlagen für einheitliche Theorien über semantische Begriffe und Paradoxie schafft. Das Ziel besteht darin, axiomatische Systeme zu entwickeln, die ihr Verhalten modellieren. Dabei wird ermittelt, welche formalen Prinzipien für Paradoxien mit klassischen oder nichtklassischen Regeln der Argumentation vereinbar sind, und es wird analysiert, wie Paradoxien mit anderen grundlegenden Konzepten wie Wahrheit zusammenhängen.

Ziel

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.

Wissenschaftliches Gebiet (EuroSciVoc)

Schlüsselbegriffe

Programm/Programme

Thema/Themen

Finanzierungsplan

HORIZON-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships

Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen

Aufforderung zur Vorschlagseinreichung

(öffnet in neuem Fenster) HORIZON-MSCA-2024-PF-01

Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigen

Koordinator

UNIVERSITEIT VAN AMSTERDAM
Netto-EU-Beitrag
€ 217 076,16
Gesamtkosten
Keine Daten

Partner (1)