Uma semântica Informacional para a consequência lógica
DOI:
https://doi.org/10.5007/1808-1711.2023.e85659Palabras clave:
Consequência lógica, Consequência lógica informacionalResumen
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.
Citas
Alves, M. A. 2012. Lógica e informação: uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação. Tese (Doutorado em Filosofia), 211 f. Instituto de Filosofia e Ciências Humanas, Universidade Estadual de Campinas, Campinas.
Da Costa, N. C. A. 1993. Lógica indutiva e probabilidade. 2.ed. São Paulo: Ed. HUCITEC.
D’Agostino & Floridi, L. 2009. The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative? Synthese 167(2): 271-315.
D’Ottaviano, I. M. L. 1992. A Lógica Clássica e o Surgimento das Lógicas Não-Clássicas. In: F. R. R. Évora (ed.), Século XIX: o nascimento da ciência contemporânea, p.65-93. Coleção CLE, v.11. Campinas: Universidade Estadual de Campinas/CLE.
Haack, S. 2002. Filosofia das Lógicas. Trad. C. A. Mortari & L. H. A. Dutra. São Paulo: Editora UNESP.
Hintikka, J. 1970. Surface Information and Depth Information. In: J. Hintikka & P. Suppes (eds.), Information and Inference, p.263-297. Dordrecht: Reidel.
Mates, B. 1968. Lógica Elementar. Trad. L. Hegenberg & O. S. Mota. São Paulo: Companhia Editora Nacional/Editora da Universidade de São Paulo.
Mendelson, E. 1964. Introduction to Logic. New York: D. Van Nostrand Company.
Shannon, C. & Weaver, W. 1949. The Mathematical Theory of Information. Urbana: University of Illinois Press.
Shoenfield, J. 1967. Mathematical Logic. Reading, MA: Addison Wesley Publishing Company.
Tarski, A. 1983 [1956]. On the Concept of Logical Consequence. In: Logic, Semantics, Metamathematics, p.409-420. Oxford: Clarendon Press.
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2023 Marcos Antonio Alves
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
Principia http://www.periodicos.ufsc.br/index.php/principia/index is licenced under a Creative Commons - Atribuição-Uso Não-Comercial-Não a obras derivadas 3.0 Unported.
Base available in www.periodicos.ufsc.br.