Computer Science and Philosophy

Juan Manuel Duran

Abstract


There is a widely extended image of computer software as some sort of ‘black box,’ where it does not matter how it internally works, but rather what sort of results are obtained given certain input values. By approaching computer software this way, many philosophical issues are hidden, neglected, or simply misunderstood. This article discusses three units of analysis of computer software, namely, specifications, algorithms, and computer processes. The aim is to understand the scientific and engineering practices supporting each unit of analysis, as well as to analyze their methodology, ontology, and epistemology.


Keywords


Specification; Algorithm; Computational process; Computer science; Philosophy of computer science



DOI: https://doi.org/10.5007/1808-1711.2018v22n2p203

Copyright (c) 2019 Juan Manuel Duran

 http://www.periodicos.ufsc.br/public/site/images/jconte/logo-nel1_154

Principia: an internationnal journal of epistemology
Published by NEL - Epistemology and Logic Research Group
Federal University of Santa Catarina - UFSC
Center of Philosophy and Human Sciences – CFH
Campus Reitor João David Ferreira Lima
Florianópolis, Santa Catarina - Brazil
CEP: 88040-900

 ISSN: 1414-4217
EISSN: 1808-171

e-mail: principia@contato.ufsc.br