Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

PROCESS REASONING

Financiado

Reasoning about processes a logico philosophical investigation

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 const... ver más

31/12/2022

207K€

Presupuesto del proyecto: 207K€

Líder del proyecto

AARHUS UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2022-12-31

Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:

MSCA-IF-2019: Individual Fellowships

I+D

Cerrada hace 5 años

0% 100% 100%

2 Participantes

207.31K€ | Lider

TEIN QUIMICA S A

Proyectos interesantes

LoC The Logic of Conceivability Modelling Rational Imagination... 2M€ Cerrado

InqML Inquisitive Modal Logic 971K€ Cerrado

FFI2013-47126-P LOGICA INTENSIONAL HIBRIDA 35K€ Cerrado

FFI2011-29609-C02-01 CONCIENCIA, LOGICA Y COMPUTACION 58K€ Cerrado

PID2019-107667GB-I00 MUNDOS Y VALORES DE VERDAD: RETOS PARA LA SEMANTICA FORMAL 48K€ Cerrado

TIN2016-76653-P HERRAMIENTAS FORMALES DIFUSAS PARA RAZONAMIENTO NO CANONICO 52K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Duración del proyecto: 33 meses Fecha Inicio: 2020-03-04
Fecha Fin: 2022-12-31

Líder del proyecto

AARHUS UNIVERSITET

TRL 4-5

Presupuesto del proyecto 207K€

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores