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

Autores

  • Félix Flores PINHEIRO (UFSM)

DOI:

https://doi.org/10.36311/1984-8900.2015.v7n15.5715

Palavras-chave:

Dígrafos de Gardner. Raciocínio Diagramático. Correção Gráfica. Extensão Conservativa.

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.

Downloads

Não há dados estatísticos.

Downloads

Publicado

2016-01-02

Edição

Seção

Artigos