Opendata, web and dolomites

FOREMOTIONS

Formal Frameworks for Modal Notions Conceived as Predicates

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "FOREMOTIONS" data sheet

The following table provides information about the project.

Coordinator
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN 

Organization address
address: GESCHWISTER SCHOLL PLATZ 1
city: MUENCHEN
postcode: 80539
website: www.uni-muenchen.de

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 http://carlonicolai.github.io
 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

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN DE (MUENCHEN) coordinator 159˙460.00

Map

 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.

 Publications

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
2017 CARLO NICOLAI
EQUIVALENCES FOR TRUTH PREDICATES
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 (fabio@fabiodisconzi.com) 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.)

ACES (2019)

Antarctic Cyclones: Expression in Sea Ice

Read More  

OSeaIce (2019)

Two-way interactions between ocean heat transport and Arctic sea ice

Read More  

EcoSpy (2018)

Leveraging the potential of historical spy satellite photography for ecology and conservation

Read More