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

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

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

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2017-01-01 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

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

Participantes

UPNA

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

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

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

Presupuesto del proyecto 29K€

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

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

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores