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)

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different "degrees of contingency". We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...) purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...) purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

After a brief comparison of Aliseda’s account with different approaches to abductive reasoning, I try to relate abduction, understood in terms like those of Aliseda, to another concept which also occupies a very important role in scientific change: idealization. In particular, I try to reveal some interesting aspects related to notions like approximation and empirical progress.

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)

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)

The issue of biotechnology has been chosen in the MIRRORS project in order to analyze the sometimes uneasy relationship between science and society. After analyzing the situation of biotechnology regarding the GMO debate in Spain, France and Italy during a previous MIRRORS Workshop (This MIRRORS Workshop is entitled European Policies and Knowledge Society, held in Catania on December 15th 2008, during the which the undersigned, Anna Benedetta Francese and Cinzia Rizza discussed three papers about this topic [see the MIRRORS website (...) www.mirrors-project.it]), in this essay I have tried to tackle the relationship science–society, focalizing my attention on the epistemological and methodological problems behind the biotechnology debate that are often not clearly expressed, remaining mainly tacitly presupposed. I will take as a starting point some questions about the role of science in society and about the way science is used by policy makers in decision-making processes. These questions are fundamental in order to analyze (and possibly to propose salvation strategies) the existing problems of the relationship between science and society which has assumed, especially nowadays, more conflictual aspects. Our Research Team firmly holds that it is not possible to tackle this topic without an in-depth discussion of the most significant epistemological questions regarding research, discussions, and methods of biotechnology. (shrink)

Ernst Cassirer’s epistemological trilogy – Substanzbegriff und Funktionsbegriff (1910), Zur Einsteinschen Relativitätstheorie (1921) and Determinismus und Indeterminismus (1937) – is well known to Western scholars, some of whom recently devoted a number of in-depth and interesting studies to Cassirer’s epistemology. Nonetheless, they overlooked aspects of Cassirer’s concept of idealisation and his model of science as found in his last epistemological work: Determinismus und Indeterminismus. In this essay I will consider these two almost disregarded aspects of Cassirer’s epistemology in order to (...) provide a better understanding of his idea of science. (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)

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)

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)

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 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)

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)

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)

John Dupr argues that 'scientific imperialism' can result in 'misguided' science being considered acceptable. 'Misguided' is an explicitly normative term and the use of the pejorative 'imperialistic' is implicitly normative. However, Dupr has not justified the normative dimension of his critique. We identify two ways in which it might be justified. It might be justified if colonisation prevents a discipline from progressing in ways that it might otherwise progress. It might also be justified if colonisation prevents the expression of important (...) values in the colonised discipline. This second concern seems most pressing in the human sciences. (shrink)

Is a policy-friendly philosophy of science possible? In order to respond this question, I consider a particular instance of contemporary philosophy of science, the semantic view of scientific theories, by placing it in the broader methodological landscape of the integration of philosophy of science into STS (Science and Technology Studies) as a component of the overall contribution of the latter to science policy. In that context, I defend a multi-disciplinary methodological integration of the special discipline composing STS against a reductionist (...) interdisciplinary unification, arguing that if STS wants to contribute to policy advising by constructing narratives of science practice feasible for science policy both in terms of descriptive completeness and intelligibility, then it must avoid the explanatory reductionism tendencies of special disciplines in interdisciplinary contexts. This would favour, at the same time, a relaxation of esoteric language. On this basis, it seems that the semantic view is one right candidate among other approaches in the philosophy of science for facilitating the integration of the methodologically different contributions to STS toward policy objectives. In fact, besides offering a more realistic and descriptively complete picture of science practice with respect to its predecessor in the philosophy of science, namely the syntactic view, the semantic view is also able to capture some aspects of science practice that elude even sociological approaches to STS, thus inviting different perspective on the same subject matter. (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)

Idealized explanations are the one subtype of incomplete explanations which is most frequently used in the empirical sciences and at the same time least analyzed in philosphy of science. It is argued that idealized explanations, while having the same logical structure as adequate explanations, differ from these in the mode of validity of the argument. Whereas an adequate explanation shows why the occurrence of some event had to be expected, an idealized explanation argues that a certain event would occur if (...) certain conditions were fulfilled. Idealized explanations are heuristic devices which, in the long run, ought to be transformed into adequate explanations. (shrink)

Idealized explanations are the one subtype of incomplete explanations which is most frequently used in the empirical sciences and at the same time least analyzed in philosphy of sicence. It is argued that idealized explanations, while having the same logical structure as adequate explanations, differ from these in the mode of validity of the argument. Whereas an adequate explanation shows why the occurrence of some event had to be expected, an idealized explanation argues that a certain event would occur if (...) certain conditions were fulfilled. Idealized explanations are heuristic devices which, in the long run, ought to be transformed into adequate explanations. (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)

A sequence of theoretical models is constructed as an extension to Leszek Nowak's theory of socialist society to explain important characteristics of the violent party purges in Soviet Stalinism. According to these models, purges are a regular and systemic feature of a socialist system during a certain phase of development (modelled as the phase of social enslavement). Contrary to traditional conceptions which interpret the purges essentially as resulting from the actions of an almost omnipotent, and partly irrational, despot, the models (...) presented here provide an explanation which does not need to conceive Stalin as the architect of terror (Robert Conquest), i.e. as the long-term planner of the terror. However, the concepts presented here preserve the vital arguments of the traditional approach, thereby contradicting the revisionist pattern of interpretation. In particular the models seek to provide a theoretical base for an explanation of the moderation of inner-party terror from 1938. This moderation is interpreted as resulting from a modification of the then existing ideology (and corresponding habits of the party's leadership); a modification which in itself had been stimulated by the disastrous effects of the great purge in 1937/38. This modification can be theoretically conceived as a process of ideological learning. The historical fact that the post-war purges (i.e. the Leningrad affair in 1949 and the Mingrelian affair 1951/52) did not reach such an enormous extent as the purges of the late 1930s may thus be attributed to a process of ideological learning. (shrink)

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

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)

Normic Laws and the Significance of Nonmonotonic Reasoning for Philosophy of Science. Normic laws have the form ‘if A then normally B’. They have been discovered in the explanation debate, but were considered as empirically vacuous (§1). I argue that the prototypical (or ideal) normality of normic laws implies statistical normality (§2), whence normic laws have empirical content. In §3–4 I explain why reasoning from normic laws is nonmonotonic, and why the understanding of the individual case is so important here. (...) After sketching some foundations of nonmonotonic reasoning as developed by AI-researchers (§5), Iargue that normic laws are also the best way to understand ceteris paribus laws (§6). §7 deals with the difference between physical and non-physical disciplines and §9 with the difference between normicity and approximation. In §8 it is shown how nonmonotonic reasoning provides a new understanding of the protection of theories against falsification by auxiliary hypotheses. §10, finally, gives a system- and evolution-theoretical explanation of the deeper reason for the omnipresence of normic laws in practice and science, and forthe connection between ideal and statistical normality. (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)

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)

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)

Scientific realists use the “no miracle argument” to show that the empirical and pragmatic success of science is an indicator of the ability of scientific theories to give true or truthlike representations of unobservable reality. While antirealists define scientific progress in terms of empirical success or practical problem-solving, realists characterize progress by using some truth-related criteria. This paper defends the definition of scientific progress as increasing truthlikeness or verisimilitude. Antirealists have tried to rebut realism with the “pessimistic metainduction”, but critical (...) realists turn this argument into an optimistic view about progressive science. (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)

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)

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)

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)

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)

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences. (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)

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.

"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)