Un operador de negación estricta para sistemas multivaluados

Abstract

In this paper I will exam some issues about the meaning of the logical constant “negation”. I will defend that it has two main features, one is being formally and conceptually prior to the other two basic logical connectives: conjunction and disjunction, and the other is having as a main character its ability to function as a switch of truth values, flip flopping one into the opposite. I will also argue for two other constraints one might ask for this type of operator to be called strict or strong. Finally, I show that is possible to design a multivalued logical system taking FOUR as a basis, and adding a strong yet non-classical negation to it. 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.