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

Neste artigo defendo que a Teoria da Informa o Fortemente Semantica de Floridi (2004) – TIFS – 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 – 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 – TSSI – 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 – 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.