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-82554-P

Financiado

Cerrado

TRADUCCIONES, LOGICAS COMBINADAS, DESCRIPCIONES, LOGICA INTENSIVA, TEORIA DE TIP...

TRADUCCIONES, LOGICAS COMBINADAS, DESCRIPCIONES, LOGICA INTENSIVA, TEORIA DE TIPOS, LOGICA HIBRIDA, IDENTIDAD, LOGICA Y EDUCACION EL PROGRAMA DE INVESTIGACION QUE ABORDAREMOS EN ESTE PROYECTO ES COMPLEMENTARIO DEL QUE LLEVAMOS ADELANTE EN NUESTRO ANTERIOR PROYECTO DE INVESTIGACION, LOGICA HIBRIDA INTENSIONAL, EN EL QUE DESARROLLAMOS VARIAS LOGICAS HIBRIDAS,... ver más

01/01/2017

USAL

17K€

Presupuesto del proyecto: 17K€

Líder del proyecto

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

Total investigadores 1151

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%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

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

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

Líder del proyecto

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

Total investigadores 1151

Presupuesto del proyecto 17K€

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

Descripción del proyecto EL PROGRAMA DE INVESTIGACION QUE ABORDAREMOS EN ESTE PROYECTO ES COMPLEMENTARIO DEL QUE LLEVAMOS ADELANTE EN NUESTRO ANTERIOR PROYECTO DE INVESTIGACION, LOGICA HIBRIDA INTENSIONAL, EN EL QUE DESARROLLAMOS VARIAS LOGICAS HIBRIDAS, LA LOGICA ECUACIONAL HIBRIDA CON TEORIA DE TIPOS PROPOSICIONALES (EHPTT) Y ALGUNAS TEORIAS DE TIPOS INTENSIONALES E HIBRIDAS (HTT),EN EL DESARROLLO DEL ANTERIOR PROYECTO VIMOS QUE NO SOLO ERA CIERTO QUE LA PROBLEMATICA DE NUESTRAS LOGICAS ES DIVERSA, PUES SURGE TANTO DE LAS HUMANIDADES COMO DE LAS CIENCIAS, SINO QUE PODRIA SERVIRNOS COMO HERRAMIENTA UNIFICADORA TANTO DESDE UNA PERSPECTIVA PROPIAMENTE LOGICA, COMO DESDE UNA DE NATURALEZA LINGUISTICA E INCLUSO NETAMENTE FILOSOFICALOGICA:DESDE EL PUNTO DE VISTA LOGICO PLANTEAMOS LLEVAR A TERMINO TRADUCCIONES DE LAS LOGICAS ARRIBA MENCIONADAS A UN MARCO COMUN, EN ESTE MISMO PLANO, DADO QUE LAS LOGICAS EHPTT Y HTT COMBINA CARACTERISTICAS DE VARIAS LOGICAS Y EXISTE TODO UN CAMPO DE INVESTIGACION DENOMINADO "LOGICA COMBINADA", NOS GUSTARIA ENMARCARLAS EN ESTE CONTEXTO,LENGUAJE Y FILOSOFIA:EN EL DESARROLLO DE NUESTROS SISTEMAS LOGICOS OBSERVAMOS QUE EN LA MAYOR PARTE DE LOS TEXTOS CONSULTADOS SE MANEJABAN EJEMPLOS EN LENGUA NATURAL QUE INCLUIAN DESCRIPCIONES PERO NO SIEMPRE ERAN ADECUADAMENTE REFLEJADAS EN EL CONSABIDO SISTEMA LOGICO, VAMOS A ESTABLECER VINCULOS CON LA INVESTIGACION DE NATURALEZA NO FORMAL QUE SE LLEVA A CABO EN FILOSOFIA DEL LENGUAJE PARA INTENTAR UNIFICAR RESULTADOS,LA PROBLEMATICA ESTUDIADA EN LOGICA INTENSIONAL HUNDE SUS RAICES EN LA FILOSOFIA YA QUE TANTO LOS CONCEPTOS MODALES (NECESARIO, POSIBLE) COMO LAS DIFERENCIAS ENTRE LAS AFIRMACIONES DE RE Y DE DICTO TIENEN UN LARGO RECORRIDO EN FILOSOFIA, DEL MISMO MODO, LA PROBLEMATICA EN TORNO A LA DIFERENCIA ENTRE LA RELACION BINARIA DE IDENTIDAD ENTRE OBJETOS Y LA IGUALDAD DE DENOTACION DE TERMINOS HA SIDO ANALIZADA DESDE LA PERSPECTIVA FILOSOFICA, EN EL PROYECTO ANTERIOR LO ABORDAMOS DE MANERA TECNICA Y AHORA NOS GUSTARIA LLEVAR A CABO UNA REVISION HISTORICA PARA INTENTAR QUE CONFLUYAN,EN PARTICULAR, UN CONCEPTO QUE NECESITA ANALISIS FILOSOFICO EN RELACION CON LOS DIVERSOS SISTEMAS LOGICOS QUE HEMOS CREADO ES EL NOMINALISMO, LOS MODELOS USADOS EN LAS DEMOSTRACIONES DE COMPLETUD SOLO PRECISAN DE LAS SENTENCIAS DE LOS CONJUNTOS MAXIMAMENTE CONSISTENTES Y DE LOS CONJUNTOS DEFINIBLES EN LOS LENGUAJES FORMALES, NOS PLANTEAMOS, SIGUIENDO INDICACIONES DEL PROPIO HENKIN, PRESCINDIR DE LOS OBJETOS CONJUNTISTAS Y LIMITARNOS A SUS DESCRIPCIONES, EN EL CASO DE LAS LOGICAS MODALES ESTO TIENE AUN MAS SENTIDO PUES PARACE COINCIDIR CON LA VISION DE CARNAP DE UN MUNDO COMO UN CONJUNTO MAXIMAMENTE CONSISTENTE DE SENTENCIAS,EL PROBLEMA DE LA INTENSIONALIDAD EN EL AMBITO MODAL SE ACENTUA AUN MAS CUANDO SE CONSI-DERAN PROBLEMAS EPISTEMICOS, DOXASTICOS O QUE INVOLUCRAN ENTIDADES IMAGINARIAS, POR EJEM-PLO, VARIOS AGENTES EPISTEMICOS EN UN MISMO SISTEMA PUEDEN ESTAR ASIGNANDO REFERENCIAS DISTINTAS A UN MISMO TERMINO O A DOS TERMINOS QUE DENOTAN UNA MISMA ENTIDAD, NOS GUSTARIA ABORDAR EL PROBLEMA DE LA INTENSIONALIDAD MAS ALLA DE LOS INDIVIDUOS, YA SEAN REALES O FICTICIOS, EN EL CONTEXTO DE LO QUE SE CONOCE COMO LOGICA DE FICCION,PEDAGOGIA:FINALMENTE, A LO LARGO DE NUESTRA EXPERIENCIA DOCENTE HEMOS CONSTATADO QUE RARAMENTE EN LOS CURSOS DE LOGICAS NO CLASICAS SE PASA DE LA PROPOSICIONAL, NOS PROPONEMOS TRABAJAR EN VERSIONES SIMPLIFICADAS Y ATRACTIVAS DE LAS MISMAS PARA USARLAS EN LOS CURSOS DE LOGICA, TRADUCCIONES\LÓGICAS COMBINADAS\DESCRIPCIONES\LÓGICA INTENSIVA\TEORÍA DE TIPOS\LÓGICA HÍBRIDA\IDENTIDAD\LÓGICA Y EDUCACIÓN

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores