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 are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

This paper argues that scientific studies distinguish themselves from other studies by a combination of their processes, their (knowledge) elements and the roles of these elements. This is supported by constructing a process model. An illustrative example based on Newtonian mechanics shows how scientific knowledge is structured according to the process model. To distinguish scientific studies from research and scientific research, two additional process models are built for such processes. We apply these process models: (1) to argue that scientific progress (...) should emphasize both the process of change and the content of change; (2) to chart the major stages of scientific study development; and (3) to define “science”. (shrink)

This paper presents a theory of scientific study which is regarded as a social learning process of scientific knowledge creation, revision, application, monitoring and dissemination with the aim of securing good quality, general, objective, testable and complete scientific knowledge of the domain. The theory stipulates the aim of scientific study that forms the basis of its principles. It also makes seven assumptions about scientific study and defines the major participating entities. It extends a recent process model of scientific study into (...) a detailed interaction model as this process model already addresses many issues of philosophy of science. The detailed interaction model of scientific study provides a common template of scientific activities for developing logical models in different scientific disciplines, or alternatively for developing ontologies of different scientific disciplines. Differences between research and scientific studies are discussed, and a possible way to develop a scientific theory of scientific study is described. (shrink)

Recently, Luk mentioned that scientific knowledge both explains and predicts. Do these two functions of scientific knowledge have equal significance, or is one of the two functions more important than the other? This commentary explains why prediction may be mandatory but explanation may be only desirable and optional.

Knowledge of many facts does not amount to understanding unless one also has a sense of how the facts fit together. This aspect of coherence among scientific observations and theories is usually overlooked in summaries of scientific method, since the emphasis is on justification and verification rather than on understanding. I argue that the inter-theoretic coherence, as the hallmark of understanding, is an essential and informative component of any accurate description of science.

Many scientists believe that there is a uniform, interdisciplinary method for the prac- tice of good science. The paradigmatic examples, however, are drawn from classical ex- perimental science. Insofar as historical hypotheses cannot be tested in controlled labo- ratory settings, historical research is sometimes said to be inferior to experimental research. Using examples from diverse historical disciplines, this paper demonstrates that such claims are misguided. First, the reputed superiority of experimental research is based upon accounts of scientific methodology (Baconian inductivism (...) or falsificationism) that are deeply flawed, both logically and as accounts of the actual practices of scientists. Second, although there are fundamental differences in methodology between experimental scien- tists and historical scientists, they are keyed to a pervasive feature of nature, a time asymmetry of causation. As a consequence, the claim that historical science is methodo- logically inferior to experimental science cannot be sustained. (shrink)

This paper argues that scientific studies distinguish themselves from other studies by a combination of their processes, their elements and the roles of these elements. This is supported by constructing a process model. An illustrative example based on Newtonian mechanics shows how scientific knowledge is structured according to the process model. To distinguish scientific studies from research and scientific research, two additional process models are built for such processes. We apply these process models: to argue that scientific progress should emphasize (...) both the process of change and the content of change; to chart the major stages of scientific study development; and to define "science". (shrink)