Comentar

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.