Hola,
¿eres nuevo aquí?

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

FFI2017-84805-P

Financiado

LOGIC AND SUBSTRUCTURALITY

LAS APROXIMACIONES TRADICIONALES A LAS PARADOJAS SUELEN RECHAZAR ALGUNA INFERENCIA QUE ENVUELVE MENCION EXPLICITA DE ALGUNA CONSTANTE LOGICA, POR EJEMPLO, UNA TEORIA DE LA VERDAD AL ESTILO DE KRIPKE RECHAZA LA VALIDEZ DE LA LEY DE... ver más

01/01/2017

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 2017-01-01

0% 100%

Participantes

UPNA

Lider

Proyectos interesantes

MTM2016-74892-P LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 32K€ Cerrado

FFI2013-46451-P LOGICAS NO-TRANSITIVAS. UNA NUEVA APROXIMACION A LAS PARADOJ... 29K€ Cerrado

FFI2008-05859 LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSI... 23K€ Cerrado

MTM2011-25747 LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 72K€ Cerrado

RYC-2010-06319 Negaciones submínimas definibles a partir de diferentes form... 192K€ Cerrado

C-FORS Construction in the Formal Sciences 2M€ 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 LAS APROXIMACIONES TRADICIONALES A LAS PARADOJAS SUELEN RECHAZAR ALGUNA INFERENCIA QUE ENVUELVE MENCION EXPLICITA DE ALGUNA CONSTANTE LOGICA, POR EJEMPLO, UNA TEORIA DE LA VERDAD AL ESTILO DE KRIPKE RECHAZA LA VALIDEZ DE LA LEY DE TERCIO EXCLUSO "A O NO-A", CON ESTE, OTROS PRINCIPIOS LOGICOS SON TAMBIEN RECHAZADOS, COMO EL AXIOMA DE IDENTIDAD "SI A ENTONCES A", RECIENTEMENTE, SIN EMBARGO, ALGUNAS APROXIMACIONES A LAS PARADOJAS HAN CENTRADO SU ATENCION EN PROPIEDADES ESTRUCTURALES: PRINCIPIOS QUE GOBIERNAN EL COMPORTAMIENTO DE LA PROPIA RELACION DE CONSECUENCIA, SIN REFERENCIA A NINGUN ITEM ESPECIFICO DEL VOCABULARIO LOGICO, ENTRE ESTAS APROXIMACIONES RECIENTES PODEMOS ENCONTRAR PROPUESTAS NO-REFLEXIVAS, NO-MONOTONICAS, NO-CONTRACTIVAS Y NO-TRANSITIVAS, EL ATRACTIVO DE LAS LOGICAS SUBESTRUCTURALES RESIDE PRINCIPALMENTE EN LA ESPERANZA DE SORTEAR LA TRIVIALIDAD GENERADA POR LAS PARADOJAS CON UN IMPACTO MINIMO SOBRE LAS INFERENCIAS QUE ENVUELVEN VOCABULARIO LOGICO Y, POR TANTO, SIN CAMBIAR EL SIGNIFICADO DE LAS CONECTIVAS LOGICAS (AL MENOS ESTO ES LO QUE LOS DEFENSORES DE ESTAS TEORIAS SOSTIENEN), EL ESTUDIO DE LAS LOGICAS SUBESTRUCTURALES ES A DIA DE HOY UNO DE LOS TEMAS CANDENTES DENTRO DE LA LOGICA FILOSOFICA,LA PREGUNTA QUE MOTIVA ESTE PROYECTO ES LA SIGUIENTE: ¿TENEMOS EVIDENCIAS RAZONABLES PARA SOSTENER QUE NUESTRO RAZONAMIENTO ES SUBESTRUCTURAL? NUESTRA HIPOTESIS INICIAL ES QUE LA RESPUESTA A ESTA PREGUNTA ES AFIRMATIVA, PARA TRATAR DE RESPONDER LA PREGUNTA PROPONEMOS, EN PRIMER LUGAR ESTUDIAR LAS POSIBILIDADES DE CARACTERIZACION SEMANTICA DE LAS LOGICAS SUBESTRUCTURALES Y, EN SEGUNDO LUGAR, EL ANALISIS FILOSOFICO DE LOS ARGUMENTOS EN CONTRA DE LA SUBESTRUCTURALIDAD, CONSECUENCIA LÓGICA\SEMÁNTICA\LÓGICAS NO-CLÁSICAS\LÓGICAS SUBESTRUCTURALES\PARADOJAS

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores