O PROBLEMA DA ONISCIÊNCIA LÓGICA: UMA DISCUSSÃO SOBRE SOLUÇÕES E NOVOS PROBLEMAS

A preocupação em entender o que é o conhecimento vem desde a antiguidade. Mesmo os.antigos já perceberam sua importância, um fenômeno tão comum a todos os indivíduos,.que ajuda o ser humano a compreender o mundo em que vive, bem como alterá-lo para.agir em seu favor. Outra noção de igual importância é a de crença, que de certa forma.compartilha muitas das propriedades do conhecimento. Inspirado no desenvolvimento da.lógica modal alética, Jaako Hintikka propôs uma abordagem formal para o conhecimento.e a crença. Essa abordagem veio a ser conhecida como .lógica epistêmica., chamada assim.por lidar com modalidades epistêmicas. Pelas características semelhantes aos sistemas de.lógica modal alética, o sistema de Hintikka é levado a aceitar de início axiomas como.Ka(p ! q) ! (Kap ! Kaq) e Ba(p ! q) ! (Bap ! Baq). Esses axiomas levam esse.sistema a enfrentar o problema da onisciência lógica, bastante discutido em várias áreas.do conhecimento. Desde seu trabalho pioneiro sobre a lógica epistêmica, publicado em.1962, Hintikka deu início a uma vasta discussão não somente no campo da lógica ou.da epistemologia, mas também no campo da inteligência arti.cial. Este trabalho apresenta.a abordagem original de 1962, provando os teoremas responsáveis pela atribuição.da propriedade de onisciência lógica aos agentes, entre outras propriedades. Em seguida,.apresentamos e discutimos uma série de abordagens posteriores, salientando suas caracter.ísticas particulares, e demonstrando alguns de seus principais teoremas. Ao .nal.do trabalho, avaliamos as abordagens discutidas. Respondemos, por exemplo, se alguma.soluciona de.nitivamente o problema da onisciência lógica. Outras questões também serão.contempladas. Entre elas:.1. Quais são as atribuições de uma lógica epistêmica?.2. A onisciência lógica é de fato um problema?