http://dx.doi.org/10.5007/1808-1711.2008v12n1p97 This paper defends the idea that there are three determinant elements in the identity of theories in accordance with the semantic approach of theories: the kind of theoretic models, the data models and the empirical claims, but with some exceptions in each case. I uphold this thesis in an analysis the Structuralist view and van Fraassen’s one about this respect.

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)

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)

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)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

Scientific discourse leaves implicit a vast amount of knowledge, assumes that this background knowledge is taken into account – even taken for granted – and treated as undisputed. In particular, the terminology in the empirical sciences is treated as antecedently understood. The background knowledge surrounding a theory is usually assumed to be true or approximately true. This is in sharp contrast with logic, which explicitly ignores underlying presuppositions and assumes uninterpreted languages. We discuss the problems that background knowledge may cause (...) for the formalization of scientific theories. In particular, we will show how some of these problems can be addressed in the context of the computational representation of scientific 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)

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)

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)

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)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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

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

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)

In this paper the general notion of Bourbaki structures, interpreted in terms of Suppes predicates, will be used to axiomatize a system of meta-rankings in the sense introduced by A. K. Sen. It will be argued that this axiomatization must take place in a Kantian-ruled world in order to provide a link between meta-rankings and individual actions.Dedicated to Prof. Francisco A. Doria on his 50th birthday.

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)

La cuestión de si los lenguajes intensionalesson más expresivos que los lenguajes nointensionalessurge en el marco de unaperspect i va semánt i ca de l as t eorí as.Desde esta perspectiva, la cuestión esesta. ¿Hay clases modelo que se puedencaracterizar mediante teorías que usanconceptos intensionales que no se puedencaracterizar mediante teorías que no usanconceptos intensionales? Se sugiere unaformulación precisa de esta cuestión, perono se ofrece una respuesta.Para aproxi marse a est a cuest i ón, seresume la teoría de modelos de (...) primerorden [II] y se revisa el enfoque semánticode las teorías que emplea incrementost eóri cos, no i nt ensi onal es, de pri merorden [III].Los i nc r e me nt os t e ór i c os de pr i me rorden se bosquejan pero no se definenr i g u r o s a me n t e [ I V] . E s t e l e n g u a j ei n t e n s i o n a l pr o po r c i o n a e l a p a r a t op a r a a t r i b u i r u s o d e l l e n g u a j e yact i t udes i nt ens i onal es a i ndi vi duoscuyo comportami ento es el obj eto deinvestigación. También proporciona elaparato para habl ar sobre traducci óndel lenguaj e atribuido al lenguaj e delinvestigador.La cuestión inicial se convierte entoncesen si hay clases modelo que se puedanc a r a c t e r i z a r me d i a n t e i n c r e me n t o sintencionales de lógica de primer ordenq ue n o pue de n s e r c a pt ur a do s po rincrementos teóricos no-intensionales [V].The ques t i on of whet her i nt ens i onallanguages are more expressive than nonintensional languages is raised within the framework of a semantic view of theories. Fromthis perspective, the question isthis. Are there model classes that can becharacterized by theories using intensionalconcepts that cannot be characterizedby theories that do not use intensionalconcepts? A precise formulation of thisquestion is suggested, but no answer isgiven.To approach this question, model theory offirst order theories is summarized [II] andthe semantic approach to theories usingnon-intensional, theoretical augmentationsof first order theories is reviewed [III].I n t e n s i o n a l a u g me n t a t i o n s o f f i r s torder theories are sketched [IV] but notr i gor ous l y de f i ne d. Thi s i nt e ns i onall anguage provi des t he apparat us f orattributing language use and intensionalattitudes to individuals whose behavioris the object investigation. It also providesapparatus for talking about translationf r om t he at t r i but e d l anguage t o t heinvestigator’s language.T h e i n i t i a l q u e s t i o n t h e n b e c o me swhet her t here are model cl asses t hatc a n be c ha r a c t e r i z e d by i nt e ns i ona laugmentations of first order logic thatcannot be captured by non-intensionaltheoretical augmentations [V]. (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)

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)

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)

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

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)

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)

In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to every, inertial (...) or not, reference frame. And I will present a view that in the research process under Newtonian mechanics the accumulation of those models of the relation that satisfied some realistic conditions determined an additional structure of non-rotating frames to Leibnizian space-time. (shrink)

This paper deals with the connection between the Boyle-Mariotte-law and the Van der Waals-law from the perspective of the Structuralist Theory Conception as well as the Pragmatic Idealization Concept. It was inspired by an interesting paper by Martti Kuokkanen and Timo Tuomivaara, recently published in this journal.1 One result of the Kuokkanen-Tuomivaara-paper is that the Boyle-Mariotte-law is not an idealized law and therefore not an idealized special case of the Van der Waals-law, but that its models can be expanded to (...) the models of an idealized special case of the Van der Waals-law. From the perspective of idealized diachronic theory-elements and -nets the second part of this result shall be questioned. (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 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)

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)