Otávio Bueno

Hartry Field (1980) has developed an interesting nominalization strategy for Newtonian gravitation theory—a strategy that reformulates the theory without quantification over abstract entities. According to David Malament (1982), Field's strategy cannot be extended to quantum mechanics (QM), and so it only has a limited scope. In a recent work, Mark Balaguer has responded to Malament's challenge by indicating how QM can be nominalized, and by “doing much of the work needed to provide the nominalization” (Balaguer 1998, 114). In this paper, I critically assess Balaguer's proposal, and argue that it ultimately fails. Balaguer's strategy is incompatible with a number of interpretations of QM, in particular with Bas van Fraassen's version of the modal interpretation. And given that Balaguer's strategy invokes physically real propensities, it is unclear whether it is even compatible with nominalism. I conclude that the nominalization of QM remains a major problem for the nominalist.

In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones.

Thirteen up-and-coming researchers in the philosophy of mathematics have been invited to write on what they take to be the right philosophical account of mathematics, examining along the way where they think the philosophy of mathematics is and ought to be going. A rich and diverse picture emerges. Some broader tendencies can nevertheless be detected: there is increasing attention to the practice, language and psychology of mathematics, a move to reassess the orthodoxy, as well as inspiration from philosophical logic.

In this paper, I shall discuss the heuristic role of symmetry in the mathematical formulation of quantum mechanics. I shall first set out the scene in terms of Bas van Fraassen’s elegant presentation of how symmetry principles can be used as problem-solving devices (see van Fraassen [1989] and [1991]). I will then examine in what ways Hermann Weyl and John von Neumann have used symmetry principles in their work as a crucial problem-solving tool. Finally, I shall explore one consequence of this situation to recent debates about structural realism (SR) and empiricism in physics (Worrall [1989], Ladyman [1998], and French [1999]).

In this paper, I offer an inferential conception of computer simulations, emphasizing the role that simulations play as inferential devices to represent empirical phenomena. Three steps are involved in a simulation: an immersion step, a derivation step, and an interpretation and correction step. After presenting the view, I mention some cases, such as simulations of the current flow between silicon atoms and buckyballs as well as of genetic regulatory systems. I argue that the inferential conception accommodates the integration of empirical and theoretical data; it makes sense of the role that is played by false traits in a simulation, andhighlights the similarities and differences between simulations and scientific instruments.