A CIE^NCIA DA COMPUTAC¸A~O E O PROBLEMA DA DEMARCAC¸A~O NA FILOSOFIA DA CIE^NCIA: UMA INVESTIGAC¸A~O EPISTEMOLO´GICA

NESTA DISSERTAÇÃO EXAMINA-SE A TESE DE QUE A CIÊNCIA DA COMPUTAÇÃO APRESENTA UM HIBRIDISMO EPISTÊMICO PECULIAR, COM PROPRIEDADES ORA SIMILARES À MATEMÁTICA, ORA SIMILARES ÀS CIÊNCIAS NATURAIS, DEPENDENDO DO RECORTE DISCIPLINAR EM ENFOQUE. TAL TESE É ABORDADA PELA ANÁLISE DA NATUREZA EPISTÊMICA SUBJACENTE À CIÊNCIA DA COMPUTAÇÃO E DE SEU ESTATUTO ATUAL NO ÂMBITO CIENTÍFICO E ACADÊMICO, SOB A PERSPECTIVA DA FILOSOFIA DA CIÊNCIA, EM PARTICULAR, DO CRITÉRIO DE DEMARCAÇÃO CIENTÍFICA DE THOMAS KUHN. COM ESSE OBJETIVO EM MENTE, INVESTIGAM-SE DUAS QUESTÕES FUNDAMENTAIS. A PRIMEIRA CONSISTE EM UM EXAME GENEALÓGICO DA CIÊNCIA DA COMPUTAÇÃO EM RELAÇÃO A OUTROS CAMPOS DE CONHECIMENTO, NO CONTEXTO DA FILOSOFIA DA CIÊNCIA. A SEGUNDA QUESTÃO É EXAMINAR O PRÓPRIO PROBLEMA DA DEMARCAÇÃO POR MEIO DE ALGUNS CRITÉRIOS DA FILOSOFIA DA CIÊNCIA CONTEMPORÂNEA. COMPREENDENDO A CIÊNCIA DA COMPUTAÇÃO COMO CAMPO DE CONHECIMENTO COM IDENTIDADE PRÓPRIA, AUTÔNOMA, PORÉM COM INTERSECÇÕES SIMULTÂNEAS COM A MATEMÁTICA, A FÍSICA E A ENGENHARIA, DEBRUÇA-SE SOBRE ESSAS INTERSECÇÕES ENTRE DOMÍNIOS, QUE OFERECEM ELEMENTOS PARA REFLEXÕES DE CARÁTER FUNDAMENTALMENTE FILOSÓFICO ACERCA DE IMPORTANTES TEMAS DO CONHECIMENTO COMPUTACIONAL. FINALMENTE, EXAMINA-SE A HIPÓTESE DE QUE O PROCESSO CONSTITUTIVO DA CIÊNCIA DA COMPUTAÇÃO FOI, DE CERTA FORMA, UM SUBPRODUTO DE UMA CRISE EPISTÊMICA, DE CARACTERÍSTICAS ESSENCIALMENTE KUHNIANAS, QUE OCORREU NO CONHECIMENTO LÓGICO-MATEMÁTICO DURANTE O PERÍODO CHAMADO DE EMPIRISMO LÓGICO. A FIM DE ILUMINAR AS QUESTÕES ACIMA, TAMBÉM APRESENTA-SE UMA ANÁLISE BREVE E SISTEMÁTICA DO PROBLEMA DA DEMARCAÇÃO, CONSIDERANDO ALGUNS DOS CRITÉRIOS E ARGUMENTOS PRINCIPAIS JÁ CONSTRUÍDOS NA LITERATURA CONTEMPORÂNEA. INTERSECÇÕES EPISTÊMICAS ENTRE CIÊNCIA DA COMPUTAÇÃO, MATEMÁTICA E CIÊNCIAS NATURAIS SÃO EXPLORADAS PARA OS PRINCIPAIS GRUPOS DE SUBDISCIPLINAS DA CIÊNCIA DA COMPUTAÇÃO EM FUNÇÃO DE SUAS PECULIARIDADES EPISTÊMICAS, A SABER: CIÊNCIA DA COMPUTAÇÃO TEÓRICA, QUE ABRANGE ALGORITMOS, COMPLEXIDADE COMPUTACIONAL E CLASSES DE PROBLEMAS; ENGENHARIA DE SOFTWARE, QUE ABRANGE ASPECTOS ARQUITETURAIS DE SISTEMAS COMPUTACIONAIS; CAMPOS DE COMPUTAÇÃO HEURÍSTICA, COMO A INTELIGÊNCIA ARTIFICIAL E, FINALMENTE, ALGUNS ASPECTOS DISTINTIVOS ENTRE A COMPUTAÇÃO QUÂNTICA E A COMPUTAÇÃO CLÁSSICA.