Un operador de negación estricta para sistemas multivaluados

  • Isis Urgell Menéndez
Palabras clave: conectivos lógicos, lógicas multivaluadas, negación, paradojas

Resumen

En el siguiente trabajo abordaré algunas cuestiones sobre el significado de la constante lógica “negación”, y defenderé que posee dos rasgos fundamentales: el primero consiste en tener cierta prioridad formal y conceptual con respecto al resto de las constantes usuales conjunción y disyunción y el segundo en que su característica fundamental es la de ser un mecanismo de inversión hacia el opuesto entre valores de verdad. También discutiré algunos requisitos deseables para definir un operador de negación estricta o fuerte. Luego mostraré que es posible modelar un sistema cuatrivaluado a partir del conjunto FOUR añadiendo un operador que se comporte como una negación estricta y no clásica. 
Publicado
2018-02-02
Cómo citar
Urgell Menéndez, I. (2018). Un operador de negación estricta para sistemas multivaluados. Cuadernos De filosofía, (70), 29-41. https://doi.org/10.34096/cf.n70.6500
Sección
Discusión sobre Constantes lógicas (Eduardo Barrio, ed.)