Search

Neste artigo defendo que a Teoria da Informação Fortemente Semântica de Floridi (2004) 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 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 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