Abstract

Neste artigo defendo que a Teoria da Informação Fortemente Semântica de Floridi – TIFS – está correta ao assumir a Tese da Veracidade, que por sua vez orienta a definição de informação semântica como “p é informação se e somente se p é constituído por dados bem-formados, 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, que é gerado a partir da teoria clássica da informação semântica. 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.