Opendata, web and dolomites


Formal Frameworks for Modal Notions Conceived as Predicates

Total Cost €


EC-Contrib. €






Project "FOREMOTIONS" data sheet

The following table provides information about the project.


Organization address
postcode: 80539

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Germany [DE]
 Project website
 Total cost 159˙460 €
 EC max contribution 159˙460 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2014
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2016
 Duration (year-month-day) from 2016-01-01   to  2017-12-31


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 


 Project objective

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.


year authors and title journal last update
List of publications.
2017 Carlo Nicolai, Lorenzo Rossi
Principles for Object-Linguistic Consequence: from Logical to Irreflexive
published pages: , ISSN: 0022-3611, DOI: 10.1007/s10992-017-9438-x
Journal of Philosophical Logic 2019-06-14
2018 Carlo Nicolai
Necessary Truths and Supervaluations
published pages: , ISSN: , DOI: 10.1515/9783110529494-019
From Arithmetic to Metaphysics: A Path Through Philosophical Logic 2019-06-14
published pages: 1-35, ISSN: 1755-0203, DOI: 10.1017/S1755020316000435
The Review of Symbolic Logic 2019-06-14
2017 Volker Halbach, Carlo Nicolai
On the Costs of Nonclassical Logic
published pages: , ISSN: 0022-3611, DOI: 10.1007/s10992-017-9424-3
Journal of Philosophical Logic 2019-06-14
2018 Carlo Nicolai, Mario Piazza
The Implicit Commitment of Arithmetical Theories and Its Semantic Core
published pages: , ISSN: 0165-0106, DOI: 10.1007/s10670-018-9987-6
Erkenntnis 2019-06-14
2016 Carlo Nicolai
A Note on Typed Truth and Consistency Assertions
published pages: 89-119, ISSN: 0022-3611, DOI: 10.1007/s10992-015-9366-6
Journal of Philosophical Logic 45/1 2019-06-14
2018 Carlo Nicolai
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth
published pages: 101-130, ISSN: 0039-3215, DOI: 10.1007/s11225-017-9727-y
Studia Logica 106/1 2019-06-14
2017 Martin Fischer, Carlo Nicolai, Leon Horsten
Iterated reflection over full disquotational truth
published pages: , ISSN: 0955-792X, DOI:
Journal of Logic and Computation 2019-06-14

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "FOREMOTIONS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "FOREMOTIONS" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

MingleIFT (2020)

Multi-color and single-molecule fluorescence imaging of intraflagellar transport in the phasmid chemosensory cilia of C. Elegans

Read More  

EPIC (2019)

Evolution of Planktonic Gastropod Calcification

Read More  

MathematicsAnalogies (2019)

Mathematics Analogies

Read More