This paper adds to the philosophical literature on mechanistic explanation by elaborating two related explanatory functions of idealisation in mechanistic models. The first function involves explaining the presence of structural/organizational features of mechanisms by reference to their role as difference-makers for performance requirements. The second involves tracking counterfactual dependency relations between features of mechanisms and features of mechanistic explanandum phenomena. To make these functions salient, we relate our discussion to an exemplar from systems biological research on the mechanism for countering (...) heat shock—the heat shock response system—in Escherichia coli bacteria. This research also reinforces a more general lesson: ontic constraint accounts in the literature on mechanistic explanation provide insufficiently informative normative appraisals of mechanistic models. We close by outlining an alternative view on the explanatory norms governing mechanistic representation. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

It has been argued that the fundamental laws of physics do not face a ‘problem of provisos’ equivalent to that found in other scientific disciplines (Earman, Roberts and Smith 2002) and there is only the appearance of exceptions to physical laws if they are confused with differential equations of evolution type (Smith 2002). In this paper I argue that even if this is true, fundamental laws in physics still pose a major challenge to standard Humean approaches to lawhood, as they (...) are not in any obvious sense about regularities in behaviour. A Humean approach to physical laws with exceptions is possible, however, if we adopt a view of laws that takes them to be the algorithms in the algorithmic compressions of empirical data. When this is supplemented with a distinction between lossy and lossless compression, we can explain exceptions in terms of compression artefacts present in the application of the lossy laws. (shrink)

Assuming that the target of theory oriented empirical science in general and of nomic truth approximation in particular is to characterize the boundary or demarcation between nomic possibilities and nomic impossibilities, I have presented, in my article entitled “Models, postulates, and generalized nomic truth approximation” :3057–3077, 2016. 10.1007/s11229-015-0916-9), the ‘basic’ version of generalized nomic truth approximation, starting from ‘two-sided’ theories. Its main claim is that nomic truth approximation can perfectly be achieved by combining two prima facie opposing views on theories: (...) the traditional view: theories are postulates that exclude certain possibilities from being realizable, enabling explanation and prediction and the model view: theories are sets of models that claim to represent certain realizable possibilities. Nomic truth approximation, i.e. increasing truth-content and decreasing falsity-content, becomes in this way revising theories by revising their models and/or their postulates in the face of increasing evidence. The basic version of generalized nomic truth approximation is in many respects as simple as possible. Among other things, it does not take into account that one conceptual possibility may be more similar to another than a third one. However, for example, one theory may include a possibility that is more similar to a wrongly not included possibility than another theory can offer. Similarly, for wrongly not excluded possibilities. In this article it will be shown that such ‘refined’ considerations can be taken into account by adapted clauses based on a ternary similarity relation between possibilities. This allows again abductive conclusions about refined truth approximation if a theory is persistently more successful in the refined sense than another. It will also be indicated and illustrated that this refined approach enables a specification to the effect that refined truth approximation can be obtained by the method of idealization and subsequent concretization. Finally, the basic and the refined approach will be evaluated with regard to some general principles and objections that have been discussed in the literature. (shrink)

Our purpose in this paper is to contribute to a practice-based characterization of scientific inference. We want to explore whether Brandom’s pragmatist–inferentialist framework can suitably accommodate several types of ampliative inference common in scientific reasoning and explanation (probabilistic reasoning, abduction and idealisation). First, we argue that Brandom’s view of induction in terms of merely permissive inferences is inadequate; in order to overcome the shortcoming of Brandom’s proposal, we put forward an alternative conception of inductive, probabilistic reasoning by appeal to the (...) notion of degrees of commitment. Moreover, we examine the sorts of inferential commitments operative in other types of ampliative inferences, such as abduction or reasoning involving idealizations and assumptions. We suggest that agents engaging in these forms of reasoning often undertake restricted inferential commitments, whose scope and reach are more limited that in the case of the commitments associated with full beliefs. (shrink)

The idea that simplicity matters in science is as old as science itself, with the much cited example of Ockham's Razor, 'entia non sunt multiplicanda praeter necessitatem': entities are not to be multiplied beyond necessity. A problem with Ockham's razor is that nearly everybody seems to accept it, but few are able to define its exact meaning and to make it operational in a non-arbitrary way. Using a multidisciplinary perspective including philosophers, mathematicians, econometricians and economists, this 2002 monograph examines simplicity (...) by asking six questions: what is meant by simplicity? How is simplicity measured? Is there an optimum trade-off between simplicity and goodness-of-fit? What is the relation between simplicity and empirical modelling? What is the relation between simplicity and prediction? What is the connection between simplicity and convenience? The book concludes with reflections on simplicity by Nobel Laureates in Economics. (shrink)

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes (...) of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)

"Semantic dispositionalism" is the theory that a speaker's meaning something by a given linguistic symbol is determined by her dispositions to use the symbol in a certain way. According to an objection by Kripke, further elaborated in Kusch :156–163, 2005), semantic dispositionalism involves ceteris paribus-clauses and idealisations, such as unbounded memory, that deviate from standard scientific methodology. I argue that Kusch misrepresents both ceteris paribus-laws and idealisation, neither of which factually "approximate" the behaviour of agents or the course of events, (...) but, rather, identify and isolate nature's component parts and processes. An analysis of current results in cognitive psychology vindicates the idealisations involved and certain counterfactual assumptions in science generally. In particular, results suggest that there can be causal continuity between the dispositional structure of actual objects and that of highly idealised objects. I conclude by suggesting that we can assimilate ceteris paribus-laws with disposition ascriptions insofar as they involve identical idealising assumptions. (shrink)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

In what follows, I will give examples of the sorts of step that can be taken towards spelling out the intuition that, after all, good models might be true. Along the way, I provide an outline of my account of models as ontologically and pragmatically constrained representations. And I emphasize the importance of examining models as functionally composed systems in which different components play different roles and only some components serve as relevant truth bearers. This disputes the standard approach that (...) proceeds by simply counting true and false elements in models in their entirety and concludes that models are false since they contain so many false elements. I call my alternative the functional decomposition approach. (shrink)

Der Begriff ‘Modell’ leitet sich vom Lateinischen ‘modulus’ (das Maß) ab, im Italienischen existiert seit dem 16. Jh. ‘modello’ und R. Descartes verwendet im 17. Jh. ‘modèlle’. Während der Begriff in Architektur und Kunst schon seit der Renaissance gängig ist, wird er in den Naturwissenschaften erst im 19. Jh. verwendet.1 Dort greifen wissenschaftliche Modelle die für eine gegebene Problemstellung als wesentlich erachteten Charakteristika (Eigenschaften, Beziehungen, etc.) eines Untersuchungsgegenstandes heraus und machen diesen so einem Verständnis bzw. einer weiterführenden Untersuchung zugänglich. Es (...) ist üblich, zwischen Skalenmodellen, Analogmodellen und theoretischen Modellen zu unterscheiden. (shrink)

My philosophical intuitions are those of a scientific realist. In addition to being realist in its philosophical outlook, my philosophy of economics also aspires to be realistic in the sense of being descriptively adequate, or at least normatively non-utopian, about economics as a scientific discipline. The special challenge my philosophy of economics must meet is to provide a scientific realist account that is realistic of a discipline that deals with a complex subject matter and operates with highly unrealistic models. Unrealisticness (...) in economic models must not constitute an obstacle to realism about those models. What follows is a selective and somewhat abstract summary of my thinking about economics, outlined from two perspectives: first historical and autobiographical, then systematic and comparative. The first angle helps understand motives and trajectories of ideas against their backgrounds in intellectual history. My story turns out to have both unique and generalizable aspects. The second approach outlines some of the key concepts and arguments as well as their interrelations in my philosophy of economics, with occasional comparisons to other views. More space will be devoted to this second perspective than to the first. (shrink)

Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

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)

Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory of (...) idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski's theory of truth. Philosophers do not agree on how Tarski's theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.In this paper I argue that Tarski's chief concern was the following question. Suppose a (...) language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? (shrink)

Following Nancy Cartwright and others, I suggest that most (if not all) theories incorporate, or depend on, one or more idealizing assumptions. I then argue that such theories ought to be regimented as counterfactuals, the antecedents of which are simplifying assumptions. If this account of the logic form of theories is granted, then a serious problem arises for Bayesians concerning the prior probabilities of theories that have counterfactual form. If no such probabilities can be assigned, the the posterior probabilities will (...) be undefined, as the latter are defined in terms of the former. I argue here that the most plausible attempts to address the problem of probabilities of conditionals fail to help Bayesians, and, hence, that Bayesians are faced with a new problem. In so far as these proposed solutions fail, I argue that Bayesians must give up Bayesianism or accept the counterintuitive view that no theories that incorporate any idealizations have ever really been confirmed to any extent whatsoever. Moreover, as it appears that the latter horn of this dilemma is highly implausible, we are left with the conclusion that Bayesianism should be rejected, at least as it stands. (shrink)

The process of abstraction and concretisation is a label used for an explicative theory of scientific model-construction. In scientific theorising this process enters at various levels. We could identify two principal levels of abstraction that are useful to our understanding of theory-application. The first level is that of selecting a small number of variables and parameters abstracted from the universe of discourse and used to characterise the general laws of a theory. In classical mechanics, for example, we select position and (...) momentum and establish a relation amongst the two variables, which we call Newton’s 2nd law. The specification of the unspecified elements of scientific laws, e.g. the force function in Newton’s 2nd law, is what would establish the link between the assertions of the theory and physical systems. In order to unravel how and with what conceptual resources scientific models are constructed, how they function and how they relate to theory, we need a view of theory-application that can accommodate our constructions of representation models. For this we need to expand our understanding of the process of abstraction to also explicate the process of specifying force functions etc. This is the second principal level at which abstraction enters in our theorising and in which I focus. In this paper, I attempt to elaborate a general analysis of the process of abstraction and concretisation involved in scientific- model construction, and argue why it provides an explication of the construction of models of the nuclear structure. (shrink)

The continuity thesis of the Poznań school threshold model of the growth of scientific knowledge is considered in the light of the example of Van der Waals' and Boyle-Mariotte's laws. It is argued - using both traditional logical means and the structuralist reconstruction of the example - that the continuity thesis does not hold. A distinction between 'a historical and a systematic point of view' is introduced and it is argued that the continuity thesis of the threshold model presupposes the (...) systematic point of view. However, looking at matters from the systematic point of view need not yield the original theory, looked at from the historical point of view. Applied to the case of Van der Waals/Boyle-Mariotte laws, it turns out that the latter law is not a true idealizing special case of the former, contrary to the continuity thesis. The structuralist analysis of the example indicates that Boyle-Mariotte's law is a false factual law from the historical point of view. However, viewed from the systematic point of view, Boyle-Mariotte's law turns out to be a law which is expandable, adding the relevant new concepts, to an idealized version of Van der Waals' law. This idealizing version of Van der Waal's law in turn is a structuralist specialization of the (general) Van der Waals' law. (shrink)

Models are the coin of the realm in current philosophy of science, as they are in science itself, having replaced laws and theories as the primary strategy. Logical Positivism tried to erase the older neo-Kantian distinction between ideal constructions and reality. It returns in the case of models. Nowak’s concept of idealization pro- vided an alternative account of this issue. It construed model application as concretizations of hypotheses which improve by accounting for exceptions. This appears to account for physical law. (...) But it raises the problem of uniqueness: is the result unique, as physical law should be? Neo-Kantianism failed this test. Its solutions were circular justifications for claims of uniqueness. Nowak inherited the problem without resolving it. (shrink)

It is undeniable that inductive reasoning has brought us much good. At least since Hume, however, philosophers have wondered how to justify our reliance on induction. In important recent work, Schurz points out that philosophers have been wrongly assuming that justifying induction is tantamount to showing induction to be reliable. According to him, to justify our reliance on induction, it is enough to show that induction is optimal. His optimality approach consists of two steps: an analytic argument for meta-induction (that (...) is, induction over inductive methods) and an application of meta-induction to empirical findings concerning the predictive accuracy of our actual inductive practices as compared to various non-inductive methods. The present article agrees with Schurz’s general conclusion but also argues that it leaves an important aspect of our inductive practices unaccounted for, to wit, that these practices have so far been highly successful; to satisfy the optimality requirement, induction only needs to be as successful as random guessing. To explain the success of induction, I turn to insights from social epistemology, also highlighted in Schurz’s work, and make these formally explicit in a framework that combines the Hegselmann–Krause model for opinion dynamics and Carnap’s system of λ rules. Within this framework, I use a standard evolutionary algorithm to show how communities of interacting agents may, through variation and selection, come to consist of highly successful inductive reasoners. (shrink)

That many of our most successful scientific theories involve one or more idealizations poses a challenge to traditional models of theory confirmation. One popular response amongst scientific realists is the “improvement model of confirmation”: if tightening up one or more of the idealizations leads to greater predictive accuracy, then this supports the belief that the theory’s inaccuracy is a result of its idealizations and not because it is wrong. In this article I argue that the improvement model is deeply flawed (...) and that therefore idealizations continue to undermine “success-to-truth” arguments for scientific realism. (shrink)

Two metascientific concepts that have been ― and still are ― object of philosophical analysis are the concepts of model and theory. But while the concept of scientific theory was one of the concepts to which philosophers of science devoted most attention during the 20th century, it is only in recent decades that the concept of scientific model has come to occupy a central position in philosophical reflection. However, it has done so in such a way that, at present, as (...) Jim Bogen states in the back cover of the book Scientific Models in the Philosophy of Science, by Daniela Bailer-Jones, “[t]he standard philosophical literature on the role of models in scientific reasoning is voluminous, disorganized, and confusing”. In spite of this, one of the axes that would allow us to organize at least part of this literature, and with which Bailer-Jones’ book closes, is that which is identified as one of the “contemporary philosophical issues: how theories and models relate to each other” (Bailer-Jones 2009, p. 208).That is why, in this introduction to the special issues of Metatheoria devoted to the topic of “Models and Theories in Biology”, we will present the main advances that have been made in the philosophical analysis of the concepts of model and theory in general and in biology in particular, and we will also do the same with the answers that have been given to the problem of "how theories and models relate to each other”. (shrink)

The aim of this article is to outline the theory of a historical process developed within the framework of the Poznań School of Methodology, mainly by Leszek Nowak and a team of his co-workers. In the first part of the paper, the meta-philosophical and meta-theoretical assumptions of Poznań school are reconstructed and juxtaposed with the relevant assumptions of Western analytical Marxism. In the central part of the paper, the main ideas of adaptive reconstruction of historical materialism and non-Marxian historical materialism (...) are presented. In its final part, some problems of reception of Leszek Nowak’s theory of historical process in Polish People’s Republic and the Third Republic are discussed. (shrink)

I consider two transcendental arguments for realism in the philosophy of science, which are due to Roy Bhaskar (A realist theory of science, 1975) and Nancy Cartwright (The dappled world, 1999). Bhaskar and Cartwright are both influential figures, however there is little discussion of their use of transcendental arguments in the literature. Here I seek to correct this oversight. I begin by describing the role of the transcendental arguments in question, in the context of the broader philosophical theories in which (...) they are embedded, by Bhaskar and Cartwright respectively. I then consider some specific problems that arise for these particular transcendental arguments, in the context of contemporary philosophy of science. I raise two general problems for transcendental arguments for realism and I finish by spelling out what needs to be done to address the criticisms raised in this paper. (shrink)

Over the past 50 years, postmodernism has been a progressively growing and influential intellectual movement inside and outside the academy. Postmodernism is characterised by rejection of parts or the whole of the Enlightenment project that had its roots in the birth and embrace of early modern science. While Enlightenment and ‘modernist’ ideas of universalism, of intellectual and cultural progress, of the possibility of finding truths about the natural and social world and of rejection of absolutism and authoritarianism in politics, philosophy (...) and religion were first opposed at their birth in the eighteenth century, contemporary postmodernism sometimes appeals to (and sometimes disdains) philosophy of science in support of its rejection of modernism and the enlightenment programme. (shrink)

In this paper we focus on two claims, put forward by Feyerabend in his later writings , which constitute the metaphysical core of his view of scientific inquiry. The first, that we call the pliability thesis, is the claim that the world can be described by indefinitely many conceptual systems, none of them enjoying a privileged status. The second, that we call the resistance thesis, is the claim that the pliability of the world is limited, i.e., not all the different (...) conceptual systems that can be used to describe the world will be equally successful: the world offers resistance to some attempts to describe it. We show that, in spite of the later Feyerabend’s notorious antirealist leanings, the pliability thesis is fully compatible with a robustly realist view of science, and we suggest that, surprisingly, Feyerabend’s insights concerning the limited pliability of the world turn out to be those of a potential ally of sophisticated versions of scientific realism. (shrink)

This paper presents a more clear formulation of the correspondence principle and explores its justification.

This paper explicates the philosophical and epistemological background of the MIRRORS project, which is the starting point of the various contributions in this issue. Developments in the philosophy of science will be discussed, especially the watershed work of Kuhn, in order to analyze further developments in the sociology of science, particularly starting from the Strong Programme. Finally, it will be shown how a multidisciplinary approach in Science & Technology (S&T) studies, as opposed to an interdisciplinary one, is to be preferred. (...) Specifically, the connection between this approach and the modelling and idealizational approaches to science is stressed and defended as the best available approach for the formation of a conscientious democratic knowledge-based society. (shrink)

The naive structuralist definition of truthlikeness is an idealization in the sense that it assumes that all mistaken models of a theory are equally bad. The natural concretization is a refined definition based on an underlying notion of structurelikeness.In Section 1 the naive definition of truthlikeness of theories is presented, using a new conceptual justification, in terms of instantial and explanatory mistakes.

I first give a brief summary of a critique of the traditional theories of approximation and idealization; and after identifying one of the major roles of idealization as detaching component processes or systems from their joints, a detailed analysis is given of idealized laws – which are discoverable and/or applicable – in such processes and systems (i.e., idealized model systems). Then, I argue that dispositional properties should be regarded as admissible properties for laws and that such an inclusion supplies the (...) much needed connection between idealized models and the laws they `produce'' or `accommodate''. And I then argue that idealized law-statements so produced or accommodated in the models may be either true simpliciter or true approximately, but the latter is not because of the idealizations involved. I argue that the kind of limiting-case idealizations that produce approximate truth is best regarded as approximation; and finally I compare my theory with some existing theories of laws of nature.We seem to trace [in KingLear] ... the tendency of imagination toanalyse and abstract, to decomposehuman nature into its constituentfactors, and then to construct beings in whomone or more of these factors isabsent or atrophied or only incipient. (shrink)

It is commonly assumed that historical materialism was first developed by Karl Marx, whose philosophy is often equated with this idea. The following paper challenges this opinion by showing that historical materialism, understood as a general position within the philosophy of history, can be traced back to two generally unheralded Chinese thinkers: Liu Zongyuan (773–819) and Li Gou (1009–1059). Historical materialism is here understood as a standpoint built on three tenets: (1) a belief in the dependence of culture on the (...) material fundaments of social life; (2) the interpretation of human history through the prism of structural transformations; and (3) understanding political and economic relationships in terms of antagonism between social groups. After elaborating upon the presence of these tenets in the thought of Liu and Li, the paper analyzes the influence of their ideas and, finally, points out the main differences between the premodern and modern forms of historical materialism. (shrink)

Our purpose in this paper is to contribute to a practice-based characterization of scientific inference. We want to explore whether Brandom’s pragmatist–inferentialist framework can suitably accommodate several types of ampliative inference common in scientific reasoning and explanation (probabilistic reasoning, abduction and idealisation). First, we argue that Brandom’s view of induction in terms of merely permissive inferences is inadequate; in order to overcome the shortcoming of Brandom’s proposal, we put forward an alternative conception of inductive, probabilistic reasoning by appeal to the (...) notion of degrees of commitment. Moreover, we examine the sorts of inferential commitments operative in other types of ampliative inferences, such as abduction or reasoning involving idealizations and assumptions. We suggest that agents engaging in these forms of reasoning often undertake restricted inferential commitments, whose scope and reach are more limited that in the case of the commitments associated with full beliefs. (shrink)

This paper addresses the problem of how scientific knowledge, which is always locally generated, becomes accepted in other sites. The analysis suggests that there are a small number of strategies that enable scientists to resituate knowledge and that these strategies are generic: they are not restricted to specific disciplines or modes of doing science but rather are found in a variety of different forms across the sciences.

If models can be true, where is their truth located? Giere (Explaining science, University of Chicago Press, Chicago, 1998) has suggested an account of theoretical models on which models themselves are not truth-valued. The paper suggests modifying Giere’s account without going all the way to purely pragmatic conceptions of truth—while giving pragmatics a prominent role in modeling and truth-acquisition. The strategy of the paper is to ask: if I want to relocate truth inside models, how do I get it, what (...) else do I need to accept and reject? In particular, what ideas about model and truth do I need? The case used as an illustration is the world’s first economic model, that of von Thünen (1826/1842) on agricultural land use in the highly idealized Isolated State. (shrink)

The qualitative theory of nomic truth approximation, presented in Kuipers in his, in which ‘the truth’ concerns the distinction between nomic, e.g. physical, possibilities and impossibilities, rests on a very restrictive assumption, viz. that theories always claim to characterize the boundary between nomic possibilities and impossibilities. Fully recognizing two different functions of theories, viz. excluding and representing, this paper drops this assumption by conceiving theories in development as tuples of postulates and models, where the postulates claim to exclude nomic impossibilities (...) and the models claim to represent nomic possibilities. Revising theories becomes then a matter of adding or revising models and/or postulates in the light of increasing evidence, captured by a special kind of theories, viz. ‘data-theories’. Under the assumption that the data-theory is true, achieving empirical progress in this way provides good reasons for the abductive conclusion that truth approximation has been achieved as well. Here, the notions of truth approximation and empirical progress are formally direct generalizations of the earlier ones. However, truth approximation is now explicitly defined in terms of increasing truth-content and decreasing falsity-content of theories, whereas empirical progress is defined in terms of lasting increased accepted and decreased rejected content in the light of increasing evidence. These definitions are strongly inspired by a paper of Gustavo Cevolani, Vincenzo Crupi and Roberto Festa, viz., “Verisimilitude and belief change for conjunctive theories” :183–222, 2011). (shrink)