Formal Frameworks for Modal Notions Conceived as Predicates

Projektinformationen

FOREMOTIONS

ID Finanzhilfevereinbarung: 658285

DOI 10.3030/658285

Das Projekt endete am 25 August 2017

EK-Unterschriftsdatum 6 März 2015

Startdatum 1 Januar 2016

Enddatum 31 Dezember 2017

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten € 159 460,80

EU-Beitrag € 159 460,80

Koordiniert durch

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

Ziel

Philosophy strives for a better understanding of modal notions such as necessity, possibility, truth, knowledge. Modal logic, however, the formal tool privileged by philosophers to shape their theories about intensional notions, displays severe drawbacks: its use determines an incoherent treatment of different kinds of modalities and it is expressively weak as important general claims are not fully formalizable in it. In the project I develop an alternative approach to modal notions. Instead of treating them as operators applying to formulas, I will consider them as predicates applying to terms naming formulas. The overarching aim of the proposal is to provide philosophy with an expressive and coherent framework that could represent a valid alternative to modal logic. More precisely, I will develop three research objectives corresponding to three fundamental research gaps traceable in the current literature on modal predicates: the formulation of a natural account of the bearers of modal notions, a consistent and mathematically powerful treatment of the interaction of modal predicates, a predicate approach to de re modal ascriptions that will open the way for a new approach to modal metaphysics in the predicate setting. The project will develop a unified effort to bridge mathematical logic, philosophy of mathematics and metaphysics. It will result in the establishment of leading research profile setting the agenda for a network of researchers in the flourishing area of mathematical philosophy.

Wissenschaftliches Gebiet

• humanities › philosophy, ethics and religion › philosophy › history of philosophy › contemporary philosophy
• natural sciences › mathematics › pure mathematics › discrete mathematics › mathematical logic
• humanities › philosophy, ethics and religion › philosophy › metaphysics

Schlüsselbegriffe

• Logical and Semantic Paradoxes
• Meta-mathematics
• Metaphysics
• Ontology

Programm/Programme

• H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme
• H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility

Thema/Themen

• MSCA-IF-2014-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF)

Aufforderung zur Vorschlagseinreichung

H2020-MSCA-IF-2014

Finanzierungsplan

MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)

Koordinator

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN

• Netto-EU-Beitrag: € 159 460,80
• Adresse: GESCHWISTER SCHOLL PLATZ 1 ; 80539 Muenchen ; Deutschland
• Region: Bayern › Oberbayern › München, Kreisfreie Stadt
• Aktivitätstyp: Higher or Secondary Education Establishments
• Gesamtkosten: € 159 460,80