Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

FFI2017-82554-P

Financiado

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 1146

Ver Participantes

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

0% 100%

Participantes

USAL

Lider

Proyectos interesantes

MTM2011-25747 LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 72K€ Cerrado

FFI2017-82878-P SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA NEGACI... 15K€ Cerrado

FFI2008-05859 LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSI... 23K€ Cerrado

MTM2016-74892-P LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 32K€ Cerrado

IJC2020-043421-I Non-classical logics and formal semantics 98K€ Cerrado

MTM2011-26840 TEORIA DE MODELOS Y APLICACIONES 47K€ Cerrado

Últimas noticias

27-11-2024: Videojuegos y creaci... Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital

27-11-2024: DGIPYME En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones

27-11-2024: FUNDACION-EOI En las últimas 48 horas el Organismo FUNDACION EOI ha otorgado 2 concesiones

Líder del proyecto

UNIVERSIDAD DE SALAMANCA

Total investigadores 1146

Presupuesto del proyecto 17K€

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

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores