ResumenInformación suministrada por el agente en SIGEVA
Trabajo en la investigación y desarrollo de lógicas no clásicas, con vistas a su aplicación para modelar y regimentar el lenguaje natural. En particular, con vistas a la producción de teorías que incorporen vocabulario proclive a paradojas, como es el vocabulario semántico y vago. Mi objetivo es encontrar lenguajes formales que sean capaces de incorporar cierto grado de la indeterminación presente en el lenguaje natural, pero que las teorías construidas sobre su base eviten las paradojas de Sor...Trabajo en la investigación y desarrollo de lógicas no clásicas, con vistas a su aplicación para modelar y regimentar el lenguaje natural. En particular, con vistas a la producción de teorías que incorporen vocabulario proclive a paradojas, como es el vocabulario semántico y vago. Mi objetivo es encontrar lenguajes formales que sean capaces de incorporar cierto grado de la indeterminación presente en el lenguaje natural, pero que las teorías construidas sobre su base eviten las paradojas de Sorites, el Mentiroso, y otras de la familia. Mi principal área de interés es la teoría de modelos. Dentro de las lógicas no clásicas, he trabajado con sistemas multivaluados, tanto con finitos valores de verdad ?como K3, LP o FDE- como con infinitos ?como Lukasiewicz. También he trabajado en sistemas subestructurales, principalmente no-transitivos pero también no-contractivos y no-monótonos. Por último, estudié semánticas s-valuacionistas, tanto paracompletas como paraconsistentes.
Ver másVer menos
Líneas de Investigación
Lógica
Humanidades
Filosofía, ética y religión
Filosofía, historia y filosofía de la ciencia y la tecnología
Capacidades Tecnológicas
11 - Asuntos sociales y económicos
11.5 - Infraestructuras para las ciencias sociales y humanidades