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.

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.

According to the substantialist, substances should be regarded as the fundamental ontological category. It is substances that are the bearer of properties, that are causally efficacious and that compose the things we see and touch around us. Cumpa has argued that this metaphysics fits poorly with classical physics and Buonomo has extended this argument into the quantum realm. After reviewing their claims, I shall argue that simple reflection on the form of the Standard Model also undermines substantialism. I will then (...) explore Dasgupta’s qualitative factualism in this context before suggesting that modern physics does not compel us to adopt such a stance. The alternative is to adopt a form of structuralism which, although it may be rendered compatible with factualism, can also stand as a ‘third way’ between these stances. (shrink)

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We build (...) a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

In this work, we discuss a formal way of dealing with the properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to describe collections of elements that violate Leibnitz's principle of identity of indiscernibles. This framework allows us to consider a new ontology (...) in order to study the properties of quantum systems. (shrink)

In his paper ``What is Structural Realism?'' James Ladyman drew a distinction between epistemological structural realism and metaphysical (or ontic) structural realism. He also drew a suggestive analogy between the perennial debate between substantivalist and relationalist interpretations of spacetime on the one hand, and the debate about whether quantum mechanics treats identical particles as individuals or as `non-individuals' on the other. In both cases, Ladyman's suggestion is that an ontic structural realist interpretation of the physics might be just what is (...) needed to overcome the stalemate. The main thesis of this paper is that, whatever the interpretative difficulties of generally covariant spacetime physics are, they do not support or suggest structural realism. In particular, I hope to show that there is in fact no analogy that supports a similar interpretation of the metaphysics of spacetime points and of quantum particles. (shrink)

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

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...) objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

I discuss some questions of quantum physics, for instance the validity and limitations of the basic language of set theory to deal with problems related to elementary particles. I also present a sketch of a formalization of a “metaphysics of structures”, which might be useful for a kind of “ontic structural realism”, and briefly review the concept of quasi-truth, which underlies my way of understanding scientific theories and the scientific activity.

Some of the forerunners of quantum theory regarded the basic entities of such theories as 'non-individuals'. One of the problems is to treat collections of such 'things', for they do not obey the axioms of standard set theories like Zermelo- Fraenkel. In this paper, collections of objects to which the standard concept of identity does not apply are termed 'quasi-sets'. The motivation for such a theory, linked to what we call 'the Manin problem', is presented, so as its specific axioms. (...) At the end, it is shown how quantum statistics can be obtained within quasi-set thbeory. (shrink)

In physics, structures are good candidates for the role of transparadigmatic invariants, which entities can no longer play. This is why structural realism looks more credible than standard entity realism. But why should structures be stable, rather than entities? Here, structural realists have no answer ; they content themselves with the mere observation that this is how things stand. By contrast, transcendental structuralism can easily make sense of this fact. Indeed, it shows that when knowledge bears on phenomena, namely on (...) the emergent byproduct of a relation between the explorer and what is to be explored, this knowledge necessarily bears on relations between such phenomena. After a development on the clarifying power of transcendental structuralism, I turn to an early transcendental structuralist interpretation of quantum mechanics proposed by Jean-Louis Destouches. Destouches, an early French philosopher of physics, was a student of Louis de Broglie. He recasted in the 1940 the very concept of physical theory in the light of quantum physics. According to him, whenever phenomena are inextricably relative to the experimental set-up, a physical theory cannot provide anything beyond a list of interconnected predictions for future facts given a relevant class of past facts. In his general mathematical theory of predictions, the Ψ-functions of quantum mechanics do not refer to some “real” waves; they are shown to be nothing but the formal expression of the phenomena’s being relative to incompatible experimental contexts. Since the quantization of variables can itself be derived from a wave-mechanical formalism, it becomes clear that the most prominent features of quantum mechanics are a mere consequence of contextuality. Destouches thus proved that it is easy to make sense of quantum mechanics provided a reflective attitude is adopted. By contrast, too many difficulties arise when one tries at any cost to make quantum mechanics intelligible within a purely ontological framework. (shrink)

I briefly discuss the epistemological role of quasi-set theory in mathematics and theoretical physics. Quasi-set theory is a first order theory, based on Zermelo-Fraenkel set theory with Urelemente. Nevertheless, quasi-set theory allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that $x = x$ is not a formula, if $x$ is an arbitrary term. Basically, quasi-set theory offers us some sort of logical apparatus for questioning the need for (...) identity in some branches of mathematics and theoretical physics. I also use this opportunity to discuss a misunderstanding about quasi-sets due mainly to Nicholas J. J. Smith, who argues, in a general way, that sense cannot be made of vague identity. (shrink)