Voltar
Artigo Acesso aberto Produção Nacional Revisado por pares
BIBTEX RIS

Pons Asinorum para a Lógica Proposicional Clássica

2023; UNIVERSIDADE FEDERAL DE SANTA CATARINA; Volume: 27; Issue: 2 Linguagem: Português

10.5007/1808-1711.2023.e83312

ISSN

1808-1711

Autores

Frank Thomas Sautter,

Tópico(s)

Semantic Web and Ontologies

Resumo

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.

Referência(s)