Filosofía de la computación
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.
Objetivos
Los objetivos de la filosofía de la ciencia de la computación están en desarrollo,[5] pero tenemos claro que los problemas en los cuales se centra no solo tratan de buscar respuestas a problemas éticos que plantea la inteligencia artificial, sino también, qué es lo que construimos (ontológico) y cómo conocemos algo (epistemológico). Es decir, va más allá de la programación porque trata de cuestiones como el diseño, desarrollo e investigación de los conceptos y metodologías que facilitan la especificación, desarrollo e implementación y análisis de los sistemas informáticos[2] desde una mirada filosófica.
Se podría también definir como: la búsqueda de la naturaleza de la computación, que entregaría una sistematización a los conceptos de la misma.
Libros
Algunos libros sobre la materia son:
- Philosophy of Computer Science de William J. Rapaport.
- Computational Artifacts: Towards a Philosophy of Computer Science[13] de Raymond Turner.
- The Blackwell Guide to the Philosophy of Computing and Information[14] de Luciano Floridi.
Véase también
Referencias
- Bunge, Mario (1977). Treatise on Basic Philosophy (en inglés). Springer Netherlands. ISBN 978-90-277-0785-7. doi:10.1007/978-94-010-9924-0. Consultado el 26 de noviembre de 2019.
- Turner, Raymond; Eden, Amnon H. (1 de diciembre de 2008). «The Philosophy of Computer Science». Journal of Applied Logic. The Philosophy of Computer Science 6 (4): 459. ISSN 1570-8683. doi:10.1016/j.jal.2008.09.006. Consultado el 25 de noviembre de 2019.
- Moor, James H. (1 de septiembre de 1978). «Three Myths of Computer Science». The British Journal for the Philosophy of Science (en inglés) 29 (3): 213-222. ISSN 0007-0882. doi:10.1093/bjps/29.3.213. Consultado el 25 de noviembre de 2019.
- Colburn, Timothy (2008). The Blackwell Guide to the Philosophy of Computing and Information (en inglés). John Wiley & Sons, Ltd. pp. 318-326. ISBN 978-0-470-75701-7. doi:10.1002/9780470757017.ch24. Consultado el 25 de noviembre de 2019.
- Rapaport, William J.; Philosophy Documentation Center (2005). «Philosophy of Computer Science: An Introductory Course». Teaching Philosophy 28 (4): 319-341. ISSN 0145-5788. doi:10.5840/teachphil200528443. Consultado el 25 de noviembre de 2019.
- Rapaport, William J. (2005-12). «Implementation is semantic interpretation: further thoughts». Journal of Experimental & Theoretical Artificial Intelligence (en inglés) 17 (4): 385-417. ISSN 0952-813X. doi:10.1080/09528130500283998. Consultado el 25 de noviembre de 2019.
- Pierce, Benjamin C. (2002). Types and programming languages. MIT Press. ISBN 0-585-44269-X. OCLC 51958338. Consultado el 25 de noviembre de 2019.
- Colburn, Timothy; Shute, Gary (7 de agosto de 2007). «Abstraction in Computer Science». Minds and Machines (en inglés) 17 (2): 169-184. ISSN 0924-6495. doi:10.1007/s11023-007-9061-7. Consultado el 25 de noviembre de 2019.
- Fine, Kit. (2002). The limits of abstraction. Oxford University Press. ISBN 0-19-924618-1. OCLC 49902003. Consultado el 25 de noviembre de 2019.
- Hale, Bob; Wright, Crispin (1 de marzo de 2001). The Reason's Proper Study. Oxford University Press. ISBN 978-0-19-823639-9. doi:10.1093/0198236395.001.0001. Consultado el 25 de noviembre de 2019.
- Floridi, Luciano, ed. (1 de enero de 2004). The Blackwell Guide to the Philosophy of Computing and Information: Floridi/The Blackwell. Blackwell Publishing Ltd. ISBN 978-0-470-75701-7. doi:10.1002/9780470757017. Consultado el 25 de noviembre de 2019.
- Eden, Amnon H. (1 de julio de 2007). «Three Paradigms of Computer Science». Minds and Machines (en inglés) 17 (2): 135-167. ISSN 1572-8641. doi:10.1007/s11023-007-9060-8. Consultado el 25 de noviembre de 2019.
- Turner, Raymond (2018). Computational Artifacts: Towards a Philosophy of Computer Science (en inglés). Springer Berlin Heidelberg. ISBN 978-3-662-55564-4. doi:10.1007/978-3-662-55565-1. Consultado el 25 de noviembre de 2019.
- Floridi, Luciano. (2008). The Blackwell Guide to the Philosophy of Computing and Information.. John Wiley & Sons. ISBN 978-0-470-75676-8. OCLC 437218753. Consultado el 30 de noviembre de 2019.