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)

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

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 tried to establish a model and a theory of scientific studies. He focused on articulating the theory and the model, but he did not emphasize relating them to some issues in philosophy of science. In addition, they might explain some of the issues in philosophy of science, but such explanation is not articulated in his papers. This paper explores the implications and extensions of Luk’s work in philosophy of science or science in general.

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)

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

In this paper, I combine an exposition of the historical development of sociology and philosophy of science from the era of grand theories onwards, with an explication as to why the grand theories have failed. First, I trace some parallels in the history of each of the disciplines. After presenting their chronological development, I scrutinize the metatheoretical findings about the disciplines and examine the main ontological and epistemic reasons why attempts at these general theories or frameworks have not succeeded. Among (...) them are the lack of a universal methodology and of a theoretical core, together with the impossibility of achieving a common objective view. On this basis I conclude that general theories or frameworks are not achievable in principle. As it turns out, however, some contemporary social theorists and philosophers still harbor hopes that they can be successfully formulated, or at the least do not rule out such possibility. Thus, in closing, I argue that the critical points can also be applied to these latest attempts, as the call for grand theories or frameworks has never ceased and returns regularly with each new generation of social theorists and philosophers of science. (shrink)

In this paper the truth is studied in the frame of autonomous systems theory. The method of the truth verification is worked out in its functional aspect. The verification is based on comparison of the predicted inner state of the autonomous agent, that is the cognitive subject, to the achieved inner state of the agent. The state is achieved as the result of performing the action in the real world—the agent’s environment. The action design is created on the basis of (...) the agent’s model of the world. The truth is defined as the adequacy of the model of the real world in the context of the goal that is assumed to be reached as the effect of the performed action. The concepts of the cognitive subject, the truth bearings and the knowledge are redefined. The classical problems of aletheiology and epistemology are discussed in the light of the proposed approach. The cybernetic construct of an autonomous agent allows the researcher to consider a wide class of cognitive entities, which, in the previous approaches, have been limited only to human beings as cognitive subjects. (shrink)

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)