Opendata, web and dolomites


Reasoning about processes: a logico-philosophical investigation

Total Cost €


EC-Contrib. €






Project "PROCESS REASONING" data sheet

The following table provides information about the project.


Organization address
city: AARHUS C
postcode: 8000

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 Denmark [DK]
 Total cost 207˙312 €
 EC max contribution 207˙312 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2019
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2021
 Duration (year-month-day) from 2021-01-01   to  2022-12-31


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    AARHUS UNIVERSITET DK (AARHUS C) coordinator 207˙312.00


 Project objective

The goal of this project is to develop a formal framework for reasoning about processes, as a contribution to modal-temporal logic, process ontology, formal semantics, and AI. The core metaphysical idea is this: the world is constantly changing – it is full of happenings and doings –, and the future is open. Even though this idea meshes very well with our common-sense reasoning about the world, an entirely static – pointillistic – picture of reality has established itself as the standard theoretical account. On that picture, the world is but a sequence of static states, and change is nothing over and above an object having different properties at different times. While the static idea fits well with our mathematical description of the world, it does not square with our intuitions about time, change, and agency. The last decades have thus witnessed a growing interest in a dynamic world view, and theories building on genuine dynamic entities, such as processes, dispositions, or powers, are on the rise. Despite the increasing interest in a dynamic conception of reality, the formal foundations of such views are notoriously under-investigated. The present project aims to fill in this lacuna: building on previous work by the ER, the project will propose a formal account of processes as genuinely dynamic entities and implement that account in a branching time logic. In developing a dynamic account of processes and their modal-temporal properties, the project will draw on discussions in the metaphysics of time and modality in order to arrive at a formal framework that is philosophically well-informed. Vice versa, making the ideas formally precise will help to clarify fundamental metaphysical questions. But the prospects of the project go far beyond philosophy: a rigorous formal account of processes will also prove fruitful in the study of tense and aspect in linguistics, and it opens up the possibility for implementation in AI and social robotics.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "PROCESS REASONING" 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 "PROCESS REASONING" are provided by the European Opendata Portal: CORDIS opendata.

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

POMOC (2019)

Charles IV and the power of marvellous objects

Read More  

PNAIC (2018)

Positive and Negative Asymmetry in Intergroup Contact: Its Impact on Linguistic Forms of Communication and Physiological Responses

Read More  

NaWaTL (2020)

Narrative, Writing, and the Teotihuacan Language: Exploring Language History Through Phylogenetics, Epigraphy and Iconography

Read More