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

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... ver más

01/01/2013

USAL

35K€

Presupuesto del proyecto: 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 1149

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

0% 100%

Participantes

USAL

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

ExtenDD Coming to Terms: Proof Theory Extended to Definite Descripti... 2M€ Cerrado

FFI2010-15704 CONCEPTOS DE ORDEN SUPERIOR. UNA APROXIMACION EXPRESIVISTA 100K€ Cerrado

PID2019-107667GB-I00 MUNDOS Y VALORES DE VERDAD: RETOS PARA LA SEMANTICA FORMAL 48K€ Cerrado

FFI2009-09345 NOCIONES DE COMPLETUD 48K€ Cerrado

FFI2012-35802 MODELOS Y REPRESENTACIONES METATEORICAS EN LA HISTORIA DE LA... 18K€ Cerrado

STARTDIALOG Towards a Systematic Theory of Aristotelian Diagrams in Logi... 1M€ Cerrado

Líder del proyecto

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

Total investigadores 1149

Presupuesto del proyecto 35K€

Descripción del proyecto 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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores