A strict negation operator for multivalued systems
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 i...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo publishedVersion |
| Lenguaje: | Español |
| Publicado: |
Facultad de Filosofía y Letras, Universidad de Buenos Aires
2018
|
| Materias: | |
| Acceso en línea: | https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6500 https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=cufilo&d=6500_oai |
| Aporte de: |
| Sumario: | 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. |
|---|