¿De qué sirve la negación?
E n la lógica clásica es (relativamente) fácil definir y explicar qué es la negación. Sin embargo, una vez que estamos trabajando en lógicas clásicas, diferentes nociones que colapsan en un solo operador en la lógica clásica empiezan a divergir en más de un operador en otras lógicas. Diferentes funciones que cumple la negación clásica en la lógica clásica requieren diferentes operadores para cumplirse en otras lógicas. 1. La negación como teoría de valores de verdad Por ejemplo, en lógica clásica, la negación invierte los valores de verdad. Esto le permite a la lógica clásica ser completamente simétrica entre verdad y falsedad. Sin ella, no podemos formular leyes simétricas fundamentales como las de De Morgan. En este sentido, la negación tiene la función de explicar la relación lógica entre los valores de verdad. Como he indicado en otras ocasiones, cualquier semántica filosófica debe justificar su selección de valores semánticos. Esto significa justificar cuales serán sus valores