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

GENERALISE

Financiado

Cerrado

Generalisation into sentence and predicate positions

Generalisations are fundamental to every scientific discipline: ‘Every cell has a plasma membrane’, ‘Every electron has a negative charge’, ‘Every natural number has a unique successor’. By means of generalisation we turn a statem... ver más

31/08/2028

UvA

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

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

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-09-01

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

I+D

Cerrada hace 3 años

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UvA

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

MTM2011-26840 TEORIA DE MODELOS Y APLICACIONES 47K€ Cerrado

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

MTM2014-59178-P LOGICA MATEMATICA 47K€ Cerrado

STSTT The Set Theory of Semantic Theories of Truth 209K€ Cerrado

SYSMICS Syntax Meets Semantics Methods Interactions and Connecti... 581K€ Cerrado

MTM2008-01545 TEORIA DE MODELOS 45K€ Cerrado

Duración del proyecto: 59 meses Fecha Inicio: 2023-09-01
Fecha Fin: 2028-08-31

Líder del proyecto

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

TRL 4-5

Presupuesto del proyecto 1M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Generalisations are fundamental to every scientific discipline: ‘Every cell has a plasma membrane’, ‘Every electron has a negative charge’, ‘Every natural number has a unique successor’. By means of generalisation we turn a statement about a particular individual into a statement about a class of entities. Generalisations are essential to valid deductive reasoning. They are the building blocks of virtually every scientific theory, and therefore essential to understanding, explaining, and making predictions. The most basic and best understood form of generalisation is generalisation over objects (e.g. cells, electrons, numbers). In formal logic, this form of generalisation is achieved via first-order quantifiers, i.e. operators that bind variables in argument position. But many theoretical contexts require generalisation into sentence and predicate positions, a high-level form of generalisation where we make a general statement about a class of statements (e.g. mathematical induction, laws of logic). There are two competing methods for achieving this form of generality (i.e. higher-order logic and self-applicable theories of truth, properties, and sets respectively). As both methods come with their own ideological and ontological commitments, it makes a substantial difference which one is chosen as the framework for formulating our mathematical, scientific, and philosophical theories. Some research has been done in this direction but it is still very much in its early stages. This research project will significantly advance this foundational project. It will provide the first sustained systematic investigation of the two methods from a unified perspective, and develop novel formal tools to articulate deductively strong theories. Due to its foundational character, it will have an impact on many disciplines, especially the foundations of mathematics, logic, formal semantics, metaphysics, philosophy of language, and theoretical computer science.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores