This paper offers a novel way of reconstructing conceptual change in empirical theories. Changes occur in terms of the structure of the dimensions—that is to say, the conceptual spaces—underlying the conceptual framework within which a given theory is formulated. Five types of changes are identified: (1) addition or deletion of special laws, (2) change in scale or metric, (3) change in the importance of dimensions, (4) change in the separability of dimensions, and (5) addition or deletion of dimensions. Given this (...) classification, the conceptual development of empirical theories becomes more gradual and rationalizable. Only the most extreme type—replacement of dimensions—comes close to a revolution. The five types are exemplified and applied in a case study on the development within physics from the original Newtonian mechanics to special relativity theory. (shrink)

Understanding scientific modelling can be divided into two sub-projects: analysing what model-systems are, and understanding how they are used to represent something beyond themselves. The first is a prerequisite for the second: we can only start analysing how representation works once we understand the intrinsic character of the vehicle that does the representing. Coming to terms with this issue is the project of the first half of this chapter. My central contention is that models are akin to places and characters (...) of literary fictions, and that therefore theories of fiction play an essential role in explaining the nature of model-systems. This sets the agenda. Section 2 provides a statement of this view, which I label the fiction view of model-systems, and argues for its prima facie plausibility. Section 3 presents a defence of this view against its main rival, the structuralist conception of models. In Section 4 I develop an account of model-systems as imagined objects on the basis of the so-called pretence theory of fiction. This theory needs to be discussed in great detail for two reasons. First, developing an acceptable account of imagined objects is mandatory to make the fiction view acceptable, and I will show that the pretence theory has the resources to achieve this goal. Second, the term ‘representation’ is ambiguous; in fact, there are two very different relations that are commonly called ‘representation’ and a conflation between the two is the root of some of the problems that beset scientific representation. Pretence theory provides us with the conceptual resources to articulate these two different forms of representation, which I call p-representation and t-representation respectively. Putting these elements together provides us with a coherent overall picture of scientific modelling, which I develop in Section 5. (shrink)

A technical artefact is often described in two ways: by means of a physicalistic model of its structure and dynamics, and by a functional account of the contributions of the components of the artefact to its capacities. These models do not compete, as different models of the same phenomenon in physics usually do; they supplement each other and cohere. Coherence is shown to be the result of a mapping of role-contributions on physicalistic relations that is brought about by the concept (...) of function. It results a sandwich-like structure of the two models, which can be reconstructed as a two-sorted theory element. (shrink)

The concept of fitness has generated a lot of discussion in philosophy of biology. There is, however, relative agreement about the need to distinguish at least two uses of the term: ecological fitness on the one hand, and population genetics fitness on the other. The goal of this paper is to give an explication of the concept of ecological fitness by providing a reconstruction of the theory of natural selection in which this concept was framed, that is, based on the (...) way the theory was put to use in Darwin’s main texts. I will contend that this reconstruction enables us to account for the current use of the theory of natural selection. The framework presupposed in the analysis will be that of metatheoretical structuralism. This framework will provide both a better understanding of the nature of ecological fitness and a more complete reconstruction of the theory. In particular, it will provide what I think is a better way of understanding how the concept of fitness is applied through heterogeneous cases. One of the major advantages of my way of thinking about natural selection theory is that it would not have the peculiar metatheoretical status that it has in other available views. I will argue that in order to achieve these goals it is necessary to make several concepts explicit, concepts that are frequently omitted in usual reconstructions. (shrink)

Reduction between theories in physics is often approached as an a priori relation in the sense that reduction is often taken to depend only on a comparison of the mathematical structures of two theories. I argue that such approaches fail to capture one crucial sense of “reduction,” whereby one theory encompasses the set of real behaviors that are well-modeled by the other. Reduction in this sense depends not only on the mathematical structures of the theories, but also on empirical facts (...) about where our theories succeed at describing real systems, and is therefore an a posteriori relation. (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)

The purpose of this paper is to defend, contra Fodor and Piattelli-Palmarini (F&PP), that the theory of natural selection (NS) is a perfectly bona fide empirical unified explanatory theory. F&PP claim there is nothing non-truistic, counterfactual-supporting, of an “adaptive” character and common to different explanations of trait evolution. In his debate with Fodor, and in other works, Sober defends NS but claims that, compared with classical mechanics (CM) and other standard theories, NS is peculiar in that its explanatory models are (...) a priori (a trait shared with few other theories). We argue that NS provides perfectly bona fide adaptive explanations of phenotype evolution, unified by a common natural-selection guiding principle. First, we introduce the debate and reply to F&PP’s main argument against NS. Then, by reviewing different examples and analyzing Fisher’s model in detail, we show that NS explanations of phenotypic evolution share a General Natural Selection Principle. Third, by elaborating an analogy with CM, we argue against F&PP’s claim that such a principle would be a mere truism and thus explanatorily useless, and against Sober’s thesis that NS models/explanations have a priori components that are not present in CM and other common empirical theories. Irrespective of differences in other respects, the NS guiding principle has the same epistemic status as other guiding principles in other highly unified theories such as CM. We argue that only by pointing to the guiding principle-driven nature that it shares with CM and other highly unified theories, something no-one has done yet in this debate, one can definitively show that NS is not defective in F&PP’s sense: in the respects relevant to the debate, Natural Selection is as defective and as epistemically peculiar as Classical Mechanics and other never questioned theories. (shrink)

This paper explores various functions of idealizations in quantum field theory. To this end it is important to first distinguish between different kinds of theories and models of or inspired by quantum field theory. Idealizations have pragmatic and cognitive functions. Analyzing a case-study from hadron physics, I demonstrate the virtues of studying highly idealized models for exploring the features of theories with an extremely rich structure such as quantum field theory and for gaining some understanding of the physical processes in (...) the system under consideration. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

Mark Wilson presents a highly original account of conceptual behavior that challenges many received views about concepts in analytic philosophy. Few attempts have been made to rationally reconstruct Wilson’s framework of patches and facades within a precise semantic framework. I will show how a modified version of the structuralist framework offers a semantic reconstruction of scientific theories capable of modeling Wilson’s ideas about conceptual behavior. Specifically, I will argue that Theory-Elements and a modified version of Theory-Nets explicate respectively Wilson’s patches (...) and facades. I will also demonstrate how several wandering phenomena described by Wilson can be adequately reconstructed within my framework. (shrink)

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

Conceptual engineering wants analytic philosophy to be centered around the assessment and improvement of philosophical concepts. But contemporary debates about conceptual engineering do not engage much with the vast literature on conceptual change that exists in philosophy of science. In this article, I argue that an adequate appreciation of the history of philosophy of science can contribute to discussions about conceptual engineering. Specifically, I show that the evolution of debates over scientific conceptual change arguably demonstrates that, contrary to what is (...) commonly assumed in the literature about conceptual engineering, conceptual change is possible within an externalist metasemantics and that any adequate theory of conceptual change should be metasemantically plastic. (shrink)

Any advanced theory of physics contains modules defined as essential components that are themselves theories with different domains of application. Different kinds of modules can be distinguished according to the way in which they fit in the symbolic and interpretive apparatus of a theory. The number and kind of the modules of a given theory vary as the theory evolves in time. The relative stability of modules and the variability of their insertion in other theories play a vital role in (...) the application, comparison, construction, and communication of theories. Modularity conveys some global unity to physics through the sharing of modules by diverse theories. This alternative to rigid hierarchies and holistic totalities permits a dynamical, plastic, and symbiotic approach to physical theory. (shrink)

In this article, I examine the issue of the alleged circularity in the determination of homologies within cladistic analysis. More specifically, I focus on the claims made by the proponents of the dynamic homology approach, regarding the distinction (sometimes made in the literature) between primary and secondary homology. This distinction is sometimes invoked to dissolve the circularity issue, by upholding that characters in a cladistic data matrix have to be only primarily homologous, and thus can be determined independently of phylogenetic (...) hypotheses, by using the classical Owenian criteria (for morphological characters) or via multiple sequence alignment (for sequence data). However, since in the dynamic approach, sequence data can be analyzed without being pre-aligned, proponents have claimed that the distinction between primary and secondary homology has no place within cladistics. I will argue that this is not the case, since cladistic practice within the dynamic framework does presuppose primary homology statements at a higher level. (shrink)

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

The incommensurability thesis, as introduced by T.S. Kuhn and P.K. Feyerabend, states that incommensurable theories are conceptually incompatible theories which share a common domain of application. Such claim has often been regarded as incoherent, since it has been understood that the determination of a common domain of application at least requires a certain degree of conceptual compatibility between the theories. The purpose of this work is to contribute to the defense of the notion of local or gradual incommensurability, as proposed (...) by late Kuhn. The application of this notion would allow to render the incommensurability thesis coherent. To support this view, a typical example of incommensurability will be formally analyzed by applying the structuralist metatheory developed, among others by W. Balzer, C.U. Moulines and J.D. Sneed. The structural reconstruction of the relation between the phlogiston theory and the oxygen theory offered here will reveal that they are locally incommensurable, and will even make possible to determine the ontological reduction relation that they also exemplify. (shrink)

En este artículo, se pretende brindar una nueva perspectiva al respecto de la atribución de funciones en biología. La idea consiste en considerar que los conceptos funcionales son conceptos primitivos de una teoría científica, tal como desarrollada por Darwin en sus textos sobre la fecundación cruzada. Intentaré mostrar que teorías, que hacen ese uso de los conceptos funcionales, tienen características sintomáticas de teorías consideradas habitualmente genuinas y compararé mi enfoque con otros alternativos acerca de las funciones. En la reconstrucción, se (...) presupondrán las herramientas del estructuralismo metateórico. (shrink)

Our aim in this article is to show how the theory of conceptual spaces can be useful in describing diachronic changes to conceptual frameworks, and thus useful in understanding conceptual change in the empirical sciences. We also compare the conceptual space approach to Moulines’s typology of intertheoretical relations in the structuralist tradition. Unlike structuralist reconstructions, those based on conceptual spaces yield a natural way of modeling the changes of a conceptual framework, including noncumulative changes, by tracing the changes to the (...) dimensions that reconstitute a conceptual framework. As a consequence, the incommensurability of empirical theories need not be viewed as a matter of conceptual representation. (shrink)

Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general and of (...) biology in particular hold, the following claims: a) there are "laws" in biological sciences, b) many of the heterogeneous and different "models" of biology can be accommodated under some "theory", and c) this is exactly what confers great unifying power to biological theories. (shrink)

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

The frame model was developed in cognitive psychology and imported into the philosophy of science in order to provide representations of scientific concepts and conceptual taxonomies. The aim of this article is to show that beside the representation of scientific concepts the frame model is an efficient instrument to represent and analyze scientific theories. That is, we aim to establish the frame model as a representation tool for the structure of theories within the philosophy of science. For this, we will (...) develop the notion of a theory frame and distinguish between theory frames for qualitative theories in which scientific measurement is based on nominal scales and theory frames for quantitative theories in which measurement is based on ratio scales. In three case studies, we will apply frames to a psychological, a linguistic, and a physical theory, thereby showing that the frame model is a powerful and intuitively accessible instrument to analyze the laws of scientific theories, the determination of theoretical concepts, the explanatory role of theoretical concepts, the abductive introduction of a new theoretical concept, the distinction between the core and the periphery of a theory, the diachronic development of a theory, and the distinction between qualitative and quantitative scientific concepts. Finally, we will provide a comparison to the structuralist view of theories, one of the most elaborated and applied models of theory representation. (shrink)

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

What are scientific theories and how should they be represented? In this article, I propose a causal–structural account, according to which scientific theories are to be represented as sets of interrelated causal and credal nets. In contrast with other accounts of scientific theories (such as Sneedian structuralism, Kitcher’s unificationist view, and Darden’s theory of theoretical components), this leaves room for causality to play a substantial role. As a result, an interesting account of explanation is provided, which sheds light on explanatory (...) unification within a causalist framework. The theory of classical genetics is used as a case study. 1 Introduction2 The Theory of Classical Genetics3 Three Philosophical Accounts of the Theory of Classical Genetics3.1 The structuralist account3.2 Kitcher’s unificationism3.3 Darden and theory change in science4 A Common Lacuna: Where is Causality?5 Woodward’s Interventionist Account of Causation6 Causal Bayes Nets and Their Interrelations6.1 Causal Bayes nets6.2 Relations among causal nets6.3 Credal nets and their interrelations7 The Theory of the Gene and its Causal Graph8 A First Exemplar: Stem Length in Pea Plants8.1 Three crosses on stem length in pea plants8.2 The causal graph for stem length in pea plants8.3 Morgan’s explanatory principles and the credal net for stem length in pea plants9 Explaining Mendel’s Crosses: A Causal–Structural Account10 Monohybrid Crosses with Complete Dominance11 Exemplars,Explanatory Patterns, Generic Credal Nets, and Mechanism Schemas12 Incomplete Dominance13 Anomalies14 Multi-hybrid Crosses with Independent Assortment15 Multi-hybrid Crosses with Linkage and Crossing-Over16 Double Crossing-Over and the Linear Order of the Gene17 Causal–Structural Explanation18 Explanatory Unification19 Concluding Remarks. (shrink)

Cultural evolutionary theory has been alternatively compared to a theory of forces, such as Newtonian mechanics, or the kinetic theory of gases. In this article, I clarify the scope and significance of these metatheoretical characterisations. First, I discuss the kinetic analogy, which has been recently put forward by Tim Lewens. According to it, cultural evolutionary theory is grounded on a bottom-up methodology, which highlights the additive effects of social learning biases on the emergence of large-scale cultural phenomena. Lewens supports this (...) claim by arguing that it is a consequence of cultural evolutionists’ widespread commitment to population thinking. While I concur with Lewens that cultural evolutionists often actually conceive cultural change in aggregative terms, I think that the kinetic framework does not properly account for the explanatory import of population-level descriptions in cultural evolutionary theory. Starting from a criticism of Lewens’ interpretation of population thinking, I argue that the explanatory role of such descriptions is best understood within a dynamical framework—that is, a framework according to which cultural evolutionary theory is a theory of forces. After having spelled out the main features of this alternative interpretation, I elucidate in which respects it helps to outline a more accurate characterisation of the overarching structure of cultural evolutionary theory. (shrink)

Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: [email protected]. (shrink)

The distinction between the syntactic and the semantic approach to scientific theories emerged in formal philosophy of science. The semantic approach is commonly considered more advanced and more successful than the syntactic one, but the transition from the one approach to the other was not brought about without any loss. In essence, it is the formal analysis of atomic propositions and the analysis of deductive reasoning that dropped out of consideration in at least some of the elaborated versions of the (...) semantic approach. In structuralist theory of science, as founded by Sneed and Stegmüller, the focus is on global propositions concerning the question of whether or not certain empirical systems satisfy a set-theoretic predicate that encodes the axioms of a scientific theory. Hence, an analysis of deductive reasoning from atomic premisses with the help of a given theory is missing. The objective of the present paper is to develop a deductive system on the basis of the structuralist framework. This system comes with a novel formulation of empirical propositions in structuralism. (shrink)

There is nowadays consensus in the community of didactics of science regarding the need to include the philosophy of science in didactical research, science teacher education, curriculum design, and the practice of science education in all educational levels. Some authors have identified an ever-increasing use of the concept of ‘theoretical model’, stemming from the so-called semantic view of scientific theories. However, it can be recognised that, in didactics of science, there are over-simplified transpositions of the idea of model. In this (...) sense, contemporary philosophy of science is often blurred or distorted in the science education literature. In this paper, we address the discussion around some meta-theoretical concepts that are introduced into didactics of science due to their perceived educational value. We argue for the existence of a ‘semantic family’, and we characterise four different versions of semantic views existing within the family. In particular, we seek to contribute to establishing a model-based didactics of science mainly supported in this semantic family. (shrink)

My main aim in this paper is to show that influential antireductionist arguments such as Fodor's, Kitcher's, and Dupré's state stronger conclusions than they actually succeed in establishing. By putting to the fore the role of metaphysical presuppositions in these arguments, I argue that they are convincing only as 'temporally qualified argument', and not as 'generally valid ones'. I also challenge the validity of the strategy consisting in drawing metaphysical lessons from the failure of reductionist programmes. What most of these (...) antireductionist standpoints have in common is a pretension to methodological imports. I conclude by explaining why, in order to remain relevant for scientific practice, antireductionist arguments should stay clear of metaphysics, for the latter, I argue, does not mix well with a taste for methodological prescriptions. (shrink)

Physical theories are complex and necessary tools for gaining new knowledge about their areas of application. A distinction is made between abstract and practical theories. The last are constantly being improved in the cognitive activity of professional physicists and studied by future physicists. A variant of the philosophy of physics based on a modified structural-nominative reconstruction of practical theories is proposed. Readers should decide whether this option is useful for their understanding of the philosophy of physics, as well as other (...) philosophies of particular sciences. (shrink)

Resumen: Usualmente se ha asumido que una única distinción puede dar cuenta del rol que cumplen los conceptos en una teoría respecto de la contrastación y respecto de la explicación. Intentaremos mostrar que esta asunción es incorrecta. Por una parte, no hay razones para considerar que esta coincidencia deba darse, y por otra, como se intentará mostrar a partir de varios ejemplos, de hecho, no se da. La base de contrastación de una teoría no tiene por qué coincidir con el (...) explanandum de la teoría. Para defender este punto se asumirá el estructuralismo metateórico. Se extraerán consecuencias para la concepción metateórica presupuesta. Palabras claves: Explicación; contrastación; T-teoricidad; Estructuralismo metateórico; Distinción teórico observacional -/- Title: Explain and test Abstract: It is usually held that one distinction can account for the role that concepts play in a theory regarding both test and explanation. We will demonstrate that this assumption is incorrect. On the one hand, there is no reason to think that this coincidence should exist. On the other, this is not the case, as we will show analysing several examples. The testing basis of a theory does not have to coincide with the explanandum of the theory. To defend this point we will endorse de metatheoretical structuralism. In addition, we will consider some repercussions that this discussion has for the assumed metatheoretical framework. Key-words: Explanation; Test; T-theoreticity; Metatheoretical Structuralism; Theoretical observational distinction . (shrink)

In this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to specify a (...) formal language, input axioms and models formulated in that language, and then ask if the models satisfy the axioms. The second innovation is the introduction of incomplete models (for which the denotation of some terms is missing) into scientific metatheory, in order to represent cases of missing information. I specify the paracomplete semantics built into Reconstructor to deal with sentences where denotation failures occur. The third development consists in a new way of explicating the structuralist notion of a determination method, by equating them with algorithms. This allows determination methods to be loaded into Reconstructor and then executed within a model to find out the value of a previously non-denoting term (i.e. it allows the formal reconstruction to make predictions). This, in turn, can help test the reconstruction in a different way. Finally, I conclude with some suggestions about additional uses the program may have. (shrink)

The thesis proposes, defends, and applies a new model of inter-theoretic reduction, called "Neo-Nagelian" reduction. There are numerous accounts of inter-theoretic reduction in the philosophy of science literature but the most well-known and widely-discussed is the Nagelian one. In the thesis I identify various kinds of problems which the Nagelian model faces. Whilst some of these can be resolved, pressing ones remain. In lieu of the Nagelian model, other models of inter-theoretic reduction have been proposed, chief amongst which are so-called (...) "New Wave" models. I show these to be no more adequate than the original Nagelian model. I propose a new model of inter-theoretic reduction, Neo-Nagelian reduction. This model is structurally similar to the Nagelian one, but differs in substantive ways. In particular I argue that it avoids the problems pertaining to both the Nagelian and New Wave models. Multiple realizability looms large in discussions about reduction: it is claimed that multiply realizable properties frustrate the reduction of one theory to another in various ways. I consider these arguments and show that they do not undermine the Neo-Nagelian of reduction of one theory to another. Finally, I apply the model to statistical mechanics. Statistical mechanics is taken to be a reductionist enterprise: one of the aims of statistical mechanics is to reduce thermodynamics. Without an adequate model of inter-theoretic reduction one cannot assess whether it succeeds; I use the Neo-Nagelian model to critically discuss whether it does. Specifically, I consider two very recent derivations of the Second Law of thermodynamics, one from Boltzmannian classical statistical mechanics and another from quantum statistical mechanics. I argue that they are partially successful, and that each makes for a promising line of future research. (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)

This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element of (...) the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)

One of the defining features of the classical gene was its position. In molecular genetics, positions are defined instead as nucleotide numbers and there is no clear correspondence with its classical counterpart. However, the classical gene position did not simply disappear with the development of the molecular approach, but survived in the lab associated to different genetic practices. The survival of classical gene position would illustrate Waters’ view about the practical persistence of the genetic approach beyond reductionism and anti-reductionist claims. (...) We show instead that at the level of laboratory practices there are also reductive processes, operating through the rise and fall of different techniques. Molecular markers made the concept of classical gene position practically dispensable, leading us to rethink whether it had any causal role or was just a mere heuristic. (shrink)

This work takes a stand on whether Wallace should be regarded as co-author of the theory of natural selection alongside Darwin as he is usually considered on behalf of his alleged essential contribution to the conception of the theory. It does so from a perspective unexplored thus far: we will argue for Darwin’s priority based on a rational reconstruction of the theory of natural selection as it appears in the writings of both authors. We show that the theory does not (...) appear in exactly the same manner in the writings of each of its alleged co-discoverers: tough we find the same fundamental elements in both works, even in Darwin’s early texts, we discern a more complex unifying and ramified structure than the one we find in Wallace’s Ternate manuscript. Even when we think the badge of the “Darwin–Wallace” theory is well deserved, the unifying force of Darwin’s version has proved to be one of the keys for the ulterior success of the so-called Darwinian revolution in Biology. (shrink)

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)

Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French will be extended (...) by a few elements of the Sneed formalism, also known as the structuralist approach to science. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

According to the traditional requirement, formulated by William Whewell in his account of the “consilience of inductions” in 1840, a scientific hypothesis should have unifying power in the sense that it explains and predicts several mutually independent phenomena. Variants of this notion of consilience or unification include deductive, inductive, and approximate systematization. Inference from surprising phenomena to their theoretical explanations was called abduction by Charles Peirce. As a unifying theory is independently testable by new kinds of phenomena, it should also (...) receive confirmation from its empirical success. The study of the prospects of probabilistic Bayesianism to motivate this kind of criterion for abductive confirmation is shown to lead to two quite distinct conceptions of unification. (shrink)

The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid semantic view, (...) which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (shrink)

According to the received view, reduction is a deductive relation between two formal theories. In this paper, I develop an alternative approach, according to which reduction is a representational relation between models, rather than a deductive relation between theories; more specifically, I maintain that this representational relation is the one of emulation. To support this thesis, I focus attention on mathematical dynamical systems and I argue that, as far as these systems are concerned, the emulation relation is sufficient for reduction. (...) I then extend this representational model-based view of reduction to the case of empirically interpreted dynamical systems, as well as to a treatment of partial, approximate, and asymptotic reduction. (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)

This article elaborates on McShea and Brandon’s idea that drift is unlike the rest of the evolutionary factors because it is constitutive rather than imposed on the evolutionary process. I show that the way they spelled out this idea renders it inadequate and is the reason why it received some objections. I propose a different way in which their point could be understood, that rests on two general distinctions. The first is a distinction between the underlying mathematical apparatus used to (...) formulate a theory and a concept proposed by that theory. With the aid of a formal reconstruction of a population genetic model, I show that drift belongs to the first category. That is, that drift is constitutive of population genetics in the same sense that multiplication is constitutive in classical mechanics, or that circle is constitutive in Ptolemaic astronomy. The second distinction is between eliminating a concept from a theory and setting its value to zero. I will show that even though drift can be set to zero just like the rest of the evolutionary factors, eliminating drift is much harder than eliminating those other factors, since it would require changing the entire mathematical apparatus of standard population genetic theory. I conclude by drawing some other implications from the proposed formal reconstruction. (shrink)

This paper develops the first parts of a logical framework for the empirical sciences, by means of a redefinition of theory structuralism as originally developed by Joseph Sneed, Wolfgang Stegmüller, and others, in the context of a ‘rigid’ logic as based on a fixed (therefore rigid) ontology. The paper defends a formal conception of the empirical sciences that has an irreducible ontological basis and is unable, in general, to provide purely structural characterizations of the domain of a theory. The extreme (...) rationalist utopia of a characterization of the real world ‘up to isomorphism’, therefore, is rejected. (shrink)

This is a first tentative examination of the possibility of reinstating reduction as a valid candidate for presenting relations between mental and physical properties. Classical Nagelian reduction is undoubtedly contaminated in many ways, but here I investigate the possibility of adapting to problems concerning mental properties an alternative definition for theory reduction in philosophy of science. The definition I offer is formulated with the aid of non-monotonic logic, which I suspect might be a very interesting realm for testing notions concerning (...) localized mental-physical reduction. The reason for this is that non-monotonic reasoning by definition is about appeals made not only to explicit observations, but also to an implicit selection of background knowledge containing heuristic information. The flexibility of this definition and the fact that it is not absolute, i.e. that the relation of reduction may be retracted or allowed to shift without fuss, add at least an interesting alternative factor to current materialist debates. South African Journal of Philosophy Vol. 25(2) 2006: 102-112. (shrink)

The purpose of this paper is to elucidate the semantic relation between continental drift and plate tectonics. The numerous attempts to account for this case in either Kuhnian or Lakatosian terms have been convincingly dismissed by Rachel Laudan, who nevertheless acknowledged that there was not yet a plausible alternative to explain the so called “geological revolution”. Several decades later, the epistemological side of this revolution has received much attention, while the semantic relation between drift theory and plate tectonics has remained (...) mainly unexplored. In studying this case under a new light, the notion of embedding, as distinguished from other sorts of intertheoretical relations :11–27, 2011), will have a particular significance. After formally analyzing the relationship between continental drift and plate tectonics, it will become evident that the models of drift theory are part of the models of plate tectonics, thereby fulfilling the conditions for embedding. All theoretical concepts from drift theory are presupposed in some theoretical concepts from plate tectonics, and all empirical concepts of the former are shared by the latter. Furthermore, all the successful paradigmatic applications of continental drift are also successful applications of plate tectonics. As a consequence, under the label “geological revolution”, we actually find a salient historical case of cumulative progress across theory change. (shrink)

La tesis del holismo de la confirmación aparece por primera vez presentada de manera explícita y extensa en los escritos de Duhem. Años después, es defendida por Quine, pero no en base a la discusión de teorías científicas particulares, sino en relación con su posición semántica. Desde entonces las relaciones entre el holismo semántico y el holismo de la contrastación han sido discutidas, aunque generalmente de un modo algo despegado del análisis de teorías específicas y sus relaciones. Pretendo mostrar a (...) partir del análisis de un caso, el de las relaciones entre la genética de poblaciones y la teoría de la selección natural, un sentido en el que el holismo de la confirmación puede ser derivado del holismo semántico. The thesis of the confirmation holism appears for the first time explicitly and extensively in the writings of Duhem. Years later, it is defended by Quine, but not based on the discussion of particular scientific theories, but in relation to its semantic position. Since then, the relations between semantic holism and confirmation holism have been discussed, although generally somewhat detached from the analysis of specific theories and their relations. I intend to show from the analysis of a case, that of the relations between population genetics and the theory of natural selection, a sense in which the holism of confirmation can be derived from semantic holism. (shrink)