Geoffrey Hellman

The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the book considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained logical possibilities, and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives.

In an imagined dialogue between two figures called “Carnap*” and “Quine*” that appeared in the Library of Living Philosophers volume in 1986, certain proposals and clarifications of the linguistic doctrine were offered by Carnap* answering Quinean objections, but these were brushed aside rather breezily in a reply to this dialogue in the same volume by Quine himself. After a brief summary of the questions at issue in that earlier dialogue, Carnap* is here allowed a final reply, introducing yet another variant on his series of more precise formulations of the linguistic doctrine of logical truth and touching on other issues raised both by Quine* in the earlier dialogue and by Quine himself in his reply.

Recent technical developments in the logic of nominalism make it possible to improve and extend significantly the approach to mathematics developed in Mathematics without Numbers. After reviewing the intuitive ideas behind structuralism in general, the modal-structuralist approach as potentially class-free is contrasted broadly with other leading approaches. The machinery of nominalistic ordered pairing (Burgess-Hazen-Lewis) and plural quantification (Boolos) can then be utilized to extend the core systems of modal-structural arithmetic and analysis respectively to full, classical, polyadic third- and fourthorder number theory. The mathenatics of many structures of central importance in functional analysis, measure theory, and topology can be recovered within essentially these frameworks.

This paper explores the status of the von Neumann-Luders state transition rule (the "projection postulate") within "real-logic" quantum logic. The entire discussion proceeds from a reading of the Luders rule according to which, although idealized in applying only to "minimally disturbing" measurements, it nevertheless makes empirical claims and is not a purely mathematical theorem. An argument (due to Friedman and Putnam) is examined to the effect that QL has an explanatory advantage over Copenhagen and other interpretations which relativize truth-value assignments to experimental arrangements. Two versions of QL, the lattice-theoretic (LT) and partial-Boolean-algebra (PBA), are considered. It turns out that the projection postulate is intimately connected with the choice of conditional connective for QL. The effect of the projection postulate is obtained with the Sasaki conditional. However, this choice is found to require extra assumptions, on both the LT and PBA versions, which are either just as ad hoc as the projection postulate itself or indefensible from within the real-logic QL framework

Probably there is no position in Goodman’s corpus that has generated greater perplexity and criticism than Goodman’s “nominalism”. As is abundantly clear from Goodman’s writings, it is not “abstract entities” generally that he questions—indeed, he takes sensory qualia as “basic” in his Carnap-inspired constructional system in Structure—but rather just those abstracta that are so crystal clear in their identity conditions, so fundamental to our thought, so prevalent and seemingly unavoidable in our discourse and theorizing that they have come to form the generally accepted framework for the most time-honored, exact, sophisticated, refined, central, and secure branch of human knowledge yet devised, mathematics itself! Of all the abstracta to question, why sets? Of course, Goodman gave his “reasons”, the unintelligibility of “generating” an infinitude of “constructed objects” automatically from any given object or objects. But critics have been quick to point out that set theory is intended not as a theory of what can be “generated” or “constructed” from given objects in any literal sense but rather as a theory of a certain realm of objects independently existing in their own right. “Construction” is a metaphor.

Standard presentations of axioms for set theory as truths simpliciter about actual-objects the sets-confront a number of puzzles associated with platonism and foundationalism. In his classic, Zermelo suggested an alternative "many worlds" view. Independently, Putnam proposed something similar, explicitly incorporating modality. A modal-structural synthesis of these ideas is sketched in which obstacles to their formalization are overcome. Extendability principles are formulated and used to motivate many small large cardinals. The use of second-order logic as a coherent and clear framework for set theory is supported

In the …rst part of this paper, the origins of modal-structuralism are traced from Hilary Putnam’s seminal article, "Mathematics without Foundations" (1967) to its transformation and development into the author’s modal-structural approach. The addition of a logic of plurals is highlighted for its recovery (in combination with the resources of mereology) of full, second-order logic, essential for articulating a good theory of mathematical structures. The second part concentrates on the motivation of large trans…nite cardinal numbers, arising naturally from the second-order machinery combined with an extendability principle on structures for set theories due independently to Zermelo (1930) and Putnam (in the paper just cited). The power of this is enhanced by a novel modal re‡ection principle recently introduced by the author. This is illustrated in detail with the …rst axiom of in…nity: After reviewing some of the trouble this basic classical axiom has caused for previous foundational programs, we show how it is derived easily using the re‡ection principle and a weak form of extendability for …nite structures. We conclude with some comparative remarks on how this improves on the closest set-theoretic analogue to the present proposal.

After some introductory remarks on "experimental metaphysics", a brief survey of the current situation concerning the major types of hidden-variable theories and the inexistence proofs is presented. The category of stochastic, contextual, local theories remains open. Then the main features of a logical analysis of "locality" are sketched. In the deterministic case, a natural "light-cone determination" condition helps bridge the gap that has existed between the physical requirements of the special theory of relativity and formal conditions used in proving the Bell -Wigner theorem. Natural generalization to the stochastic type, taking account of the distinction between epistemic and physical probabilities, leads to a series of independence claims constituting some significant limitations on generalized Bell theorems. In particular, the conditional stochastic independence requirement is seen both to go beyond the demand of compliance with the STR and to be a genuine necessity in deriving any Bell theorem for the stochastic case. The conclusion is also supported that, if determinism is given up, the Bell theorems and experiments do not pose an additional obstacle to unifying relativity theory and quantum mechanics beyond what is already posed by the "instantaneous" collapse of the wave function

There are a number of regions-based accounts of space/time, due to Whitehead, Roeper, Menger, Tarski, the present authors, and others. They all follow the Aristotelian theme that continua are not composed of points: each region has a proper part. The purpose of this note is to show how to recapture ‘points’ in such frameworks via Scottish neo-logicist abstraction principles. The results recapitulate some Aristotelian themes. A second agenda is to provide a new arena to help decide what is at stake when adjudicating issues concerning the identity of neo-logicist abstracts — so-called ‘Caesar questions’.

In a recent paper, while discussing the role of the notion of analyticity in Carnap’s thought, Howard Stein wrote: “The primitive view–surely that of Kant–was that whatever is trivial is obvious. We know that this is wrong; and I would put it that the nature of mathematical knowledge appears more deeply mysterious today than it ever did in earlier centuries – that one of the advances we have made in philosophy has been to come to an understanding of just ∗I am grateful to audiences at the Steinfest, University of Chicago, May 21-23, 1999, and at the Philosophy of Mathematics Conference at the University of California, Santa Barbara, Feb. 4-6, 2000, and especially to Stewart Shapiro and Tony Anderson, for helpful comments on earlier drafts of this paper

Two EPR arguments are reviewed, for their own sake, and for the purpose of clarifying the status of "stochastic" hidden variables. The first is a streamlined version of the EPR argument for the incompleteness of quantum mechanics. The role of an anti-instrumentalist ("realist") interpretation of certain probability statements is emphasized. The second traces out one horn of a central foundational dilemma, the collapse dilemma; complex modal reasoning, similar to the original EPR, is used to derive determinateness (of all spin components of two spin- 1 / 2 particles in the singlet state) from just (a form of) weak locality, result definiteness, and an assumption on propensities based on conservation. Theories meeting these conditions are therefore constrained by the Bell inequalities. Neither controversial assumptions of "strong locality" ("factorability") nor of determinism are employed in the derivation. The categories of "stochastic hidden variables" are then analyzed; one can focus on "quasi-definite" theories, without loss of generality. A means of excluding these is proposed, based on a demand that certain ideal cases be accurately treated. Theorems from quantum measurement theory, sometimes cited as showing that such cases are not physically possible, are found inapplicable