Innovating Works

FFI2013-47126-P

Financiado
LOGICA INTENSIONAL HIBRIDA
EL PROGRAMA DE INVESTIGACION EN LOGICA INTENSIONAL QUE ABORDAREMOS EN ESTE PROYECTO PARTE DE LA IDEA DE PARA ENTENDER LOS DENOMINADOS “CONTEXTOS INTENSIONALES” ES PRECISO EMPLEAR UNA SEMANTICA QUE ADMITA REFERENCIAS MULTIPLES,LA F... EL PROGRAMA DE INVESTIGACION EN LOGICA INTENSIONAL QUE ABORDAREMOS EN ESTE PROYECTO PARTE DE LA IDEA DE PARA ENTENDER LOS DENOMINADOS “CONTEXTOS INTENSIONALES” ES PRECISO EMPLEAR UNA SEMANTICA QUE ADMITA REFERENCIAS MULTIPLES,LA FUENTE DE INSPIRACION DE LAS TEORIAS SEMANTICAS QUE EMPLEAREMOS EN ESTA INVESTIGACION ES DIVERSA, ORIGINANDOSE TANTO EN LAS HUMANIDADES (LA LINGUISTICA, LA FILOSOFIA TRADICIONAL, LA LOGICA FILOSOFICA Y LA FILOSOFIA DE LA CIENCIA) COMO EN LAS CIENCIAS (LA INFORMATICA Y LA LOGICA MATEMATICA), SE PUEDE DISTINGUIR ENTRE LO QUE UN TERMINO DESIGNA Y LO QUE SIGNIFICA, EN EL EJEMPLO PARADIGMATICO DE FREGE, "LA ESTRELLA MATUTINA" Y "LA ESTRELLA VESPERTINA", AMBAS DESIGNAN EL PLANETA VENUS, PERO NO TIENEN EL MISMO SIGNIFICADO,EL SIGNIFICADO DE UN TERMINO EN UN SISTEMA DE REPRESENTACION FORMAL ES UNA PROPOSICION O SENTENCIA DECLARATIVA Y LA DENOTACION DE UN TERMINO ES UN OBJETO PERTENECIENTE AL DOMINIO REPRESENTADO, A LOS SIGNIFICADOS, ASI ENTENDIDOS, A MENUDO LES LLAMAMOS INTENSIONES, Y A LOS OBJETOS DESIGNADOS, EXTENSIONES,LA LOGICA EXTENSIONAL ES AQUELLA QUE SOLO PRECISA TRATAR CON LAS EXTENSION DE SUS TERMINOS MIENTRAS QUE LOGICA INTENSIONAL NECESITA TAMBIEN DE LAS INTENSIONES, ASI, EN LOS CONTEXTOS TEMPORALES ES PRECISO CAMBIAR LOS PATRONES ORDINARIOS DE DENOTACION A LA TARSKI POR OTROS EN DONDE LAS DENOTACIONES SUCEDEN A TRAVES DEL TIEMPO Y EN LOS CONTEXTOS MODALES LAS DENOTACIONES VARIAN EN CONJUNTOS DE MUNDOS PERTINENTES, O SITUACIONES, EN LOGICA INTENSIONAL SE ESTUDIAN TANTO LA DESIGNACION COMO EL SIGNIFICADO Y SE INVESTIGAN LAS COMPLEJAS RELACIONES ENTRE ELLOS,EXISTEN VARIAS VERSIONES DE LOGICA INTENSIONAL DE PRIMER ORDEN, EN TODAS ELLAS DEBEN AFRONTARSE LOS SIGUIENTES RETOS:1,- RESOLVER EL PROBLEMA DE LA CUANTIFICACION, HABITUALMENTE EXTENSIONAL2,- RESOLVER LA AMBIGUEDAD CLASICA ENTRE AFIRMACIONES DE RE Y DE DICTO3,- LA PROBLEMATICA DE LA IDENTIDAD4,- LA NECESIDAD DE INTRODUCIR OPERADORES LOGICOS PARA SEGUIR A LOS INDIVIDUOS A TRAVES DE LOS MUNDOS, CASOS O MOMENTOS DEL TIEMPO,COMO RESPUESTA SE HAN PROPUESTO SISTEMAS FORMALES COMPLEJOS, ALEJADOS DE LOS ESTANDARES DE USO Y UNIFORMIDAD, O QUE INCORPORAN NOCIONES EXTRALOGICAS, Y QUE A MENUDO NO PUEDEN USARSE EN APLICACIONES O NO PROPORCIONAN LA EXPRESIVIDAD FORMAL PRECISADA,PARA RESOLVER ESTA PROBLEMATICA, PRETENDEMOS REPRESENTAR CON RECURSOS DE LOGICA FORMAL LOS ASPECTOS INTENSIONALES, PARA ELLO SE TRATA DE INVOLUCRAR A LA LOGICA EN LA FILOSOFIA, Y TAMBIEN EN OTRAS AREAS COMO LA INFORMATICA, LA REPRESENTACION DEL CONOCIMIENTO TEMPORAL Y EL RAZONAMIENTO,LA LOGICA HIBRIDA, TIENE MECANISMOS SIMPLES PARA RASTREAR A UN INDIVIDUO A TRAVES DE DIFERENTES MUNDOS Y DIFERENTES TIEMPOS, LA RECIENTE PUBLICACION DE " COMPLETENESS IN HYBRID TYPE THEORY " (ARECES, BLACKBURN, HUERTAS & MANZANO (2013)) HA DEMOSTRADO QUE ES CAPAZ DE "REPARAR" LOS PROBLEMAS RELATIVOS A LA COMPLETITUD LOGICA, INCLUSO EN EL CONTEXTO DE LA LOGICA DE ORDEN SUPERIOR / TEORIA DE TIPOS, POR LO TANTO, PARECE ABRIR LA PUERTA A UNA AMPLIA GAMA DE INVESTIGACIONES FUNDAMENTALES EN LOGICA INTENSIONAL Y SUS APLICACIONES, EL OBJETIVO DE ESTE PROYECTO ES LLEVAR A CABO ESTAS INVESTIGACIONES EN DETALLE,MAS CONCRETAMENTE, ES INVESTIGAR HASTA QUE PUNTO LA COMBINACION DE LA TEORIA DE TIPOS CON LA LOGICA HIBRIDA PUEDE RESOLVER LOS PROBLEMAS HISTORICOS Y ACTUALES (FILOSOFICOS Y TECNICOS) DE LA LOGICA INTENSIONAL, Y TRATAR DE RESOLVERLOS DE UNA FORMA SENCILLA, GENERAL, Y FACIL DE USAR, INTENSIONAL LOGIC\ TYPE THEORY\ HYBRID LOGIC\ TEMPORAL LOGICS\ IDENTITY\ PROOF THEORY\ MODAL LOGIC\ EDUCATION ver más
01/01/2013
35K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2013-01-01
Presupuesto El presupuesto total del proyecto asciende a 35K€
Líder del proyecto
UNIVERSIDAD DE SALAMANCA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 1147