Las soluciones subestructurales a las paradojas y el problema de la dependencia

Autores
Da Re, Bruno
Año de publicación
2020
Idioma
español castellano
Tipo de recurso
artículo
Estado
versión publicada
Descripción
En los últimos años se han desarrollado diversas soluciones subestructurales a las paradojas semánticas. En particular, se han postulado teorías no transitivas, no contractivas, no reflexivas y, recientemente, no monotónicas. Sin embargo, cuando dichas soluciones son presentadas mediante cálculos de secuentes surge el problema de la dependencia . En pocas palabras, este problema consiste en que no es posible separar las reglas estructurales de la formulación de las otras reglas del cálculo. En este artículo, presentaré este problema y mostraré que, de hecho, es posible construir un cálculo que no contiene ninguna regla estructural de manera explícita y que, sin embargo, resulta trivial al agregarle un predicado veritativo transparente con ciertos axiomas. Luego, delimitaré los alcances de dicho problema, concluyendo que la metodología correcta para seleccionar una solución subestructural a las paradojas semánticas debe basarse en argumentos filosóficos y, tal vez, en un estudio empírico sobre el fenómeno de la paradojicidad y no en la comparación de derivaciones en cálculos particulares.
In past years, several substructural solutions to semantical paradoxes have been developed. In particular, nontransitive, noncontractive, nonmonotonic and nonreflexive theories have been proposed. However, when such solutions are presented using sequent-calculi it emerges what I call the problem of the dependence. In a nutshell, this problem consists in that it’s not easy (or sometimes even possible) to distinguish between the structural rules and the other rules of the calculus. In this article, I will present in detail this problem and I show that even worst there is a calculus such that it doesn’t contain any structural rule but cannot nontrivially handle semantical vocabulary. Finally, I will delimit this problem and I will conclude that the correct methodology for preferring one specific substructural theory should be based on philosophical arguments (or in some case, on empirical bases), but not in the comparison between derivations in particular calculi.
Fil: Da Re, Bruno. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Materia
OPERATIONAL RULES
STRUCTURAL RULES
SUBSTRUCTURAL LOGICS
THEORIES OF TRUTH
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/140626

id CONICETDig_1eb5b89a08e0e124e7ede1f929c0617b
oai_identifier_str oai:ri.conicet.gov.ar:11336/140626
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Las soluciones subestructurales a las paradojas y el problema de la dependenciaThe Substructural Solution to Paradoxes and the Problem of the DependenceDa Re, BrunoOPERATIONAL RULESSTRUCTURAL RULESSUBSTRUCTURAL LOGICSTHEORIES OF TRUTHhttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6En los últimos años se han desarrollado diversas soluciones subestructurales a las paradojas semánticas. En particular, se han postulado teorías no transitivas, no contractivas, no reflexivas y, recientemente, no monotónicas. Sin embargo, cuando dichas soluciones son presentadas mediante cálculos de secuentes surge el problema de la dependencia . En pocas palabras, este problema consiste en que no es posible separar las reglas estructurales de la formulación de las otras reglas del cálculo. En este artículo, presentaré este problema y mostraré que, de hecho, es posible construir un cálculo que no contiene ninguna regla estructural de manera explícita y que, sin embargo, resulta trivial al agregarle un predicado veritativo transparente con ciertos axiomas. Luego, delimitaré los alcances de dicho problema, concluyendo que la metodología correcta para seleccionar una solución subestructural a las paradojas semánticas debe basarse en argumentos filosóficos y, tal vez, en un estudio empírico sobre el fenómeno de la paradojicidad y no en la comparación de derivaciones en cálculos particulares.In past years, several substructural solutions to semantical paradoxes have been developed. In particular, nontransitive, noncontractive, nonmonotonic and nonreflexive theories have been proposed. However, when such solutions are presented using sequent-calculi it emerges what I call the problem of the dependence. In a nutshell, this problem consists in that it’s not easy (or sometimes even possible) to distinguish between the structural rules and the other rules of the calculus. In this article, I will present in detail this problem and I show that even worst there is a calculus such that it doesn’t contain any structural rule but cannot nontrivially handle semantical vocabulary. Finally, I will delimit this problem and I will conclude that the correct methodology for preferring one specific substructural theory should be based on philosophical arguments (or in some case, on empirical bases), but not in the comparison between derivations in particular calculi.Fil: Da Re, Bruno. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaSociedad Argentina de Análisis Filosófico2020-05info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/140626Da Re, Bruno; Las soluciones subestructurales a las paradojas y el problema de la dependencia; Sociedad Argentina de Análisis Filosófico; Análisis Filosófico; 40; 1; 5-2020; 41-620326-13011851-9636CONICET DigitalCONICETspainfo:eu-repo/semantics/altIdentifier/url/https://analisisfilosofico.org/index.php/af/article/view/337/261info:eu-repo/semantics/altIdentifier/doi/10.36446/af.2020.337info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:25:23Zoai:ri.conicet.gov.ar:11336/140626instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 10:25:23.894CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Las soluciones subestructurales a las paradojas y el problema de la dependencia
The Substructural Solution to Paradoxes and the Problem of the Dependence
title Las soluciones subestructurales a las paradojas y el problema de la dependencia
spellingShingle Las soluciones subestructurales a las paradojas y el problema de la dependencia
Da Re, Bruno
OPERATIONAL RULES
STRUCTURAL RULES
SUBSTRUCTURAL LOGICS
THEORIES OF TRUTH
title_short Las soluciones subestructurales a las paradojas y el problema de la dependencia
title_full Las soluciones subestructurales a las paradojas y el problema de la dependencia
title_fullStr Las soluciones subestructurales a las paradojas y el problema de la dependencia
title_full_unstemmed Las soluciones subestructurales a las paradojas y el problema de la dependencia
title_sort Las soluciones subestructurales a las paradojas y el problema de la dependencia
dc.creator.none.fl_str_mv Da Re, Bruno
author Da Re, Bruno
author_facet Da Re, Bruno
author_role author
dc.subject.none.fl_str_mv OPERATIONAL RULES
STRUCTURAL RULES
SUBSTRUCTURAL LOGICS
THEORIES OF TRUTH
topic OPERATIONAL RULES
STRUCTURAL RULES
SUBSTRUCTURAL LOGICS
THEORIES OF TRUTH
purl_subject.fl_str_mv https://purl.org/becyt/ford/6.3
https://purl.org/becyt/ford/6
dc.description.none.fl_txt_mv En los últimos años se han desarrollado diversas soluciones subestructurales a las paradojas semánticas. En particular, se han postulado teorías no transitivas, no contractivas, no reflexivas y, recientemente, no monotónicas. Sin embargo, cuando dichas soluciones son presentadas mediante cálculos de secuentes surge el problema de la dependencia . En pocas palabras, este problema consiste en que no es posible separar las reglas estructurales de la formulación de las otras reglas del cálculo. En este artículo, presentaré este problema y mostraré que, de hecho, es posible construir un cálculo que no contiene ninguna regla estructural de manera explícita y que, sin embargo, resulta trivial al agregarle un predicado veritativo transparente con ciertos axiomas. Luego, delimitaré los alcances de dicho problema, concluyendo que la metodología correcta para seleccionar una solución subestructural a las paradojas semánticas debe basarse en argumentos filosóficos y, tal vez, en un estudio empírico sobre el fenómeno de la paradojicidad y no en la comparación de derivaciones en cálculos particulares.
In past years, several substructural solutions to semantical paradoxes have been developed. In particular, nontransitive, noncontractive, nonmonotonic and nonreflexive theories have been proposed. However, when such solutions are presented using sequent-calculi it emerges what I call the problem of the dependence. In a nutshell, this problem consists in that it’s not easy (or sometimes even possible) to distinguish between the structural rules and the other rules of the calculus. In this article, I will present in detail this problem and I show that even worst there is a calculus such that it doesn’t contain any structural rule but cannot nontrivially handle semantical vocabulary. Finally, I will delimit this problem and I will conclude that the correct methodology for preferring one specific substructural theory should be based on philosophical arguments (or in some case, on empirical bases), but not in the comparison between derivations in particular calculi.
Fil: Da Re, Bruno. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
description En los últimos años se han desarrollado diversas soluciones subestructurales a las paradojas semánticas. En particular, se han postulado teorías no transitivas, no contractivas, no reflexivas y, recientemente, no monotónicas. Sin embargo, cuando dichas soluciones son presentadas mediante cálculos de secuentes surge el problema de la dependencia . En pocas palabras, este problema consiste en que no es posible separar las reglas estructurales de la formulación de las otras reglas del cálculo. En este artículo, presentaré este problema y mostraré que, de hecho, es posible construir un cálculo que no contiene ninguna regla estructural de manera explícita y que, sin embargo, resulta trivial al agregarle un predicado veritativo transparente con ciertos axiomas. Luego, delimitaré los alcances de dicho problema, concluyendo que la metodología correcta para seleccionar una solución subestructural a las paradojas semánticas debe basarse en argumentos filosóficos y, tal vez, en un estudio empírico sobre el fenómeno de la paradojicidad y no en la comparación de derivaciones en cálculos particulares.
publishDate 2020
dc.date.none.fl_str_mv 2020-05
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/140626
Da Re, Bruno; Las soluciones subestructurales a las paradojas y el problema de la dependencia; Sociedad Argentina de Análisis Filosófico; Análisis Filosófico; 40; 1; 5-2020; 41-62
0326-1301
1851-9636
CONICET Digital
CONICET
url http://hdl.handle.net/11336/140626
identifier_str_mv Da Re, Bruno; Las soluciones subestructurales a las paradojas y el problema de la dependencia; Sociedad Argentina de Análisis Filosófico; Análisis Filosófico; 40; 1; 5-2020; 41-62
0326-1301
1851-9636
CONICET Digital
CONICET
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://analisisfilosofico.org/index.php/af/article/view/337/261
info:eu-repo/semantics/altIdentifier/doi/10.36446/af.2020.337
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Sociedad Argentina de Análisis Filosófico
publisher.none.fl_str_mv Sociedad Argentina de Análisis Filosófico
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844614252339396608
score 13.070432