The Philosophy of Computer Science

@article{Turner2008ThePO,
  title={The Philosophy of Computer Science},
  author={Raymond Turner and Amnon H. Eden},
  journal={J. Appl. Log.},
  year={2008},
  volume={6},
  pages={459}
}
The Philosophy of Computer Science is concerned with those philo-sophical issues that surround and underpin the academic discipline of computer science. In this paper we provide an introduction to some itsphilosophical concerns. 

Topics from this paper

When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
This paper introduces how logic is connected to computer science and gives an overview of some of the main sources. It is intended as an introduction a to a journal special issue on the history andExpand
Computer Science as Immaterial Formal Logic
I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is aExpand
Philosophy of computer science and its effect on education: Towards the construction of an interdisciplinary group
This article presents an interdisciplinary experience that brings together two areas of computer science; didactics and philosophy. As such, the article introduces a relatively unexplored area ofExpand
Computers Are Syntax All the Way Down: Reply to Bozşahin
  • W. Rapaport
  • Philosophy, Computer Science
  • Minds and Machines
  • 2018
A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.
The principles for the investigation of the historical development of computer science
  • V. A. Yatsko
  • Computer Science
  • Scientific and Technical Information Processing
  • 2017
TLDR
The paper describes variants of correlation between the new paradigm and the old one, such as total rejection, partial rejection, mergence, and co-existence, and proves that the last variant is more characteristic of computer science. Expand
What is a Computer? A Survey
  • W. Rapaport
  • Psychology, Computer Science
  • Minds and Machines
  • 2018
TLDR
A critical survey of some attempts to define ‘computer’, beginning with some informal ones, then critically evaluating those of three philosophers (J.R. Searle, P. Hayes, and G. Piccinini), and concluding with an examination of whether the brain and the universe are computers. Expand
Insights in how computer science can be a science
TLDR
The insights into how computer science can be made into a science are looked at by mapping computer science scientific study to the scientific study abstracted from physics. Expand
What can Programming Language Research Learn from the Philosophy of Science ?
As a recent discipline, computer science, and programming language research in particular, have so far eluded the eyes of philosophers of science. However, we can gain interesting insights by lookingExpand
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation
  • S. Martini
  • Computer Science
  • Gabbrielli's Festschrift
  • 2020
Despite the insight of some of the pioneers (Turing, von Neumann, Curry, Bohm), programming the early computers was a matter of fiddling with small architecture-dependent details. Only in the sixtiesExpand
Can we trust Big Data? Applying philosophy of science to software
TLDR
The argues that debates in Critical Data Studies and philosophy of science have neglected the problem of error management and error detection, an especially important feature of the epistemology of Big Data. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 394 REFERENCES
Computer science: the emergence of a discipline
TLDR
The continued rapid development of computer science will require an expansion of the science base and an influx of talented new researchers to elevate the knowledge of the world. Expand
What to do till the computer scientist comes
TLDR
The potential impact of computer science departments in the field of education is discussed and a presentation to a panel session before the Mathematics Association of America, Toronto, 30 August 1967 is expanded. Expand
Is computer science science?
Computer science meets every criterion for being a science, but it has a self-inflicted credibility problem.
Philosophy of Computer Science: An Introductory Course
There are many branches of philosophy called "the philosophy of X," where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there areExpand
Turing Lecture Form and Content in Computer Science
An excessive preoccupat ion wi th formal ism is impeding the development of computer science. Fo rm-con ten t confusion is discussed relat ive to three areas: theory of computa tion, programmingExpand
Beyond the algorithmization of the sciences
Algorithmic thinking is transforming both the descriptive sciences and the humanities, bringing them all closer to the mathematical core of computer science.
An ACM executive committee position on the crisis in experimental computer science
The following is the text of a letter commenting on the Feldman Report sent to Dr. Richard C. Atkinson, Director of the National Science Foundation, and other Administration and CongressionalExpand
Computer Science, Mathematics, and the Undergraduate Curricula in Both.
TLDR
The author examines the relationship between computer science, mathematics, and the Undergraduate Curricula in Both and the content of the courses taught in both schools. Expand
Is the thrill gone?
Computer science is nothing less than a new way of thinking; explaining it to the wider world is critical to the future of the field.
Computer science as empirical inquiry: symbols and search
TLDR
Computer science is the study of the phenomena surrounding computers; the machine—not just the hardware, but the programmed, living machine—is the organism the authors study. Expand
...
1
2
3
4
5
...