Nominalism in formal ontology is still the thesis that the only acceptable domain of quantification is the first-order domain of particulars. Nominalists may assert that second-order well-formed formulas can be fully and completely interpreted within the first-order domain, thereby avoiding any ontological commitment to second-order entities, by means of an appropriate semantics called “substitutional”. In this paper I argue that the success of this strategy depends on the ability of Nominalists to maintain that identity, and equivalence relations more in general, (...) is first-order and invariant. Firstly, I explain why Nominalists are formally bound to this first-order concept of identity. Secondly, I show that the resources needed to justify identity, a certain conception of identity invariance, are out of the Nominalist’s reach. (shrink)

The aim of the paper is to assess the relative merits of two formal representations of structure, namely, set theory and category theory. The purpose is to articulate ontic structural realism. In turn, this will facilitate a discussion on the strengths and weaknesses of both concepts and will lead to a proposal for a pragmatics-based approach to the question of the choice of an appropriate framework. First, we present a case study from contemporary science—a comparison of the formulation of quantum (...) mechanics in the language of Hilbert spaces and abstract C* algebras. It is then shown how the method of structural representation can be determined based on the pragmatics of goal-oriented research, not a dogmatic choice. We investigate a hypothesis stating that the use of the interplay between the powers of abstraction and detail of different representational methods results in adopting a pluralistic, as opposed to standard, unificatory, perspective on the role of structural representation in OSR. (shrink)

This essay offers an original interpretation and defense of the doctrine of flux, as it is presented in Plato’s Theaetetus. The methodology of the paper’s analysis is in the style of rational reconstruction, and it is highly analytic in scope, in the sense that I will focus on the text itself, and only on certain parts of it too, while ignoring the rest of Plato’s extensive corpus, and without worrying about whether, how, and to what extent the interpretation of the (...) view coheres well with the other elements of the secret doctrine view discussed in the dialogue, as well. In the first part of the essay, I’ll offer my interpretation of the doctrine. Then, in the second part of the essay, I’ll examine two potential criticisms of the doctrine, including Socrates’s infamous linguistic paradox, and show how my interpretation of Heraclitean flux metaphysics is able to circumvent both. (shrink)

The claim that there can be relations without relata, submitted by the radical ontic structural realist, mounts a serious challenge to her: on the one hand, the world is constituted, according to this sort of realism, just by structures and relations, and on the other hand, relations depend, mathematics says, on individual objects as relata. To resolve the problem, Steven French has argued that while the dependency of relations on relata is conceivable concerning the structure associated with the source of (...) representation, radical ontic structural realism assumes the existence of relations devoid of relata regarding the target of representation. In this article, I will argue this solution considered together with his semantics for the sentences that contain terms referring apparently to individual objects seems incoherent. (shrink)

LandryElaine, * ed. Categories for the Working Philosopher. Oxford University Press, 2017. ISBN 978-0-19-874899-1 ; 978-0-19-106582-8. Pp. xiv + 471.

Ontic structural realism (OSR) claims that all there is to the world is structure. But how can this slogan be turned into a worked-out metaphysics? Here I consider one potential answer: a metaphysical framework known as generalism (Dasgupta, 2009, 2016). According to the generalist, the most fundamental description of the world is not given in terms of individuals bearing properties, but rather, general facts about which states of affairs obtain. However, I contend that despite several apparent similarities between the positions, (...) generalism is unable to capture the two main motivations for OSR. I suggest instead that OSR should be construed as a meta-metaphysical position. (shrink)

First, I answer the controversial question ’What is scientific realism?’ with extensive reference to the varied accounts of the position in the literature. Second, I provide an overview of the key developments in the debate concerning scientific realism over the past decade. Third, I provide a summary of the other contributions to this special issue.

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

The concept of process is ubiquitous in science, engineering and everyday life. Category theory, and monoidal categories in particular, provide an abstract framework for modelling processes of many kinds. In this paper, we concentrate on sequential and parallel decomposability of processes in the framework of monoidal categories: We will give a precise definition, what it means for processes to be decomposable. Moreover, through examples, we argue that viewing parallel processes as coupled in this framework can be seen as a category (...) mistake or a misinterpretation. We highlight the suitability of category theory for a structuralistic interpretation of mathematical modelling and argue that for appliers of mathematics, such as engineers, there is a pragmatic advantage from this. (shrink)

In Every Thing Must Go James Ladyman and Don Ross argue for a radical version of naturalistic metaphysics and propose that contemporary analytic metaphysics is detached from science and should be discontinued. The present article addresses the issues of whether science and metaphysics are separable, intuitions and understanding should be excluded from scientific theory, and Ontic Structural Realism satisfies the criteria of the radical version of naturalism advanced by Ladyman and Ross. The point underlying those topics is that successful scientific (...) research presupposes metaphysics, and that basic epistemic virtues common to metaphysics and science may allow us—as opposed to what Ladyman and Ross suggest—to increase our understanding of the world and to put constraints on allowable metaphysical theories. (shrink)

As a metaphysical theory, radical ontic structural realism is characterised mainly in terms of the ontological primacy it places on relations and structures, as opposed to the individual relata and objects that inhabit these relations/structures. The most popular criticism of ROSR is that its central thesis is incoherent. Bain attempts to address this criticism by arguing that the mathematical language of category theory allows for a coherent articulation of ROSR’s key thesis. Subsequently, Wüthrich and Lam and Lal and Teh have (...) criticised Bain’s arguments and claimed that category theory fares no better than set theory in coherently articulating the main ideas of ROSR. In this paper, we defend Bain’s main arguments against these critiques, and attempt to elaborate on the sense in which category theory can be seen as providing a coherent articulation of ROSR. We also consider the relationship between ROSR and Categorical Quantum Mechanics. (shrink)

In this essay I shall 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 shall explore that tension before discussing the usefulness of the SA in framing scientific representation and concluding with a discussion of (...) the implications of the ontological status of theories and models themselves. (shrink)

Ontic Structural Realism is a version of realism about science according to which by positing the existence of structures, understood as basic components of reality, one can resolve central difficulties faced by standard versions of scientific realism. Structures are invoked to respond to two important challenges: one posed by the pessimist meta-induction and the other by the underdetermination of metaphysics by physics, which arises in non-relativistic quantum mechanics. We argue that difficulties in the proper understanding of what a structure is (...) undermines the realist component of the view. Given the difficulties, either realism should be dropped or additional metaphysical components not fully endorsed by science should be incorporated. (shrink)

More often than not, recently popular structuralist interpretations of physical theories leave the central concept of a structure insufficiently precisified. The incipient causal sets approach to quantum gravity offers a paradigmatic case of a physical theory predestined to be interpreted in structuralist terms. It is shown how employing structuralism lends itself to a natural interpretation of the physical meaning of causal set theory. Conversely, the conceptually exceptionally clear case of causal sets is used as a foil to illustrate how a (...) mathematically informed rigorous conceptualization of structure serves to identify structures in physical theories. Furthermore, a number of technical issues infesting structuralist interpretations of physical theories such as difficulties with grounding the identity of the places of highly symmetrical physical structures in their relational profile and what may resolve these difficulties can be vividly illustrated with causal sets. (shrink)

State of the art paper on the topic realism/anti-realism. The first part of the paper elucidates the notions of existence and independence of the metaphysical characterization of the realism/anti-realism dispute. The second part of the paper presents a critical taxonomy of the most important positions and doctrines in the contemporary literature on the domains of science and mathematics: scientific realism, scientific anti-realism, constructive empiricism, structural realism, mathematical Platonism, mathematical indispensability, mathematical empiricism, intuitionism, mathematical fictionalism and second philosophy.

Radical ontic structural realism (ROSR) asserts an ontological commitment to ‘free-standing’ physical structures understood solely in terms of fundamental relations, without any recourse to relata that stand in these relations. Bain ([2013], pp.1621–35) has recently defended ROSR against the common charge of incoherence by arguing that a reformulation of fundamental physical theories in category-theoretic terms (rather than the usual set-theoretic ones) offers a coherent and precise articulation of the commitments accepted by ROSR. In this essay, we argue that category theory (...) does not offer a more hospitable environment to ROSR than set theory. We also show that the application of category-theoretic tools to topological quantum field theory and to algebraic generalizations of general relativity do not warrant the claim that these theories describe ‘object-free’ structures. We conclude that category theory offers little if any comfort to ROSR. 1 Introduction: Ridding Structures of Objects2 The Set-theoretic Peril for Radical Ontic Structural Realism3 Bain’s Categorial Strategy to Save Radical Ontic Structural Realism4 Throwing out the Relations with the Relata5 Categorial and Set-theoretical Structures6 Radical Suggestions from Topological Quantum Field Theory?7 Sheaves of Einstein Algebras as Radical Structures?8 Conclusions. (shrink)

This paper argues that ontic structural realism (OSR) faces a dilemma: either it remains on the general level of realism with respect to the structure of a given theory, but then it is, like epistemic structural realism, only a partial realism; or it is a complete realism, but then it has to answer the question how the structure of a given theory is implemented, instantiated or realized and thus has to argue for a particular interpretation of the theory in question. (...) This claim is illustrated by examining how OSR fares with respect to the three main candidates for an ontology of quantum mechanics, namely many worlds-type interpretations, collapse-type interpretations and hidden variable-type interpretations. The result is that OSR as such is not sufficient to answer the question of what the world is like if quantum mechanics is correct. (shrink)

One of the most important arguments against scientific realism is underdetermination, so realists should address the argument satisfactorily and give an appropriate response to it. Underdetermination divides into holist and contrastive forms; in this article, we will only deal with the contrastive form. By examining different responses, it will turn out that while they are successful in some cases, there are instances where responses are not satisfactory. Specifically, two formulations of Newtonian mechanics are examined and the examination reveals an important (...) instance of underdetermination that cannot be accounted for by most responses. We argue that the appropriate option is ontic structural realism that can resolve the underdetermination. We also should emphasize that ontic structural realism is empirical and a posteriori, meaning that the truth of its claim must be examined on a case-by-case basis. (shrink)

I consider the idea of a structure of fundamental physical particles being causal. Causation is traditionally thought of as involving relations between entities—objects or events—that cause and are affected. On structuralist interpretations, however, it is unclear whether or how precisely fundamental particles can be causally efficacious. On some interpretations, only relations exist; on others, particles are ontologically dependent on their relations in ways that problematize the traditional picture. I argue that thinking about causal efficacy in this context generates an inevitable (...) pattern of reasoning. To assess the cogency of a given structuralist proposal one must take a stand with respect to a significant metaphysical challenge. Two options then emerge: skepticism about the form of structuralism at issue; or a dissolution of the challenge by means of a contentious ontological primitive. I contend that the choice between these options cannot be forced on scientific or philosophical grounds alone. (shrink)

This paper critically discusses recent objections that have been raised against the contextual understanding of fundamental physical objects advocated by non-eliminative ontic structural realism. One of these recent objections claims that such a purely relational understanding of objects cannot account for there being a determinate number of them. A more general objection concerns a well-known circularity threat: relations presuppose the objects they relate and so cannot account for them. A similar circularity objection has also been raised within the framework of (...) the weak discernibility claims made in the last few years about quantum particles. We argue that these objections rely either on mere metaphysical prejudice or on confusing the logico-mathematical formalism within which a physical theory is formulated with the physical theory itself. Furthermore, we defend the motivations for taking numerical diversity as a primitive fact in this context. (shrink)

We examine recent work in cognitive neuroscience that investigates brain networks. Brain networks are characterized by the ways in which brain regions are functionally and anatomically connected to one another. Cognitive neuroscientists use various noninvasive techniques (e.g., fMRI) to investigate these networks. They represent them formally as graphs. And they use various graph theoretic techniques to analyze them further. We distinguish between knowledge of the graph theoretic structure of such networks (structural knowledge) and knowledge of what instantiates that structure (nonstructural (...) knowledge). And we argue that this work provides structural knowledge of brain networks. We explore the significance of this conclusion for the scientific realism debate. We argue that our conclusion should not be understood as an instance of a global structural realist claim regarding the structure of the unobservable part of the world, but instead, as a local structural realist attitude towards brain networks in particular. And we argue that various local approaches to the realism debate, i.e., approaches that restrict realist commitments to particular theories and/or entities, are problematic insofar as they don't allow for the possibility of such a local structural realist attitude. (shrink)

Ontic structuralism or ontic structural realism in the philosophy of physics can be broadly considered as an interpretative strategy providing a set of conceptual and metaphysical tools—or, more ambitiously, an ontological framework—in order to account for central features of current fundamental physics. This article aims to review the main structuralist interpretative moves in the context of our two best fundamental physical theories of matter and spacetime, namely, quantum theory and general relativity. We highlight in particular the structuralist understanding of permutation (...) invariance, entanglement and nonlocality in quantum theory, and of the dynamical features of spacetime, diffeomorphism invariance and background independence in general relativity. (shrink)

Category theory has become central to certain aspects of theoretical physics. Bain has recently argued that this has significance for ontic structural realism. We argue against this claim. In so doing, we uncover two pervasive forms of category-theoretic generalization. We call these ‘generalization by duality’ and ‘generalization by categorifying physical processes’. We describe in detail how these arise, and explain their significance using detailed examples. We show that their significance is two-fold: the articulation of high-level physical concepts, and the generation (...) of new models. 1 Introduction2 Categories and Structuralism 2.1 Categories: abstract and concrete 2.2 Structuralism: simple and ontic3 Bain’s Two Strategies 3.1 A first strategy for defending Objectless 3.2 A second strategy for defending Objectless4 Two Forms of Categorical Generalization 4.1 Generalization by duality 4.2 Generalization by categorification 4.3 The role of category theory in physics5 Conclusion. (shrink)

Recent developments in the scientific realism debate have resulted in a form of ‘exemplar driven’ realism that eschews general ‘recipes’ and instead focuses on the specific, ‘local’ reasons for adopting a realist stance in particular theoretical contexts. Here I suggest that such a move highlights even more sharply the need for the realist to incorporate a health dose of metaphysics in her position, particularly when it comes to the theories associated with modern physics. Turning to another set of recent developments, (...) having to do with the relationship between metaphysics and science, I argue that the exemplar driven realist can appropriate certain current metaphysical devices to help make concrete her commitments. Specifically I focus on a kind of exemplar based structural realism and examine the adequacy of, first, the determinables-determinate relationship as presented by Wilson and, second, Paul’s ‘one category ontology, as such devices within this framework. (shrink)