Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

FFI2013-46451-P

Financiado

LOGICAS NO-TRANSITIVAS. UNA NUEVA APROXIMACION A LAS PARADOJAS

UNA PARADOJA ES UN ARGUMENTO APARENTEMENTE VALIDO, CON PREMISAS APARENTEMENTE VERDADERAS Y CONCLUSION APARENTEMENTE FALSA, NATURALMENTE, NO TODAS LAS APARIENCIAS ANTERIORES PUEDEN SER A LA VEZ VERDADERAS, EN OCASIONES RESULTA MUY... ver más

01/01/2013

UPNA

29K€

Presupuesto del proyecto: 29K€

Líder del proyecto

UNIVERSIDAD DE NAVARRA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 848

Ver Participantes

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2013-01-01

0% 100%

Participantes

UPNA

Lider

Proyectos interesantes

FFI2017-84805-P LOGIC AND SUBSTRUCTURALITY 29K€ Cerrado

PID2020-116502GB-I00 DOS PROBLEMAS TODAVIA ABIERTOS EN LOGICA DE LA RELEVANCIA: S... 32K€ Cerrado

FFI2015-70707-P LOCALISMO Y GLOBALISMO EN LOGICA Y SEMANTICA 53K€ Cerrado

UCAN Unifying classicality and non-classicality 227K€ Cerrado

MTM2014-59178-P LOGICA MATEMATICA 47K€ Cerrado

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

Últimas noticias

27-11-2024: Videojuegos y creaci... Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital

27-11-2024: DGIPYME En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones

27-11-2024: FUNDACION-EOI En las últimas 48 horas el Organismo FUNDACION EOI ha otorgado 2 concesiones

Líder del proyecto

UNIVERSIDAD DE NAVARRA

Total investigadores 848

Presupuesto del proyecto 29K€

Descripción del proyecto UNA PARADOJA ES UN ARGUMENTO APARENTEMENTE VALIDO, CON PREMISAS APARENTEMENTE VERDADERAS Y CONCLUSION APARENTEMENTE FALSA, NATURALMENTE, NO TODAS LAS APARIENCIAS ANTERIORES PUEDEN SER A LA VEZ VERDADERAS, EN OCASIONES RESULTA MUY DIFICIL RECHAZAR LA VERDAD DE LA PREMISAS O LA FALSEDAD DE LA CONCLUSION, DE MODO QUE LA OPCION RESTANTE CONSISTE EN UNA REVISION DE LA LOGICA QUE SUBYACE AL ARGUMENTO, ESTA TAREA DE REVISION, SIN EMBARGO, PUEDE LLEVARSE A CABO DE DIVERSAS MANERAS, EN UNA PRIMERA APROXIMACION, PODEMOS RECHAZAR ALGUNA DE LAS INFERENCIAS PRESENTES EN EL ARGUMENTO, ESTE PRIMER GRUPO DE ESTRATEGIAS, SIN EMBARGO, SUELE ESTAR LIGADO A LA PERDIDA INDESEADA DE INFERENCIAS CONCOMITANTES, LOS ARGUMENTOS EN GENERAL, Y LAS PARADOJAS EN PARTICULAR, SUELEN REQUERIR DE UN CIERTO NUMERO DE INFERENCIAS PARA PASAR DE LAS PREMISAS A LA CONCLUSION, LA SEGUNDA ESTRATEGIA CONSISTE, NO EN RECHAZAR UNA INFERENCIA PARTICULAR DEL ARGUMENTO, SINO EN RECHAZAR EL MODO EN QUE LAS INFERENCIAS EN EL ARGUMENTO SE RELACIONAN UNAS CON OTRAS (EN RECHAZAR ALGUNA "META-INFERENCIA"), EL PRESENTE PROYECTO PROPONE ESTUDIAR LOS FUNDAMENTOS, POSIBILIDADES DE FORMULACION Y APLICACION DE UNA ESTRATEGIA DEL SEGUNDO TIPO; UNA ESTRATEGIA DE ACUERDO A LA CUAL, LA RELACION DE CONSECUENCIA LOGICA PUEDE SER NO-TRANSITIVA,EL PROYECTO SE ARTICULA EN TORNO A TRES OBJETIVOS, EL PRIMERO CONSISTE EN ANALIZAR LA GENESIS DE LA NOCION CONTEMPORANEA DE CONSECUENCIA LOGICA, EL SEGUNDO, EN LA FORMULACION DE TEORIAS DE LA DEMOSTRACION Y RESULTADOS TECNICOS RELACIONADOS PARA PROPUESTAS DE LOGICAS NO-TRANSITIVAS, EL TERCERO, EN LA APLICACION DE LOGICAS NO-TRANSITIVAS AL ESTUDIO DE PARADOJAS O PROBLEMAS AFINES QUE DEMANDAN UNA REVISION DE LA LOGICA CLASICA, ESPERAMOS QUE EL PROYECTO CONFIRME O REFUTE LA VIABILIDAD DE LA APROXIMACION A LAS PARADOJAS A TRAVES DE LOGICAS NO-TRANSITIVAS Y DE LAS APROXIMACIONES SUB-ESTRUCTURALES EN GENERAL, LÓGICA\ LÓGICA FILOSÓFICA\ CONSECUENCIA LÓGICA\ LÓGICAS NO-CLÁSICAS\ LÓGICAS SUB-ESTRUCTURALES\ TEORÍAS DE LA DEMOSTRACIÓN\ PARADOJAS

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores