Robert Luk

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”.

A crucial aspect of scientific realism is what do we mean by true. In Luk’s theory and model of scientific study, a theory can be believed to be “true” but a model is only accurate. Therefore, what do we mean by a “true” theory in scientific realism? Here, we focus on exploring the notion of truth by some thought experiments and we come up with the idea that truth is related to what we mean by the same. This has repercussion to the repeatability of the experiments and the predictive power of scientific knowledge. Apart from sameness, we also found that truth is related to the granularity of the observation, the limit of detection, the distinguishability of the objects in theory, the simultaneous measurements of objects/processes, the consistencies of the theory and the one-to-one correspondence between terms/events and objects/processes, respectively. While there is no guarantee that we can arrive at the final “true” theory, we have a process/procedure with more and more experiments together with our own ingenuity, to direct us towards such a “true” theory. For quantum mechanics, since a particle is also regarded as a wave, quantum mechanics cannot be considered as a true theory based on the correspondence theory of truth. Failing this, truth may be defined by the coherence theory of truth which is similar to the coherence of beliefs. However, quantum mechanics may not be believed to be a true theory based on the coherence theory of truth because wave properties and particle properties may contradict. Further research is needed to address this problem if we want to regard quantum mechanics as a “true” theory.

A worldview that does not involve religion or science seems to be incomplete. However, a worldview that includes both religion and science may arouse concern of incompatibility. This paper looks at the particular religion, Christianity, and proceeds to develop a worldview in which Christianity and Science are compatible with each other. The worldview may make use of some ideas of Christianity and may involve some author’s own ideas on Christianity. It is thought that Christianity and Science are in harmony in the sense that science can support beliefs in Christianity and in turn beliefs in Christianity can support science. To avoid future unnecessary conflicts between science and religion, it is suggested that a core faith Christianity worldview should be taken. However, this does not mean that certain parts of scripture are abandoned.

Bayesian confirmation theory is a leading theory to decide the confirmation/refutation of a hypothesis based on probability calculus. While it may be much discussed in philosophy of science, is it actually practiced in terms of hypothesis testing by scientists? Since the assignment of some of the probabilities in the theory is open to debate and the risk of making the wrong decision is unknown, many scientists do not use the theory in hypothesis testing. Instead, they use alternative statistical tests that can measure the risk or the reliability in decision making, circumventing some of the theoretical problems in practice. Therefore, the theory is not very popular in hypothesis testing among scientists at present. However, there are some proponents of Bayesian hypothesis testing, and software packages are made available to accelerate utilization by scientists. Time will tell whether Bayesian confirmation theory can become both a leading theory and a widely practiced method. In addition, this theory can be used to model the belief of scientists when testing hypotheses.

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.

It is relatively easy to state that information retrieval is a scientific discipline but it is rather difficult to understand why it is science because what is science is still under debate in the philosophy of science. To be able to convince others that IR is science, our ability to explain why is crucial. To explain why IR is a scientific discipline, we use a theory and a model of scientific study, which were proposed recently. The explanation involves mapping the knowledge structure of IR to that of well-known scientific disciplines like physics. In addition, the explanation involves identifying the common aim, principles and assumptions in IR and in well-known scientific disciplines like physics, so that they constrain the scientific investigation in IR in a similar way as in physics. Therefore, there are strong similarities in terms of the knowledge structure and the constraints of the scientific investigations between IR and scientific disciplines like physics. Based on such similarities, IR is considered a scientific discipline.

St. Thomas Aquinas envisaged theology to be a kind of scientia which was considered as a kind of first cause science. However, science of that time is different from “modern” science. Recently, a theory of scientific study is developed, which outlines science by a theory and some models similar to knowledge in physics. According to this theory, sciences organize their knowledge consisting of theories, models and experiments interacting with physical situations. Perhaps, it is possible to organize knowledge of Christian theology in a similar way as science (from the perspective of Christian belief). Doing this requires extensive and deep knowledge of both science and Christian theology. This paper only attempts to sketch such a theology, which is coined scientia theology to distinguish it from the existing scientific theology of McGrath. Our theology consists of a theory that is outlined here, several historical event models as well as various experiments that provide us with observations supporting the related models and principles. The theory of our theology interacts with the models which may retrodict or are supported by observations from the experiments that interact with the physical situations.

Recently, information retrieval is shown to be a science by mapping information retrieval scientific study to scientific study abstracted from physics. The exercise was rather tedious and lengthy. Instead of dealing with the nitty gritty, this paper looks at the insights into how computer science can be made into a science by using that methodology. That is by mapping computer science scientific study to the scientific study abstracted from physics. To show the mapping between computer science and physics, we need to define what is engineering science which computer science belongs to. Some principles and assumptions of engineering science theory are presented. To show computer science is a science, we presented two approaches. Approach 1 considers computer science as simulation of human behaviour similar to the goal of artificial intelligence. Approach 2 is closely related to the actual activities in computer science, and this approach considers computer science based on the theory of computation. Finally, we answer some of the common outstanding issues about computer science to convince our reader that computer science is a science.

Some experiments are risky in that they cannot repeatedly produce certain phenomenon at will for study because the scientific knowledge of the process generating the uncertain phenomenon is poorly understood or may directly contradict with existing scientific knowledge. These experiments may have great impact not just to the scientific community but to mankind in general. Banning them from study may incur societies a great opportunity cost but accepting them runs the risk that scientists are doing junk science. How to make an informed decision to accept/reject such study scientifically for the mainstream scientific community is of great importance to mankind. Here, we propose a statistical methodology to handle the situation. Specifically, we consider the likelihood of not observing the phenomenon after n trails so that it is statistically significant to have nil result. Consequently, we reject the hypothesis that there is some probability that we observe the phenomenon.

Einstein made a distinction between principle theories like Newtonian mechanics and constructive theories like kinetic theory of gases. Are these two distinct types of theories fundamentally different from each other or can they be regarded to belong to just one type of theory? We explore this issue with respect to the theory of scientific study and come to the conclusion that there is only one type of (scientific) theory, and the constructive theory is a principle theory with only one principle, which we call the default-principle theory rather than calling it a constructive theory. One reason why constructive theories are considered as default-principle theories is that it provides a natural progression from default-principle theory to a principle theory as science progresses. This also avoids the suggestion that constructive and principle theories are considered as completely distinct entities without any interaction with each other, which may hinder scientific progress.