Resumen de Integração do increased coherence model de Galliers à modelagem Evans-Araújo do jogo de dar e pedir razões de Robert Brandom
- English
The objective of this article is to reevaluate a formalization of Brandom’s (1998) game of giving and asking for reasons proposed by me in (HECK, 2018), which separates it into two instances: an individual that can be turned into public performances and another which is effectively historical-public; proposing corrections to the first of these instances. Namely, replacing the formalization in database and static operations, elaborated by Araújo (2018), by the formal expression of a dynamic cognitive and communicative activity given by Galliers (1992) called ICM (increased coherence model) from the AGM paradigm (1988). To accomplish this, I begin by presenting Brandom's thinking and his conception of giving and asking for reasons, with their un-derlying dynamics. Then I present a formalization which combines the public instance of Evans (2018) with the personal instance of Araújo. From there, some criticisms being cast, with special focus on the unjustified and static character of operations on the doxastic states of Araújo's model. Finally, I present Galliers' modeling as a solution to these criticisms, concluding that this incursion of modeling revision adds pragmatic elements to operations on beliefs, although, being only the beginning of necessary revisions to provide a satisfactory logical expression of the dynamic and inconsistent activity that is the game of giving and asking for reasons.
- português
O objetivo deste artigo é reavaliar uma formalização do jogo de dar e pedir razões de Brandom (1998) proposta por mim em (HECK, 2018), que a divide em duas instâncias: uma individual de performances potencialmente públicas e outra efetivamente histórico-pública; e propor correções à primeira das duas instâncias. Nomeadamente, substituindo a formalização em banco de dados e operações estáticas, elaborada por Araújo (2018), pela expressão formal de uma atividade cognitiva e comunicativa dinâmica dada por Galliers (1992) chamada de ICM (increased coherence model) a partir do paradigma AGM (1988). Para realizar isto, inicio apresentando o pensamento de Brandom e sua concepção de jogo de dar e pedir razões, com suas dinâmicas subjacentes, em seguida apresento uma formalização que combina a instância pública de Evans (2018) com a instância pessoal de Araújo. A partir daí, elenco algumas críticas, com especial foco no caráter injustificado e estático das operações sobre os estados doxásticos do modelo de Araújo. Por fim, apresento a modelagem de Galliers como solução para estas críticas, concluindo que esta incursão de revisão de modelagens adiciona elementos pragmáticos às operações sobre crenças, embora, apenas o início das revisões necessárias para fornecer uma expressão lógica satisfatória da atividade dinâmica e inconsistente que é o jogo de dar e pedir razões.
