Representando o processo criativo da prova nos Grafos Existenciais
Palavras-chave:
Lógica, Diagramas, Charles Peirce, Grafos Existenciais, Dedução natural, Prova, Semiótica, Logic, Diagrams, Existential graphs, Natural deduction, Proof, Semiotic.Resumo
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 2014Aprovado em março de 2015
Referências
ALLWEIN, Gerard and BARWISE, Jon (1996). Logical reasoning with diagrams. New York and Oxford: Oxford University Press.
CAMPOS, Daniel (2010). The imagination and hypothesis-making in mathematics: a Peircean account, in New essays on Peirce's mathematical philosophy. Matthew E. Moore (ed.). Chicago and La Salle, Illinois: Open Court, pp. 123-145.
DAU, Frithjof (2008). Mathematical logic with diagrams: Based on the existential graphs of Peirce. TU Dresden, Germany, January 23. Available in: http://www.dr-dau.net/publications.shtml.
DIPERT, Randall (2004). Peirce's deductive logic: its development, influence, and philosophical significance, in The Cambridge companion to Peirce. Cheryl Misak (ed.). Cambridge: Cambridge University
Press.
FORBES, Morgan (1997). Peirce's existential graphs: A practical alternative to truth tables for critical thinkers, in Teaching Philosophy, 20 (4), pp. 387-400.
GENTZEN, Gerhard (1969). The collected papers of Gerhard Gentzen. M. E. Szabo (ed.). Amsterdan-London: North-Holland Publishing Company.
HAMMER, Eric M. (1998). Semantics for existential graphs, in Journal of Philosophical Logic, vol. 27, n. 5, Oct., pp. 489-503.
JAÅšKOWSKI, Stanislaw (1934). On the rules of suppositions in formal logic, in Studia Logica 1, pp. 5-32. Available in: http://www.logik.ch/daten/jaskowski.pdf.
OOSTRA, Arnold (2010). Los grafos Alfa de Peirce aplicados a la lógica intuicionista, em Cadernos de Sistemática Peirceana, Arnold Oostra e Fernando Zalamea (eds.), n. 2, pp. 25-60.
OOSTRA, Arnold (2011). Grafos existenciales Beta intuicionistas, em Cadernos de Sistemática Peirceana, Arnold Oostra e Fernando Zalamea (eds.), n. 3, pp. 53-78.
PEIRCE, Charles Sanders (1902). Symbolic logic or algebra of logic, in Dictionary of Philosophy and Psychology, vol. 2. J. M. Baldwin (ed.). New York and London: Henry Holt, pp. 640--651.
PEIRCE, Charles Sanders (1931-1958). Collected papers. 8 vols. Charles Hartshorne, Paul Heiss e Arthur Burks (eds.). Cambridge: Harvard University Press. [Citado como CP, seguido do volume e do número do parágrafo.]
PEIRCE, Charles Sanders (1976). The new elements of mathematics by Charles S. Peirce. 4 vols. Carolyn Eisele (ed.). The Hague, Netherlands: Mouton Publishers. [Citado como NEM seguido do volume e número da página.]
PEIRCE, Charles Sanders (1992). Essential Peirce. 2 vol. Nathan Houser et al (eds.). Bloomington: Indiana University Press. [Citado como EP seguido do volume e número da página.]
PEIRCE, Charles Sanders (1992). Reasoning and the logic of things: The Cambridge Conference Lectures of 1898. Kenneth Laine Ketner (ed.) and Hilary Putnam (intro.). Harvard: Harvard University Press. [Citado como RTL, seguido do número da página.]
_____ (2010). Philosophy of mathematics: Selected writings. Matthew E. Moore (ed.). Bloomington and Indianapolis, IN: Indiana University Press. [Citado como PM seguido do número da página.]
PIETARINEN, Ahti-Veikko (2006). Signs of logic: Peircean themes on the philosophy of language, games, and communication. Dordrecht: Springer.
PIETARINEN, Ahti-Veikko (2010). “Challenges and opportunities for existential graphs”, in: M. Bergman, S. Paavola, A.-V. Pietarinen & H. Rydenfelt (eds.). Ideas in action: Proceedings of the Applying Peirce Conference. Nordic Studies in Pragmatism 1. Helsinki: Nordic Pragmatism Network, pp. 288--303.
PRAWITZ, Dad (1965). Natural deduction: A proof theoretical study. Stockholm: Almqvist & Wiksell.
ROBERTS, Don (1973). The existential graphs of Charles S. Peirce. The Hague: Mouton & Co.
ROBIN, Richard S. (1967). Annotated catalogue of the papers of Charles S. Peirce. Amherst, MA: University of Massachusetts Press.
SELIGMAN, Jeremy (2012). ‘Natural deduction as a creative process', in Fifth cross-straits conference in teaching and research in logic, South West University, China. Available in: https://www.academia.
edu/1517070/.
SHIN, Sun-Joo (2002). The iconic logic of Peirce's graphs. Cambridge: MIT Press.
SHIN, Sun-Joo, LEMON, Oliver & MUMMA, John (2013). Diagrams, in Stanford Encyclopedia of Philosophy. Available in: http://plato.stanford.edu/entries/diagrams/
SOWA, John F. (2011). Peirce's tutorial on existential graphs, Semiotica, 186:1-4, pp. 345-394. Available in: http://www.jfsowa.com/pubs/egtut.pdf.
ZEMAN, J. Jay (1964). The graphical logic of Charles S. Peirce. PhD. Dissertation. Department of Philosophy: University of Chicago. Available in: http://www.clas.ufl.edu/users/jzeman/.
Downloads
Publicado
Edição
Seção
Licença
Os autores que publicam nesta revista concordam com os seguintes termos:
- Os autores mantêm os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Atribuição-SemDerivações 4.0 Internacional (CC BY-ND 4.0), que permite a redistribuição, comercial ou não comercial, desde que a obra original não seja modificada e que seja atribuído o crédito ao autor.
- Os autores têm autorização para assumir contratos adicionais separadamente para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Os autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).
