CORREÇÃO GRÁFICA E OUTRAS CARACTERÍSTICAS DO MÉTODO DIAGRAMÁTICO “DÍGRAFOS DE GARDNER”
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 d...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Universidade Estadual Paulista (UNESP)
2016-01-01
|
| Series: | Kínesis |
| Subjects: | |
| Online Access: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/5715 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| ISSN: | 1984-8900 |