Abstract
James Thomson envisaged a lamp which would be turned on for 1 minute, off for 1/2 minute, on for 1/4 minute, etc. ad infinitum. He asked whether the lamp would be on or off at the end of 2 minutes. Use of “internal set theory” (a version of nonstandard analysis), developed by Edward Nelson, shows Thomson's lamp is chimerical; its copy within set theory yields a contradiction. The demonstration extends to placing restrictions on other “infinite tasks” such as Zeno's paradoxes of motion and Kant's First Antinomy. Resolution of such logical-philosophical problems leads to some very general constraints which must be placed upon the syntax of physical theories. In particular, at some scale space and time would appear granular. The suitability of internal set theory for analyzing phenomena is examined, using a paper by Alper and Bridger (1997) to frame the discussion.
Similar content being viewed by others
REFERENCES
Alper, Joseph S. and Mark Bridger: 1997, ‘Mathematics, Models and Zeno's Paradoxes’, Synthese 110(1), 143–66.
Benacerraf, Paul: 1962, ‘Tasks, Super-Tasks, and the Modern Eleatics’, Journal of Philosophy LIX, 765–84.
Benacerraf, Paul: 1973, ‘Mathematical Truth’, Journal of Philosophy 70(19), 661–79.
Black, Max: 1954, ‘Is Achilles Still Running?’, Problems of Analysis, Cornell University Press, Ithaca, pp. 115–6.
Borel, Emile: 1950/1963, Probability and Certainty, Walker, New York (first published as Probabilite et Certitude, Presses Universitaires de France).
Cajori, Florian: 1915, ‘The History of Zeno's Arguments on Motion’, The American Mathematical Monthly XXII(3), 77–8.
Cao, Tian Yu: 1993, ‘New Philosophy of Renormalization: From the Renormalization Group Equations to Effective Field Theories’, in Renormallzation ftom Lorentz to Landau (and Beyond), Laurie M. Brown (ed.), Springer-Verlag, New York, pp. 103–4.
Cohen, Paul J.: 1966, Set Theory and the Continuum Hypothesis, W. A. Benjamin, Inc., Reading, Massachusetts, Ch. II.
Dehaene, Stanislas: 1997, The Number Sense, Oxford University Press, New York and Oxford, pp. 86–8.
Earman, John: 1995, Bangs, Crunches, Whimpers, and Shrieks: Singularities and Acausalities in Relativistic Spacetimes, Oxford University Press, Oxford.
Elmore, William C. and Mark A. Heald: 1985, Physics of Waves, Dover Publications, Inc., New York, p. 423.
Feynman, Richard: 1967, The Character of Physical Law, The MIT Press, Cambridge.
Forrest, Peter: 1995, ‘Is Space-Time Discrete or Continuous? — An Empirical Question’, Synthese 103(3), 327–54.
Gödel, Kurt: 1983, ‘What is Cantor's Continuum Problem?’, Philosophy of Mathematics, second edition, in Paul Benacerraf and Hilary Putnam (eds.), Cambridge University Press, Cambridge, pp. 483–4.
Groarke, Leo: 1982, ‘Zeno's Dichotomy: Undermining the Modern Response’, Auslegung 9, 67–75.
Guthrie, W. K. C.: 1981, Aristotle, an Encounter (vol. VI in his History of Greek Philosophy), Cambridge University Press, Cambridge, p. 193.
Hawking, Stephen W.: 1988, A Brief History of Time, Bantam Books, Toronto, p. 88.
Hawking, S. W. and G. F. R. Ellis: 1973, The Large Scale Structure of Space-Time, Cambridge University Press, Cambridge, Ch. 8.
Kemp Smith, Norman (tr.): 1929, Immanuel Kant's Critique of Pure Reason, The Macmillan Company, New York, pp. 396–8.
Lindsay, Robert Bruce and Henry Margenau: 1957, Foundations of Physics, Dover Publications, Inc., New York, (revision of 1936 edition), Chapter X.
Lotze, Hermann: 1887, Metaphysics, vol. 1, translated by Bernard Bosanquet, Clarendon Press, Oxford, p. 313.
McLaughlin, William I. and Sylvia L. Miller: 1992, ‘An Epistemological Use of Nonstandard Analysis to Answer Zeno's Objections Against Motion’, Synthese 92(3), 371–84.
Maddy, Penelope: 1997, Naturalism in Mathematics, Clarendon Press, Oxford, pp. 36–7.
Nelson, Edward: 1977, ‘Internal Set Theory: A New Approach to Nonstandard Analysis’, Bulletin of the American Mathematical Society 83(6), 1165–98.
Robinson, Abraham: 1974, Non-Standard Analysis, second edition (first edition, 1966), American Elsevier, New York.
Sorabji, Richard: 1983, Time, Creation and the Continuum, Gerald Duckworth and Co. Ltd., London, Chapter 21.
Steen, Lynn Arthur and J. Arthur Seebach, Jr.: 1978, Counterexamples in Topology, second edition, Springer-Verlag, New York, pp. 75–6.
Thomson, James: 1954–5, ‘Tasks and Super-Tasks’, Analysis XV, 1–13.
Thorne, Kip S.: 1994, Black Holes & Time Warps, W. W. Norton & Company, New York, p. 495.
Van Ness, H. C.: 1969, Understanding Thermodynamics, McGraw-Hill Book Co., New York (reprinted by Dover Publications, Inc., New York, 1983), pp. 1–8.
Waterfield, Robin: 1996, Aristotle: Physics, Oxford University Press, Oxford and New York, p. 219 and p. 220.
White, Michael J.: 1982, ‘Zeno's Arrow, Divisible Infinitesimals, and Chrysippus’, Phronesis XXVII(3), 239–54.
White, Michael J.: 1992, The Continuous and the Discrete, Clarendon Press, Oxford.
Whitehead, Alfred North: 1978, Process and Reality, corrected edition (original edition, 1929), David Ray Griffin and Donald W. Sherburne (eds), pp. 18–9.
Wigner, Eugene P.: 1960, ‘The Unreasonable Effectiveness of Mathematics in the Natural Sciences’, Comm. on Pure and Applied Math. 13, 1–14.
Wolf, Fred Alan: 1981, Taking the Quantum Leap, Harper & Row, San Francisco, p.21.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
McLaughlin, W.I. Thomson's Lamp is Dysfunctional. Synthese 116, 281–301 (1998). https://doi.org/10.1023/A:1005045200162
Issue Date:
DOI: https://doi.org/10.1023/A:1005045200162