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

This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between the proposed formal (...) concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

To assert that the ancient planetary theory proposed by Ptolemy was irrefutable – at least until the telescope discovery – is a bit of a cliché. The aim of this paper is to analyze in what sense it could be said that the epicycle and deferent model proposed by Ptolemy to explain the planetary movement is irrefutable and in what sense it is not. To do this, we will use the conceptual framework developed by the Structuralist Conception, and in particular, (...) the Moulines’ analysis of the “guiding principles”. DOI:10.5007/1808-1711.2010v14n2p211. (shrink)

As emphasized by Larry Laudan in developing the notion of non-refuting anomalies, traditional analyses of empirical adequacy have not paid enough attention to the fact that the latter does not only depend on a theory’s empirical consequences being true but also on them corresponding to the most salient phenomena in its domain of application. The purpose of this paper is to elucidate the notion of non-refuting anomaly. To this end, I critically examine Laudan’s account and provide a criterion to determine (...) when a non-refuting anomaly can be ascribed to the applicative domain of a theory. Unless this latter issue is clarified, no proper sense can be made of non-refuting anomalies, and no argument could be opposed to those cases where an arbitrary restriction in a theory’s domain of application dramatically reduces the possibilities for its empirical scrutiny. In arguing for the importance of this notion, I show how several semanticist resources can help to reveal its crucial implications, not only for theory evaluation, but also for understanding the nature of a theory’s applicative domain. (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)

Thagard presented a framework for conceptual change in science based on conceptual systems. Thagard challenged belief revision theorists, claiming that traditional belief-revision systems are able to model only the two most conservative types of changes in his framework, but not the more radical ones. The main aim of this work is to take up Thagard’s challenge, presenting a belief-revision-like system able to mirror radical types of conceptual change. We will do that with a conceptual revision system, i.e. a belief-revision-like system (...) that takes conceptual structures as units of revisions. We will show how our conceptual revision and contraction operations satisfy analogous of the AGM postulates at the conceptual level and are able to mimic Thagard’s radical types of conceptual change. (shrink)

A given explanatory theory T falls into circular reasoning if the only way to determine its explanandum is through the application of T. To find an underlying theory T′ that determines T′s explanandum helps us save T from this accusation of circularity. We follow the structuralist view of theories in presenting and dealing with this issue, by applying it to particular theories. More specifically, we focus on the relationship between the Darwinian theory of common ancestry and the determination of homologies.

Este trabajo constituye una primera aproximación a la teoría del origen en común tal como aparece en On the Origin of Species, de Charles Darwin. Luego de exponer las diferencias entre esta teoría y la teoría de la selección natural y la teoría de la evolución, se presentan algunos debates en torno a la determinación de homologías, el vocabulario de la teoría y su ley fundamental. Finalmente, se discute la TOC-teoricidad de los términos involucrados y los candidatos a especializaciones de (...) TOC. (shrink)

In this work we will take up again the contributions of the feminist philosophy of science around androcentrism, with special emphasis on biology and biomedical sciences. We will propose that such contributions can be ordered according to three different senses of androcentrism, and that important tensions appear between these senses. Following the path traced by Longino, contextual critical empiricism, we will defend that the rational reconstruction of theories can help us to specify where patriarchal decision vectors crouch in scientific practice. (...) To this end, we will present an alternative analysis to Longino’s and use it as an input to discuss the idea of type brains in the framework of the neuroendocrinology of behaviour. (shrink)

The Price equation is currently considered one of the fundamental equations —or even the fundamental equation— of evolution. In this article, we explore the role of this equation within cultural evolutionary theory. More specifically, we use it to account for the explanatory power and the theoretical structure of a certain generalised version of dual-inheritance theory. First, we argue that, in spite of not having a definite empirical content, the Price equation offers a suitable formalisation of the processes of cultural evolution, (...) and provides a powerful heuristic device for discovering the actual causes of cultural change and accumulation. Second, we argue that, as a consequence of this, a certain version of the Price equation is the fundamental law of cultural evolutionary theory. In order to support this claim, we sketch the ideal structure of dual-inheritance theory and we stress the unificatory role that the Price equation plays in it. (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)

The net structure of the spatial theory of elections is investigated and described in the format of structuralism. Three new kinds of intertheoretical relations typical for social theory are identified and defined. The historical development of spatial theory as expressed by specializations and other intertheoretic relations is found to be in a sense 'inverse' to that of theories in the natural sciences. The development begins with a 'most special' case.

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)

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)

In this paper, we aim to explore connections between a Carnapian semantics of theoretical terms and an eliminative structuralist approach in the philosophy of mathematics. Specifically, we will interpret the language of Peano arithmetic by applying the modal semantics of theoretical terms introduced in Andreas (Synthese 174(3):367–383, 2010). We will thereby show that the application to Peano arithmetic yields a formal semantics of universal structuralism, i.e., the view that ordinary mathematical statements in arithmetic express general claims about all admissible interpretations (...) of the Peano axioms. Moreover, we compare this application with the modal structuralism by Hellman (Mathematics without numbers: towards a modal-structural interpretation. Oxford University Press: Oxford, 1989), arguing that it provides us with an easier epistemology of statements in arithmetic. (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)

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)

Scientific discourse is rife with passages that appear to be ordinary descriptions of systems of interest in a particular discipline. Equally, the pages of textbooks and journals are filled with discussions of the properties and the behavior of those systems. Students of mechanics investigate at length the dynamical properties of a system consisting of two or three spinning spheres with homogenous mass distributions gravitationally interacting only with each other. Population biologists study the evolution of one species procreating at a constant (...) rate in an isolated ecosystem. And when studying the exchange of goods, economists consider a situation in which there are only two goods, two perfectly rational agents, no restrictions on available information, no transaction costs, no money, and dealings are done immediately. Their surface structure notwithstanding, no competent scientist would mistake descriptions of such systems as descriptions of an actual system: we know very well that there are no such systems. These descriptions are descriptions of a model-system, and scientists use model-systems to represent parts or aspects of the world they are interested in. Following common practice, I refer to those parts or aspects as target-systems. What are we to make of this? Is discourse about such models merely a picturesque and ultimately dispensable façon de parler? This was the view of some early twentieth century philosophers. Duhem (1906) famously guarded against confusing model building with scientific theorizing and argued that model building has no real place in science, beyond a minor heuristic role. The aim of science was, instead, to construct theories, with theories understood as classificatory or representative structures systematically presented and formulated in precise symbolic.. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (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)

By understanding laws of nature as geometrical rather than linguistic entities, this paper addresses how to describe theory structures and how to evaluate their continuity. Relying on conceptual spaces as a modelling tool, we focus on the conceptual framework an empirical theory presupposes, thus obtain a geometrical representation of a theory’s structure. We stress the relevance of measurement procedures in separating conceptual from empirical structures. This lets our understanding of scientific laws come closer to scientific practice, and avoids a widely (...) recognised deficit in current philosophy of science accounts, namely to risk a collapse of the physical into the mathematical. (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)

Particle theories intend to describe the fundamental constituents from which all matter is constructed and the interactions among them. These constituents include atoms and molecules as well as their subatomic constituents, nuclei and their component parts including elementary particles. We consider an alternative to the usual particle theories, but dealing with the same phenomena. We call these theories ‘QT’s’. This is an attempt to provide a formal description of the essential features of elementary particle theories within the framework of metatheoretical (...) structuralism. (shrink)

Abstract One of the most important things that the Darwinian revolution affected is the previous teleological thinking. In particular, the attribution of functions to various entities of the natural world with explanatory pretensions. In this change, his theory of natural selection played an important role. We all agree on that, but the diversity and heterogeneity of the answers that try to explain what Darwin did exactly with functional biology are overwhelming. In this paper I will try to show how Darwin (...) modified previous functional biology. Pre-Darwinian naturalists did not hesitate to attribute functions in which, for example, the traits of one species were in the service of other species. I will try to show that this has consequences on the discussion regarding the nature of functional language, since the main approaches, the systemic and the etiological, do not adequately account for these changes and therefore do not account for the way functional biology regulates the kind of legitimate functions. I will outline a possible new solution to this problem: appropriate functional attributions in Darwinian functional biology could be regulated by a theory or a set of laws that provide the criteria for determining its fundamental concepts. -/- Resumen: Una de las cosas más importantes a las que la revolución darwiniana afectó es el pensamiento teleológico previo. En particular, la atribución de funciones a diversas entidades del mundo natural con pretensiones explicativas. En este cambio, su teoría de la selección natural desempeñó un papel importante. Todos estamos de acuerdo en ello, pero la diversidad y heterogeneidad de las respuestas que tratan de explicar lo que Darwin hizo exactamente con la biología funcional son abrumadoras. En este artículo intentaré mostrar cómo Darwin modificó la biología funcional anterior. Los naturalistas predarwinianos no dudaban en atribuir funciones en las que, por ejemplo, los rasgos de una especie estaban al servicio de otras especies. Intentaré mostrar que esto tiene consecuencias en la discusión sobre la naturaleza del lenguaje funcional, pues los principales enfoques, el sistémico y el etiológico, no dan cuenta adecuadamente de estos cambios y, por tanto, no dan cuenta de la forma en que la biología funcional regula el tipo de funciones legítimas. Esbozaré una posible nueva solución a este problema: las atribuciones funcionales apropiadas en la biología funcional darwiniana podrían estar reguladas por una teoría o un conjunto de leyes que proporcionen los criterios para determinar sus conceptos fundamentales. -/- . (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)

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)

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)

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)

An interesting metatheoretical controversy took place during the 1980’s and 1990’s between pattern and phylogenetic cladists. What was always at stake in the discussion was not how work in systematics should be carried out, but rather how this practice should be metatheoretically interpreted. In this article, we criticize Pearson’s account of the metatheoretical factors at play in this discussion. Following him, we focus on the issue of circularity, and on the role that phylogenetic hypotheses play in the determination of “primary (...) homologies”. Pearson argues that the recognition of primary homologies cannot be achieved without recourse to previous phylogenetic knowledge, and that to claim otherwise is to state that primary homologies are observable. To show why that view would be inadequate, he appeals to Hanson’s views about theory-laden observation, alongside with a specific case study, which allegedly illustrates the more complex relation between observation and theory. We will argue that the pattern cladists’ point is better addressed by taking a quite different approach: instead of thinking in terms of observability, the topic can be tackled by paying attention to the way in which concepts are determined. We will take the notion of T-theoricity from metatheoretical structuralism and show that, once the issue is discussed with the appropriate metatheoretical framework, the alleged counterexample brought up by Pearson is not problematic at all for pattern cladism. (shrink)

Due to an unfortunate turn of events, the family name of the first author was erroneously published as ‘RoffÕ’ in the original publication. The correct representation of the first author’s family name is listed above and below.

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)

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)

In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)

One of the most widely used procedures applied to non-human animals or pre-linguistic humans is the “violation of expectation paradigm”. Curiously there is almost no discussion in the philosophical literature about it. Our objective will be to provide a first approach to the meta-theoretical nature of the assumptions behind the procedure that appeals to the violation of expectation and to extract some consequences. We show that behind them exists an empirical principle that affirms that the violation of the expectation of (...) certain mental rules generates surprise. We then proceeded to discuss the nature of these “mental rules”. We show that, as is often the case with theoretical concepts proposed by theories, they do not have a fixed interpretation. This will allow us to show that the usual relationship found in the developmental psychology literature between this experimental paradigm and cognitive approaches (which interpret experimental results in terms of higher-level mental activities) is not necessary. Finally, we relate this experimental design with the mark test and the inequity aversion test and discuss the possible ampliation of the application of the empirical principle of violation of expectation. (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 modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trichý published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (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)

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)

Due to its high degree of complexity and its historical nature, evolutionary biology has been traditionally portrayed as a messy science. According to the supporters of such a view, evolutionary biology would be unable to formulate laws and robust theories, instead just delivering coherent narratives and local models. In this article, our aim is to challenge this view by showing how the Price equation can work as the core of a general theoretical framework for evolutionary phenomena. To support this claim, (...) we outline some unnoticed structural similarities between physical theories and evolutionary biology. More specifically, we shall argue that the Price equation, in the same way as fundamental formalisms in physics, can serve as a heuristic principle to formulate and systematise different theories and models in evolutionary biology. (shrink)

The many-faced relationship between chemistry and physics is one of the most discussed topics in the philosophy of chemistry. In his recent book Reducing Chemistry to Physics. Limits, Models, Consequences, Hinne Hettema conceives this relationship as a reduction link, and devotes his work to defend this position on the basis of a “naturalized” concept of reduction. In the present paper I critically review three kinds of issues stemming from Hettema’s argumentation: philosophical, scientific and methodological.

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)

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)

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)

Several case studies and theoretical reports indicate that the structuralist concept of a constraint has a central role in the reconstruction of physical theories. It is surprising that there is, in the literature, only little theoretical discussion on the relevance of constraints for the reconstruction of social scientific theories. Almost all structuralist reconstructions of social theorizing are vacuously constrained. Consequently, constraints are methodologically irrelevant.In this paper I try to show that there really exist constraint-type assumptions in mathematical modelling in the (...) social sciences. Methodologically constraints have exactly the same role in the context of social mathematical modelling as they have in physical theories. In typical cases of mathematical modelling in the social sciences, the related constraints work as empirical hypotheses and should be tested by statistical means. (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)