1/1/2008 - 31/12/2011
El proyecto pretende abordar el problema del operador lógico de negación desde dos perspectivas. En primer lugar desde la sintaxis se estudiarán y analizarán las diferentes clases de negación en la literatura actual en relación con las propiedades de la noción de consecuencia lógica involucrada en los sistemas formales correspondientes tanto en lógica de secuentes como en las presentaciones algebraicas. En segundo lugar desde la perspectiva pragmática se pretende clarificar los distintos usos de la negación en diferentes contextos del lenguaje natural y en los razonamientos de sentido común, para finalmente tratar de encontrar ciertas correlaciones entre los planos mencionados.