Scientific knowledge develops in an increasingly fragmentary way.A multitude of scientific disciplines branch out. Curiosity for thisdevelopment leads into quests for a unifying understanding. To a certain extent, foundational studies provide such unification. There is a tendency, however, also of a fragmentary growth of foundational studies, like in a multitude of disciplinaryfoundations. We suggest to look at the foundational problem, not primarily as a search for foundations for one discipline in another, as in some reductionist approach, but as a steady (...) revelation ofpresuppositions for individual scientific theories – which are boundto meet, sooner or later, in a common language. A decisive point hereis our holistic conception of language, as a whole of description-interpretation processes which are entangled(complementary) in the language itself. For every language there is alinguistic complementarity. We suggest this unique form ofentanglement as a unifying presupposition, ultimately foundational forall communicable knowledge. Involved is a linguistic realism, in terms ofwhich we critically examine ``language-world'' problems, as exposed byWittgenstein, and Russell, about a foundational interdependence of language andreality (world). Throughout, we attach to the developmentof foundational studies of mathematics, logics, and the naturalsciences. In particular, we study the interpretation problem foraxioms of infinity in some detail. We emphasize that the holistic concept of language contradicts Carnap's semiotic fragmentation thesis (thus, no clean cutbetween syntax, semantics, pragmatics). (shrink)

Since the early 20th century underdetermination has been one of the most contentious problems in the philosophy of science. In this article I relate the underdetermination problem to models in biology and defend two main lines of argument: First, the use of models in this discipline lends strong support to the underdetermination thesis. Second, models and theories in biology are not determined strictly by the logic of representation of the studied phenomena, but also by other constraints such as research traditions, (...) backgrounds of the scientists, aims of the research and available technology. Convincing evidence for the existence of underdetermination in biology, where models abound, comes both from the fact that for a natural phenomenon we can create a number of candidate models but also from the fact that we do not have a universal rule that would adjudicate among them. This all makes a strong case for the general validity of underdetermination thesis. (shrink)

Husserl's mathematical philosophy of science can be considered an anticipation of the contemporary postpositivistic semantic approach, which regards mathematics and not logic as the appropriate tool for the exact philosophical reconstruction of scientific theories. According to Husserl, an essential part of a theory's reconstruction is the mathematical description of its domain, that is, the world (or the part of the world) the theory intends to talk about. Contrary to the traditional micrological approach favored by the members of the Vienna Circle, (...) Husserl, inspired by modern geometry and set theory, aims at a macrological analysis of scientific theories that takes into account the global structures of theories as structured wholes. This is set in the complementary theories of manifolds and theory forms considered by Husserl himself as the culmination of his formal theory of science. (shrink)

Exact philosophy consists of various disciplines scattered and separated. Formal semantics and philosophy of science are good examples of two such disciplines. The aim of this paper is to show that there is possible to find some integrating bridge topics between the two fields, and to show how insights from the one are illuminating and suggestive in the other.