Portal de Periódicos da CAPES

Artigo Acesso aberto Produção Nacional

BIBTEX RIS

Representando o processo criativo da prova nos Grafos Existenciais

2015; Volume: 18; Issue: 1 Linguagem: Português

10.35920/arf.v18i1.2505

1414-3003

José Renato Salatiel,

Pragmatism in Philosophy and Education

Os Grafos Existenciais (GEs) de Charles S. Peirce são reconhecidos como o primeiro sistema lógico heterogêneo completo e correto equivalente à lógica predicativa de primeira ordem. Por sistema lógico heterogêneo entende-se aquele que combina uma sintaxe sentencial e diagramática. Neste artigo propomos a tese de que sistemas formais heterogêneos podem ser mais eficientes na investigação de estratégias de derivação e análise de hipóteses na prova, em razão dos elementos visuais presentes na linguagem diagramática. Como método de estudo sugere-se uma comparação do cálculo de dedução natural como os sistemas Alfa e Beta dos GEs, para a demonstração de alguns teoremas da lógica proposicional e de predicados. Justificamos a escolha em razão de ambos os métodos serem similares na composição de regras de inferências e nos propósitos por parte de seus autores (Peirce e Gentzen). Abstract The Charles S. Peirce's Existential Graphs (EGs) are recognized as the first complete and sound heterogeneous logical system equivalent to first order predicate logic. By heterogeneous logical system we mean one which combines a sentential and diagrammatical syntax. I propose in this paper the thesis that heterogeneous formal systems can be more effective inquiring strategies of derivation and in the analysis of assumptions in proofs, because of the visual aspects present in the diagrammatical language. As a method of study I suggest the comparison between the natural deduction calculus and the Alpha and Beta's systems of the EGs for demonstration of some theorems in the propositional and predicate logic. This choice is justified by the similarities found in the composition of rules of inference and purpose of the authors (Peirce and Gentzen) in both methods.Recebido em novembro de 2014 Aprovado em março de 2015