Stephen Leeds

Constructive Empiricism, the view introduced in The Scientific Image, is a view of science, an answer to the question “what is science?” Arthur Fine’s and Paul Teller’s contributions to this symposium challenge especially two key ideas required to formu- late that view, namely the observable/unobservable and accept- ance/belief distinctions. I wish to thank them not only for their insightful critique but also for the support they include. For they illuminate and counter some misunderstandings of Constructive Empiricism along the way. That leaves me free to focus on those two main challenges. The three of us share a good deal of common history. So it is perhaps only remarkable, and not astonishing, that we now share a common leaning to Pragmatism in philosophy. Of us three I am clearly themost conservative in this respect, especially as pertaining to truth, reference, and belief.2 Arthur Fine showed very nicely how Constructive Empiricism could have been conceived under the canopy of Dewey’s Instrumentalism. Much of it could appear as a Corollary to that sort of Instrumentalism, I agree. But in fact Iwould not be happy to land in that general Pragmatist position

David Malament has recently responded to David Albert's argument that classical electrodynamics is not time-reversal invariant by introducing a novel conception of time reversal, which supports the conventional view that under time reversal the magnetic field changes sign but the electric field remains unchanged. I will argue here that Malament's transformation has both passive and active versions. I will claim that the passive version is not relevant to Albert's argument, and the active version does not lead to the conventional transformation.

I propose a different way of thinking about metaphysical and physical necessity: namely that the fundamental notion of necessity is what would ordinarily be called "truth in all physically possible worlds" – a notion which includes the standard physical necessities and the metaphysical ones as well; I suggest that the latter are marked off not as a stricter kind of necessity but by their epistemic status. One result of this reconceptualization is that the Descartes-Kripke argument against naturalism need no longer trouble us. I end by relating the difference between my view and the standard view to the question, whether there could have been a different world than ours.

What are the objects of the so-called ‘propositional attitudes’ — belief, desire, and the like? One of the best-known accounts holds them to be sentences. According to this account — which I shall call the ‘linguistic theory’ — an analysis of the logical form of a sentence like John believes that the moon is roundwill see the word ‘that’ as a hidden pair of quotation marks: except for niceties of idiom, might be written John believes ‘the moon is round’. asserts that a certain relation, the ‘believes’-relation, holds between John and the sentence ‘the moon is round’.

In their paper "Why Gibbs Phase Averages Work--The Role of Ergodic Theory" (1980), David Malament and Sandy Zabell attempt to explain why phase averaging over the microcanonical ensemble gives correct predictions for the values of thermodynamic observables, for an ergodic system at equilibrium. Their idea is to bypass the traditional use of limit theorems, by relying on a uniqueness result about the microcanonical measure--namely, that it is uniquely stationary translation-continuous. I argue that their explanation begs questions about the relationship between thermodynamic equilibrium and statistical equilibrium; I argue in addition that any account which supports their view of the relationship between these two notions of equilibrium will likely use the limit theorems in traditional ways, and thereby bypass the explanation they offer

I argue that Earman and Norton's familiar "hole argument" raises questions as to whether GTR is a deterministic theory only given a certain assumption about determinism: namely, that to ask whether a theory is deterministic is to ask about the physical situations described by the theory. I think this is a mistake: whether a theory is deterministic is a question about what sentences can be proved within the theory. I show what these sentences look like: for interesting theories, a harmless bit of infinitary logic puts in an appearance