%0 Journal Article %T A tese da veracidade na teoria da informa o fortemente semantica de Floridi e o paradoxo de Bar-Hillel-Carnap =The veracity thesis in floridi¡¯s theory of strongly semantic information and the Bar-Hillel-Carnap paradox %A Alonso %A Bernardo Gon£¿alves %J Veritas %D 2012 %I Editora da Pontif¨ªcia Universidade Cat¨®lica do Rio Grande do Sul (EDIPUCRS) %X Neste artigo defendo que a Teoria da Informa o Fortemente Semantica de Floridi (2004) ¨C TIFS ¨C est¨¢ correta ao assumir a Tese da Veracidade, que por sua vez orienta a defini o de informa o semantica como ¡°p ¨¦ informa o se e somente se p ¨¦ constitu¨ªdo por dados bemformados, com significado e verdadeiros¡±. Argumento que a teoria n o ¨¦ arbitr¨¢ria, pois d¨¢ conta do desembara o de conundrums filos¨®ficos importantes, principalmente por evitar o paradoxo de Bar-Hillel e Carnap (1953), que ¨¦ gerado a partir da teoria cl¨¢ssica da informa o semantica. Primeiro ¨¦ discutido um dos principais resultados da teoria cl¨¢ssica, o de produzir ¡°senten as muito informativas para serem verdadeiras¡±. Depois s o resumidas as motiva es para a elabora o de uma ¡°l¨®gica de estar informado¡± e ¨¦ mostrado como o sistema KTB-IL ¨¦ montado e modelado mantendo-se entre os seus axiomas o da veracidade ¨C K ou A4. Finalmente, a TIFS ¨¦ examinada e defendida ao mostrar que ela restringe aleticamente a extens o do conceito cl¨¢ssico de informa o para evitar problemas com tautologias e contradi es. A TIFS oferece uma solu o original ao capturar nossas intui es modais a respeito da informatividade como no o b¨¢sica. In this article I defend that Floridi¡¯s Theory of Strongly Semantic Information ¨C TSSI ¨C is correct while encompassing the Veracity Thesis, which guides the semantic information definition as ¡°p is information if and only if p is constituted by meaningful, truth well-formed data¡±. I argue that the theory is not arbitrary because it deals with important philosophical conundrums, mainly by avoiding the Bar-Hillel and Carnap paradox (1953) generated from the classical theory of semantic information. First, one of the classic theory¡¯s main result is discussed: the production of ¡°too much informative sentences to be true¡±. Then the motivations to elaborate a ¡°logic of being informed¡± are summarized and it is shown how the KTB-IL system is built and modelled keeping the veracity axiom among its axioms ¨C K or A4. Finally the TSSI is examined and defended by showing that it aletically restricts the extension of the classic concept of information, avoiding problems with tautologies and contradictions. The TSSI offers an original solution by capturing our modal intuitions concerning informativeness as a basic notion. %K TEORIA DA INFORMA O %K SEM NTICA (FILOSOFIA) %U http://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/viewFile/10568/8801