La filosofía de la computación es un área dentro de la filosofía que trata de responder preguntas de carácter filosófico sobre temáticas dentro de las ciencias de la computación. Estas preguntas pueden estar agrupadas en diferentes categorías de la filosofía moderna:[1]​ ontológicas, semánticas, epistemológicas y éticas. Las cuales son aspectos centrales en la filosofía de la ciencia. Además recibe una fuerte influencia en los trabajos realizados en las filosofías de la lógica, matemática, lenguaje y tecnología.
Algunos ejemplos de estas preguntas son las que aparecen publicadas en el The Philosophy of Computer Science:[2]​

¿Qué tipo de cosas son los programas computacionales? ¿Son ellos abstractos o concretos? [3]​[4]​
¿Cuáles son las diferencias entre los programas y algoritmos?[5]​
¿Qué es una implementación?[6]​
¿Cuáles son los roles de los tipos de ciencias de la computación?[7]​
¿Qué es la abstracción en las ciencias de la computación? ¿Cómo esta se relaciona con la abstracción en las matemáticas?[8]​[9]​[10]​
¿Qué es la información?[11]​
¿La ingeniería de software plantea problemas filosóficos?[12]​Estas preguntas no son tratadas con el rigor necesario en los estudios de ciencias de la computación o ingeniería en informática es por esto que, una filosofía de la ciencia de la computación es relevante.
Cabe también mencionar que la ciencia de la computación es un área relativamente nueva la cual a diferencia de otras ciencias es de original artificial (creación humana). Es por esto que, muchas de las problemáticas de la filosofía de la ciencia de la computación se centran en responder preguntas sobre los artefactos que se construyen y cómo es la relación entre ellos, ya sea una relación interna o en cambio una relación externa que se ocupe de otras áreas del conocimiento (por ejemplo, la matemática).
En consecuencia, se intenta estudiar en profundidad los programas computacionales que son construidos a través de algoritmos que a su vez se desarrollan con lenguajes de programación.