, Volume 130, Issue 1, pp 135–162

Structuralism, Model Theory and Reduction

  • Karl-Georg Niebergall


In this paper, the (possible) role of model theory forstructuralism and structuralist definitions of ``reduction'' arediscussed. Whereas it is somewhat undecisive with respect tothe first point – discussing some pro's and con's ofthe model theoretic approach when compared with a syntacticand a structuralist one – it emphasizes that severalstructuralist definitions of ``reducibility'' do not providegenerally acceptable explications of ``reducibility''. This claimrests on some mathematical results proved in this paper.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Adams, E.: 1955, Axiomatic Foundations of Rigid Body Mechanics, Stanford University.Google Scholar
  2. Adams, E.: 1959, 'The Foundations of Rigid Body Mechanics and the Derivation of its Laws from Those of Particle Mechanics', in L. Henkin, P. Suppes and A. Tarski (eds), The Axiomatic Method, North-Holland, Amsterdam, pp. 250–265.Google Scholar
  3. Balzer, W.: 1982, Empirische Theorien: Modelle, Strukturen, Beispiele, Vieweg, Braunschweig.Google Scholar
  4. Balzer, W.: 1985, 'Incommensurability, Reduction, and Translation', Erkenntnis 23, 255-267.Google Scholar
  5. Balzer, W., C. U. Moulines, and J. Sneed: 1987, An Architectonic for Science - The Local and Global Structure of Empirical Knowledge, Reidel, Dordrecht.Google Scholar
  6. Balzer, W., D. Pearce, and H. J. Schmidt (eds): 1984, Reduction in Science,Reidel, Dordrecht.Google Scholar
  7. Balzer, W. and C. U. Moulines (eds): 1996, Structuralist Theory of Science, de Gruyter, Berlin, New York.Google Scholar
  8. Balzer, W., C. U. Moulines, and J. Sneed: 2000, Structuralist Knowledge Representation Paradigmatic Examples, Rodopi, Amsterdam.Google Scholar
  9. Barwise, J. and S. Feferman (eds): 1985, Model-theoretic Logics, Springer, New York.Google Scholar
  10. Benthem, J. van and D. Pearce: 1984, 'A Mathematical Characterization of Interpretation between Theories', Studia Logica 43, 295–303.Google Scholar
  11. Bickle, J.: 1998, Psychoneural Reduction. The New Wave, Bradford, MIT.Google Scholar
  12. Carnap, R.: 1934, Logische Syntax der Sprache, Springer, Wien.Google Scholar
  13. Carnap, R.: 1958, Introduction to Symbolic Logic and its Applications, Dover, New York.Google Scholar
  14. Carnap, R. and F. Bachmann: 1936, 'Ñber Extremalaxiome', Erkenntnis 6, 166–188.Google Scholar
  15. Causey, R.: 1972, 'Uniform microreductions', Synthese 25, 176–218.Google Scholar
  16. Chang, C. C. and J. Keisler: 1973, Model Theory, North-Holland, Amsterdam.Google Scholar
  17. Day, M.: 1985, 'Adams on Theoretical Reduction', Erkenntnis 23, 161–184.Google Scholar
  18. Diederich, W.: 1996, 'Structuralism as Developed within the Model-Theoretic Approach in the Philosophy of Science', in W. Balzer and C.U. Moulines (eds), Structuralist Theory of Science, de Gruyter, Berlin, New York, pp. 15–21.Google Scholar
  19. Hinst, P.: 1996, 'A Rigorous Set Theoretical Foundation of the Structuralist Approach', in W. Balzer and C. U. Moulines (eds), Structuralist Theory of Science, de Gruyter, Berlin,New York, pp. 233–263.Google Scholar
  20. Hoering, W.: 1984, 'Anomalies of Reduction', in W. Balzer, D. Pearce and H.-J. Schmidt (eds.), Reduction in Science, Reidel, Dordrecht, pp. 33–50.Google Scholar
  21. Joosten, J. and A. Visser: 2000, 'The Interpretability Logic of all Reasonable Arithmetical Theories', Erkenntnis 53, 3–26.Google Scholar
  22. Mayr, D.: 1976, 'Investigations of the Concept of Reduction I', Erkenntnis 10, 275–294.Google Scholar
  23. Montague, R.: 1962, 'Deterministic Theories', in Decisions, Values and Groups 2,Pergamon Press, Oxford, pp. 325–370. Reprinted in R. Montague: 1974, in R. Thomason (ed.), Formal Philosophy. Selected Papers of Richard Montague, Yale University Press, New Haven/London.Google Scholar
  24. Moulines, C. U.: 1984, 'Ontological Reduction in the Natural Sciences', in W. Balzer, D. Pearce and H.-J. Schmidt (eds), Reduction in Science, Reidel, Dordrecht, pp. 51–70.Google Scholar
  25. Moulines, C. U.: 1996, 'Structuralism: The Basic Ideas', in W. Balzer and C. U. Moulines (eds), Structuralist Theory of Science, de Gruyter, Berlin, New York, pp. 1–13.Google Scholar
  26. Moulines, C. U. and M. Polanski: 1996, 'Bridges, Constraint, and Links', in W. Balzer and C. U. Moulines (eds), Structuralist Theory of Science, de Gruyter, Berlin, New York, pp. 219–232.Google Scholar
  27. Niebergall, K. G.: 2000, 'On the Logic of Reducibility: Axioms and Examples', Erkenntnis 53, 27–61.Google Scholar
  28. Niebergall, K. G.: 2001, 'Montague's “Deterministic theories” und modelltheoretische Theorienkonzepte', forthcoming.Google Scholar
  29. Pearce, D.: 1981, 'Is There Any Theoretical Justification for a Nonstatement View of Theories?', Synthese 46, 1–39.Google Scholar
  30. Pearce, D.: 1982, 'Logical Properties of the Structuralist Concept of Reduction', Erkenntnis 18, 307–333.Google Scholar
  31. Pearce, D.: 1985, Translation, Reduction and Equivalence, Peter Lang, Frankfurt.Google Scholar
  32. Rantala, V.: 1978, 'The Old and the New Logic of Metascience', Synthese 39, 233–247.Google Scholar
  33. Rantala, V.: 1980, 'On the Logical Basis of the Structuralist Philosophy of Science', Erkenntnis 15, 269–286.Google Scholar
  34. Shapiro, S.: 1991, Foundations without Foundationalism. A Case for Second-Order Logic, Clarendon Press, Oxford.Google Scholar
  35. Sneed, J.: 1971, The Logical Structure of Mathematical Physics, Reidel, Dordrecht.Google Scholar
  36. Stegmüller, W.: 1976, The Structure and Dynamics of Theories, Springer, New York.Google Scholar
  37. Stegmüller, W.: 1979, The Structuralist View of Theories, Springer, Berlin, Heidelberg.Google Scholar
  38. Suppes, P.: 1960, 'A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences', Synthese 12, 287–300.Google Scholar
  39. Tuomela, R.: 1972, 'Model Theory and Empirical Interpretation of Scientific Theories', Synthese 25, 165–175.Google Scholar

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Karl-Georg Niebergall
    • 1
  1. 1.Seminar für PhilosophieLogik und Wissenschaftstheorie Ludwig-Maximilians-UniversitätMünchenGermany

Personalised recommendations