An informational semantics for logical consequence
Autor(a) principal: | |
---|---|
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 |