Regarding the dichotomy between applied science and pure science, there are two apparently paradoxical facts. First, they are distinguishable. Second, the outcomes of pure sciences (e.g. scientific theories and models) are applicable to producing the outcomes of applied sciences (e.g. technological artefacts) and vice versa. Addressing the functional roles of applied and pure science, i.e. to produce design representation and science representation, respectively, I propose a new characterisation of the dichotomy that explains these two facts.

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)

The article explores epistemic and social conditions of the trustworthiness of scientific expertise. I claim that there are three kinds of conditions for the trustworthiness of scientific expertise. The first condition is epistemic and means that scientific knowledge enjoys high credibility. The second condition concerns the significance of scientific knowledge. It means that scientific generalizations are relevant for elucidating the particular cases that constitute the challenges for expert judgment. The third condition concerns the social processes involved in producing science-based recommendations. (...) In this context trust is created by social robustness, expert legitimacy, and social participation. (shrink)

Duhem—Quine underdetermination plays a constructive role in epistemology by pinpointing the impact of non-empirical virtues or cognitive values on theory choice. Underdetermination thus contributes to illuminating the nature of scientific rationality. Scientists prefer and accept one account among empirical equivalent alternatives. The non-empirical virtues operating in science are laid open in such theory choice decisions. The latter act as an epistemological test tube in making explicit commitments to how scientific knowledge should be like.

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

Prandtl's work on the boundary layer theory is an interesting example for illustrating several important issues in philosophy of science such as the relation between theories and models and whether it is possible to distinguish, in a principled way, between pure and applied science. In what follows I discuss several proposals by the symposium participants regarding the interpretation of Prandtl's work and whether it should be characterized as an instance of applied science. My own interpretation of this example (1999) emphasised (...) the degree of autonomy embedded in Prandtl's boundary layer model and the way it became integrated in the larger theoretical context of hydrodynamics. In addition to extending that discussion here I also claim that the characterization of applied science which formed the basis for the symposium does not enable us to successfully distinguish applied science from the general practice of 'applying' basic scientific knowledge in a variety of contexts. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

This paper deals with the problem of derivational redundancy in scientific explanation, i.e. the problem that there can be extremely many different explanatory derivations for a natural phenomenon while students and experts mostly come up with one and the same derivation for a phenomenon (modulo the order of applying laws). Given this agreement among humans, we need to have a story of how to select from the space of possible derivations of a phenomenon the derivation that humans come up with. (...) In this paper we argue that the problem of derivational redundancy can be solved by a new notion of “shortest derivation”, by which we mean the derivation that can be constructed by the fewest (and therefore largest) partial derivations of previously derived phenomena that function as “exemplars”. We show how the exemplar-based framework known as “Data-Oriented Parsing” or “DOP” can be employed to select the shortest derivation in scientific explanation. DOP’s shortest derivation of a phenomenon maximizes what is called the “derivational similarity” between a phenomenon and a corpus of exemplars. A preliminary investigation with exemplars from classical and fluid mechanics shows that the shortest derivation closely corresponds to the derivations that humans construct. Our approach also proposes a concrete solution to Kuhn’s problem of how we know on which exemplar a phenomenon can be modeled. We argue that humans model a phenomenon on the exemplar that is derivationally most similar to the phenomenon, i.e. the exemplar from which the largest subtree(s) can be used to derive the phenomenon. (shrink)