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: |
| id |
I28-R145-6500_oai |
|---|---|
| record_format |
dspace |
| spelling |
I28-R145-6500_oai2025-11-17 Urgell Menéndez, Isis 2018-02-02 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. application/pdf https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6500 10.34096/cf.n70.6500 spa Facultad de Filosofía y Letras, Universidad de Buenos Aires https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/6500/5808 Cuadernos de filosofía; Núm. 70 (2018); 29-41 2362-485X 0590-1901 conectivos lógicos lógicas multivaluadas negación paradojas logical constants logical paradoxes multivalued logical systems negation A strict negation operator for multivalued systems Un operador de negación estricta para sistemas multivaluados info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=cufilo&d=6500_oai |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-145 |
| collection |
Repositorio Digital de la Universidad de Buenos Aires (UBA) |
| language |
Español |
| orig_language_str_mv |
spa |
| topic |
conectivos lógicos lógicas multivaluadas negación paradojas logical constants logical paradoxes multivalued logical systems negation |
| spellingShingle |
conectivos lógicos lógicas multivaluadas negación paradojas logical constants logical paradoxes multivalued logical systems negation Urgell Menéndez, Isis A strict negation operator for multivalued systems |
| topic_facet |
conectivos lógicos lógicas multivaluadas negación paradojas logical constants logical paradoxes multivalued logical systems negation |
| description |
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. |
| format |
Artículo publishedVersion |
| author |
Urgell Menéndez, Isis |
| author_facet |
Urgell Menéndez, Isis |
| author_sort |
Urgell Menéndez, Isis |
| title |
A strict negation operator for multivalued systems |
| title_short |
A strict negation operator for multivalued systems |
| title_full |
A strict negation operator for multivalued systems |
| title_fullStr |
A strict negation operator for multivalued systems |
| title_full_unstemmed |
A strict negation operator for multivalued systems |
| title_sort |
strict negation operator for multivalued systems |
| publisher |
Facultad de Filosofía y Letras, Universidad de Buenos Aires |
| publishDate |
2018 |
| url |
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 |
| work_keys_str_mv |
AT urgellmenendezisis astrictnegationoperatorformultivaluedsystems AT urgellmenendezisis unoperadordenegacionestrictaparasistemasmultivaluados AT urgellmenendezisis strictnegationoperatorformultivaluedsystems |
| _version_ |
1851375795214221312 |