Abstract
We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time.
Similar content being viewed by others
REFERENCES
Blumenthal, L. M. and K. Menger: 1970, Studies in Geometry, W. H. Freeman and Company, San Francisco.
Carnap, R.: 1958, Introduction to Symbolic Logic and its Applications, (translated by William H. Meyer and John Wilkinson from the original, German edition, published in 1954), Dover, New York.
Chiappin, J. R.: 1989, Duhem's Theory of Science: An Interplay Between Philosophy and History of Science, Ph.D. thesis, University of Pittsburgh.
da Costa, N. C. A.: 1989, 'Logic and Pragmatic Truth', in Fenstad et al. (eds), pp. 247–261.
da Costa, N. C. A. and R. Chuaqui: 1988, 'On Suppes' Set Theoretical Predicates', Erkenntnis 29, 95–112.
da Costa, N. C. A., R. Chuaqui and O. Bueno: forthcoming, 'The Logic of Quasi-Truth', in Notas de la Socidad de Matemá ticas de Chile.
da Costa, N. C. A. and S. French: 1990, 'The Model Theoretic Approach in the Philosophy of Science', Philosophy of Science 57, 248–265.
da Costa, N. C. A. and S. French: 1993, 'Towards an Acceptable Theory of Acceptance: Partial Structures and the General Correspondence Principle', in French and Kamminga (eds), pp. 137–158.
Earman, J.: 1989, World Enough and Space-Time, MIT Press, Cambridge, MA.
Fenstad, J. E. et al. (eds): 1989, Logic, Methodology and Philosophy of Science VII, Elsevier Science Publishers, Amsterdam.
French, S. and Kamminga (eds): 1993, Correspondence, Invariance and Heuristics: Essays in Honor of Heinz Post. Reidel, Dordrecht.
Ladyman, I.: 1998, 'Structural Realism: Epistemology of Metaphysics?', forthcoming in Studies in History and Philosophy of Science.
Menger, K.: 1940, 'Topology Without Points', Rice Institute Pamphlets 27, 81–107.
Mikenberg, I., N. C. A. da Costa, and R. Chuaqui: 1986, 'Pragmatic Truth and Approximation to Truth', The Journal of Symbolic Logic 51, 201–221.
Russell, B.: 1914, Our Knowledge of the External World, The Open Court Publishing Company, La Salle.
Saunders, S.: 1993, 'To What Physics Corresponds', in French and Kamminga (eds), pp. 295–325.
Sklar, L.: 1992, The Philosophy of Physics, Oxford University Press, Oxford.
Stein, H.: 1977, 'On Space-Time and Ontology', in J. Earman, C. Glymour, and J. Stachel (eds), Foundations of Space-Time Theories. Minnesota Studies in the Philosophy of Science, Vol. VIII. University of Minnesota Press, Minneapolis, pp. 374–402.
Suppes, P.: 1957, Introduction to Logic, van Nostrand Reinhold, New York.
Suppes, P.: 1967, Set-Theoretical Structures in Science, manuscript, University of Stanford, Stanford.
Suppes, P.: 1988, 'Representation Theory and the Analysis of Structure', Philosophia Naturalis 25, 254–268.
Torretti, R.: 1990, Creative Understanding, Chicago University Press, Chicago.
Whitehead, A. N.: 1919, An Enquiry Concerning the Principles of Natural Knowledge, Cambridge University Press, Cambridge.
Worrall, J.: 1989, 'Structural Realism: The Best of Both Worlds?', Dialectica 43, 99–124.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
da Costa, N.C.A., Bueno, O. & French, S. Suppes Predicates for Space-Time. Synthese 112, 271–279 (1997). https://doi.org/10.1023/A:1004984927979
Issue Date:
DOI: https://doi.org/10.1023/A:1004984927979