Livro: "A Filosofia Da Ciência Da Computação"

A filosofia da ciência da computação preocupa-se com as questões ontológicas, metodológicas e éticas que surgem dentro da disciplina acadêmica da ciência da computação e também da prática do desenvolvimento de software. Assim, a filosofia da ciência da computação compartilha os mesmos objetivos filosóficos que a filosofia da matemática e os muitos subcampos da filosofia da ciência, como a filosofia da biologia ou a filosofia das ciências sociais. A filosofia da ciência da computação também considera a análise de artefatos computacionais, isto é, feitos pelo homem sistemas de computação, e se concentra nos métodos envolvidos no projeto, especificação, programação, verificação, implementação e teste desses sistemas. A natureza abstrata dos programas de computador e a complexidade resultante dos artefatos implementados, juntamente com as ambições tecnológicas da ciência da computação, garantem que muitas das questões conceituais da filosofia da ciência da computação tenham análogos na filosofia da matemática, na filosofia das ciências empíricas, e a filosofia da tecnologia. Outras questões caracterizam apenas a filosofia da ciência da computação.