ABSTRACT:In the late twentieth century, the final version of the mental logic theory was presented. That was a syntactic and formal approach intended to describe and explain the human inferential ability. Maybe because of several experimental results achieved during the last years that have not addressed by the theory, it can be thought that its framework is outdated today. In this paper, I try to update some particular aspects of the mental logic theory by taking recent empirical evidence and arguments coming from the specialized literature into account. Such aspects refer to the symbols that it should adopt, its actual essential schemata, and the way in which the theory can deal with denials. KEYWORDS: formal schemata; inference; mental logic; reasoning; syntax RESUMO: No final do século XX, a versão final da teoria lógica da mente foi apresentada. Ela era constituída por uma aproximação formal e sintática que objetivava descrever e explicar a habilidade de inferências humanas. Tendo em vista vários resultados experimentais obtidos nos últimos anos que fogem ao escopo desta teoria, podemos afirmar que ela, hoje, encontra se desatualizada. Neste artigo, objetivamos atualizar alguns aspectos particulares da teoria lógica da mente em relação com evidências empíricas recentes e argumentos oriundos da literatura especializada. Tais aspectos se referem aos símbolos que ela deveria adotar, ao esquema essencial e ao modo no qual ela pode conviver com suas negações PALAVRASCHAVE:Esquemas formais; inferência; lógica mental; pensamento; sintaxe