Bibliography
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 and A. Tarski (eds.), The Axiomatic Method, North-Holland, Amsterdam, pp. 250–265.
Balzer, W.: 1976, Empirische Geometrie und Raum-Zeit-Theorie in Mengentheoretischer Darstellung, Dissertation, Munich.
Balzer, W. and Sneed, J. D.: 1977, 1978, ‘Generalized Net Structures of Empirical Theories’, I and II, Studia Logica 36, 195–211, and 37, 167–194.
Barwise, K. J.: 1974, ‘Axioms for Abstract Model Theory’, Ann. Math. Logic 7, 221–265.
Barwise, K. J.: 1975, Admissible Sets and Structures, Springer-Verlag, Berlin-Heidelberg-New York.
Barwise, K. J.: 1980, ‘Infinitary Logics’, in E. Agazzi (ed.), Modern Logic — A Survey, D. Reidel, Dordrecht, pp. 93–112.
Benthem, J. van: 1978, ‘Ramsey Eliminability’, Studia Logica 37, 321–336.
Benthem, J. van: 1982, ‘The Logical Study of Science’, Synthese 51, 431–472.
Brown, D. J. and Robinson, A.: 1975, ‘Nonstandard Exchange Economies’, Econometrica 43, 41–55.
Carnap, R.: 1937, The Logical Syntax of Language, Routledge and Kegan Paul, London.
Carnap, R.: 1958, ‘Beobachtungssprache und Theoretische Sprache’, Dialectica 12, 236–248.
Chang, C. C.: 1974, ‘Model Theory 1945–1971’, in Proceedings of the Tarski Symposium loc. cit.
Dalla Chiara, M. L. and Toraldo di Francia, G.: 1973, ‘A Logical Analysis of Physical Theories’, Riv. Nuov. Cim. 3, 1–20.
Feferman, S.: 1974, ‘Two Notes on Abstract Model Theory’, I, Fund. Math. 82, 153–165.
Feyerabend, P. K.: 1970, ‘Against Method’, in N. Radner and S. Winokur (eds.), Minnesota Studies in the Philosophy of Science, Vol. 4, Minneapolis, pp. 17–130.
Feyerabend, P. K.: 1977, ‘Changing Patterns of Reconstruction’, Brit. J. Phil. Sci. 28, 351–369.
Gaifman, H.: 1974, ‘Operations on Relational Structures, Functors and Classes’, I, in L. Henkin et al., (eds.), Proceedings of the Tarski Symposium, AMS Proc. Pure Math. 25, 21–39.
Giedymin, J.: 1980, ‘Hamilton's Method in Geometrical Optics and Ramsey's View of Theories’, in D. H. Mellor (ed.), Prospects for Pragmatism, Cambridge University Press, Cambridge.
Hempel, C. G. and Oppenheim, P.: 1948, ‘Studies in the Logic of Explanation’, Phil. Sci. 15, 135–175.
Hintikka, K. J. and Rantala, V.: 1976, ‘A New Approach to Infinitary Languages’, Ann. Math. Logic 10, 95–115.
Kemeny, J. G. and Oppenheim, P.: 1956, ‘On Reduction’, Philosophical Studies 7, 6–19.
Makkai, M.: 1977, ‘Admissible Sets and Infinitary Logic’, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, pp. 233–281.
McKinsey, J. C., Sugar, A. C., and Suppes, P.: 1953, ‘Axiomatic Foundations of Classical Particle Mechanics’, J. Rat. Mech. & Analysis 2, 253–272.
Mayr, D.: 1976, ‘Investigations of the Concept of Reduction’, I, Erkenntnis 10, 275–294.
Monk, J. D.: 1976, Mathematical Logic, Springer-Verlag, New York-Heidelberg-Berlin.
Montague, R. M.: 1962, ‘Deterministic Theories’, in N. F. Washburne (ed.), Decisions, Values and Groups, Pergamon Press, Oxford.
Moulines, C. U.: 1976a, Zur Logischen Rekonstruktion der Thermodynamik, Dissertation, Munich.
Moulines, C. U.: 1976b, ‘Approximate Application of Empirical Theories: A General Explication’, Erkenntnis 10, 201–227.
Moulines, C. U.: 1980, ‘Intertheoretic Approximation: The Kepler-Newton Case’, Synthese 45, 387–412.
Nagel, E.: 1961, The Structure of Science, Routledge and Kegan Paul, London.
Neumann, J. von: 1955, Mathematical Foundations of Quantum Mechanics, Princeton University Press, Princeton.
Niiniluoto, I.: 1980, ‘The Growth of Theories: Comments on the Structuralist Approach’, in J. Hintikka, D. Gruender, and E. Agazzi (eds.), Pisa Conference Proceedings, Vol. I, Dordrecht, pp. 3–47.
Oikkonen, J.: 1981, ‘On the Expressive Power of Game Sentences’, forthcoming.
Pearce, D.: 1981a, ‘Is There Any Theoretical Justification for a Nonstatement View of Theories’, Synthese 46, 1–39.
Pearce, D.: 1981b, ‘Comments on a Criterion of Theoreticity’, Synthese 48, 77–86.
Pearce, D.: 1982a, Review of Stegmüller (1976) and (1979), J. Symbolic Logic 47, 69–75.
Pearce, D.: 1982b, ‘Logical Properties of the Structuralist Concept of Reduction’, Erkenntnis 18, 307–333.
Pearce, D. and Rantala, V.: 1983a, ‘Correspondence as an Intertheory Relation’, Studia Logica, forthcoming.
Pearce, D. and Rantala, V.: 1983b, ‘The Logical Study of Symmetries in Scientific Change’, in P. Weingartner and H. Czermak (eds.), Epistemology and Philosophy of Science, Vienna.
Pearce, D. and Rantala, V.: 1983c, ‘Ramsey Eliminability Revisited’, Communication and Cognition, forthcoming.
Pearce, D. and Rantala, V.: 1984, ‘A Logical Study of the Correspondence Relation’, forthcoming.
Przelecki, M.: 1969, The Logic of Empirical Theories, Routledge and Kegan Paul, London.
Przelecki, M. and Wojcicki, R.: 1969, ‘The Problem of Analyticity’, Synthese 18, 374–399.
Ramsey, F. P.: 1978, ‘Theories’, in Foundations. Essays in Philosophy, Logic, Mathematics and Economics, in D. H. Mellor (ed.), London.
Rantala, V.: 1976, ‘Definability Problems in the Methodology of Science’, in M. Przelecki, K. Szaniawski, and R. Wojicicki (eds.), Formal Methods in the Methodology of Empirical Sciences, D. Reidel, Dordrecht, pp. 170–187.
Rantala, V.: 1977, Aspects of Definability, (Acta Phil. Fenn. 29) North-Holland, Amsterdam.
Rantala, V.: 1978, ‘The Old and the New Logic of Metascience’, Synthese 39, 233–247.
Rantala, V.: 1979, ‘Correspondence and Nonstandard Models: A Case Study’, in I. Niiniluoto and R. Tuomela (eds.), The Logic and Epistemology of Scientific Change, (Acta Phil. Fenn. 30), North-Holland, Amsterdam, pp. 366–378.
Rantala, V.: 1980, ‘On the Logical Basis of the Structuralist Philosophy of Science’, Erkenntnis 15, 269–286.
Rantala, V.: 1981, ‘Infinitely Deep Game Sentences and Interpolation’, in I. Pörn (ed.), Essays in Philosophical Analysis (Acta Phil. Fen.32), Helsinki, pp. 211–219.
Redhead, M. L. G.: 1975, ‘Symmetry in Intertheory Relations’, Synthese 32, 77–112.
Rubin, H. and Suppes, P.: 1954, ‘Transformations of Systems of Relativistic Particle Mechanics’, Pac. J. Math. 4, 563–601.
Simon, H. A. and Groen, G. J.: 1973, ‘Ramsey Eliminability and the Testability of Scientific Theories’, Brit. J. Phil. Sci. 24, 367–380.
Sneed, J. D.: 1971, The Logical Structure of Mathematical Physics, D. Reidel, Dordrecht.
Stegmüller, W.: 1976, The Structure and Dynamics of Theories, Springer-Verlag, New York-Heidelberg-Berlin.
Stegmüller, W.: 1979, The Structuralist View of Theories, Springer-Verlag, New York-Heidelberg-Berlin.
Svenonius, L.: 1965, ‘On Denumerable Models of Theories with Extra Predicates’, in J. W. Addison, L. Henkin, and A. Tarski (eds.), The Theory of Models, North-Holland, Amsterdam, pp. 376–389.
Swijtink, Z.: 1976, ‘Eliminability in a Cardinal’, Studia Logica 35, 73–89.
Szczerba, L. W.: 1980, ‘Interpretations with Parameters’, ZML 26, 35–39.
Tuomela, R.: 1972, ‘Deductive Explanation of Scientific Laws’, J. Phil. Logic 1, 369–392.
Tuomela, R.: 1973, Theoretical Concepts, Springer-Verlag, Wien-New York.
Williams, P. M.: 1972, 1973, ‘On the Conservative Extensions of Semantical Systems’, Synthese 25, 398–416.
Author information
Authors and Affiliations
Additional information
This author gratefully acknowledges financial support from the Finnish Ministry of Education on the occasion of a visit to the University of Helsinki under a British Council Interchange Scheme.
Rights and permissions
About this article
Cite this article
Pearce, D., Rantala, V. New foundations for metascience. Synthese 56, 1–26 (1983). https://doi.org/10.1007/BF00485393
Issue Date:
DOI: https://doi.org/10.1007/BF00485393