SummaryInformation provided by the agent in 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.
Show moreShow less
Lines of Investigation
Lógica
Humanities
Philosophy, ethics and religion
Philosophy, history and philosophy of science and technology
Technological Capacities
11 - Social and Economic Concerns
11.5 - Infrastructures for social sciences and humanities