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\ EDUCATIONver más
Seleccionando "Aceptar todas las cookies" acepta el uso de cookies para ayudarnos a brindarle una mejor experiencia de usuario y para analizar el uso del sitio web. Al hacer clic en "Ajustar tus preferencias" puede elegir qué cookies permitir. Solo las cookies esenciales son necesarias para el correcto funcionamiento de nuestro sitio web y no se pueden rechazar.
Cookie settings
Nuestro sitio web almacena cuatro tipos de cookies. En cualquier momento puede elegir qué cookies acepta y cuáles rechaza. Puede obtener más información sobre qué son las cookies y qué tipos de cookies almacenamos en nuestra Política de cookies.
Son necesarias por razones técnicas. Sin ellas, este sitio web podría no funcionar correctamente.
Son necesarias para una funcionalidad específica en el sitio web. Sin ellos, algunas características pueden estar deshabilitadas.
Nos permite analizar el uso del sitio web y mejorar la experiencia del visitante.
Nos permite personalizar su experiencia y enviarle contenido y ofertas relevantes, en este sitio web y en otros sitios web.