We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

Steven French and Decio Krause examine the metaphysical foundations of quantum physics. They draw together historical, logical, and philosophical perspectives on the fundamental nature of quantum particles and offer new insights on a range of important issues. Focusing on the concepts of identity and individuality, the authors explore two alternative metaphysical views; according to one, quantum particles are no different from books, tables, and people in this respect; according to the other, they most certainly are. Each view comes with certain (...) costs attached and after describing their origins in the history of quantum theory, the authors carefully consider whether these costs are worth bearing. Recent contributions to these discussions are analyzed in detail and the authors present their own original perspective on the issues. The final chapter suggests how this perspective can be taken forward in the context of quantum field theory. (shrink)

Steven French articulates and defends the bold claim that there are no objects in the world. He draws on metaphysics and philosophy of science to argue for structural realism--the position that we live in a world of structures--and defends a form of eliminativism about objects that sets laws and symmetry principles at the heart of ontology.

Howard argues that the existence of unitarily inequivalent representations in Quantum Field Theory presents a problem for structural realism in this context. I consider two potential ways round this problem: 1), follow Wallace in adopting the 'naive' Lagrangian form of QFT with cut-offs; 2), adapt Ruetsche's 'Swiss Army Knife' approach. The first takes us into the current debate between Wallace and Fraser on conventional vs. algebraic QFT. The second involves consideration of the role of inequivalent representations in understanding spontaneous symmetry (...) breaking and quantum statistics. In both cases, I suggest, the structural realist has sufficient room to manoeuvre. (shrink)

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. (shrink)

In this paper, we provide a new formulation of a coherence theory of truth using the resources of the partial structures approach − in particular the notions of partial structure and quasi-truth. After developing this new formulation, we apply the resulting theory to the philosophy of mathematics, and argue that it can be used to develop a new account of nominalism in mathematics. This application illustrates the strength and usefulness of the proposed formulation of a coherence theory of truth.

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.

According to 'Ontic Structural Realism' (OSR), physical objects—qua metaphysical entities—should be reconceptualised, or, more strongly, eliminated in favour of the relevant structures. In this paper I shall attempt to articulate the relationship between these putative objects and structures in terms of certain accounts of metaphysical dependence currently available. This will allow me to articulate the differences between the different forms of OSR and to argue in favour of the 'eliminativist' version. A useful context is provided by Floridi's account of the (...) relationship between 'ontic' and 'epistemic' structural realisms and I shall conclude with some brief remarks on possible extensions of OSR into other scientific domains. (shrink)

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’. (shrink)

We examine, from the partial structures perspective, two forms of applicability of mathematics: at the “bottom” level, the applicability of theoretical structures to the “appearances”, and at the “top” level, the applicability of mathematical to physical theories. We argue that, to accommodate these two forms of applicability, the partial structures approach needs to be extended to include a notion of “partial homomorphism”. As a case study, we present London's analysis of the superfluid behavior of liquid helium in terms of Bose‐Einstein (...) statistics. This involved both the introduction of group theory at the top level, and some modeling at the “phenomenological” level, and thus provides a nice example of the relationships we are interested in. We conclude with a discussion of the “autonomy” of London's model. (shrink)

Discussions of representation in science tend to draw on examples from art. However, such examples need to be handled with care given a) the differences between works of art and scientific theories and b) the accommodation of these examples within certain philosophies of art. I shall examine the claim that isomorphism is neither necessary nor sufficient for representation and I shall argue that there exist accounts of representation in both art and science involving isomorphism which accommodate the apparent counterexamples and, (...) moreover, allow us to understand how “impossible” artistic objects and inconsistent scientific theories can be said to represent. (shrink)

Batterman raises a number of concerns for the inferential conception of the applicability of mathematics advocated by Bueno and Colyvan. Here, we distinguish the various concerns, and indicate how they can be assuaged by paying attention to the nature of the mappings involved and emphasizing the significance of interpretation in this context. We also indicate how this conception can accommodate the examples that Batterman draws upon in his critique. Our conclusion is that ‘asymptotic reasoning’ can be straightforwardly accommodated within the (...) inferential conception. 1 Introduction2 Immersion, Inference and Partial Structures3 Idealization and Surplus Structure4 Renormalization and the Stability of Mathematical Representations5 Explanation and Eliminability6 Requirements for Explanation7 Interpretation and Idealization8 Explanation, Empirical Regularities and the Inferential Conception9 Conclusion. (shrink)

Recent discussions of the nature of representation in science have tended to import pre-established decompositions from analyses of representation in the arts, language, cognition and so forth. Which of these analyses one favours will depend on how one conceives of theories in the first place. If one thinks of them in terms of an axiomatised set of logico-linguistic statements, then one might be naturally drawn to accounts of linguistic representation in which notions of denotation, for example, feature prominently. If, on (...) the other hand, one conceives of theories in non-linguistic terms, as in the model-theoretic approach, then one might look to analyses of representation in the arts where notions of resemblance tend to be brought to the fore. Thus van Fraassen, for example, has imported such an analysis into his discussion of representation in science and argued that an appropriate account of resemblance can be given in terms of the set-theoretic relation of isomorphism. This has been strongly criticised by Suarez, who argues that just as isomorphism cannot capture representation in art, so it is inappropriate in the scientific context as well. Similarly Hughes draws on Goodman`s rejection of resemblance in art in favour of denotation and, rather confusingly perhaps, favours the latter whilst also maintaining the model-theoretic view of theories. In this paper, I shall examine the debate in terms of four claims: 1. Isomorphism is not sufficient for representation; 2. Isomorphism is not necessary for representation; 3. Models represent but theories do not; 4. Models denote and do not resemble. Each of these claims will be questioned and I will conclude by suggesting that, through appropriate modifications, a form of isomorphism can serve to underpin representation in both the arts and science. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

Current analytic metaphysics has been claimed to be, at best, out of touch with modern physics, at worst, actually in conflict with the latter The continuum companion to the philosophy of science, Continuum, London, 2011; Ladyman and Ross Every thing must go: metaphysics naturalized, Oxford University Press, Oxford, 2007). While agreeing with some of these claims, it has been suggested that metaphysics may still be of service by providing a kind of ‘toolbox’ of devices that philosophers of science can access (...) in order to help provide an interpretation of theories in fundamental physics Metaphysics in contemporary physics, Rodopi, Amsterdam, 2015). In this context it has been argued that ‘standard’ forms of dispositionalism simply cannot be sustained in the context of modern physics but that certain ‘non-standard’ views may provide the resources to help explicate the sense in which physics may be regarded as ‘modally informed’. Here that suggestion will be further extended in order to consider the implications both with regard to the overall relevance of metaphysics given advances in science and for the prospects of a naturalised metaphysics more generally. In particular, this paper will focus on three concerns: that the particular tools identified are not, in fact, ‘scientifically disinterested’ and thus that the distinction between ‘naturalised’ and ‘non-naturalised’ metaphysics is at best vague or poorly drawn; that the usefulness of such tools depends on their being shaped to fit the relevant physics and thus the latter ‘guts’ metaphysics; that if metaphysics does prove to be useful in this sense then we have no reason to scorn non-naturalised metaphysics to begin with. (shrink)

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. (shrink)

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. (shrink)

In this essay I focus on the adoption of the Semantic Approach by structural realists, including myself, who have done so on the grounds that it wears its structuralist sympathies on its sleeve. Despite this, the SA has been identified as standing in tension with the ontological commitments of the so-called ‘ontic’ form of this view and so I plan to explore that tension before discussing the usefulness of the SA in framing scientific representation before concluding with a discussion of (...) the implications of the ontological status of theories and models themselves. (shrink)

The ontological status of theories themselves has recently re-emerged as a live topic in the philosophy of science. We consider whether a recent approach within the philosophy of art can shed some light on this issue. For many years philosophers of aesthetics have debated a paradox in the (meta)ontology of musical works (e.g. Levinson [1980]). Taken individually, there are good reasons to accept each of the following three propositions: (i) musical works are created; (ii) musical works are abstract objects; (iii) (...) abstract objects cannot be created. However it seems clear that, if one wants to avoid inconsistency, one cannot commit to all three. Following up recent developments courtesy of Cameron ([2008a]), we consider how one might respond to the corresponding set of propositions in the (meta)ontology of scientific theories. (shrink)

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. (shrink)

Although much of its history has been neglected or misunderstood, a structuralist 'tendency' has re-emerged within the philosophy of science. Broadly speaking, it consists of two fundamental strands: on the one hand, there is the identification of structural commonalities between theories; on the other, there is the metaphysical decomposition of objects in structural terms. Both have been pressed into service for the realist cause: the former has been identified primarily with Worrall's 'epistemic' structural realism; the latter with Ladyman's 'ontic' form. (...) And both raise important issues of general interest within the philosophy of science and metaphysics, respectively. The former invites questions regarding the identification and appropriate representation of these commonalities; the latter touches on different views regarding the nature of objects, the constitutive role of properties and the seat of causal powers. Both strands have recently come under critical fire. It is my intention to present a unified account of the 'structuralist tendency' which emphasizes the dual roles of structure as representational and constitutive, and to indicate how the more acute critical remarks can be dealt with. (shrink)

Stein once urged us not to confuse the means of representation with that which is being represented. Yet that is precisely what philosophers of science appear to have done at the meta-level when it comes to representing the practice of science. Proponents of the so-called ‘syntactic’ view identify theories as logically closed sets of sentences or propositions and models as idealised interpretations, or ‘theoruncula, as Braithwaite called them. Adherents of the ‘semantic’ approach, on the other hand, are typically characterised as (...) taking them to be families of models that are set-theoretic, according to Suppes and others, or abstract, as Giere has argued. da Costa and French (Science and Partial Truth. OUP, Oxford, 2003) suggested that we should refrain from ontological speculation as to the nature of scientific theories and models and focus on their appropriate representation for various purposes within the philosophy of science. Such an approach allows both linguistic and non-linguistic resources to play their appropriate role (see also French and Saatsi, Philosophy of Science, Proceedings of the 2004 PSA Meeting, 78:548–559, 2006) and can be supported by recent case studies illustrating the heterogeneity of scientific practice. My aim in this paper is to further develop this ‘quietist’ view, and to indicate how it offers a fruitful way forward for the philosophy of science. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Wigner famously referred to the 'unreasonable effectiveness' of mathematics in its application to science. Using Wigner's own application of group theory to nuclear physics. I hope to indicate that this effectiveness can be seen to be not so unreasonable if attention is paid to the various idealising moves undertaken. The overall framework for analysing this relationship between mathematics and physics is that of da Costa's partial structures programme.

he relationship between metaphysics and science has recently become the focus of increased attention. Ladyman and Ross, in particular, have accused even naturalistically inclined metaphysicians of pursuing little more than the philosophy of A-level chemistry and have suggested that analytic metaphysics should simply be discontinued. In contrast, we shall argue, first of all, that even metaphysics that is disengaged from modern science may offer a set of resources that can be appropriated by philosophers of physics in order to set physics (...) within an interpretational framework. Secondly, however, we shall urge that insofar as metaphysics is intended to be more than just a toolbox it needs to accommodate the implications of physics if many of its core claims are to be sustained. We shall illustrate this last point with a discussion of the nature of laws and modality in the context of modern physics. (shrink)

It has been suggested that quantum particles are genuinelyvague objects (Lowe 1994a). The present work explores thissuggestion in terms of the various metaphysical packages that areavailable for describing such particles. The formal frameworksunderpinning such packages are outlined and issues of identityand reference are considered from this overall perspective. Indoing so we hope to illuminate the diverse ways in whichvagueness can arise in the quantum context.

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. (shrink)

Cartwright and her collaborators have elaborated a provocative view of science which emphasises the independence from theory &unknown;in methods and aims&unknown; of phenomenological model building. This thesis has been supported in a recent paper by an analysis of the London and London model of superconductivity. In the present work we begin with a critique of Cartwright's account of the relationship between theoretical and phenomenological models before elaborating an alternative picture within the framework of the partial structures version of the semantic (...) approach to theories. Drawing on the recent histories of superconductivity by Dahl and Gavroglu, together with the original works by London and London and by F. London separately, and taking due consideration of the heuristic aspects, we argue that the historical details fail to support Cartwright et al.'s claims but that they fit comfortably within the partial structures framework. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Warrior cultures throughout history have developed unique codes that restrict their behavior and set them apart from the rest of society. But what possible reason could a warrior have for accepting such restraints? Why should those whose profession can force them into hellish kill-or-be-killed conditions care about such lofty concepts as honor, courage, nobility, duty, and sacrifice? And why should it matter so much to the warriors themselves that they be something more than mere murderers? The Code of the Warrior (...) tackles these timely issues and takes the reader on a tour of warrior cultures and their values, from the ancient Greeks and Romans to the 'barbaric' Vikings and Celts, from legendary chivalric knights to Native American tribesmen, from Chinese warrior monks pursuing enlightenment to Japanese samurai practicing death. Drawing these rich traditions up to the present, the author quests for a code for the warriors of today, as they do battle in asymmetric conflicts against unconventional forces and the scourge of global terrorism. (shrink)

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...) within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

Although Eddington's philosophy of physics has been subjected to critical re-evaluation in recent years, neither the exact nature of his structuralist views nor his response to criticism by the likes of Braithwaite have been made clear. In this paper I trace, in particular, the incorporation into Eddington's structuralism of the non-classical indistinguishability of quantum objects. His metaphysical view of such objects as the product of group-theoretical analysis is crucial for understanding his response to Braithwaite's criticisms of the whole structuralist endeavor. (...) These criticisms closely resemble more recent attacks on structural realism in the philosophy of science. I conclude with a brief comparison between these more modern forms of structuralism and Eddington's. (shrink)

This volume closes that gap, with essays written by some of the leading researchers in the field.

The London and Bauer monograph occupies a central place in the debate concerning the quantum measurement problem. Gavroglu has previously noted the influence of Husserlian phenomenology on London's scientific work. However, he has not explored the full extent of this influence in the monograph itself. I begin this paper by outlining the important role played by the monograph in the debate. In effect, it acted as a kind of 'lens' through which the standard, or Copenhagen, 'solution' to the measurement problem (...) came to be perceived and, as such, it was robustly criticized, most notably by Putnam and Shimony. I then spell out the Husserlian understanding of consciousness in order to illuminate the traces of this understanding within the London and Bauer text. This, in turn, yields a new perspective on this 'solution' to the measurement problem, one that I believe has not been articulated before and, furthermore, which is immune to the criticisms of Putnam and Shimony. (shrink)

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. (shrink)

Faced with strong arguments to the effect that Leibniz''sPrinciple of the Identity of Indiscernibles (PII) is not a necessary truth, many supporters of the Principle have staged a strategic retreat to the claim that it is contingently true in this, the actual, world. The purpose of this paper is to examine the status of the various forms of PII in both classical and quantum physics, and it is concluded that this latter view is at best doubtful, at worst, simply wrong.

Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.

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. (shrink)