Putnam's ``model-theoretic'' argument against metaphysical realism presupposes that an ideal scientific theory is expressible in a first order language. The central aim of this paper is to show that Putnam's ``first orderization'' of science, although unchallenged by numerous critics, makes his argument unsound even for adequate theories, never mind an ideal one. To this end, I will argue that quantitative theories, which dominate the natural sciences, can be adequately interpreted and evaluated only with the help of so-called theories of measurement (...) whose epistemological and methodological purpose is to justify systematic assignments of quantitative values to objects in the world. And, in order to fulfill this purpose, theories of measurement must have an essentially higher order logical structure. As a result, Putnam's argument fails because much of science turns out to rest on essentially higher order theoretical assumptions about the world. (shrink)

Günther PATZIG: Gesammelte Schriften, Wallstein Verlag, Göttingen, 4 vols: I, Grundlagen der Ethik, pp. 303; II, Angewandte Ethik, pp. 191; III, Aufsätze zur antiken Philosophie, pp.319; IV, Theoretische Philosophie, pp. 278.

In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrumentalism, instead, it should be limited to empirical adequacy. Then, depending on how empirical theories are conceived, either syntactically as a class of sentences, or semantically as a class of models, the concepts of truth and empirical adequacy assume different and specific forms. In this (...) paper, we review two main conceptions of truth (one sentence-based and one model-based) and two of empirical adequacy (one sentence-based and one model-based), we point out their respective difficulties, and we give a first formulation of a new general view of the theory-world relationship, which we call Methodological Constructive Realism (MCR). We then show how the content of MCR can be further specified and expressed in a definite and precise form. The bulk of the paper shows in detail how it is possible to accomplish this goal for the special case of deterministic dynamical phenomena and their correlated deterministic models. This special version of MCR is formulated as an axiomatic extension of set theory, whose specific axioms constitute a formal ontology that provides an adequate framework for analyzing the two semantic relations of truth and empirical correctness, as well as their connections. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

In the present paper Cohen's and Lee's theory of social conformity and Festinger's theory of cognitive dissonance are first reconstructed according to a revised form of the so-called “structuralist theory-conception” developed by Sneed and Stegmüller with their collaborators. Then the two theories are conceptually correlated in the sense of a technical notion of conceptual correlation which can be shown to be an essential generalization of the theory-relations handled by the structuralist. It will turn out that there is no unique way (...) to connect these theories with each other. However, it is shown that two ontologically and conceptually different theories can be correlated. This in turn gives in principle an opportunity to compare critically these two theories given that the constructed conceptual correlation is sufficiently sound and that the theories are empirically testable to a sufficient extent. (shrink)