Comentar

A presente tese mostra que é possı́vel reestabelecer a teoria tradicional da informação semântica (no que segue apenas TSI, originalmente proposta por Bar-Hillel e Carnap (1952, 1953)) a partir de uma descrição adequada das condições epistemológicas de nossa competência semântica. O objetivo de uma teoria da informação semântica é providenciar critérios para medir a quantidade de informação carregada por sentenças. A ideia básica por trás de TSI é que a quantidade de informação de uma sentença varia em função do número de modelos que ela tem: quanto mais modelos ela tem, menos informativa ela é. Ora, uma consequência clássica de TSI é o assim chamado escândalo da dedução (no que segue SoD), tese segundo a qual verdades lógicas têm quantidade nula de informação. SoD é problemático dado que conflita com o caráter ampliativo do conhecimento formal. Baseado nisso, trabalhos recentes (e.g., Floridi (2004)) rejeitam TSI apesar de suas boas intuições sobre a natureza da informação semântica. Por outro lado, esta tese reconsidera a estratégia de assumir a semântica urna (RANTALA, 1979) como o pano de fundo metateórico privilegiado para o reestabelecimento de TSI sem SoD. A presente tese tem o seguinte plano. O capı́tulo 1 introduz o plano geral da tese. No capı́tulo 2, valendo-se fortemente de trabalhos clássicos sobre o externalismo semântico, eu apresento algum suporte filosófico para essa estratégia ao mostrar que a semântica urna corretamente caracteriza as condições epistemológicas de nossa competência semântica no uso de quantificadores. De fato, uma das ideias principais do externalismo semântico (e desse trabalho também) é a afirmação de que nossa competência semântica associa-se geralmente a uma apreensão epistemológica imperfeita das condições de verdade das sentenças de nossa linguagem. O capı́tulo 3 oferece uma descrição precisa da semântica urna a partir da apresentação de suas definições básicas e alguns de seus teoremas mais fundamentais. No capı́tulo 4, eu me concentro mais uma vez no tema da informação semântica ao formalizar TSI em semântica urna e provar que nesse contexto SoD não vale. Finalmente, nos capı́tulos 5 e 6 eu considero resultados modelo-teóricos mais avançados sobre semântica urna e exploro uma possı́vel aplicação paraconsistente das ideias principais dessa tese, respectivamente.