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)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

The semantic approach to scientific representation is now long established as a favourite amongst philosophers of science. One of the foremost strains of this approach—the model-theoretic approach —is to represent scientific theories as families of models, all of which satisfy or ‘make true’ a given set of constraints. However some authors have criticised the approach on the grounds that certain scientific theories are logically inconsistent, and there can be no models of an inconsistent set of constraints. Thus it would seem (...) that the MTA fails to represent inconsistent scientific theories at all, and this raises concerns about the way it represents in general. In a series of papers and a recent book da Costa and French have developed a variant of the MTA approach which they call ‘partial structures’, and which they claim can accommodate inconsistent theories. I assess this claim, looking to two theories which have been called ‘inconsistent’: Bohr’s theory of the atom and classical electrodynamics. (shrink)

The scope and nature of reductionist explanation in quantum physics is analyzed, with special attention being paid to the situation in quantum physics.

Wir stellen einen pragmatisierten Kalkül des natürlichen Schließens vor, der sich dadurch auszeichnet, dass Ableitungen reine Folgen objektsprachlicher Sätze sind und ohne graphische oder andere Kommentarmittel auskommen.

Russell’s claim that only structural knowledge of the world is possible was influentially criticized by Newman as rendering scientific discoveries trivial. I show that a version of this criticism also applies to the “structural realism” more recently advocated by Worrall, which requires continuity of formal structure between predecessor and successor scientific theories. The problem is that structure, in its common set-theoretical construal, is radically underdetermined by the entities and relations over which it is defined, rendering intertheoretic continuity intolerably cheap. I (...) show that this problem may be overcome by supplementing the purely formal relation of intertheoretic isomorphism with the semiformal “Ontological Reductive Links” developed by Moulines and others of the German “structuralist” approach to the philosophy of science. (shrink)

In this work we present a logical reconstruction of Leonard Bloom- field’s theory of structural linguistics. First, the central notions of this theory are analyzed and discussed. In the following section, a recon- struction with the so-called structuralist approach in the philosophy of science is presented. After defining the general framework of Bloom- field’s theory, questions of lawlikeness and theoretical terms will be discussed. In a further step, this work aims to contribute to the dis- cussion of theory change and (...) scientific realism, applied to linguistic theory. After the reconstruction of further theories of linguistics, it can be studied whether certain inter theoretical relations hold. It aims to be a contribution to the discussion on the foundations of linguistics. (shrink)

In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even (...) of preference change (Hanson 1995). (shrink)

http://dx.doi.org/10.5007/1808-1711.2008v12n1p35 This paper aims to show that Bas van Fraassen’s constructive empiricism, such as it is expounded in The Scientific Image , ends up in considerable difficulties in the philosophy of science. The main problem would be the exclusion of mathematics from the conception of science, given its clear absence of empirical adequacy, which is the most important requirement of his formulation. In this sense, it is suggested a more inclusive formulation of scientific theory, aroused from the notion of Da (...) Costa’s (1999) simple structure , considering the notion of scientific discovery in a strict sense, and the validity limit of a theory and the formalism used in a temporal context. (shrink)

La parution de la monographic de Sneed,The Logical Structure of Mathematical Physics a suscité un renouveau d'intérêt en philosophie contemporaine des sciences. Cet ouvrage arrivait à un moment où l'épistémologie des sciences, telle que développée dans les milieux germaniques et anglo-saxons, accusait de graves insuffisances dans la reconstruction rationnelle du développement historique des théories physiques. Mis sur la défensive par les thèses et arguments historiques de Kuhn et de Feyerabend, ces milieux « orthodoxes » devaient reconnaitre l'état embryonnaire de ce (...) qui devait être uneépistémologie diachroniquedes sciences, une épistémologie du changement scientifique où les méthodes d'analyse formelle puissent être aussi mises á contribution. A cela s'ajoutait un certain malaise, une certaine stagnation de la problématique, plus synchronique, de l'approche traditionnelle issue du mouvement empiriste logique. Le probleme de la dichotomielangage théorique—langage observationnel, ainsi que son fidèle compagnon, le problème destermes théoriques, le statut épistémologique desrègies de correspondance, la dèfinition du concept d'analyticitéen science, autant de questions qui avaient été discutées et critiquées, à maintes reprises, pour aboutir à des résultats peu concluants aux yeux des philosophes, comme à ceux des physiciens préoccupés des fondements de leur discipline et à qui la teneur de cette discussion semblait souvent étrangère à la pratique scientifique. (shrink)

Non-relativistic quantum mechanics is grounded on ‘classical’ space and time. The mathematical description of these con- cepts entails that any two spatially separated objects are necessarily dif- ferent, which implies that they are discernible — we say that the space is T2, or "Hausdorff". But quantum systems, in the most interesting cases, some- times need to be taken as indiscernible, so that there is no way to tell which system is which, and this holds even in the case of fermions. (...) But in the NST setting, it seems that we can always give an identity to them, which seems to be contra the physical situation. In this paper we discuss this topic for a case study and con- clude that, taking into account the quantum case, that is, when physics enter the discussion, even NST cannot be used to say that the systems do have identity. (shrink)

Proponents of the semantic approach to scientific theories cite a number of critical publications as the origins of their positions. While the semantic view experienced widespread adoption by philosophers of science in the decades leading up to the 1990s, over the last two decades opposition to the view has increased demonstrably. This growing disaffection suggests a two-part question: What exactly are the objections to the semantic view of scientific theories, and does the view have the conceptual resources to combat its (...) opposition? This essay seeks to answer this question by performing a careful analysis of the positions of both advocates and adversaries of the semantic view. In addition, it is argued that to save the semantic view it is necessary to locate the source of the position’s problems and to retool its conceptual foundations. To ensure that the semantic approach has the resources to meet objections to it, exegetical analysis is performed, which demonstrates that the source of the view’s present-day woes lies in a subtle conflation contained in one seminal articulation of the view, van Fraassen’s The Scientific Image. It is argued that supplanting central aspects of that work with ideas from Suppes is the remedy needed to provide the semantic view with the necessary resources for becoming wholly defensible against its oppositions. (shrink)