CORREÇÃO GRÁFICA E OUTRAS CARACTERÍSTICAS DO MÉTODO DIAGRAMÁTICO “DÍGRAFOS DE GARDNER”

Resumo

O presente artigo tem por objetivo analisar o método diagramático de decisão para silogismos denominado “Dígrafos de Gardner”, apresentado por Sautter (2013). Tal método é uma modificação do método de Gardner (2001) para a Lógica Proposicional Clássica. Sautter (2013) mostra que seu método é capaz de representar todos os silogísmos válidos. Isso significa que o método é completo. Nossa análise focou na eficácia do método, buscando a demonstração da garantia de que um silogísmo inválido corresponde sempre a uma configuração inválida no método. Como resultado montamos uma prova gráfica disso. Essa prova corresponde a um caminho gráfico para demonstrar que o método é correto. Além disso, nossa análise resulta em uma descrição rígida dos componentes do método, como por exemplo suas configurações que correspondem à falácias e a presença de arranjos diagramaticos válidas pelo método derivadas do fenômeno da extensão conservativa.