Un operador de negación estricta para sistemas multivaluados
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 s...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo revista |
| Lenguaje: | Español |
| Publicado: |
Facultad de Filosofía y Letras, Universidad de Buenos Aires
2018
|
| Materias: | |
| Acceso en línea: | http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6500 |
| Aporte de: |
| Sumario: | 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. |
|---|