Hostname: page-component-848d4c4894-8kt4b Total loading time: 0 Render date: 2024-06-17T01:24:34.075Z Has data issue: false hasContentIssue false

Reduction, Representation and Commensurability of Theories

Published online by Cambridge University Press:  01 April 2022

Peter Schroeder-Heister
Affiliation:
Fachgruppe Philosophie Universität Konstanz
Frank Schaefer
Affiliation:
Fakultät für Mathematik Universität Konstanz

Abstract

Theories in the usual sense, as characterized by a language and a set of theorems in that language (“statement view”), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models (“non-statement view”, J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called “representations” of theories in the statement sense and vice versa, where representations are understood as functions that map sentences of one theory into another theory. It is argued that commensurability between theories should be based on functions on open formulas and open terms so that reducibility does not necessarily imply commensurability. This is in accordance with a central claim by Stegmüller on the compatibility of reducibility and incommensurability that has recently been challenged by D. Pearce.

Type
Research Article
Copyright
Copyright © 1989 by the Philosophy of Science Association

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

The results reported here were presented in part at the 11th International Wittgenstein Symposium, Kirchberg am Wechsel (Austria), August 4–13, 1986, and at the Department of Philosophy of the University of Helsinki in December 1987. We would like to thank Martin Carrier, Hans Rott and two anonymous referees for many helpful comments on an earlier version of this paper, David Pearce for his stimulating remarks on our abstracted version for the Wittgenstein Symposium, Heinrich Kehl for his literature hints, and Stephen Read and Ron Feemster for revising the English.

Our paper is dedicated to Jürgen Mittelstraß on the occasion of his 50th birthday.

References

REFERENCES

Adams, E. W. (1959), “The Foundations of Rigid Body Mechanics and the Derivation of its Laws from Those of Particle Mechanics”, in L. Henkin, P. Suppes, A. Tarski (eds.), The Axiomatic Method. Amsterdam: North-Holland, pp. 250265.CrossRefGoogle Scholar
Balzer, W. (1985), “Incommensurability, Reduction, and Translation”, Erkenntnis 23: 255267.CrossRefGoogle Scholar
van Benthem, J., and Pearce, D. (1984), “A Mathematical Characterization of Interpretation between Theories”, Studia Logica 43: 295303.CrossRefGoogle Scholar
Bonevac, D. A. (1982), Reduction in the Abstract Sciences. Indianapolis: Hackett.Google Scholar
Eberle, R. A. (1971), “Replacing One Theory by Another under Preservation of a Given Feature”, Philosophy of Science 38: 486501.CrossRefGoogle Scholar
Feferman, S. (1974), “Two Notes on Abstract Model Theory I. Properties Invariant on the Range of Definable Relations between Structures”, Fundamenta Mathematicae 82: 153165.CrossRefGoogle Scholar
Feyerabend, P. K. (1962), “Explanation, Reduction, and Empiricism”, in H. Feigl and G. Maxwell (eds.), Scientific Explanation, Space, and Time. Minnesota Studies in the Philosophy of Science, vol. 3. Minneapolis: University of Minnesota Press, pp. 2897.Google Scholar
Kuhn, T. S. [1962] (1970), The Structure of Scientific Revolutions, 2nd ed. Chicago: University of Chicago Press.Google Scholar
Mayr, D. (1976), “Investigations of the Concept of Reduction I”, Erkenntnis 10: 275294.CrossRefGoogle Scholar
Pearce, D. (1982a), “Stegmüller on Kuhn and Incommensurability”, British Journal for the Philosophy of Science 33: 389396.CrossRefGoogle Scholar
Pearce, D. (1982b), “Logical Properties of the Structuralist Concept of Reduction”, Erkenntnis 18: 307333.CrossRefGoogle Scholar
Pearce, D. (1986), “Incommensurability and Reduction Reconsidered”, Erkenntnis 24: 293308.CrossRefGoogle Scholar
Rott, H. (1987), “Reduction: Some Criteria and Criticisms of the Structuralist Concept”, Erkenntnis 27: 231256.CrossRefGoogle Scholar
Shapiro, S. (1985), “Second-Order Languages and Mathematical Practice”, Journal of Symbolic Logic 50: 714742.CrossRefGoogle Scholar
Sneed, J. D. [1971] (1979), The Logical Structure of Mathematical Physics, 2nd ed. Dordrecht: Reidel.CrossRefGoogle Scholar
Stegmüller, W. [1973] (1985), Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band II: Theorie und Erfahrung, Zweiter Halbband: Theorienstrukturen und Theoriendynamik, 2nd edition. Berlin: Springer.Google Scholar
Stegmüller, W. (1986), Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band II: Theorie und Erfahrung, Dritter Teilband: Die Entwicklung des neuen Strukturalismus seit 1973. Berlin: Springer.Google Scholar
Suppes, P. (1957), Introduction to Logic. Princeton: van Nostrand.Google Scholar
Suppes, P., and Zinnes, J. L. (1963), “Basic Measurement Theory”, in R. D. Luce, R. R. Bush, E. Galanter (eds.), Handbook of Mathematical Psychology, vol. 1. New York: John Wiley, pp. 176.Google Scholar
Tan, Yao-Hua (1986), “Incommensurability without Relativism: A Logical Study of Feyerabend's Incommensurability Thesis”, Master's Thesis, Filosofisch Instituut, Rijksuniversiteit Groningen.Google Scholar
Tarski, A. (1953), “A General Method in Proofs of Undecidability”, in A. Tarski, A. Mostowski, and R. M. Robinson, Undecidable Theories. Amsterdam: North-Holland, pp. 135.Google Scholar