According to Peter Galison, the coordination of different “subcultures” within a scientific field happens through local exchanges within “trading zones.” In his view, the workability of such trading zones is not guaranteed, and science is not necessarily driven towards further integration. In this paper, we develop and apply quantitative methods (using semantic, authorship, and citation data from scientific literature), inspired by Galison’s framework, to the case of the disunity of high-energy physics. We give prominence to supersymmetry, a concept that has (...) given rise to several major but distinct research programs in the field, such as the formulation of a consistent theory of quantum gravity or the search for new particles. We show that “theory” and “phenomenology” in high-energy physics should be regarded as distinct theoretical subcultures, between which supersymmetry has helped sustain scientific “trades.” However, as we demonstrate using a topic model, the phenomenological component of supersymmetry research has lost traction and the ability of supersymmetry to tie these subcultures together is now compromised. Our work supports that even fields with an initially strong sentiment of unity may eventually generate diverging research programs and demonstrates the fruitfulness of the notion of trading zones for informing quantitative approaches to scientific pluralism. (shrink)

Measurement results are stated in terms of sentences ascribing measured values, as obtained via measurement processes, to measurands, as defined by measuring agents. Since both the definition of the measurands and the characterization of the processes depend on models constructed on the basis of relevant theories, the issue arises of the theory dependence of the truth of those sentences. This paper aims at assessing the question by introducing suitable distinctions about the sense and reference of the terms used to refer (...) to individual and general quantities, in a framework where measurement is construed as an agent-dependent, model-based, purpose-driven activity. (shrink)

Philosophy of Physics has emerged recently as a scholarly important subfield of philosophy of science. However outside the small community of experts it is not a well-known field. It is not clear even to experts the exact nature of the field: how much philosophical is it? What is its relation to physics? In this work it is presented an overview of philosophy of physics that tries to answer these and other questions.

In French mechanical treatises of the nineteenth century, Newton’s second law of motion was frequently derived from a relativity principle. The origin of this trend is found in ingenious arguments by Huygens and Laplace, with intermediate contributions by Euler and d’Alembert. The derivations initially relied on Galilean relativity and impulsive forces. After Bélanger’s Cours de mécanique of 1847, they employed continuous forces and a stronger relativity with respect to any commonly impressed motion. The name “principle of relative motions” and the (...) very idea of using this principle as a constructive tool were born in this context. The consequences of Poincaré’s and Einstein’s awareness of this approach are analyzed. Lastly, the legitimacy and significance of a relativity-based derivation of Newton’s second law are briefly discussed in a more philosophical vein. (shrink)

In two occasions a Bibliography of Structuralism has been published in Erkenntnis (1989, 1994). Since then a lot of water has flowed under the bridge and the structuralist program has shown a continuous development. The aim of the present bibliography is to celebrate the 25th anniversary of the publication of An Architectonic for Science –structuralism’s main reference work– and of its recent translation into Spanish by updating the previous bibliographies with titles which have appeared since 1994 as well as before (...) that year but which are not included in them. As in the former deliveries, this bibliography only covers books and articles that are concerned directly with the structuralist approach in the philosophy of science. We would like to thank the many colleagues who have helped us in collecting all the information. Notwithstanding we apologize in advance for the possible entries that we missed to include in this third Bibliography of Structuralism. (shrink)

Most philosophical accounts on scientific theories are affected by three dogmas or ingrained attitudes. These dogmas have led philosophers to choose between analyzing the internal structure of theories or their historical evolution. In this paper, I turn these three dogmas upside down. I argue (i) that mathematical practices are not epistemically neutral, (ii) that the morphology of theories can be very complex, and (iii) that one should view theoretical knowledge as the combination of internal factors and their intrinsic historicity.

The philosopher of science faces overwhelming disagreement in the literature on the definition, nature, structure, ontology, and content of scientific theories. These disagreements are at least partly responsible for disagreements in many of the debates in the discipline which put weight on the concept scientific theory. I argue that available theories of theories and conceptual analyses of theory are ineffectual options for addressing this difficulty: they do not move debates forward in a significant way. Directing my attention to debates about (...) the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective way to make progress in the face of the noted problem: post-reformulation disagreements about theory cannot compromise the debate, and the questions that really matter can still be asked and answered. In addition the reformulation process demands that philosophers engage with science and the history of science in a more serious way than is usual in order to answer important questions about the justification for targeting a particular set of propositions (say) in a given context. All things considered, we should expect the benefits of a theory-eliminating debate-reformulation to heavily outweigh the costs for a highly significant number of debates of the relevant type. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

L’enjeu de cet article est d’exposer les principaux aspects du débat philosophique contemporain autour de la conception de l’ a priori de Michael Friedman. Ce dernier a défendu l’existence de principes constitutifs a priori permettant de coordonner la structure mathématique des théories physiques avec l’expérience sensorielle. Bien qu’il s’appuie sur la conception cassirérienne de l’ a priori pour défendre une continuité entre les structures mathématiques des théories, Friedman, dans la lignée d’Hans Reichenbach, conçoit ces principes constitutifs comme révisables en fonction (...) des changements de théories physiques. Cette conception des principes constitutifs s’est vu reprocher un certain arbitraire dans le choix de ses principes, mais également son insuffisance et son simplisme pour décrire la manière avec laquelle les théories physiques s’appliquent à l’expérience. Enfin, il ne semble pas que l’on puisse, comme Friedman, réduire l’ a priori d’Ernst Cassirer à son rôle régulateur, puisque celui-ci concevrait également des principes constitutifs alternatifs à ceux de Reichenbach. (shrink)

Euclidean geometry, statics, and classical mechanics, being in some sense the simplest physical theories based on a full-fledged mathematical apparatus, are well suited to a historico-philosophical analysis of the way in which a physical theory differs from a purely mathematical theory. Through a series of examples including Newton’s Principia and later forms of mechanics, we will identify the interpretive substructure that connects the mathematical apparatus of the theory to the world of experience. This substructure includes models of experiments, models of (...) measurement, and modular connections with partial theories. It evolves during the life of a theory as physicists learn how to apply it in various contexts. It should nevertheless be regarded as an integral part of a genuine physical theory since the theory would otherwise degenerate into pure mathematics. (shrink)

The philosophical significance attached to the construction of systems of units has traditionally been confined to the notion of convention, while their adoption was considered to be the exclusive province of the history and sociology of science. Against this tradition, a close articulation between history, philosophy, and sociology of science is needed in order to analyse the recent reform of the International system of units. In the new SI, units are redefined on the basis of certain fundamental constants of nature, (...) established by physical theories, whose values are fixed without uncertainty. The purpose of this article is to show that the redefinition of SI units, far from being a convention, involves a holistic reconstruction of our concepts of quantities from accepted theoretical laws. Fixing the values of the defining constants stabilizes these laws within the framework of physics through a twofold adjustment procedure that ensures both a semantic coordination between theory and world and an intersubjective coordination between human agents required by social activities. This double adjustment implies a treatment of uncertainties that results in closely entwining the pursuit of truth as correspondence and truth as coherence which turn out to be complementary, thus highlighting the anthropological underpinnings of scientific realism. (shrink)

The relativistic revolution led to varieties of neo-Kantianism in which constitutive principles define the object of scientific knowledge in a domain-dependent and historically mutable manner. These principles are a priori insofar as they are necessary premises for the formulation of empirical laws in a given domain, but they lack the self-evidence of Kant’s a priori and they cannot be identified without prior knowledge of the theory they purport to frame. In contrast, the rationalist endeavors of a few masters of theoretical (...) physics have led to comprehensibility conditions that are easily admitted in a given domain and yet suffice to generate the theory of this domain. The purpose of this essay is to compare these two kinds of relativized a priori, to discuss the nature of the comprehensibility conditions, and to demonstrate their effectiveness in a modular conception of physical theories. (shrink)

This paper studies the structure of semantic theories over modular computational systems and applies the algebraic Theory of Institutions to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of ∑‐models mapped from the category Th of ∑‐theories (...) and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions INS, where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in INS at any level occurs iff the same morphism occurs at the lower level alongside the Th hierarchy. (shrink)

Disagreements about the definition, nature, structure, ontology, and content of scientific theories are at least partly responsible for disagreements in other debates in the philosophy of science. I argue that available theories of theories and conceptual analyses of *theory* are ineffectual options for overcoming this difficulty. Directing my attention to debates about the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective (...) way to make real progress in the face of the noted problem. After the recommended reformulation questions of genuine importance to philosophy of science can still be asked and answered, but now without any possibility of disagreements about ‘theories’ compromising the debate. (shrink)

PhD dissertation addressing what can be called conceptual-mathematical anomalies in quantum electrodynamics. This work can be seen as following the line of philosophy of physics studies of quantum field theory that started to emerge in a systematic way in the early eighties of last century. One example is Teller’s work on standard quantum electrodynamics.In this work, by following a historical approach, I will return to the standard version of quantum electrodynamics, which is the only one available when we want to (...) get numbers out to compare with experimental results. This work spins around two main vectors. One is the divergence of the S-matrix series expansion, the other is the spatio-temporal description of physical processes in the theory. (shrink)