Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Truth within Proof-Theoretic Semantics

Descripción del proyecto

Semántica para la verdad deflacionaria

La verdad es crucial en todos nuestros discursos. Estudiarla en la actualidad sobre la base filosófica y semántica tradicional basada en la relación de la verdad y la realidad correspondiente desvela muchas paradojas. La alternativa más prometedora es un enfoque deflacionario moderno en filosofía, basado en afirmaciones de verdad de predicado de un enunciado, y no de atributo de «verdad». La semántica teórica de la prueba puede ofrecer una explicación inferencialista del deflacionismo. Sin embargo, falta la compatibilidad de la investigación de la semántica teórica de la prueba dentro de este enfoque de la verdad. El proyecto Truth in PTS, financiado por con fondos europeos, colmará esta laguna y proporcionará una nueva semántica teórica de la prueba para la verdad deflacionaria. Se centrará en las lógicas intuicionistas e intermedias para apoyar el deflacionismo, lo que depurará sus implicaciones y contenidos.

Objetivo

Truth plays an important role in our everyday discourse. However, the philosophical study of truth has proven challenging. The semantics of truth is complicated both by questions of the nature of truth and by the paradoxes naïve theories generate. Traditional views about truth hold that a statement is true if it corresponds to reality. These views require positing a correspondence relation between reality on the one hand and language on the other; spelling out the details of such an account has fallen prey to vicious circle arguments and other accusations of triviality. Deflationism about truth, in contrast, assumes that the meaning of “true” can be explained with reference only to its linguistic and logical role. As such, it is natural to try and clarify the content of deflationism by offering an inferentialist explanation of deflationism. Proof-theoretic semantics brings precision to inferentialism. Hence, if the truth predicate can be given a proof-theoretic semantics, we will finally be able to state precisely what deflationism amounts to. The main objective of this project is to assess to what extent proof-theoretic semantics is compatible with the deflationist conception of truth and to deploy proof-theoretic semantics in elucidating what it means for truth to be a metaphysically light notion. This is important because it has been argued that no proof-theoretic semantics can be given to truth. However, the argument is based on a naïve, classical, inflationary notion of truth. Deflationism opens up a non-classical, non- naïve approach to truth. There is no research on whether proof-theoretic semantics is compatible with this approach to truth. This project will provide a proof-theoretic semantics for deflationary truth, focusing on intuitionistic and intermediate logics, and thereby give strong support to deflationism and clarify its implications and contents.

Palabras clave

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.

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.

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.

MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)

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.

(se abrirá en una nueva ventana) H2020-MSCA-IF-2020

Ver todos los proyectos financiados en el marco de esta convocatoria

Coordinador

UNIVERSITY OF BRISTOL
Aportación neta de la UEn

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.

€ 212 933,76
Dirección
BEACON HOUSE QUEENS ROAD
BS8 1QU BRISTOL
Reino Unido

Ver en el mapa

Región
South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Bristol, City of
Tipo de actividad
Higher or Secondary Education Establishments
Enlaces
Coste total

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.

€ 212 933,76
Mi folleto 0 0