Steven French

Within the philosophy of science, the realism debate has been revitalised by the development of forms of structural realism. These urge a shift in focus from the object oriented ontologies that come and go through the history of science to the structures that remain through theory change. Such views have typically been elaborated in the context of theories of physics and are motivated by, first of all, the presence within such theories of mathematical equations that allow straightforward representation of the relevant structures; and secondly, the implications of such theories for the individuality and identity of putative objects. My aim in this talk is to explore the possibility of extending such views to biological theories. An obvious concern is that within the context of the latter it is typically insisted that we cannot find the kinds of highly mathematised structures that structural realism can point to in physics. I shall indicate how the model-theoretic approach to theories might help allay such concerns. Furthermore, issues of identity and individuality also arise within biology. Thus Dupre has recently noted that there exists a ‘General Problem of Biological Individuality’ which relates to the issue of how one divides ‘massively integrated and interconnected’ systems into discrete components. In response Dupre advocates a form of ‘Promiscuous Realism’ that holds, for example, that there is no unique way of dividing the phylogenetic tree into kinds. Instead I shall urge serious consideration of those aspects of the work of Dupre and others that lean towards a structuralist interpretation. By doing so I hope to suggest possible ways in which a structuralist stance might be extended to biology

I first outline the standard dispositionalist account and indicate how this account has been extended from the everyday to the realm of modern physics – from vases to quarks, in effect. Here I note a fundamental obstacle: the role of symmetries as constraints on the fundamental laws in physics. One of the great virtues of the standard dispositionalist account is that it supposedly yields laws from dispositions but it remains unclear, at best, how it can accommodate such symmetry principles. I then outline some ways the dispositonalist might try to do that but in effect I close off each option by indicating how the problem merely gets pushed back a step or two. Ultimately, the dispositionalist will have to ascribe her dispositions to objects that are metaphysically very ‘thin’, in the sense that they are mere placeholders within the physical structure, and also give up the standard Stimulus + Manifestation account. Of course, that will be music to the ears of certain other critics within and outwith the powers camp and I conclude by considering some recent proposals and evaluating whether they might be ‘fit for purpose’ within the context of modern physics.

The semantic, or model-theoretic, approach to theories has recently come under criticism on two fronts: (i) it is claimed that it cannot account for the wide diversity of models employed in scientific practice—a claim which has led some to propose a “deflationary” account of models; (ii) it is further contended that the sense of “model” used by the approach differs from that given in model theory. Our aim in the present work is to articulate a possible response to these claims, drawing on recent developments within the semantic approach itself. Thus, the first is answered by utilizing the notion of a “partial structure”, first introduced in this context by da Costa and French in 1990. The second claim is undermined by consideration of van Fraassen's understanding of “model” which corresponds well with that evinced by modem mathematicians. This latter discussion, in particular, has an impact on the continuing debate regarding the relative merits of the semantic and syntactic views and the developments presented here can be taken to provide further support to the former.

Various forms of underdetermination that might threaten the realist stance are examined. That which holds between different 'formulations' of a theory (such as the Hamiltonian and Lagrangian formulations of classical mechanics) is considered in some detail, as is the 'metaphysical' underdetermination invoked to support 'ontic structural realism'. The problematic roles of heuristic fruitfulness and surplus structure in attempts to break these forms of underdetermination are discussed and an approach emphasizing the relevant structural commonalities is defended.

Lowe has recently argued that quantum particles offer examples of vague objects. While accepting the premise of the argument that such particles can be regarded as individuals, we point out that there is a lacuna here, to be filled by a detailed analysis of the nature of the entangled states which they enter into. We then elaborate the alternative view, according to which such particles should be regarded as non- individuals' and situate it in the context of recent developments of a logic of non- individuality. Our conclusion is that it is here that one encounters genuine ontic vagueness.

This chapter discusses some emerging trends, new directions, and outstanding issues in philosophy of science. The first section places contemporary philosophy of science in context by considering its relationship to analytic philosophy at large, to the history of science, and to science itself. The subsequent sections will then take a look at a selection of interesting trends emerging from current research, and some important issues calling for further work. The presentation is inevitably coloured by our personal perspectives, and we cannot hope to do justice even to the majority of new developments. But we hope to be able to convey some sense of the range of problems, issues and areas where new and interesting research is being conducted.

The current state of the relationship between metaphysics and the philosophy of science might appear to be one best described as ‘hostility on both sides’. In an attempt to bridge this gap, French and McKenzie have suggested a two fold strategy: on the one hand, if metaphysics is to be taken to have something direct to say about reality, the implications of physics need to be properly appreciated; on the other, one does not have to agree with the claim that a prioristic metaphysics should be dismissed or even discontinued, since we should value scientifically disinterested metaphysics as a ‘toolbox’ for philosophers of science. It is in the context of this strategy that I want to approach the issue of understanding the symmetry principles that feature in the Standard Model of modern physics. I shall suggest that the dispositional analysis of laws is incapable of accommodating such principles. However, there are other tools in the metaphysical toolbox that one can draw upon to help capture the nature of such symmetries corresponding to the second part of the above strategy.

‘Epistemic structural realism’ (ESR) insists that all that we know of the world is its structure, and that the ‘nature’ of the underlying elements remains hidden. With structure represented via Ramsey sentences, the question arises as to how ‘hidden natures’ might also be represented. If the Ramsey sentence describes a class of realisers for the relevant theory, one way of answering this question is through the notion of multiple realisability. We explore this answer in the context of the work of Carnap, Hintikka and Lewis. Both Carnap and Hintikka offer clear structuralist perspectives which, crucially, accommodate the openness inherent in theory change. Unfortunately there is little purchase for a viable form of realism in either case. Lewis’s approach, on the other hand, offers more scope for realism but, as we shall see, concerns arise as to whether a relevant form of structuralism can be maintained. In particular his thesis of Ramseyan humility undermines certain conceptions of scientific laws that the structural realist might naturally cleave to. Our overall conclusion is that the representational device of Ramsey sentence plus multiple realisability can accommodate either the structuralist or realist aspects of ESR but has difficulties capturing both.

Department of History and Philosophy of Science. University of Cambridge, Free School Lane, Cambridge CB2 3RH This paper is concerned with the question of whether atomic particles of the same species, i. e. with the same intrinsic state-independent properties of mass, spin, electric charge, etc, violate the Leibnizian Principle of the Identity of Indiscernibles, in the sense that, while there is more than one of them, their state-dependent properties may also all be the same. The answer depends on what exactly the state-dependent properties of atomic particles are taken to be. On the plausible interpretation that these should comprise all monadic and relational properties that can be expressed in terms of physical magnitudes associated with self-adjoint operators that can be defined for the individual particles, then the weakest form of the Principle is shown to be violated for bosons, fermions and higher-order paraparticles, treated in first quantization *Some of the arguments inn this paper appeared in a thesis submited by one of us (S.F.) In partial fulfilment of the requirements for the PhD degree of the University of London, in 1984. entitled 'Identity and ‘Individuality in Classical and Quantum Physics’.

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of 'sortal' as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates 'quantum-sortal predicates' and, instead of a process of counting, to them is associated a 'criterion of cardinality'. After their general characterization, it is discussed how these predicates can be formally described