New Insights on Syllogistics and Cut

Autores
Alvarez Lisboa, Miguel Agustin
Año de publicación
2020
Idioma
inglés
Tipo de recurso
parte de libro
Estado
versión publicada
Descripción
There is a quite intentional resemblance between the Cut Rule and Aristotle´s Syllogism. In this paper some deep connections between Sequent Calculus and Syllogistics will be investigated. Taking into consideration Alvarez & Correi´s axiomatization of Syllogistics, currently the most complete available in the literature, I will show how this ancient logical system can be put into correspondence with the structural features of a special Sequent Calculus system, SS. On the grounds of this discovery I will present some improvements of the expressive power of Alvarez & Correias system. As for the philosophical consequences of the correspondence, I will give answers to several concerns Manuel Correia had on his system. A somewhat new philosophical relevance of the Cut-Elimination Theorem will be highlighted in the end.
Fil: Alvarez Lisboa, Miguel Agustin. 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
Sequent Calculus
Cut-Elimination Theorem
Theory of Oppositions
Substructural logics
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/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/143759
Acceder
id CONICETDig_1de99d5b49433dea95e6588d6dc5f5fb
oai_identifier_str oai:ri.conicet.gov.ar:11336/143759
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling New Insights on Syllogistics and CutAlvarez Lisboa, Miguel AgustinSequent CalculusCut-Elimination TheoremTheory of OppositionsSubstructural logicshttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6There is a quite intentional resemblance between the Cut Rule and Aristotle´s Syllogism. In this paper some deep connections between Sequent Calculus and Syllogistics will be investigated. Taking into consideration Alvarez & Correi´s axiomatization of Syllogistics, currently the most complete available in the literature, I will show how this ancient logical system can be put into correspondence with the structural features of a special Sequent Calculus system, SS. On the grounds of this discovery I will present some improvements of the expressive power of Alvarez & Correias system. As for the philosophical consequences of the correspondence, I will give answers to several concerns Manuel Correia had on his system. A somewhat new philosophical relevance of the Cut-Elimination Theorem will be highlighted in the end.Fil: Alvarez Lisboa, Miguel Agustin. 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; ArgentinaUniversidad de Valparaíso. Instituto de FilosofíaFernandes, Diego P.López Orellana, Rodrigo2020info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookParthttp://purl.org/coar/resource_type/c_3248info:ar-repo/semantics/parteDeLibroapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/143759Alvarez Lisboa, Miguel Agustin; New Insights on Syllogistics and Cut; Universidad de Valparaíso. Instituto de Filosofía; 2020; 1-16978-956-402-647-3CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://www.selecciondetextos.cl/wp-content/uploads/2020/12/Fernandes-LopezOrellana-El_jardin_de_senderos_que_se_bifurcan_y_confluyen-Filosofia_Logica_y_Matematicas.pdfinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-11-12T09:45:19Zoai:ri.conicet.gov.ar:11336/143759instacron: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-11-12 09:45:20.319CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv New Insights on Syllogistics and Cut
title New Insights on Syllogistics and Cut
spellingShingle New Insights on Syllogistics and Cut
Alvarez Lisboa, Miguel Agustin
Sequent Calculus
Cut-Elimination Theorem
Theory of Oppositions
Substructural logics
title_short New Insights on Syllogistics and Cut
title_full New Insights on Syllogistics and Cut
title_fullStr New Insights on Syllogistics and Cut
title_full_unstemmed New Insights on Syllogistics and Cut
title_sort New Insights on Syllogistics and Cut
dc.creator.none.fl_str_mv Alvarez Lisboa, Miguel Agustin
author Alvarez Lisboa, Miguel Agustin
author_facet Alvarez Lisboa, Miguel Agustin
author_role author
dc.contributor.none.fl_str_mv Fernandes, Diego P.
López Orellana, Rodrigo
dc.subject.none.fl_str_mv Sequent Calculus
Cut-Elimination Theorem
Theory of Oppositions
Substructural logics
topic Sequent Calculus
Cut-Elimination Theorem
Theory of Oppositions
Substructural logics
purl_subject.fl_str_mv https://purl.org/becyt/ford/6.3
https://purl.org/becyt/ford/6
dc.description.none.fl_txt_mv There is a quite intentional resemblance between the Cut Rule and Aristotle´s Syllogism. In this paper some deep connections between Sequent Calculus and Syllogistics will be investigated. Taking into consideration Alvarez & Correi´s axiomatization of Syllogistics, currently the most complete available in the literature, I will show how this ancient logical system can be put into correspondence with the structural features of a special Sequent Calculus system, SS. On the grounds of this discovery I will present some improvements of the expressive power of Alvarez & Correias system. As for the philosophical consequences of the correspondence, I will give answers to several concerns Manuel Correia had on his system. A somewhat new philosophical relevance of the Cut-Elimination Theorem will be highlighted in the end.
Fil: Alvarez Lisboa, Miguel Agustin. 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 There is a quite intentional resemblance between the Cut Rule and Aristotle´s Syllogism. In this paper some deep connections between Sequent Calculus and Syllogistics will be investigated. Taking into consideration Alvarez & Correi´s axiomatization of Syllogistics, currently the most complete available in the literature, I will show how this ancient logical system can be put into correspondence with the structural features of a special Sequent Calculus system, SS. On the grounds of this discovery I will present some improvements of the expressive power of Alvarez & Correias system. As for the philosophical consequences of the correspondence, I will give answers to several concerns Manuel Correia had on his system. A somewhat new philosophical relevance of the Cut-Elimination Theorem will be highlighted in the end.
publishDate 2020
dc.date.none.fl_str_mv 2020
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/bookPart
http://purl.org/coar/resource_type/c_3248
info:ar-repo/semantics/parteDeLibro
status_str publishedVersion
format bookPart
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/143759
Alvarez Lisboa, Miguel Agustin; New Insights on Syllogistics and Cut; Universidad de Valparaíso. Instituto de Filosofía; 2020; 1-16
978-956-402-647-3
CONICET Digital
CONICET
url http://hdl.handle.net/11336/143759
identifier_str_mv Alvarez Lisboa, Miguel Agustin; New Insights on Syllogistics and Cut; Universidad de Valparaíso. Instituto de Filosofía; 2020; 1-16
978-956-402-647-3
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.selecciondetextos.cl/wp-content/uploads/2020/12/Fernandes-LopezOrellana-El_jardin_de_senderos_que_se_bifurcan_y_confluyen-Filosofia_Logica_y_Matematicas.pdf
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universidad de Valparaíso. Instituto de Filosofía
publisher.none.fl_str_mv Universidad de Valparaíso. Instituto de Filosofía
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_ 1848597820138848256
score 12.976206

Publicaciones similares