Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

STARTDIALOG

Financiado

Towards a Systematic Theory of Aristotelian Diagrams in Logical Geometry

Aristotelian diagrams, such as the square of opposition, have been widely used throughout the history of philosophy and logic. Nowadays, they also have several applications in other disciplines that are concerned with logical reas... ver más

31/08/2027

KU Leuven

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

KATHOLIEKE UNIVERSITEIT LEUVEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2022-04-22

ERC-2021-STG: ERC STARTING GRANTS Scope:Objectives

I+D

Cerrada hace 3 años

0% 100% 100%

1 Participantes

KU Leuven

1.44M€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

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

ExtenDD Coming to Terms: Proof Theory Extended to Definite Descripti... 2M€ Cerrado

FFI2009-09345 NOCIONES DE COMPLETUD 48K€ Cerrado

FFI2011-23125 LA ARGUMENTACION EN LA ESFERA PUBLICA: EL PARADIGMA DE LA DE... 39K€ Cerrado

FFI2010-15704 CONCEPTOS DE ORDEN SUPERIOR. UNA APROXIMACION EXPRESIVISTA 100K€ Cerrado

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

Duración del proyecto: 64 meses Fecha Inicio: 2022-04-22
Fecha Fin: 2027-08-31

Líder del proyecto

KATHOLIEKE UNIVERSITEIT LEUVEN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

Descripción del proyecto Aristotelian diagrams, such as the square of opposition, have been widely used throughout the history of philosophy and logic. Nowadays, they also have several applications in other disciplines that are concerned with logical reasoning, such as psychology, linguistics and computer science. However, many of the applications of Aristotelian diagrams suffer from substantial problems, often due to a lack of understanding of the intricate logical properties of these diagrams. Consequently, the tremendous heuristic potential of Aristotelian diagrams has remained vastly underappreciated thus far. The overarching goal of the STARTDIALOG project is to develop a unified theory of Aristotelian diagrams. We will use a radically new research strategy to accomplish this goal, viz. developing a systematic typology of Aristotelian diagrams in close interplay with a comprehensive diagram database. This empirically informed typology will systematically organize all our (existing and new) knowledge about Aristotelian diagrams, similarly to the role of Mendeleev's periodic table of the elements in chemistry. This will enable us to clarify and solve many of the issues that currently surround the applications of these diagrams, and thereby lead to a more accurate understanding of their methodological importance. This unified theory will allow us to move beyond the specific details of any given application, and to study Aristotelian diagrams as objects of independent interest. This will constitute a major breakthrough in logical geometry, i.e. the theoretical investigation of Aristotelian diagrams. However, because of the widely interdisciplinary use of these diagrams, the scientific impact of the STARTDIALOG project will reach far beyond the boundaries of logical geometry: its results will be relevant for other philosophical logicians as well, for philosophers in general, and ultimately, for all researchers who make use of Aristotelian diagrams in their research on logical reasoning.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores