In this paper, a solution to the problem of theoretical terms is developed that is based on Carnap’s doctrine of indirect interpretation of theoretical terms. This doctrine will be given a semantic, model-theoretic explanation that is not given by Carnap himself as he remains content with a syntactic explanation. From that semantic explanation, rules for the truth-value assignment to postulates, i.e. sentences that determine the meaning of theoretical terms, are derived. The logical status of postulates will be clarified thereby in (...) such a way that the problem of theoretical terms disappears. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

According to a seminal paper by Barsalou , frames are attribute-value-matrices for representing exemplars or concepts. Frames have been used as a tool for reconstructing scientific concepts as well as conceptual change within scientific revolutions . In the frame-based representations of scientific concepts developed so far the semantic content of concepts is determined by a set of attribute-specific values. This way of representing semantic content works best for prototype concepts and defined concepts of a conceptual taxonomy satisfying the no-overlap principle. (...) In addition to the semantic content of prototype concepts and defined concepts, frames can also contain empirical knowledge that is represented as constraints between the values of the frame. Beside prototype concepts and defined concepts, theoretical concepts that are multiply operationalized play an important role in science. However, so far no frame-based representation of theoretical concepts has been proposed. In this paper, it will be shown that theoretical concepts can be represented by frames and that frame-based representations of prototype concepts and defined concepts have another structure than frame-based representations of theoretical concepts. In order to explicate this difference, we will develop a frame-based method for representing all three kinds of concepts by means of mathematical graph-theory. One important consequence will be that the constraints of a frame representing a theoretical concept are entailed by the structure of the frame, as opposed to a frame representing defined or prototype concepts. (shrink)

This paper is concerned with connections between scientific and metaphysical realism. It is not difficult to show that scientific realism, as expounded by Psillos (1999) clearly qualifies as a kind of metaphysical realism in the sense of Putnam (1980). The statement of scientific realism therefore must not only deal with underdetermination and the dynamics of scientific theories but also answer the semantic challenges to metaphysical realism. As will be argued, the common core of these challenges is the proposition that a (...) (metaphysical) realist semantics leads to semantic agnosticism in the sense that we are unable to grasp the proper meanings and referents of our linguistic expressions. Having established this, I will focus more specifically on the question of whether scientific realism—in its state-of-the-art account—has the resources to make reference to scientific concepts intelligible such that the semantic challenges can be answered. (shrink)

Astroparticle physics is a recent sub-discipline of physics that emerged from early cosmic ray studies, astrophysics, and particle physics. Its theoretical foundations range from quantum field theory to general relativity, but the underlying “standard models” of cosmology and particle physics are far from being unified. The paper explores the pragmatic strategies employed in astroparticle physics in order to unify a disunified research field, the concept of observation involved in these strategies, and their relations to scientific realism.

Holism and reductionism are usually seen as opposite and mutually exclusive approaches to nature. Recently, some have come to see them as complementary rather than mutually exclusive. In this book I have argued that, even stronger, they should be seen as mutually dependent and co-operating research programmes. I have discussed holism and reductionism in biology in general and in ecology in particular. After an introductory chapter I have provided an overview of holistic and reductionistic positions in biology, and of the (...) reduction problems to which they relate. I have argued that it is extremely important to distinguish between ontological, epistemological and methodological aspects of these problems. The overview has shown that there are actually several approaches to reduction problems in biology, which can be characterized as more or less radically or moderately holistic or reductionistic. It has shown also that there are three major ’contradistinctions’ between holism and reductionism in biology, to wit the doctrine of emergence versus the reduction thesis; functional explanations versus causal explanations; and phenomenology versus mechanicism. In later chapters I have shown that these ’contradistinctions’ are not really contradistinctions at all. In the next chapters I have discussed the terms ’reduce’ and ’reduction’ in science. In chapter 3 I have discussed the reduction of laws and theories. I have shown that there are many different types of reduction depending on the auxiliary hypotheses that are being used in addition to the reducing theory: approximation-, aggregation, correlation and/or identification-hypotheses. The distinctions between these types has later, in chapter 5, proved to be of great importance in defining the concept of ’emergence’. The major conclusion of chapter 3 was that reduction is an epistemological issue, pertaining to logical relations between statements or systems of statements. It should not be confused, therefore, with ’ontological reduction’, certainly not in one of its ordinary senses, such as diminishing, devaluating or the like. Scientific reductions are, with the exception of instrumentalistic reductions, kinds of explanation, and, moreover, non-eliminative kinds of explanation. This means that a reduced law or theory is not eliminated by the reducing theory but rather consolidated or even reinforced. The ontology of the reduced law or theory is thereby also being consolidated. In chapter 4 I have argued that the same holds for reductions of concepts. Concept reductions are supposed to be accomplished by means of so-called ontological identity relations, which are in turn supposed to connect terms in the law or theory to be reduced, which do not occur in the reducing theory, with theoretical terms of the reducing theory. Because they are called ontological identity relations, several philosophers have thought that concept reductions imply some form of ontological reduction. And because they often occur in the context of micro-reductions, some have even thought that concept reductions are themselves micro-reductions. As a result, the idea has arisen that ontological identity relations are connections between macro-concepts and micro-concepts. However, concept reductions by means of ontological identity relations cannot be micro-reductions, because micro-reduction is, by definition, reduction with an aggregation step. Moreover, ontological identity relations are relations between different representations of and the same type of thing or attribute. That is, they express different epistemological sides of the same ontological coin. Therefore, concept reductions cannot be considered ontological reductions either, certainly not in the ordinary sense of diminishing, devaluating or the like. Thus, concept reduction is, like law or theory reduction, an epistemological issue: it pertains to relations between, in this case, different concepts or representations of one and the same type of thing or attribute. ’Ontological reduction’, then, may, in the context of scientific reductions, actually be considered a contradiction of terms. In chapter 5 I have linked this conclusion to the emergence thesis and to the alleged contradistinction between this thesis and the reduction thesis. I have shown that the doctrine of emergence actually consists of two separate claims, namely an ontological thesis stating that a whole has emergent properties which the component parts do not possess, neither separately nor in other partial combinations; and an epistemological thesis stating that emergent properties of wholes are ’in principle’ irreducible. I have argued that the first claim may be regarded as a valid, universal thesis about relations between properties of wholes and properties of parts, but that the second claim is untenable. I have discussed many emergent properties of wholes, biological as well as physico-chemical, that have proved to be explainable in terms of micro-theories about the component parts and auxiliary hypotheses. Once again, however, it is important to realize that reduction is an epistemological issue, whereas emergence, in the sense of thesis, is an ontological one. It is not ’wholes’ or ’emergent properties of wholes’ that are being reduced but statements about them. Reduction is a kind of explanation, not of explaining-away. Thus, it leaves the ontology of whatever is reduced fully intact. I have developed a new definition of the term ’emergence’ which expresses emergence in terms of the auxiliary hypotheses that may be used in reductions, in particular aggregation-, correlation- and identification-hypotheses. This has even lead to two very remarkable conclusions. First, emergence may be considered the opposite of ontological identity. And second, if there were no emergence, there wouldn’t be any reductions either. to reduce.) In this respect, therefore, there is absolutely no contradistinction between holism and reductionism. On these grounds I have introduced my thesis that holism and reductionism should rather be seen as mutually dependent, and hence co-operating, research programmes than as conflicting views of nature or of relations between sciences. Holistic programmes play an important role in science as guide programmes for reductionistic programmes by discovering or developing macro-laws or -theories about phenomena at the level of wholes, which they themselves, however, cannot explain. For these explanations they depend on the fruits of reductionistic programmes. If the latter succeed in providing the explanations they act as supply programmes for the holistic guide programmes. Reductionistic programmes depend in turn on holistic programmes for providing the macro-laws or -theories that call for these explanations. In chapter 6 I have discussed an example of this mutual dependency in the form of the reduction of the Bohr-effect in animal physiology. I have shown that this law has been reduced to the theory of allostery, applied to hemoglobin molecules in red blood cells, and that this application of the theory of allostery has been reduced to the theory of chemical bonding. I have also shown that at least six research programmes were involved in these reductions, and that the relations between these programmes can be characterized very well in terms of the model of holistic guide programmes and reductionistic supply programmes. The only, but highly significant, qualification appearing from example was that the terms ’holistic’ and ’reductionistic’ are extremely relative and should always be related to a certain given level of organization. In chapter 7 I have resolved the remaining contradistinction between holism and reductionism in biology, viz. the need for functional explanations and the demand that explanations be causal. I have shown that functional explanations are perfectly legitimate explanations which in a sense can be reconstrued as causal explanations. I have argued that functional explanations are indispensable components of more comprehensive, causal-evolutionary explanations, because the latter appeal to the adaptive value, and hence the function, of the property to be explained. In that sense functions can be regarded as adaptations, and functional explanations can be regarded as a sort of ’short-hand’ for evolutionary explanations. Finally, I have shown that in the context of functional explanations, too, co-operation of holistic and reductionistic research programmes occurs. In part 2 I have applied my thesis to ecology. I have shown that in ecology too, holismreductionism disputes notwithstanding, co-operation of holistic and reductionistic research programmes occurs, or, in so far as this appears to be not the case, that it should be strived after. In chapter 8 I have given an overview of reduction problems in ecology and of the various approaches to these problems. I have noticed that in ecology, too, there are several, radical, moderate and anti-reductionistic research strategies, with respect to the levels of both ecosystems, communities and populations. I have also noticed, however, that concrete solutions to reduction problems in ecology are frustrated by what is called the intellectual immaturity or the anomalous status of ecology. This refers to the almost complete lack of general laws and theories in ecology, at least at the higher levels of communities and ecosystems. Of a number of possible causes I have lifted out two, which lend themselves to philosophical analysis and clarification. The first one is the ambiguity of a major part of the ecological vocabulary. This was the subject of chapters 9 and 10. The second is the inhibitory effect which holism-reductionism disputes have on the growth of knowledge. This was the subject of chapter 13. In chapter 9 I have discussed the concept of an community. It appeared that the term ’community’ is used for several different entities at various levels of organization. This ambiguity alone seems to be sufficient for the lack of ’general’ laws and theories about ’communities’. My purpose in chapter 9 was to try and contribute to a solution of this problem. In doing so I have argued, first, that it seems wise to use the term ’community’ only for groups of species belonging to a single taxonomic or phylogenetic group, and to use the term ’biocoenosis’ for the higher level of organization, defined as the biotic component of an ecosystem. Next I have argued that, although species within communities may of course interact with each other, interaction is itself not a necessary or sufficient condition for community membership. Finally, I have hit upon what is known as the most notorious problem in community ecology, to wit the boundary problem, as well as the problem of heterogeneity. I have found that the cause of these problems lies in the fact that communities are almost invariably being seen as groups of populations occurring together in space and time, whereas the empirical fact is rather that populations of different species mostly do not occur together in the same space, and, moreover, that the species composition of communities changes continuously. This has lead to the suggestion that a community had better be defined as the group of individuals of two or more species occurring in the area of intersection of populations of these species. It is only in such intersection areas that one can really talk of the co-occurrence of species. I have shown the empirical adequacy of this definition by discussing various salt marsh plant communities on the Dutch island of Schiermonnikoog. In chapter 10 I have clarified two other important, yet highly controversial, concepts in ecology, to wit habitat and niche. It appeared that there are at least four different habitat concepts in ecology, and as many niche concepts, the additional complication being that two of these habitat concepts correspond to two of these niche concepts, whence the distinction between habitat and niche is blurred. In addition, different habitat concepts appeared to correspond to different environment concepts and also to different biotope concepts. My purpose in chapter 10 was to disentangle all these concepts from one another and to supply each of them with a suitable term. I have done so by keeping a close eye on commonly accepted notions about habitat differentiation and niche differentiation, two ’principles’ allowing one to explain the coexistence or non-coexistence of species in communities. The results can be found in boxes 5 and 7 in chapter 10. In chapter 11 I was finally able to substantiate my claim that in ecology, too, co-operation of holistic and reductionistic research programmes occurs. I have discussed the reduction of the classical competition model of Lotka and Volterra to modern niche theory. The Lotka/Volterra model is a phenomenological model: it describes the possible effects of competition between two species. Modern niche theory, on the other hand, is a mechanistic theory, in which both the objects of competition and a mechanism are being specified. I have shown that the reduction was established with the help of a relatively simple identification hypothesis and two relatively simple aggregation hypotheses, making it yet another example of heterogeneous microreduction in biology. In the reduction, the Lotka/Volterra model acted as a holistic guide programme and modern niche theory acted as a reductionistic supply programme. In chapter 12 I have discussed another example of co-operation in the form of the approximative reduction of MacArthur and Wilson’s equilibrium theory of island biogeography. I have argued that this can be seen as a holistic model, which has been of great unifying and especially heuristic value, but which in time has been found to be a bit too simple and in some respects had to be corrected. Therefore, it can also be seen as an idealization in the sense of the model of idealization and concretization, which subsequent research programmes have concretized. Because these concretizations have a reductive character, we can see in this structure of idealization and concretization yet another example of the co-operation of holistic and reductionistic research programmes in ecology. A philosophically interesting side-conclusion was that the model of idealization and concretization thus appears to apply also to relations between research programmes, and not only to programme-internal developments. In chapter 13 I have discussed an example of the inhibitory effect that holism-reductionism disputes may have on the growth of knowledge. The example concerns a controversy in island biogeography over the role of interspecific competition in structuring communities. This controversy has lasted for about ten years, appeares to have died out rather than to have been resolved, and has produced nothing new in the field of explanations of community structure. I have shown that the major factors underlying the controversy were differing, in casu holistic and reductionistic, views of communities. Though this presented a problem for my thesis, I have argued that, ultimately, the controversy can be resolved, and in a sense has been resolved, in a way that corroborates my thesis. In the epilogue, finally, I have mentioned some remaining problems concerning the adequacy of the present reduction model in dealing with reduction in ecology. These problems pertain to the question of specificty of ecological laws and theories, the likelihood that reductions in ecology generally occur on the basis of several reducing micro-theories, and the possible relationship between the former two points. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

In this paper, a new account of empirical claims in structuralism is developed. Its novelty derives from the use that is made of the linguistic approach to scientific theories despite the presumed incompatibility of structuralism with that approach. It is shown how the linguistic approach can be applied to the framework of structuralism if the semantic foundations of that approach are refined to do justice to the doctrine of indirect interpretation of theoretical terms. This doctrine goes back to Carnap but (...) has been advanced until the present day without a proper semantic explanation. (shrink)

Scientists of many disciplines use theoretical models to explain and predict the dynamics of the world. They often have to rely on digital computer simulations to draw predictions fromthe model. But to deliver phenomenologically adequate results, simulations deviate from the assumptions of the theoretical model. Therefore the role of simulations in scientific explanation demands itself an explanation. This paper analyzes the relation between real-world system, theoretical model, and simulation. It is argued that simulations do not explain processes in the real (...) world directly. The way in which simulations help explaining real-world processes is conceived as indirect, mediated by the theoretical model. Simulacra are characterized further, and turn out to be a priori measurable. This gives a clue to a better understanding of the epistemic role of computer simulations in scientific research. (shrink)

The paper sketches an account of explanatory practice in which explanations are viewed as answers to explanation-requiring questions. To avoid difficulties in previous proposals, the paper uses the structuralist account of theory structure, arguing that theories are complex and evolving entities formed around a conceptual core and a set of intended applications. The argument is that this view does better justice to theories which involve a number of different kinds of theory-elements to give narrative explanations. Theories are, among other things, (...) devices which can be used to turn explanation-requiring questions into a form which allows assessment of potential answers. Evolutionary theory, both in Darwin's and the modern synthetic forms, are used as examples. The view advanced is that modern evolutionary theory need not have a unique core to which other theories serve as subcontractors. (shrink)

The connection between scientific knowledge and our empirical access to realityis not well explained within the structuralist approach to scientific theories. I arguethat this is due to the use of a semantics not rich enough from the philosophical pointof view. My proposal is to employ Sellars–Brandom's inferential semantics to understand how can scientific terms have empirical content, and Hintikka's game-theoretical semantics to analyse how can theories be empirically tested. The main conclusions are that scientific concepts gain their meaning through `basic (...) theories' grounded on `common sense, and that scientific method usually allows the pragmatic verification and falsification of scientific theories. (shrink)

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

A classification of models of reduction into three categories — theory reductionism, explanatory reductionism, and constitutive reductionism — is presented. It is shown that this classification helps clarify the relations between various explications of reduction that have been offered in the past, especially if a distinction is maintained between the various epistemological and ontological issues that arise. A relatively new model of explanatory reduction, one that emphasizes that reduction is the explanation of a whole in terms of its parts is (...) also presented in detail. Finally, the classification is used to clarify the debate over reductionism in molecular biology. It is argued there that while no model from the category of theory reduction might be applicable in that case, models of explanatory reduction might yet capture the structure of the relevant explanations. (shrink)

There has been a growing trend to include non-causal models in accounts of scientific explanation. A worry addressed in this paper is that without a higher threshold for explanation there are no tools for distinguishing between models that provide genuine explanations and those that provide merely potential explanations. To remedy this, a condition is introduced that extends a veridicality requirement to models that are empirically underdetermined, highly-idealised, or otherwise non-causal. This condition is applied to models of electroweak symmetry breaking beyond (...) the Standard Model. (shrink)

Axiomatization is uncommon outside mathematics, partly for being often viewed as embalming, partly because the best-known axiomatizations have serious shortcomings, and partly because it has had only one eminent champion, namely David Hilbert. The aims of this paper are to describe what will be called dual axiomatics, for it concerns not just the formalism, but also the meaning of the key concepts; and to suggest that every instance of dual axiomatics presupposes some philosophical view or other. To illustrate these points, (...) a theory of solidarity will be crafted and axiomatized, and certain controversies in both classical and quantum physics, as well as in the philosophy of mind, will be briefly discussed. The upshot of this paper is that dual axiomatics, unlike the purely formal axiomatics favored by the structuralists school, is not a luxury but a tool helping resolve some scientific controversies. (shrink)

The epistemic status of Natural Selection has seemed intriguing to biologists and philosophers since the very beginning of the theory to our present times. One prominent contemporary example is Elliott Sober, who claims that NS, and some other theories in biology, and maybe in economics, are peculiar in including explanatory models/conditionals that are a priori in a sense in which explanatory models/conditionals in Classical Mechanics and most other standard theories are not. Sober’s argument focuses on some “would promote” sentences that (...) according to him, play a central role in NS explanations and are both causal and a priori. Lange and Rosenberg criticize Sober arguing that, though there may be some unspecific a priori causal claims, there are not a priori causal claims that specify particular causal factors. Although we basically agree with Lange and Rosenberg’s criticism, we think it remains silent about a second important element in Sober’s dialectics, namely his claim that, contrary to what happens in mechanics, in NS explanatory conditionals are a priori, and that this is so in quite specific explanatory models. In this paper we criticize this second element of Sober’s argument by analyzing what we take to be the four possible interpretations of Sober’s claim, and argue that, terminological preferences aside, the possible senses in which explanatory models in NS can qualify, or include elements that can qualify, as a priori, also apply to CM and other standard, highly unified theories. We conclude that this second claim is unsound, or at least that more needs to be said in order to sustain that NS explanatory models are a priori in a sense in which CM models are not. (shrink)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)

This article reviews the recent literature on idealization, specifically idealization in the course of scientific modeling. We argue that idealization is not a unified concept and that there are three different types of idealization: Galilean, minimalist, and multiple models, each with its own justification. We explore the extent to which idealization is a permanent feature of scientific representation and discuss its implications for debates about scientific realism.

In the last two sections of Structure, Thomas Kuhn first develops his famous threefold conception of the incommensurability of scientific paradigms and, subsequently, a conception of scientific progress as growth of empirical strength. The latter conception seems to be at odds with the former in that semantic incommensurability appears to imply the existence of situations where scientific progress in Kuhns sense can no longer exist. In contrast to this seeming inconsistency of Kuhns conception, we will try to show in this (...) study that the semantic incommensurability of scientific terms appears to be fully compatible with scientific progress. Our argumentation is based on an improved version of the formalization of Kuhns conception as developed in the 1970s by Joseph Sneed and Wolfgang Stegmüller: In order to be comparable, incommensurable theories need the specification of relations that refer to the concrete ontologies of these theories and involve certain truth claims. The original structuralist account of reduction fails to provide such relations, because (1) it is too structural and (2) it is too wide. Moreover, the original structuralist account also fails to cover important cases of incommensurable theories in being too restrictive for them. In this paper, we develop an improved notion of “reduction” that allows us to avoid these shortcomings by means of a more flexible device for the formalization of (partially reductive) relations between theories. For that purpose, we use a framework of rigid logic, i.e., logic that is based on a fixed collection of objects. (shrink)

In this paper I propose to examine, and in part revive, a time-honoured perspective to inquiry in general and scientific explanation in particular. The perspective is to view inquiry as a search for answers to questions. If there is anything that deserves to be called a working scientist's view of his or her daily work, it surely is that he or she phrases questions and attempts to find satisfactory answers to them.

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, (...) a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (shrink)

We investigate the way physical laws objectively refer to the entities they are about. Laws of mathematical physics do not refer directly to the “real world” but to an ideal specific domain of objects, which we term “scope”. In order to find out which real objects physical laws deal with, reference to the scope is not sufficient. We need in addition the search for domains to which laws apply — i. e. “empirical domains”— in order to establish their reference to (...) the “real world”. It is just in such empirical domains that we are able to discover the real entities physical laws objectively refer to. “Physical reality” turns out to be not something “given” but rather something “to come out” of the very process of scientific inquiry. (shrink)

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

It is widely agreed that the concept of general equilibrium and, in particular, general equilibrium existence proofs play a central role within the neoclassical approach to economic theory. There is much less agreement, however, on the concepts of general equilibrium and of neoclassical economic theory themselves.

In this paper an attempt is made at developing the notion of a real and complete empirical explanation as excluding all forms of potential or incomplete explanations. This explanation is, however, no longer conceived as the proper aim of empirical science, for it can certainly be gleaned from recent epistemological publications that no comprehensive notion of a real and complete scientific explanation is likely to be constructed from within empirical science. Contrary to common understanding the empirical explanation, deductive-nomological as well (...) as statistical explanation, is considered here only as motive of scientific activities, i.e., as common aim of a transcending cooperation of scientific and non-scientific social practice. Following from this the proper aim of empirical science now consists in the development of practically relevant explanatory theories.This redetermination of the aim of scientific activities of empirical science also means criticism of the unification of deductive-nomological and statistical explanations, as it has been proposed by Wolfgang Stegmüller in his pragmatisch-epistemische Wende. For both forms of empirical explanation must be referred to fundamentally different kinds of practical relevance, the former playing a more important role in the advancement of social practice. Stegmüller's development of a comprehensive probabilistic notion of empirical explanation, as tied up to pragmatic knowledge-situations, in a way already transcends a scientifically immanent determination of it, but he seems to have stopped halfway on the road to practically relevant empirical explanations. Several insufficiencies with his probabilistic notion of empirical explanation are shown up in this paper as a consequence of his abiding by pragmatic, and not penetrating to practical, knowledge-situations. The final result of it, however, consists in a clarification and a modification of the concept of deductive-nomological explanation, originally developed by Hempel and Oppenheim. (shrink)

Scientific knowledge systems function as effective and specialized apparatus for formulating, analyzing and solving scientific problems. In science, problems become internal parts of the knowledge systems; thus they acquire new forms and properties in comparison with common-sense problems. Definite theoretical structures connected with problems and questions appear in the theory. Among them are erotetic expressions and languages, calculi and algebras of problems. On the basis of the structure-nominative reconstruction of a theory, the unified treatment of these structures is given. Methods (...) of the theory of named sets are used in the logical analysis of problems and their systems. As a consequence a new formalized model of the problem part of theory is constructed. (shrink)

A theory from the behavioral and social sciences is presented from the structuralist point of view. A more comprehensive theory-net is outlined, some basic terms and core assumptions are formulated, and an expansion of the theory towards two intended applications is given. Finally, some results of a first empirical test of the theory are reported. The aim of the paper is to show that the structuralist account of scientific theories is not confined to mathematical theories from the natural sciences, but (...) can also be applied to relatively informal constructions of the behavioral and social sciences. (shrink)

Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural science. This (...) is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields real-valued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense. (shrink)

Recent semantic approaches to scientific structuralism, aiming to make precise the concept of shared structure between models, formally frame a model as a type of set-structure. This framework is then used to provide a semantic account of (a) the structure of a scientific theory, (b) the applicability of a mathematical theory to a physical theory, and (c) the structural realist’s appeal to the structural continuity between successive physical theories. In this paper, I challenge the idea that, to be so used, (...) the concept of a model and so the concept of shared structure between models must be formally framed within a single unified framework, set-theoretic or other. I first investigate the Bourbaki-inspired assumption that structures are types of set-structured systems and next consider the extent to which this problematic assumption underpins both Suppes’ and recent semantic views of the structure of a scientific theory. I then use this investigation to show that, when it comes to using the concept of shared structure, there is no need to agree with French that “without a formal framework for explicating this concept of ‘structure-similarity’ it remains vague, just as Giere’s concept of similarity between models does ...” (French, 2000, Synthese, 125, pp. 103–120, p. 114). Neither concept is vague; either can be made precise by appealing to the concept of a morphism, but it is the context (and not any set-theoretic type) that determines the appropriate kind of morphism. I make use of French’s (1999, From physics to philosophy (pp. 187–207). Cambridge: Cambridge University Press) own example from the development of quantum theory to show that, for both Weyl and Wigner’s programmes, it was the context of considering the ‘relevant symmetries’ that determined that the appropriate kind of morphism was the one that preserved the shared Lie-group structure of both the theoretical and phenomenological models. (shrink)

Summary In the last decade analytical philosophy of science has been considered by many people as a descriptive activity. In part I of this paper we show that philosophy of science has been designed as normative logical analysis by Reichenbach and Carnap before world war II. Thus the identification analytical = descriptive is historically unjustified. In part II we discuss three tasks of analytical philosophy of science, the logical reconstruction of concepts, theories, and methods. While the first is mainly descriptive, (...) the third mainly normative, the second may be both, depending on the intended goal. (shrink)

The article tries to demonstrate how the tools and perspectives of action theory may be used in philosophy of medicine and medical ethics. In the first part, some concepts and principles of action theory are reconstructed and used to sketch a view of medicine as a science of actions. The second part is a contribution to the discussion on medical ethics in the same issue of this journal and consists in a detailed analysis of the main arguments and critical remarks (...) from the point of view of action theory. (shrink)

The likelihood theory of evidence (LTE) says, roughly, that all the information relevant to the bearing of data on hypotheses (or models) is contained in the likelihoods. There exist counterexamples in which one can tell which of two hypotheses is true from the full data, but not from the likelihoods alone. These examples suggest that some forms of scientific reasoning, such as the consilience of inductions (Whewell, 1858. In Novum organon renovatum (Part II of the 3rd ed.). The philosophy of (...) the inductive sciences. London: Cass, 1967), cannot be represented within Bayesian and Likelihoodist philosophies of science. (shrink)

Erkenntnis hängt, wie schon E. Topitsch gezeigt hat, einerseits mit Entlastung vom "Druck der Realität", andererseits mit analogisierender Merkmalsübertragung zusammen. Aus dieser Sicht werden die Erkenntnismodelle im Eleatismus und besonders in der Ideenlehre Platons unbeschadet ihres werthaft-spekulativen Charakters als im doppelten Sinne lebensdienlich betrachtet: sie sind Seinsdeutung und Handlungsorientierung. Der nachplatonische epistemologische "Sündenfall", eingeleitet durch den Proto-Empirismus der Aristotelischen Wissenschaftslehre, führte in einigen großen Entwicklungsschritten in die Laisser-faire-Freiheit sich allein der Wahrheitsidee verpflichtender wissenschaftlicher Forschung. Bis zum Aufkommen des Konventionalismus verstehen (...) sich die wissenschaftlichen Modelle dieses ontologisch-empiristischen "Paradigmas" als wesentlich original-, nicht entscheidungs- und handlungsabhängig, und auch ein sich "kritisch" nennender Rationalismus beläßt es prinzipiell bei der Zweistelligkeit der Modellrelation. Sowohl weite Bereiche der faktischen gegenwärtigen Forschung sowie der Technik- und Wissenschaftsplanung auf der einen wie epistemologische Kritik auf der anderen Seite fordern die explizite Einführung pragmatischer Variablen, insbesondere von Subjekt-, Zeit- und Zielvariablen, in die szientifischen Modellbildungsprozesse. Mit der Unabdingbarkeit einer systematischen Pragmatik besonders für die theoriendynamischen Reflexionen im Big-science-Bereich moderner Technologien finden die weitgehend intuitiven Überzeugungen des klassischen Seins-Sollens-Holismus ihre pünktliche zeitgenössische Entsprechung. (shrink)

In the present paper the attempt is made for the first time to formalize the modern theory of elementary particles based on the structuralist approach. To this end, the description within the scope of the so-called standard model is considered. In the physics of elementary particles the term ‘standard model’ denotes the summary of theories which describe the various elementary building blocks of matter as well as their interactions between each other. This model represents one of the most successful theories (...) in physics, particularly because of the impressive experimental confirmation. Hence a structuralist reconstruction of it is a challenging task. (shrink)

The goal of this paper is to present and defend an empiricist, neo-Hempelian account of scientific explanation as ampliative, specialized embedding. The proposal aims to preserve what I take to be the core of Hempel’s empiricist account, by weakening it in some respects and strengthening it in others, introducing two new conditions that solve most of Hempel’s problems without abandoning his empiricist strictures. According to this proposal, to explain a phenomenon is to make it expectable by introducing new conceptual/ontological machinery (...) and using special, and non-ad hoc, non-accidental regularities. The new conditions are elaborated making essential use of two central structuralist ideas, namely T-theoreticity and specialization. I first introduce and qualify the project, then present the new account in detail and assess it vis-à-vis its rivals, and finally discuss some possible objections, concluding that the account fares better than its monistic rivals and well enough to qualify as a promising neo-Hempelian account. Even for those unpersuaded by its monistic goals, it has the merit of calling attention to two new necessary conditions not explicitly emphasized thus far and showing how they serve to answer many of the criticisms addressed against Hempel’s account. (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.