An informational semantics for logical consequence

Detalhes bibliográficos
Autor(a) principal: Alves, Marcos Antonio
Data de Publicação: 2023
Tipo de documento: Artigo
Idioma: por
Título da fonte: Principia (Florianópolis. Online)
Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/85659
Resumo: In semantic terms, the logical consequence is usually defined from the truth value of the premises and conclusion: this is true in every situation in which the former are true. It can be understood that, in these cases, the conclusion does not contain more information than the set of premises. Based on this idea, we develop, in this article, a definition of informational logical consequence, based on the notion of information suggested in the Mathematical Theory of Communication. We show some results, such as that, despite being inconsistent, the system underlying this notion is not trivial and that the logic underlying the informational logical consequence is not classical, but some kind of paraconsistent logic.
id UFSC-5_1ee4d675067b9385a1952109769cfe9e
oai_identifier_str oai:periodicos.ufsc.br:article/85659
network_acronym_str UFSC-5
network_name_str Principia (Florianópolis. Online)
repository_id_str
spelling An informational semantics for logical consequenceUma semântica Informacional para a consequência lógicaLogical consequenceInformational logical consequenceinformation probabilityConsequência lógicaConsequência lógica informacionalIn semantic terms, the logical consequence is usually defined from the truth value of the premises and conclusion: this is true in every situation in which the former are true. It can be understood that, in these cases, the conclusion does not contain more information than the set of premises. Based on this idea, we develop, in this article, a definition of informational logical consequence, based on the notion of information suggested in the Mathematical Theory of Communication. We show some results, such as that, despite being inconsistent, the system underlying this notion is not trivial and that the logic underlying the informational logical consequence is not classical, but some kind of paraconsistent logic.Em termos semânticos, a consequência lógica é definida costumeiramente a partir do valor de verdade das premissas e conclusão: esta é verdadeira em toda situação na qual aquelas o sejam. Pode-se entender que, nestes casos, a conclusão não contém mais informação do que o conjunto de premissas. Com base nesta ideia, desenvolvemos, neste artigo, uma definição de consequência lógica informacional, baseada na noção de informação sugerida na Teoria Matemática da Comunicação. Mostramos alguns resultados, tais como que, apesar de inconsistente, o sistema subjacente a essa noção não é trivial e que a lógica subjacente à consequência lógica informacional não é clássica, mas algum tipo de lógica paraconsistente.Federal University of Santa Catarina – UFSC2023-05-26info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.ufsc.br/index.php/principia/article/view/8565910.5007/1808-1711.2023.e85659Principia: an international journal of epistemology; Vol. 27 No. 1 (2023): Special Issue: The Logical Alien + Varia; 117-135Principia: an international journal of epistemology; Vol. 27 Núm. 1 (2023): Special Issue: The Logical Alien + Varia; 117-135Principia: an international journal of epistemology; v. 27 n. 1 (2023): Special Issue: The Logical Alien + Varia; 117-1351808-17111414-4247reponame:Principia (Florianópolis. Online)instname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCporhttps://periodicos.ufsc.br/index.php/principia/article/view/85659/53294Copyright (c) 2023 Marcos Antonio Alveshttp://creativecommons.org/licenses/by-nc-nd/4.0info:eu-repo/semantics/openAccessAlves, Marcos Antonio2023-10-22T20:37:35Zoai:periodicos.ufsc.br:article/85659Revistahttps://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:37:35Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv An informational semantics for logical consequence
Uma semântica Informacional para a consequência lógica
title An informational semantics for logical consequence
spellingShingle An informational semantics for logical consequence
Alves, Marcos Antonio
Logical consequence
Informational logical consequence
information probability
Consequência lógica
Consequência lógica informacional
title_short An informational semantics for logical consequence
title_full An informational semantics for logical consequence
title_fullStr An informational semantics for logical consequence
title_full_unstemmed An informational semantics for logical consequence
title_sort An informational semantics for logical consequence
author Alves, Marcos Antonio
author_facet Alves, Marcos Antonio
author_role author
dc.contributor.author.fl_str_mv Alves, Marcos Antonio
dc.subject.por.fl_str_mv Logical consequence
Informational logical consequence
information probability
Consequência lógica
Consequência lógica informacional
topic Logical consequence
Informational logical consequence
information probability
Consequência lógica
Consequência lógica informacional
description In semantic terms, the logical consequence is usually defined from the truth value of the premises and conclusion: this is true in every situation in which the former are true. It can be understood that, in these cases, the conclusion does not contain more information than the set of premises. Based on this idea, we develop, in this article, a definition of informational logical consequence, based on the notion of information suggested in the Mathematical Theory of Communication. We show some results, such as that, despite being inconsistent, the system underlying this notion is not trivial and that the logic underlying the informational logical consequence is not classical, but some kind of paraconsistent logic.
publishDate 2023
dc.date.none.fl_str_mv 2023-05-26
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/85659
10.5007/1808-1711.2023.e85659
url https://periodicos.ufsc.br/index.php/principia/article/view/85659
identifier_str_mv 10.5007/1808-1711.2023.e85659
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.ufsc.br/index.php/principia/article/view/85659/53294
dc.rights.driver.fl_str_mv Copyright (c) 2023 Marcos Antonio Alves
http://creativecommons.org/licenses/by-nc-nd/4.0
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2023 Marcos Antonio Alves
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. 1 (2023): Special Issue: The Logical Alien + Varia; 117-135
Principia: an international journal of epistemology; Vol. 27 Núm. 1 (2023): Special Issue: The Logical Alien + Varia; 117-135
Principia: an international journal of epistemology; v. 27 n. 1 (2023): Special Issue: The Logical Alien + Varia; 117-135
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_ 1799875201210515456