Pons Asinorum for Classical Propositional Logic

Detalhes bibliográficos
Autor(a) principal: Sautter, Frank Thomas
Data de Publicação: 2023
Tipo de documento: Artigo
Idioma: por
Título da fonte: Principia (Florianópolis. Online)
DOI: 10.5007/1808-1711.2023.e83312
Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/83312
Resumo: Contemporary Logic pays little or, even, no attention to the construction of arguments for a given conclusion, unlike what occurs in Aristotle's Prior Analytics. The procedure of Aristotle was later compiled in the form of a logical diagram known as the “Bridge of Asses” (Pons Asinorum). In this paper I propose a procedure for the construction of arguments for a given conclusion, in the context of Classical Propositional Logic, abstracted from Aristotle's procedure. I use the notion of semantic information as Ariadne's thread to obtain the procedure.
id UFSC-5_34e64e57f637731a116ac88b986a7ab7
oai_identifier_str oai:periodicos.ufsc.br:article/83312
network_acronym_str UFSC-5
network_name_str Principia (Florianópolis. Online)
spelling Pons Asinorum for Classical Propositional LogicPons Asinorum para a Lógica Proposicional ClássicaClassical Propositional LogicLógica inventivaInventio mediiSemantic informationLógica Proposicional ClássicaLógica inventivaInventio mediiInformação semânticaContemporary Logic pays little or, even, no attention to the construction of arguments for a given conclusion, unlike what occurs in Aristotle's Prior Analytics. The procedure of Aristotle was later compiled in the form of a logical diagram known as the “Bridge of Asses” (Pons Asinorum). In this paper I propose a procedure for the construction of arguments for a given conclusion, in the context of Classical Propositional Logic, abstracted from Aristotle's procedure. I use the notion of semantic information as Ariadne's thread to obtain the procedure.A Lógica Contemporânea dá pouca ou, mesmo, nenhuma atenção à construção de argumentos para uma conclusão dada, diferentemente do que ocorre nos Analíticos Anteriores, de Aristóteles. O procedimento de Aristóteles foi, posteriormente, compilado sob a forma de um diagrama lógico conhecido como “Ponte de Asnos” (Pons Asinorum). Neste trabalho proponho um procedimento para a construção de argumentos para uma dada conclusão, no âmbito da Lógica Proposicional Clássica, abstraído do procedimento de Aristóteles. Utilizo a noção de informação semântica como fio de Ariadne para a obtenção do procedimento.Federal University of Santa Catarina – UFSC2023-10-06info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.ufsc.br/index.php/principia/article/view/8331210.5007/1808-1711.2023.e83312Principia: an international journal of epistemology; Vol. 27 No. 2 (2023); 281–292Principia: an international journal of epistemology; Vol. 27 Núm. 2 (2023); 281–292Principia: an international journal of epistemology; v. 27 n. 2 (2023); 281–2921808-17111414-4247reponame:Principia (Florianópolis. Online)instname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCporhttps://periodicos.ufsc.br/index.php/principia/article/view/83312/54359Copyright (c) 2023 Frank Thomas Sautterhttp://creativecommons.org/licenses/by-nc-nd/4.0info:eu-repo/semantics/openAccessSautter, Frank Thomas2023-10-22T20:38:02Zoai:periodicos.ufsc.br:article/83312Revistahttps://periodicos.ufsc.br/index.php/principiaPUBhttps://periodicos.ufsc.br/index.php/principia/oaiprincipia@contato.ufsc.br||principia@contato.ufsc.br1808-17111414-4247opendoar:2023-10-22T20:38:02Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Pons Asinorum for Classical Propositional Logic
Pons Asinorum para a Lógica Proposicional Clássica
title Pons Asinorum for Classical Propositional Logic
spellingShingle Pons Asinorum for Classical Propositional Logic
Pons Asinorum for Classical Propositional Logic
Sautter, Frank Thomas
Classical Propositional Logic
Lógica inventiva
Inventio medii
Semantic information
Lógica Proposicional Clássica
Lógica inventiva
Inventio medii
Informação semântica
Sautter, Frank Thomas
Classical Propositional Logic
Lógica inventiva
Inventio medii
Semantic information
Lógica Proposicional Clássica
Lógica inventiva
Inventio medii
Informação semântica
title_short Pons Asinorum for Classical Propositional Logic
title_full Pons Asinorum for Classical Propositional Logic
title_fullStr Pons Asinorum for Classical Propositional Logic
Pons Asinorum for Classical Propositional Logic
title_full_unstemmed Pons Asinorum for Classical Propositional Logic
Pons Asinorum for Classical Propositional Logic
title_sort Pons Asinorum for Classical Propositional Logic
author Sautter, Frank Thomas
author_facet Sautter, Frank Thomas
Sautter, Frank Thomas
author_role author
dc.contributor.author.fl_str_mv Sautter, Frank Thomas
dc.subject.por.fl_str_mv Classical Propositional Logic
Lógica inventiva
Inventio medii
Semantic information
Lógica Proposicional Clássica
Lógica inventiva
Inventio medii
Informação semântica
topic Classical Propositional Logic
Lógica inventiva
Inventio medii
Semantic information
Lógica Proposicional Clássica
Lógica inventiva
Inventio medii
Informação semântica
description Contemporary Logic pays little or, even, no attention to the construction of arguments for a given conclusion, unlike what occurs in Aristotle's Prior Analytics. The procedure of Aristotle was later compiled in the form of a logical diagram known as the “Bridge of Asses” (Pons Asinorum). In this paper I propose a procedure for the construction of arguments for a given conclusion, in the context of Classical Propositional Logic, abstracted from Aristotle's procedure. I use the notion of semantic information as Ariadne's thread to obtain the procedure.
publishDate 2023
dc.date.none.fl_str_mv 2023-10-06
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.ufsc.br/index.php/principia/article/view/83312
10.5007/1808-1711.2023.e83312
url https://periodicos.ufsc.br/index.php/principia/article/view/83312
identifier_str_mv 10.5007/1808-1711.2023.e83312
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.ufsc.br/index.php/principia/article/view/83312/54359
dc.rights.driver.fl_str_mv Copyright (c) 2023 Frank Thomas Sautter
http://creativecommons.org/licenses/by-nc-nd/4.0
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2023 Frank Thomas Sautter
http://creativecommons.org/licenses/by-nc-nd/4.0
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Federal University of Santa Catarina – UFSC
publisher.none.fl_str_mv Federal University of Santa Catarina – UFSC
dc.source.none.fl_str_mv Principia: an international journal of epistemology; Vol. 27 No. 2 (2023); 281–292
Principia: an international journal of epistemology; Vol. 27 Núm. 2 (2023); 281–292
Principia: an international journal of epistemology; v. 27 n. 2 (2023); 281–292
1808-1711
1414-4247
reponame:Principia (Florianópolis. Online)
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Principia (Florianópolis. Online)
collection Principia (Florianópolis. Online)
repository.name.fl_str_mv Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv principia@contato.ufsc.br||principia@contato.ufsc.br
_version_ 1822179220960313344
dc.identifier.doi.none.fl_str_mv 10.5007/1808-1711.2023.e83312

Registros relacionados