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

ExtenDD

Financiado

Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms

The project is concerned with two areas which so far have rarely come together: complex terms and proof theory. ExtenDD focuses on definite descriptions as the most important and troublesome singular terms and on sequent calculus... ver más

30/09/2027

UNIWERSYTET LODZKI

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

UNIWERSYTET LODZKI 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-09-05

ERC-2021-ADG: ERC ADVANCED GRANTS Scope:Objectives

I+D

Cerrada hace 3 años

0% 100% 100%

1 Participantes

UNIWERSYTET LODZKI

1.63M€ | 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

FFI2009-09345 NOCIONES DE COMPLETUD 48K€ Cerrado

NEAT Non-linear Existential Arithmetic Theories 181K€ Cerrado

EPRICOT Efficient Proofs and Computation A Unified Algebraic Appro... 2M€ Cerrado

STARTDIALOG Towards a Systematic Theory of Aristotelian Diagrams in Logi... 1M€ Cerrado

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

Duración del proyecto: 60 meses Fecha Inicio: 2022-09-05
Fecha Fin: 2027-09-30

Líder del proyecto

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

TRL 4-5

Presupuesto del proyecto 2M€

Descripción del proyecto The project is concerned with two areas which so far have rarely come together: complex terms and proof theory. ExtenDD focuses on definite descriptions as the most important and troublesome singular terms and on sequent calculus and its generalizations as the most important tool of modern proof theory. Since Russell's 'On Denoting', regarded as a paradigm of analytic philosophy, definite descriptions occupy a central place in philosophical research and many deep and detailed studies have been carried out. The second half of the 20th century saw the development of new approaches to this phenomenon based on non-classical logics, in particular free logic in which, contrary to Frege's and Russell's classical logic, it is not assumed that every term refers. Yet despite the long history of research into definite descriptions, a paradigm of formal logic has so far rarely been applied to them: proof theory. The methods developed by Gentzen, in particular those relating to his sequent calculus, provide the means for the deepest study of proofs and their properties. Yet only a small effort has so far been put into the adequate treatment of definite descriptions in this framework. The same counts for other complex singular terms such as set abstracts and number operators. ExtenDD fills this important gap in research. Applying the methods of proof theory to definite descriptions is profitable to both sides. Competing theories of definite descriptions and complex terms in general, their advantages and shortcomings, are shown in a new light. The behaviour of complex terms needs subtle syntactical analysis and requires enriching the toolkit of proof theory. ExtenDD deals with both challenges: it develops formal theories of definite descriptions and modifies the machinery of proof theory to cover new areas of application. The realization of ExtenDD affects significantly the field of proof theory, automated deduction and philosophy of language.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores