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. (shrink)

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

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. (shrink)

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. (shrink)

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. (shrink)