Descripción del proyecto
Una cuestión de semántica: un nuevo significado para la mecánica cuántica y la teoría de conjuntos
La semántica, la relación entre las palabras y su significado, se aplica tanto a los lenguajes naturales como a los de programación. La definición de verdad de Tarski, que postula los criterios de una oración «verdadera», también es fundamental para ambos lenguajes. El desarrollo de conceptos semánticos basados en esta definición puede enriquecerse a través de la denominada «semántica de equipo», es decir, agrupar asignaciones de variables en lugar de tratar asignaciones individuales. En este contexto surgen los conceptos semánticos de dependencia e independencia. Dichos equipos aparecen de forma natural en varios campos, incluidas las ciencias y las humanidades. En el proyecto TEAMDEP, financiado con fondos europeos, se está ampliando la semántica de equipos y la lógica de la dependencia con aplicaciones en la mecánica cuántica y la teoría de conjuntos.
Objetivo
"In the traditional so-called Tarski’s Truth Definition the semantics of first order logic is defined with respect to an assignment of values to the free variables. A richer family of semantic concepts can be modelled if semantics is defined with respect to a set (a ""team"") of such assignments. This is what is called team semantics, a term coined by the PI in his 2007 monograph, and used ever since to describe this highly non-trivial modification of Tarskian semantics. Team semantics was introduced around the same time in inquisitive logic under the name state semantics. Examples of semantic concepts available in team semantics but not in traditional Tarski semantics are the concepts of dependence and independence. The PI introduced what he called dependence logic around these concepts. It appears that teams appear naturally in several areas of sciences and humanities which has made it possible to apply dependence logic and its variants to these areas. Now is the right moment to move from dependence logic to a broader explication of team semantics. This is what the TEAMDEP project proposes to do. In the TEAMDEP project we take team semantics to a new level by focusing on its hard axiomatizability questions and to its applications to the foundations of quantum mechanics and to the multiverse of set theory."
Palabras clave
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
PROGRAMA PRINCIPAL
Ver todos los proyectos financiados en el marco de este programa
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
ERC-ADG - Advanced Grant
Ver todos los proyectos financiados en el marco de este régimen de financiación
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
(se abrirá en una nueva ventana) ERC-2020-ADG
Ver todos los proyectos financiados en el marco de esta convocatoriaInstitución de acogida
Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.
00014 HELSINGIN YLIOPISTO
Finlandia
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.