Resenha:  DA SILVEIRA, RAFAEL DA SILVA. Projetos de matematização da lógica: de Raimundo Lúlio a Giuseppe Peano.

Cassiano Terra Rodrigues

doi:10.23925/2316-5278.2025v26i1:e70210

Autores

Cassiano Terra Rodrigues Instituto Tecnológico de Aeronáutica

DOI:

https://doi.org/10.23925/2316-5278.2025v26i1:e70210

Palavras-chave:

Peirce, Formalização, Lógica, Matematização, Quantificação

Resumo

em seu livro, Projetos de matematização da lógica: de Raimundo Lúlio a Giuseppe Peano, Rafael da Silva da Silveira traça o desenvolvimento da lógica matemática, focando na criação da notação simbólica moderna usada desde o século XIX. Ele argumenta que esta não foi apenas uma pequena mudança, mas sim uma grande revolução científica, destacando figuras-chave e suas contribuições para este campo. Nesta resenha, busco mostrar alguns méritos e algumas falhas do livro, principalmente a exclusão de Charles S. Peirce (1839-1914) do percurso, e algumas consequências disso.

Biografia do Autor

Cassiano Terra Rodrigues, Instituto Tecnológico de Aeronáutica

Humanidades Filosofia Lógica Pragmatismo História da Filosofia

Referências

ANELLIS, Irving H. How Peircean was the “Fregean” revolution in logic? 2011. Disponível em: http://arxiv.org/ftp/arxiv/papers/1201/1201.0353.pdf. Acesso em: 20 set. 2011.

BLANCHÉ, Robert; DUBUCS, Jacques. História da lógica. Trad. António Pinto Ribeiro (cap. I a XI) e Pedro Elói Duarte (cap. XII). Lisboa: Edições 70, 2001.

BOOLE, George. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. London: Walton and Maberly; Cambridge, UK: Macmillan and Co., 1854.

BRADY, Geraldine. From Peirce to Skolem: A neglected chapter in the history of logic. Amsterdam: Elsevier, 2000.

DE MORGAN, Augustus. On the syllogism: V, and on various points of the Onymatic System. In: HEATH, Peter (ed.). On the syllogism and other logical writings. London: Routledge & Kegan Paul, 1966. p. 271-345.

DUTILH-NOVAES, Catarina. Formal languages in logic: a philosophical and cognitive analysis. New York: Cambridge University Press, 2012.

FREGE, Gottlob. Conceitografia: uma linguagem formular do pensamento puro decalcada sobre a da aritmética. Introdução, tradução e notas de Paulo Alcoforado, Alessandro Duarte e Guilherme Wyllie. Rio de Janeiro: Nau Editora, 2019.

GÖDEL, Kurt. Die Vollständigkeit der Axiome des logischen Funktionenkalküs. In: FEFERMAN, Solomon et al. (ed.). Collected Works. v. 1: Publications 1929-1936. New York: Oxford University Press; Oxford: Clarendon Press, 1986. p. 102-123.

GÖDEL, Kurt. Acerca de proposições formalmente indecidíveis nos Principia Mathematica e sistemas relacionados. In: LOURENÇO, M. (org.). O teorema de Gödel e a hipótese do contínuo. Lisboa: Fundação Calouste Gulbenkian, 1977. p. 245-290.

HOUSER, Nathan. The Schrœder-Peirce correspondence. The Review of Modern Logic, v. 1, n. 2-3, p. 206-236, 1991.

HOUSER, Nathan; ROBERTS, Don D.; EVRA, James van (ed.). Studies in the Logic of Charles Sanders Peirce. Bloomington; Indianapolis: Indiana University Press, 1997.

LADD-FRANKLIN, Christine. On the algebra of logic. In: PEIRCE, Charles S. (ed.). Studies in logic by the members of the Johns Hopkins University. Boston: Little, Brown & Co., 1883. p. 17-71. Reprinted with an introduction by Max Harold Fisch and a preface by A. Eschbach. Amsterdam: John Benjamins Publishing Co.

LAITA, Luís M. Influences on Boole’s logic: The controversy between William Hamilton and Augustus De Morgan. Annals of Science, v. 36, n. 1, p. 45–65, 1979. https://doi.org/10.1080/00033797900200121.

MITCHELL, Oscar H. On a new algebra of logic. In: PEIRCE, Charles S. (ed.). Studies in logic by the members of the Johns Hopkins University. Boston: Little, Brown & Co., 1883. p. 72-106.

OOSTRA, Arnold. La notación diagramática de C. S. Peirce para los conectivos proposicionales binários. Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, Bogotá, v. 28, n. 106, p. 57–70, 2004. 10.18257/raccefyn.28(106).2004.2018. Disponível em: https://raccefyn.co/index.php/raccefyn/article/view/2018. Acesso em: 3 fev. 2025.

PECKHAUS, Volker. Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited. History and Philosophy of Logic, v. 25, n. 1, p. 3–14, 2004. 10.1080/01445340310001609315.

PEIRCE, Charles S. Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole’s calculus of logic. In: MOORE, Edward C. et al. (ed.). Writings of Charles S. Peirce: A Chronological Edition. v. 2: 1867–1871. Bloomington: Indiana University Press, 1984. p. 359-429.

PEIRCE, Charles S. On the algebra of logic: A contribution to a philosophy of notation. In: KLOESEL, Christian et al. (ed.). Writings of Charles S. Peirce: A chronological edition. v. 5: 1884-1886. Bloomington; Indianapolis: Indiana University Press, 1993. p. 162-190.

PEIRCE, Charles S. (ed.). Studies in logic by Members of the Johns Hopkins University. With an Introduction by Max H. Fisch and a Preface by Achim Eschbach. Amsterdam; Philadelphia: John Benjamins Co., 1983.

PUTNAM, Hilary. Peirce the logician. Historia Mathematica, v. 9, n. 3, p. 290–301, 1982. 10.1016/0315-0860(82)90123-9.

SLUGA, Hans. Frege against the Booleans. Notre Dame Journal of Formal Logic, v. 28, n. 1, p. 80-98, 1987.

SPILLMAN, Scott. Institutional limits: Christine Ladd-Franklin, fellowships, and American women’s academic careers, 1880—1920. History of Education Quarterly, v. 52, n. 2, p. 196–221, 2012. Disponível em: http://www.jstor.org/stable/23251474. Acesso em: 3 fev. 2025.

TARSKI, Alfred. Conferências na UNICAMP em 1975 / Lectures at UNICAMP in 1975. Transcrição e organização por Leandro Suguitani, Jorge Petrucio Viana, Ítala M. Loffredo D’Ottaviano. Campinas, SP: Editora da UNICAMP, 2016.

TERRA RODRIGUES, Cassiano. Squaring the unknown: The generalization of logic according to G. Boole, A. De Morgan, and C. S. Peirce. South American Journal of Logic, v. 3, n. 2, p. 415-481, 2017. Special issue 5th World Congress on the Square of Opposition, Easter Island, Nov. 11-15, 2016.

VAN HEIJENOORT, Jan. From Frege to Gödel: A source book in mathematical logic, 1879–1931. Cambridge, MA: Harvard University Press, 1967.