Uma semântica Informacional para a consequência lógica

• Alves, Marcos Antonio ^[1]
  1. [1] UNESP
• Localización: Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 27, Nº. Extra 1, 2023 (Ejemplar dedicado a: Special Issue: The Logical Alien + Varia)
• Idioma: portugués
• Títulos paralelos:
  • An informational semantics for logical consequence
• Enlaces
  • Texto completo (pdf)
• Resumen
  • English

    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.

  • português

    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.