""""Crenças não ditas, dito de crenças""""

O presente trabalho inicia seu estudo na contradição entre um dos postulados de AGM, acrônico para Alchourrón, Gärdenfors e Makinson, com um princípio aqui designado por critério da economia da informação incorporada, muito citada na literatura especializada, inclusive em alguns trabalhos do próprio Peter Gärdenfors, como uma propriedade desejável, ou mesmo necessária, em várias aplicções. A contradição entre ambos é apresentada, seguindo [CCC??], e uma solução para esta incompatibilidade é desenvolvida a partir de uma nova leitura, dentro da linguagem de primeira ordem, para o postulado original, de forma a torná-lo consistente com o critério acima mencionado. O conjunto de postulados obtido por esta nova leitura origina a chamada teoria AGME. A formalização de AGME é realizadas, nos moldes de [CCO2], dentro de estrutura bi-sortida. Os resultados que se seguem mostram que, na verdade, uma teoria sobre a mudança racional de crença, no estilo de AGM, depende muito mais das características da metalinguagem, podendo ser desenvolvida. AGME, assim como AGM, permite que as identidades conhecidas como identidades de Levi e Harper permanecem interdefiníveis. ..Uma análise sobre quais as teorias podem ser produzidas dentro do espaço lógico da linguagem de primeira ordem é inciciada, proporcionando que um estudo sobre a liberdade de expressão, das teorias tipo AGM, possa ser mais investigado...Diferentemente das abordagens que têm sido apresentadas para ACM, o presente trabalho foi elaborado com enfoque nos conceitos lógicos envolvidos na formulação de uma teoria para a mudança racional de crença e nos resultados teóricos que podem ser obtidos a partir desta análise. Uma abordagem algorítima sobre os resultados aqui obtidos pode ser realizada posteriomente.