Steven French

An account of scientific representation in terms of partial structures and partial morphisms is further developed. It is argued that the account addresses a variety of difficulties and challenges that have recently been raised against such formal accounts of representation. This allows some useful parallels between representation in science and art to be drawn, particularly with regard to apparently inconsistent representations. These parallels suggest that a unitary account of scientific and artistic representation is possible, and our article can be viewed as laying the groundwork for such an account—although, as we shall acknowledge, significant differences exist between these two forms of representation.

Fifteen essays are contained in this collection, all relating to Heinz Post ’ s article ‘ Correspondence, Invariance and Heuristics ’, also reprinted. In this article, written in the heyday of the post - positivist movement, Post aims to convince his fellowphilosophers of science to bring the issue of heuristics back to the philosophical stage. Examining a wealth of theories and models from the physics and chemistry of the last 300 years, Post extracts several strategies of theory construction of which he considers the General Correspondence Principle to be the most important. According to this principle, any acceptable newtheory should explain the well - confirmed part of its predecessor. Later Post states the General Correspondence Principle more precisely and uses it with what he considers its de facto validity to argue against incommensurability, Kuhn - losses, 1 and relativism. Post himself seems to support a kind of convergent realism which is most notably expressed in his credo that science progresses linearly

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed.

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time.

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate

Quasi-set theory has been proposed as a means of handling collections of indiscernible objects. Although the most direct application of the theory is quantum physics, it can be seen per se as a non-classical logic (a non-reflexive logic). In this paper we revise and correct some aspects of quasi-set theory as presented in [12], so as to avoid some misunderstandings and possible misinterpretations about the results achieved by the theory. Some further ideas with regard to quantum field theory are also advanced in this paper

Some recent work in the philosophy of quantum mechanics has suggested that quantum systems can be thought of as non-separable and therefore non-individual, in some sense, in Bell and E.P.R. type situations. This suggestion is set in the context of previous work regarding the individuality of quantal particles and it is argued that such entities can be considered as individuals if their non-classical statistical correlations are understood in terms of non-supervenient relations holding between them. We conclude that such relations are strongly non-supervenient in Cleland's sense and note a possible connection between this idea and the realist quantum logic programme

Many important explanations in physics are based on ideas and assumptions about symmetries, but little has been said about the nature of such explanations. This chapter aims to fill this lacuna, arguing that various symmetry explanations can be naturally captured in the spirit of the counterfactual-dependence account of Woodward, liberalized from its causal trappings. From the perspective of this account symmetries explain by providing modal information about an explanatory dependence, by showing how the explanandum would have been different, had the facts about an explanatory symmetry been different. Furthermore, the authors argue that such explanatory dependencies need not be causal.

The central concern of this article is whether the semantic approach has the resources to appropriately capture the core tenets of structural realism. Chakravartty (2001) has argued that a realist notion of correspondence cannot be accommodated without introducing a linguistic component, which undermines the approach itself. We suggest that this worry can be addressed by an appropriate understanding of the role of language in this context. The real challenge, however, is how to incorporate the core notion of `explanatory approximate truth' in such a way that the emphasis on structure is retained.

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.

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

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.

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.

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.

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.

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