Abstract
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.
Similar content being viewed by others
REFERENCES
Adams, E.: 1955, Axiomatic Foundations of Rigid Body Mechanics, Stanford University.
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.
Balzer, W.: 1982, Empirische Theorien: Modelle, Strukturen, Beispiele, Vieweg, Braunschweig.
Balzer, W.: 1985, 'Incommensurability, Reduction, and Translation', Erkenntnis 23, 255-267.
Balzer, W., C. U. Moulines, and J. Sneed: 1987, An Architectonic for Science - The Local and Global Structure of Empirical Knowledge, Reidel, Dordrecht.
Balzer, W., D. Pearce, and H. J. Schmidt (eds): 1984, Reduction in Science,Reidel, Dordrecht.
Balzer, W. and C. U. Moulines (eds): 1996, Structuralist Theory of Science, de Gruyter, Berlin, New York.
Balzer, W., C. U. Moulines, and J. Sneed: 2000, Structuralist Knowledge Representation Paradigmatic Examples, Rodopi, Amsterdam.
Barwise, J. and S. Feferman (eds): 1985, Model-theoretic Logics, Springer, New York.
Benthem, J. van and D. Pearce: 1984, 'A Mathematical Characterization of Interpretation between Theories', Studia Logica 43, 295–303.
Bickle, J.: 1998, Psychoneural Reduction. The New Wave, Bradford, MIT.
Carnap, R.: 1934, Logische Syntax der Sprache, Springer, Wien.
Carnap, R.: 1958, Introduction to Symbolic Logic and its Applications, Dover, New York.
Carnap, R. and F. Bachmann: 1936, 'Ñber Extremalaxiome', Erkenntnis 6, 166–188.
Causey, R.: 1972, 'Uniform microreductions', Synthese 25, 176–218.
Chang, C. C. and J. Keisler: 1973, Model Theory, North-Holland, Amsterdam.
Day, M.: 1985, 'Adams on Theoretical Reduction', Erkenntnis 23, 161–184.
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.
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.
Hoering, W.: 1984, 'Anomalies of Reduction', in W. Balzer, D. Pearce and H.-J. Schmidt (eds.), Reduction in Science, Reidel, Dordrecht, pp. 33–50.
Joosten, J. and A. Visser: 2000, 'The Interpretability Logic of all Reasonable Arithmetical Theories', Erkenntnis 53, 3–26.
Mayr, D.: 1976, 'Investigations of the Concept of Reduction I', Erkenntnis 10, 275–294.
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.
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.
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.
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.
Niebergall, K. G.: 2000, 'On the Logic of Reducibility: Axioms and Examples', Erkenntnis 53, 27–61.
Niebergall, K. G.: 2001, 'Montague's “Deterministic theories” und modelltheoretische Theorienkonzepte', forthcoming.
Pearce, D.: 1981, 'Is There Any Theoretical Justification for a Nonstatement View of Theories?', Synthese 46, 1–39.
Pearce, D.: 1982, 'Logical Properties of the Structuralist Concept of Reduction', Erkenntnis 18, 307–333.
Pearce, D.: 1985, Translation, Reduction and Equivalence, Peter Lang, Frankfurt.
Rantala, V.: 1978, 'The Old and the New Logic of Metascience', Synthese 39, 233–247.
Rantala, V.: 1980, 'On the Logical Basis of the Structuralist Philosophy of Science', Erkenntnis 15, 269–286.
Shapiro, S.: 1991, Foundations without Foundationalism. A Case for Second-Order Logic, Clarendon Press, Oxford.
Sneed, J.: 1971, The Logical Structure of Mathematical Physics, Reidel, Dordrecht.
Stegmüller, W.: 1976, The Structure and Dynamics of Theories, Springer, New York.
Stegmüller, W.: 1979, The Structuralist View of Theories, Springer, Berlin, Heidelberg.
Suppes, P.: 1960, 'A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences', Synthese 12, 287–300.
Tuomela, R.: 1972, 'Model Theory and Empirical Interpretation of Scientific Theories', Synthese 25, 165–175.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Niebergall, KG. Structuralism, Model Theory and Reduction. Synthese 130, 135–162 (2002). https://doi.org/10.1023/A:1013883427641
Issue Date:
DOI: https://doi.org/10.1023/A:1013883427641