Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems.

Scientists appeal to models when explaining phenomena. Such explanations are often dubbed model explanations or model-based explanations. But what are the precise conditions for ME? Are ME special explanations? In our paper, we first rebut two definitions of ME and specify a more promising one. Based on this analysis, we single out a related conception that is concerned with explanations that are induced from working with a model. We call them ‘model-induced explanations’. Second, we study three paradigmatic cases of alleged (...) ME. We argue that all of them are MIE, upon closer examination. Third, we argue that this undermines the building consensus that model explanations are special explanations that, e.g., challenge the factivity of explanation. Instead, it suggests that what is special about models in science is the epistemology behind how models induce explanations. (shrink)

This article proposes to explicate theoretical equivalence by supplementing formal equivalence criteria with preservation conditions concerning interpretation. I argue that both the internal structure of models and choices of morphisms are aspects of formalisms that are relevant when it comes to their interpretation. Hence, a formal criterion suitable for being supplemented with preservation conditions concerning interpretation should take these two aspects into account. The two currently most important criteria—gener-alized definitional equivalence (Morita equivalence) and categorical equivalence—are not optimal in this respect. (...) I put forward a criterion that takes both aspects into account: the criterion of definable categorical equivalence. (shrink)

I argue that philosophical issues concerning reductive explanations help constrain the construction of quantum theories with appropriate state spaces. I illustrate this general proposal with two examples of restricting attention to physical states in quantum theories: regular states and symmetry-invariant states. 1Introduction2Background2.1 Physical states2.2 Reductive explanations3The Proposed ‘Correspondence Principle’4Example: Regularity5Example: Symmetry-Invariance6Conclusion: Heuristics and Discovery.

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)