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

Autores

  • Félix Flores Pinheiro Mestre em Filosofia pela Universidade Federal de Santa Maria (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.

Referências

BARWISE, J; ETCHEMENDY, J. “Visual information and Valid Reasoning”. In: Allwein, G; Barwise, J (eds), Logical reasoning with diagrams (3-26). New York: Oxford University Press, 1996.

CARROLL, L. Symbolic Logic. New York: Clarkson N. Potter, 1986.

______. What the Tortoise Said to Achilles. In: Mind, v. 104, n. 416, p. 691–693, 1895.

ENGLEBRETSEN, G. Linear Diagrams for Syllogisms (with Relationals). In: Notre Dame Journal of Formal Logic, v. 33, n. 1, 1992.

GARDNER, M. A Network Diagram for the Propositional Calculus. In:______. Logic Machines and Diagrams. New York: McGraw Hill, p. 60-79, 1958.

______. The Propositional Calculus with Directed Graphs. In:_____. A Gardner’s Workout: Training the Mind and Entertaining the Spirit. Natick: A.K.Peters, p. 25-33, 2001.

HAMMER, E. “Diagrammatic logic”. In: Gabbay, M; Guenthner, F (eds). Handbook of philosophical logic. p. 395-422, 2º ed. vol. 4, [s.l] Springer, 2001

LASSALE CASANAVE, A; VAZ, C; SCHULTZ, S. Diagramas e provas. In: DoisPontos, v. 6, n. 2, 2009.

MANCOSU, P. “O visível e o invisível”. In: Lassale Cassanave, A; Sautter, f (eds). Filosofia contemporânea e história da filosofia: visualização nas ciências formais (1-32) vol. 3. London: College Publications, 2012.

SAUTTER, F. T. A Essência do Silogismo: Uma Abordagem Visual. In: Cognitio, v. 11, n. 2, p. 316-332, jul./dez. 2010.

______. Método de Gardner Para a Silogística. In: Cognitio, v. 14, n. 2, p. 221-234, jul/dez. 2013.

SHIN, S. The logical Status of diagrams. New York: Cambridge university press, 1994.

Downloads

Publicado

2016-01-02

Edição

Seção

Artigos