Abstract
This paper develops the first parts of a logical framework for the empirical sciences, by means of a redefinition of theory structuralism as originally developed by Joseph Sneed, Wolfgang Stegmüller, and others, in the context of a ‘rigid’ logic as based on a fixed (therefore rigid) ontology. The paper defends a formal conception of the empirical sciences that has an irreducible ontological basis and is unable, in general, to provide purely structural characterizations of the domain of a theory. The extreme rationalist utopia of a characterization of the real world ‘up to isomorphism’, therefore, is rejected.
Similar content being viewed by others
References
Balzer, W., Moulines, C. U. (eds) (1996) Structuralist theory of science. Focal issues, new results. Walter de Gruyter, Berlin
Balzer W., Moulines C. U., Sneed J. D. (1987) An architectonic for science. The structuralist program. D. Reidel Publishing Company, Dordrecht
Balzer, W., Moulines, C. U., Sneed, J. D. (eds) (2000) Structuralist knowledge representation. Paradigmatic examples. Rodopi, Amsterdam
Beth E. W. (1960) Semantics of physical theories. Synthese 12: 172–175
Bourbaki N. (1968) Theory of sets. Springer-Verlag, Berlin
Carnap, R. (1998 [1928]). Der logische Aufbau der Welt. Hamburg: Felix Meiner Verlag.
Damböck, C. (submitted). Progress without truth: A reflection of formal epistemology. (submitted).
Damböck, C. (2005). Semantische Strategien. Philosophische Logik vor dem Hintergrund von Endlichkeit und Starrheit. PhD-thesis. University of Vienna.
Damböck C. (2009) Philosophical logic in a framework of propositional logic. Logique et Analyse 205: 21–37
Damböck, C. (2011). Rigid logic as a framework for the empirical sciences. (submitted).
Goldfarb W. (1979) Logic in the twentieth: The nature of the quantifier. Journal of Symbolic Logic 44: 351–368
Hoering W. (1984) Anomalies of reduction. Wolfgang Balzer et al: Reduction in science. Structure, examples, philosophical problems. D. Reidel Publishing Company, Dordrecht, pp 33–50
Kripke S. A. (1963) Semantical considerations on modal logic. Acta Philosophica Fennica 26: 83–94
Kripke S. A. (1980) Naming and necessity. Harvard University Press, Cambridge, MA
Leitgeb H. (2011) New life for Carnap’s Aufbau?. Synthese 180: 265–299
Moulines, C. U. (2002). Structuralism (=Synthese 130, 1–172). Dordrecht: Kluwer Academic Publishers.
Niebergall K.-G. (2000) Structuralism, model theory and reduction. Synthese 130: 135–162
Rantala V. (1980) On the logical basis of the structuralist philosophy of science. Erkenntnis 15: 269–286
Sneed, J. D. (1979). Theoretization and invariance principles. In I. Niiniluoto & R. Tuomela (Eds.), The logic and epistemology of scientific change. Acta Philosophica Fennica, 30, 130–178.
Sneed, J. D. (1979 [1971]). The logical structure of mathematical physics (2nd ed.). Dordrecht: D. Reidel Publishing Company.
Stegmüller W. (1979) The structuralist view of theories. A possible analogue of the Bourbaki programme in physical science. Springer-Verlag, Berlin
Stegmüller, W. (1985 [1973]). Theorienstrukturen und Theoriendynamik. Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band II: Theorie und Erfahrung. Zweiter Teilband (2nd ed.). Berlin: Springer-Verlag.
Stegmüller W. (1986) Die Entwicklung des neuen Strukturalismus seit 1973. Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie Band II: Theorie und Erfahrung. Dritter Teilband. Springer-Verlag, Berlin
Suppes P. (1957) Introduction to logic. Dover Publications, New York, NY
van Fraassen B. C. (1967) Meaning relations and predicates. Noûs 1: 161–179
van Fraassen B. C. (1969) Meaning relations and modalities. Noûs 3: 155–167
van Fraassen B. C. (1970) On the extension of Beth’s semantics of physical theories. Philosophy of Science 37: 325–339
van Fraassen B. C. (1980) The scientific image. Oxford University Press, New York, NY
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Damböck, C. Theory structuralism in a rigid framework. Synthese 187, 693–713 (2012). https://doi.org/10.1007/s11229-011-0009-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-011-0009-3