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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/140626
Ver los metadatos del registro completo
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 |