-
41Responses to Maher, and to Kelly, Schulte, and JuhlPhilosophy of Science 64 (2): 317-322. 1997.None
-
68Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed, or proposed, by logical analysis. The Fregean definition of cardinal number, for example, is viewed as (essentially) correct, not merely adequate for mathematics. And Dedekind’s “structuralist” views come in for criticism in the Principles. But, on reflection, Russell also flirted with views very close to a (different) version of structuralism. Main varieties of modern…Read more
-
49Neither categorical nor set-theoretic foundationsReview of Symbolic Logic 6 (1): 16-23. 2013.First we review highlights of the ongoing debate about foundations of category theory, beginning with Fefermantop-down” approach, where particular categories and functors need not be explicitly defined. Possible reasons for resisting the proposal are offered and countered. The upshot is to sustain a pluralism of foundations along lines actually foreseen by Feferman (1977), something that should be welcomed as a way of resolving this long-standing debate
-
245The classical continuum without pointsReview of Symbolic Logic 6 (3): 488-512. 2013.We develop a point-free construction of the classical one- dimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quantification. In some respects this realizes ideas going back to Aristotle,although, unlike Aristotle, we make free use of classical "actual infinity". Also, in contrast to intuitionistic, Bishop, and smooth infinitesimal analysis, we follow classical analysis in allowing partitioning of our "gunky line" into mutually ex…Read more
-
321995–1996 annual meeting of the association for symbolic logicBulletin of Symbolic Logic 2 (4): 448-472. 1996.
-
68Stochastic Einstein-locality and the bell theoremsSynthese 53 (3). 1982.Standard proofs of generalized Bell theorems, aiming to restrict stochastic, local hidden-variable theories for quantum correlation phenomena, employ as a locality condition the requirement of conditional stochastic independence. The connection between this and the no-superluminary-action requirement of the special theory of relativity has been a topic of controversy. In this paper, we introduce an alternative locality condition for stochastic theories, framed in terms of the models of such a th…Read more
-
8From Constructive to Predicative MathematicsIn John Earman & John Norton (eds.), The Cosmos of Science, University of Pittsburgh Press. pp. 6--153. 1997.
Areas of Specialization
Aesthetics |
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Philosophy of Physical Science |
Areas of Interest
17th/18th Century Philosophy |