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: |
id |
I28-R247-article-6500 |
---|---|
record_format |
ojs |
spelling |
I28-R247-article-65002023-06-27T20:59:43Z Un operador de negación estricta para sistemas multivaluados A strict negation operator for multivalued systems Urgell Menéndez, Isis logical constants logical paradoxes multivalued logical systems negation conectivos lógicos lógicas multivaluadas negación paradojas 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. 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. Facultad de Filosofía y Letras, Universidad de Buenos Aires 2018-02-02 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion application/pdf http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6500 10.34096/cf.n70.6500 Cuadernos de filosofía; Núm. 70 (2018); 29-41 2362-485X 0590-1901 spa http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6500/5808 |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-247 |
container_title_str |
Cuadernos de Filosofía |
language |
Español |
format |
Artículo revista |
topic |
logical constants logical paradoxes multivalued logical systems negation conectivos lógicos lógicas multivaluadas negación paradojas |
spellingShingle |
logical constants logical paradoxes multivalued logical systems negation conectivos lógicos lógicas multivaluadas negación paradojas Urgell Menéndez, Isis Un operador de negación estricta para sistemas multivaluados |
topic_facet |
logical constants logical paradoxes multivalued logical systems negation conectivos lógicos lógicas multivaluadas negación paradojas |
author |
Urgell Menéndez, Isis |
author_facet |
Urgell Menéndez, Isis |
author_sort |
Urgell Menéndez, Isis |
title |
Un operador de negación estricta para sistemas multivaluados |
title_short |
Un operador de negación estricta para sistemas multivaluados |
title_full |
Un operador de negación estricta para sistemas multivaluados |
title_fullStr |
Un operador de negación estricta para sistemas multivaluados |
title_full_unstemmed |
Un operador de negación estricta para sistemas multivaluados |
title_sort |
un operador de negación estricta para sistemas multivaluados |
description |
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. |
publisher |
Facultad de Filosofía y Letras, Universidad de Buenos Aires |
publishDate |
2018 |
url |
http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6500 |
work_keys_str_mv |
AT urgellmenendezisis unoperadordenegacionestrictaparasistemasmultivaluados AT urgellmenendezisis astrictnegationoperatorformultivaluedsystems |
first_indexed |
2023-06-27T21:01:54Z |
last_indexed |
2023-06-27T21:01:54Z |
_version_ |
1769891131089223680 |