Uma perspectiva estrutural-filosófica sobre computação
lógica, matemática e abstração
DOI:
https://doi.org/10.21728/logeion.2026v12n2e-7959Palavras-chave:
logic; mathematics; abstraction.Resumo
Este artigo oferece uma análise conceitual da computação através de três pilares interdependentes: lógica, matemática e abstração. A lógica fornece restrições formais à manipulação simbólica; a matemática fornece estruturas interpretativas e recursos semânticos; e a abstração possibilita a construção de modelos que representam e transformam domínios de interesse. O método é filosófico e estrutural, em vez de técnico, visando esclarecer como diferentes estruturas fundamentais possibilitam, moldam e delimitam noções canônicas de computação. A análise está situada no contexto mais amplo da filosofia da informação, onde a computação é entendida como um mecanismo formal para representar e transformar estruturas informacionais. Historicamente, a lógica de primeira ordem desempenhou um papel paradigmático nas primeiras concepções formais de inferência regida por regras e representação simbólica, enquanto a computação contemporânea se baseia em uma família mais ampla de fundamentos lógicos, incluindo abordagens da teoria dos tipos e categóricas. Com base nisso, o artigo argumenta que mudanças significativas nos paradigmas computacionais são melhor compreendidas como revisões em um ou mais desses pilares, seja pela adoção de sistemas lógicos alternativos, pela reconfiguração de estruturas matemáticas ou pelo desenvolvimento de novos modos de abstração.
Palavras-chave: lógica; matemática; abstração.
Downloads
Referências
ABITEBOUL, S.; VIANU, V. Computing with first-order logic. Journal of Computer and System Sciences, v. 50, n. 2, p. 309–335, 1995.
AVIGAD, J. Mathematical logic and computation. Cambridge: Cambridge University Press, 2022.
AWODEY, S. Category theory. Oxford: Oxford University Press, 2010.
BARWISE, J. An introduction to first-order logic. In: BARWISE, J. Studies in Logic and the Foundations of Mathematics. Amsterdam: Elsevier, 1977. v. 90, p. 5–46.
BOECKX, C. Language in cognition: uncovering mental structures and the rules behind them. Hoboken: John Wiley & Sons, 2009.
BREY, P.; SØRAKER, J. H. Philosophy of computing and information technology. In: MEIJERS, A. (ed.). Philosophy of technology and engineering sciences. Amsterdam: Elsevier, 2009. p. 1341–1407.
BUCHBERGER, B. et al. Computer algebra symbolic and algebraic computation. ACM SIGSAM Bulletin, v. 16, n. 4, p. 5, 1982.
CARETTE, J.; FARMER, W. M. Towards specifying symbolic computation. In: INTELLIGENT COMPUTER MATHEMATICS (CICM 2019), 12., 2019. Cham. Proceedings [...]. Cham: Springer, 2019. p. 12.
COLBURN, T.; SHUTE, G. Abstraction in computer science. Minds and Machines, v. 17, n. 2, p. 169–184, 2007.
COOK, S. The P versus NP problem. Clay Mathematics Institute, v. 2, n. 6, p. 3, 2000.
COPELAND, B. J. The Church-Turing Thesis. The Stanford Encyclopedia of Philosophy (Spring 2026 Edition). ZALTA, E. N.; NODELMAN, U. (eds.). Available from: https://plato.stanford.edu/archives/spr2026/entries/church-turing/. Access in: 12 May 2026.
DAVIS, M. First order logic. In: GABBAY, D. M.; HOGGER, C. J.; ROBINSON, J.; SIEKMANN, J. (ed.). Handbook of logic in artificial intelligence and logic programming. 1993. v. 1, p. 31–65.
DAWSON JR., J. W. The compactness of first-order logic: from Gödel to Lindström. History and Philosophy of Logic, v. 14, n. 1, p. 15–37, 1993.
DEVLIN, K. Sets, functions, and logic: an introduction to abstract mathematics. Boca Raton: Chapman and Hall/CRC, 2018.
ENDERTON, H. B. A mathematical introduction to logic. Amsterdam: Elsevier, 2001.
EWALD, W. The emergence of first-order logic. The Stanford Encyclopedia of Philosophy (Spring 2019 Edition). ZALTA, E. N.; NODELMAN, U. (ed.). Available from: https://plato.stanford.edu/archives/spr2019/entries/logic-firstorder-emergence. Access in: 12 May 2026.
FLORIDI, L. What is the philosophy of information? Metaphilosophy, v. 33, n. 1-2, p. 123–145, 2002.
FORCADA, M. L. Neural networks: automata and formal models of computation: an unfinished survey. Alacant: Universitat d’Alacant, 2002. Available from: https://www.dlsi.ua.es/~mlf/nnafmc/pbook.pdf. Access in: 12 May 2026.
GOLDFARB, D. et al. Mathematics of computation. American Mathematical Society, v. 24, p. 23, 1970.
HORST, S. Symbols, computation, and intentionality. Cambridge: MIT Press, 2011.
HUTH, M.; RYAN, M. Logic in computer science: modelling and reasoning about systems. Cambridge: Cambridge University Press, 2004.
JONGSMA, C. Mathematical induction and arithmetic. In: JONGSMA, C. Introduction to discrete mathematics via logic and proof. Cham: Springer, 2019. p. 149–204.
KAYE, R. Models of Peano arithmetic. Oxford: Oxford University Press, 1991.
MACLENNAN, B. J. Natural computation and non-Turing models of computation. Theoretical Computer Science, v. 317, n. 1-3, p. 115–145, 2004.
MANZANO, M. Extensions of first-order logic. Cambridge: Cambridge University Press, 1996.
MILNER, R. A theory of type polymorphism in programming. Journal of Computer and System Sciences, v. 17, n. 3, p. 348–375, 1978.
O’REGAN, G. Mathematics in computing. Cham: Springer, 2013.
ORD, T. The many forms of hypercomputation. Applied Mathematics and Computation, v. 178, n. 1, p. 143–153, 2006.
PARSONS, C. The structuralist view of mathematical objects. Synthese, v. 84, p. 303–346, 1990.
PIERCE, B. C. Types and programming languages. Cambridge: MIT Press, 2002.
RAPAPORT, W. J. Philosophy of computer science. Buffalo: University at Buffalo, 2020.
SCOTT, D. S.; STRACHEY, C. Toward a mathematical semantics for computer languages. Oxford: Oxford University Computing Laboratory, 1971.
ŠEKRST, K. Computation. In: ŠEKRST, K. The illusion engine: the quest for machine consciousness. Cham: Springer, 2025. p. 105–121.
SHAGRIR, O. Gödel on Turing on computability. In: OLSZEWSKI, A.; WOLENSKI, J.; JANUSZ, R. (ed.). Church’s Thesis after 70. Frankfurt: Ontos Verlag, 2006. p. 393–419.
SHAPIRO, S. Reasoning, logic and computation. Philosophia Mathematica, v. 3, n. 1, p. 31–51, 1995.
SHAPIRO, S. Varieties of logic. Oxford: Oxford University Press, 2014.
SLOMAN, A. Computational epistemology. Sussex: University of Sussex, 1982.
SMITH, P. An introduction to Gödel’s theorems. Cambridge: Cambridge University Press, 2013.
SOARE, R. I. Computability and recursion. Bulletin of Symbolic Logic, v. 2, n. 3, p. 284–321, 1996.
STEANE, A. Quantum computing. Reports on Progress in Physics, v. 61, n. 2, p. 117–173, 1998.
TURING, A. M. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, v. 2, n. 42, p. 230–265, 1936.
TURNER, R. Computational abstraction. Entropy, v. 23, n. 2, p. 213, 2021.
VÁMOS, T. Computer epistemology. Singapore: World Scientific, 1991.
VAN HEIJENOORT, J. Set-theoretic semantics. In: GANDY, R. O.; HYLAND, J. M. E. (ed.). Studies in Logic and the Foundations of Mathematics. Amsterdam: Elsevier, 1977. v. 87, p. 183–190.
WEGNER, P.; GOLDIN, D. Coinductive models of finite computing agents. Electronic Notes in Theoretical Computer Science, v. 19, p. 81–101, 1999.
WEISSTEIN, E. W. Turing machine. 2002. Available from: https://mathworld.wolfram.com/TuringMachine.html. Access in: 12 May 2026.
YAMADA, N. Logic and computation as combinatorics. arXiv preprint, arXiv:2306.07806, 2023.
ZACH, R. Logic in mathematics and computer science. arXiv preprint, arXiv:2404.09033, 2024.
Publicado
Edição
Seção
Licença
Copyright (c) 2026 Lúcio Otávio Nunes
Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
A revista é publicada sob a licença Creative Commons - Atribuição - Uso Não Comercial - Partilha nos Mesmos Termos 4.0 Internacional.
O trabalho publicado é considerado colaboração e, portanto, o autor não receberá qualquer remuneração para tal, bem como nada lhe será cobrado em troca para a publicação.
Os textos são de responsabilidade de seus autores.
É permitida a reprodução total ou parcial dos textos da revista, desde que citada a fonte.
