This chapter contains sections titled: Introduction Argentina Mexico Brazil Chile and Puerto Rico Peru Other Centers Concluding Remarks References Further Reading.

Arguably, there is no substantial, general answer to the question of what makes for the approximate truth of theories. But in one class of cases, the issue seems simply resolved. A wide class of applied dynamical theories can be treated as two-component theories—one component specifying a certain kind of abstract geometrical structure, the other giving empirical application to this structure by claiming that it replicates, subject to arbitrary scaling for units etc., the geometric structure to be found in some real-world (...) dynamical phenomenon. In such a case, a theory is approximately true just if the one geometric structure approximately replicates the other (and if problems remain here, they are problems in geometry, of specifying suitable metric approximation relations, not conceptual problems). This article amplifies and defends this simple approach to approximate truth for dynamical theories. (shrink)

Detectives and scientists are in the business of reasoning from observations to explanations. This they often do by raising cunning questionsduring their inquiries. But to substantiate this claim we need to know how questions arise and how they are nurtured into more specific hypotheses. I shall discuss what the problem is, and then introduce the so-called interrogative model of inquiry which makes use of an explicit logic of questions. On this view, a discovery processes can be represented as a model-based (...) game in which an inquirer subjects a source of information to a series of strategically organized questions. Strategic principles and why-questions are especially important in heuristical reasoning. Why-questions have their own peculiar nature among questions. They indicate that the inquirer's expectations are somehow disappointed, and that is cognitively challenging. In a finished argument why-questions can be omitted, but in the search for more specific questions they are highly important. As a detetective example I shall analyze Sherlock Holmes reasoning in Silver Blace, the scientific one is A.R. Wallace's discovery of the principle of natural selection. In both of these examples the meaning of questions, especially of well-chosen why-questions, of strategic principles, and of highly structured background knowledge come to the fore. Good questions frequent those who have orderly expectations, based on experience and expertise (detectives!) or highly structured background theories (scientists!). (shrink)

Starting from a brief recapitulation of the contemporary debate on scientific realism, this paper argues for the following thesis : Assume a theory T has been empirically successful in a domain of application A, but was superseded later on by a superior theory T * , which was likewise successful in A but has an arbitrarily different theoretical superstructure. Then under natural conditions T contains certain theoretical expressions, which yielded T's empirical success, such that these T-expressions correspond (in A) to (...) certain theoretical expressions of T * , and given T * is true, they refer indirectly to the entities denoted by these expressions of T * . The thesis is first motivated by a study of the phlogiston–oxygen example. Then the thesis is proved in the form of a logical theorem , and illustrated by further examples. The final sections explain how the correspondence theorem justifies scientific realism and work out the advantages of the suggested account. Introduction: Pessimistic Meta-induction vs. Structural Correspondence The Case of the Phlogiston Theory Steps Towards a Systematic Correspondence Theorem The Correspondence Theorem and Its Ontological Interpretation Further Historical Applications Discussion of the Correspondence Theorem: Objections and Replies Consequences for Scientific Realism and Comparison with Other Positions 7.1 Comparison with constructive empiricism 7.2 Major difference from standard scientific realism 7.3 From minimal realism and correspondence to scientific realism 7.4 Comparison with particular realistic positions CiteULike Connotea Del.icio.us What's this? (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)

Although the periodic system of elements is central to the study of chemistry and has been influential in the development of quantum theory and quantum mechanics, its study has been largely neglected in philosophy of science. The present article is a detailed criticism of one notable exception, an attempt by Hettema and Kuipers to axiomatize the periodic table and to discuss the reduction of chemistry in this context.

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

Ontology is taken by Moulines as supervenient on science: what kinds of things there are is determined by our well-confirmed theories. But the fact is that today, science provides us with a multiplicity of well-confirmed theories, each having its own ontological commitments. The modest, ontological form of reduction advocated by Moulines (this volume) restores hope of putting some ontological order in the “huge chaotic supermarket of science”. In this paper I show that any claim on the amount of order obtained (...) by reduction does not only always remain “temporally qualified” but, worse for the reductionist with a taste for ontological order, that the very notion of orderliness must be relativized to the capacities and interests of knowers. (shrink)

This book comes to the rescue of scientific realism, showing that reports of its death have been greatly exaggerated. Philosophical realism holds that the aim of a particular discourse is to make true statements about its subject matter. Ilkka Niiniluoto surveys different kinds of realism in various areas of philosophy and then sets out his own critical realist philosophy of science.

This paper is an investigation into what could be a goodexplication of ``theory S is reducible to theory T''''. Ipresent an axiomatic approach to reducibility, which is developedmetamathematically and used to evaluate most of the definitionsof ``reducible'''' found in the relevant literature. Among these,relative interpretability turns out to be most convincing as ageneral reducibility concept, proof-theoreticalreducibility being its only serious competitor left. Thisrelation is analyzed in some detail, both from the point of viewof the reducibility axioms and of modal logic.

In this article the outlines are sketched of an empirical science of literature as close as possible to the model of the natural sciences. This raises the question of what the standards of an empirical science in the strictest sense should generally be. Practical relevance of its results soon turns up as the fundamental condition for an explanatory empirical science, if the ideology of nearing an empirical truth is no longer accepted and a mere pragmatic justification rejected as its insufficient (...) substitute. As a consequence the logical priority of scientific explanation over scientific description is considered irrefutable. The so-called "sciences of understanding" - among them a "science of literature" - are confronted with a special difficulty, if they want to become explanatory empirical sciences. Their practical problems to be solved are related to linguistically or semiotically coded facts. To empirically describe these problematic facts causes this difficulty, which the author tries to overcome with recourse to ideas from Wittgenstein. And the practical relevance, which may be achieved with the help of nomological explanations, here doesn't consist in predictions for better practical production of means, direct or indirect, for survival, but in the provision of rational understanding for better practical teaching or criticism. This practical relevance is shown in the explanation of valuing acts of readers of The Golden Bowl by Henry James. The meaning of a literary text is no longer taken as a possible object of scientific empirical explanation, nor its rational justification as a scientific goal that might be practically relevant. (shrink)

In a scientific context, ontological commitments should be considered as supervenient over accepted scientific theories. This implies that the primarily ontological notions of reduction and emergence of entities of different kinds should be reformulated in terms of relations between existing empirical theories. For this, in turn, it is most convenient to employ a model-theoretic view of scientific theories: the identity criterion of a scientific theory is essentially given by a class of models. Accordingly, reduction and emergence are to be seen (...) as particular kinds of relations between (some) models of different theories that subsume the same (or a similar) “experiential field”. The set-theoretical notion of an echelon-set proves to be crucial for this purpose: The domains in the models of the reduced theory are echelon-sets over the domains of the reducing theory. Finally, it is argued that emergence may plausibly be interpreted as akin to but weaker than reduction. (shrink)

In spite of the ‘experimental turn’ now fashionable in the philosophy of science, the question of the structure and identity criteria of scientific theories continues to be a central issue for the philosophical analysis of empirical science. We need a precise metatheory of empirical theories to deal with this issue. Metatheoretical structuralism appears to offer the most adequate approach in this sense so far. First, some basic intuitions about what empirical theories are, and how they are structured, are laid out. (...) Then, the main notions used by metatheoretical structuralism to analyze theories are explained, and they are illustrated by applying them to an example of a simple physical theory. Finally, it is argued that the picture of the structure and identity of empirical theories coming out of structuralistic analysis adequately corresponds to the basic intuitions stated at the beginning. (shrink)

The thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. Theories of similarity structures are (...) studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (shrink)

Philosophy and Structure. On why it is necessary for hermeneutic philosophy to make use of structural theory. In this essay I give reasons for the thesis that hermeneutic philosophy has to adopt considerations on structural theory in order to avoid the paradox of historism. Concepts of structure like 'criticism', 'centralism', 'creativity' etc. possess both a metaphilosophical and an empirical status which enables us to compare and to combine differend and opposed philosophies by means of common structures. Such an hermeneutic reflection (...) on philosophical structures requires the methodical work of fiction and selection. Otherwise relativism concerning the evaluation of philosophical traditions would be the result. (shrink)

Theory Reduction in the Social Sciences. The example of balance theories. A central topic both in philosophy of science as well as in the empirical sciences is the reconstruction of the relations between theories. In the past comparisons of theories by means of traditional linguistic methods have proved to be extremely difficult and complicated. In this article the reconstruction of intertheoretical relations based on model-theoretical terms is propagated, as formulated within the structuralist view of theories. The efficiency of a model (...) theoretical based comparison of theories is demonstrated by two theory elements from the social science research program of balance theories: The basic element by Heider and the transitivity theory by Holland and Leinhardt. First of all both theory elements are introduced informally and reconstructed in the structuralist format. On the basis of these reconstructions can be shown, that the Heider theory can be formally reduced to the Holland-Leinhardt theory and that the theory younger in history means an improvement. However, an integration of all balance theoretical elements into a theory net is not possible. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

This paper consists of three sections. In the first one, some of the main developments in the philosophy of science through the xx century up to the present will be pointed out, and inserted them in the frame of some more general philosophical transformations, such as the so-called “linguistic turn” and “pragmatic turn”, respectively. In the second one, the established connection will be nuanced, from a revision of the work of a “classical” author such as Carnap. Finally, it will be (...) intended a kind of “balance and future perspectives”. (shrink)

In this paper I discuss the problem of scientific laws in general and laws of biology in particular. After reviewing the debate about the existence of laws in biology, I examine the subject under the light of the structuralist notion of a fundamental law and argue for the law of matching as the fundamental law of genetics.

En esta trabajo se analiza la relación existente entre las propuestas de Mendel, de los "redescubridores" -de Vries, Correns y Tschermak-, de Bateson y colaboradores y de Morgan y discípulos, e.e. la historia de la genética "clásica", en términos de "inconmensurabilidad", de forma tal de capturar y precisar tanto la idea de que entre éstas se dan ciertas discontinuidades y rupturas como de que éstas tienen "algo" que ver de algún modo entre sí. En particular, se introducen, con ayuda del (...) marco conceptual de la metateoría estructuralista, y aplican al presente caso, los conceptos de "inconmensurabilidad teórica" y "comparabilidad empírica". In this paper the existing relationship between the proposals of Mendel, the "rediscoverers" -de Vries, Correns and Tschermak-, Bateson and collaborators and Morgan and disciples, e.g. the history of "classical" genetics is analyzed in terms of "incommensurability", in such a way to capture and to precise so much the idea that among them take place some discontinuities and ruptures as well as that they have "something" to do with each other. In particular, the concepts of "theoretical incommensurability" and "empirical comparability" are introduced with the help of the conceptual framework of the structuralist view of theories and applied to this case. (shrink)

In this paper, I discuss the problem of scientific laws in general and laws of biology in particular. After reviewing the debate around the existence of laws in biology, I examine the subject in the light of the structuralist notion of a fundamental law and argue for the law of matching as the fundamental law of genetics.

En este artículo se analiza la teoría humoral de la inmunidad propuesta por Paul Ehrlich en 1900, precedida de un conjunto de brillantes investigaciones que al tiempo que parecieran refutar a la teoría anterior –la teoría celular de la inmunidad– fueron el terreno privilegiado en el que se sustentó. Historiaremos esas teorías y experiencias previas, para presentar a continuación el artículo fundacional de la teoría humoral. Nos basaremos en estos hallazgos para caracterizar la estructura de la teoría, utilizando una versión (...) modificada de la concepción estructuralista. Mostraremos cómo teorías previas de otros campos son utilizadas por Ehrlich para proponer su propia teoría, y cómo las experiencias y teorías anteriores del campo inmunológico integran su base empírica. Al hacerlo incursionaremos en el contexto de descubrimiento de la inmunología, proponiendo que consiste en un proceso constructivo. Finalmente, mostraremos la forma que adopta la transición entre la teoría celular y la humoral de la inmunidad. (shrink)

The aim of this article is to discuss and develop the diagnose of the Hardy-Weinberg law made by van Fraassen (1987, p. 110), according to which: 1) that law cannot be considered a law used as an axiom for the classical population genetics as a whole, since it is an equilibrium-law that holds only under certain special conditions; 2) it just determines a subclass of models; 3) its generalization shades off into logical vacuity; and 4) more complex variants of the (...) law can be deduced for more realistic assumptions. The discussion and development of such a diagnose will be carried out with the notions of another semantic conceptions of theories, related to that of van Fraassen, namely, the structuralist view of theories, and a rational reconstruction of classical population genetics made within the framework of such a metatheory, also presented in this paper. (shrink)

The aim of this article is to contribute to the discussion about the so-called “empirical claim” and “empirical basis” of theory testing. First, the proposals of reconceptualization of the standard notions of partial potential model, intended application and empirical claim of a theory made by Balzer (1982, 1988, 1997a, 1997b, 2006, Balzer, Lauth & Zoubek 1993) and Gähde (1996, 2002, 2008) will be first discussed. Then, the distinction between “global” and “local empirical basis” will be introduced, linking it with that (...) of “global” and “local or particular empirical claim”. After that, following Balzer (1997a), along the lines of Suppes (1962), I will present a way in which what count as ‘data’ for a theory can be modeltheoretically represented and conceptualized. Finally, the proposed analysis will be exemplified with the case of classical genetics (reconstructed in Balzer & Lorenzano 2000, Lorenzano, 1995, 2000, 2002). (shrink)

In this paper the structuralist approach of theory reconstruction is applied to International Trade Theory. In the basic element the universal laws of the theory are stated and the general concepts are defined in terms of three sets and seven functions. Ricardo’s Theory of Comparative Advantage and the Factor Proportions Theory by Heckscher and Ohlin are reconstructed as specialisations of the basic element. Two intratheoretical constraints are formulated in order to ensure the consistency of the theory. A number of empirical (...) studies are shown to be paradigmatic, successful or questionable applications of International Trade Theory. The reconstruction allows the assessment of the theory from a metatheoretical angle and illuminates the logical interdependencies of its components. (shrink)

In this paper, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if one only commits to the modest (...) interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)

Este trabajo presenta algunas discusiones preliminares a una reconstrucción de la mecánicacuántica desde una perspectiva estructuralista. Intento responder a la pregunta por lostérminos MQ- no teóricos, es decir, qué magnitudes pueden ser medidas con independenciade la ecuación de Schrödinger y de la regla de Born. Uno de los aspectos relevantes que puedeser analizado una vez que se ha respondido a esta pregunta es el problema de la medición.Dado que el problema de la medición está directamente relacionado con el carácter linealde (...) la evolución temporal del estado dada por la ecuación de Schrödinger, la medición delos valores de aquellos conceptos que no presupongan esta ley no se verá afectada por esteproblema. Si bien esto no responde a todas las preguntas sobre la medición cuántica, indicaun primer paso a dar en la dirección hacia una comprensión más acabada de este problema. (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)

The main formal notion involved in qualitative truth approximation by the HD-method, viz. ‘more truthlike’, is shown to not only have, by its definition, an intuitively appealing ‘model foundation’, but also, at least partially, a conceptually plausible ‘consequence foundation’. Moreover, combining the relevant parts of both leads to a very appealing ‘dual foundation’, the more so since the relevant methodological notions, viz. ‘more successful’ and its ingredients provided by the HD-method, can be given a similar dual foundation. According to the (...) resulting dual foundation of ‘naive truth approximation’, the HD-method provides successes (established true consequences) and counterexamples (established wrongly missing models) of theories. Such HD-results may support the tentative conclusion that one theory seems to remain more successful than another in the naive sense of having more successes and fewer counterexamples. If so, this provides good reasons for believing that the more successful theory is also more truthlike in the naive sense of having more correct models and more true consequences. (shrink)

In this article I will compare two approaches for defining theoretical terms, that of Logical Empirism and that of Structuralism. I will determine explicitly the accounts of theoreticity in both Logical Empirism and Structuralism, and compare them by means of a case study: a structuralistic reconstruction of Neurobiological Constructivism. I will point out that the structuralistic criticism on the account of theoreticity of Logical Empirism is insufficient and that the structuralistic criterion of theoreticity does not satisfy the requirements of demarcation (...) for theoretical terms demanded by Logical Empirism. (shrink)

The aim of this paper is to discuss how far physics differs frommathematics, and if a philosophy of science which uses mathematics or logicsas a model for physics would be unable to be aware of many importantfeatures of that natural science.Many functions in physics differ from those of mathematics in beingfunctional dependecies and in having a lawlike character.Physical quantities have the character of "`determinables"'', sets ofspecial entities which are presupposed by physical theories.One may suspect that physics also could not be (...) formulated in anextensional language. This cannot be true, however, since every language canbe translated into an extensional version. Neverthless the existence ofdeterminables in physics shows that physics does not only talk aboutconcrete entities like space, time, spacetime, and particles, but also aboutvalues of abstract sets like determinables, and that it thus acknowledgestheir existence. (shrink)

El objeto de este artículo es mostrar las similitudes que existen entre el estructuralismo metateórico sneedeano y la que considero es la propuesta teórica más desarrollada del estructuralismo francés, la teoría antropológica de Claude Lévi-Strauss, en particular, su teoría de los sistemas elementales de parentesco. Aunque entre el estructuralismo francés de Lévi-Strauss y el estructuralismo metateórico sneedeano sólo existe, como diría Wittgenstein, un “aire de familia”, sin embargo, quiero mostrar que gracias al trabajo algebraico de André Weil y, en particular, (...) a su clarificación de la noción de estructura, existe un “puente” entre la propuesta teórica de Lévi-Strauss y la metateórica del estructuralismo inaugurada por J. D. Sneed en 1971 con la publicación de su libro The logical structure of mathematical physics. (shrink)

1. Ramsey Sentences and the Function of Theoretical Concepts. In his famous paper “Theories,” Frank Ramsey introduced a technique of examining a scientific theory by means of certain propositions, dubbed later “Ramsey Sentences.” They are the results of what is often called Ramsey elimination. This prima facie elimination is often presented as a method of dispensing with theoretical concepts in scientific theorizing. The idea is this: Assume that we are given a finitely axiomatized scientific theorywhere O1, O2, … are the (...) primitive observation terms of and H1, H2, … its primitive theoretical terms. For simplicity, it will be assumed that is a first-order theory. Since it is finitely axiomatizable, we may think of it as having the form of a single complex proposition, i.e., the conjunction of all the axioms. What can then be done is to generalize existentially with respect to. The result is a sentence of the formIn, the theoretical terms H1, H2, … do not occur any longer. They have been replaced by the variables X1, X2, … bound to initial existential quantifiers. In this sense at least, Ramsey sentences do effect on elimination. Unlike, is not a first-order sentence but a second-order one. (shrink)