A classification of models of reduction into three categories — theory reductionism, explanatory reductionism, and constitutive reductionism — is presented. It is shown that this classification helps clarify the relations between various explications of reduction that have been offered in the past, especially if a distinction is maintained between the various epistemological and ontological issues that arise. A relatively new model of explanatory reduction, one that emphasizes that reduction is the explanation of a whole in terms of its parts is (...) also presented in detail. Finally, the classification is used to clarify the debate over reductionism in molecular biology. It is argued there that while no model from the category of theory reduction might be applicable in that case, models of explanatory reduction might yet capture the structure of the relevant explanations. (shrink)

Patrick Suppes'' set-theoretical approach to the analysis of theories, and Joseph D. Sneed''s metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms perception and truth are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

Patrick Suppes' set-theoretical approach to the analysis of theories, and Joseph D. Sneed's metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms ‘perception’ and ‘truth’ are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

This essay is an attempt to consider dynamic aspects of scientific theorising from a formal perspective. Our emphasis will be on the aims and methods for constructing formal models of theory dynamics which will be conceived from a general or 'theoretical' rather than 'applied' standpoint.

In this paper we give the gist of our reconstructed notion of (limiting case) correspondence. Our notion is very general, so that it should be applicable to all the cases in which a correspondence has been said to exist in actual science.

In place of earlier instrumentalist and phenomenalist interpretations of science both Quine and Sellars have developed highly influential realist positions centering around the doctrine that accepting a theory as explanatory and irreducible rationally entails accepting the entities posited by the theory. A growing reaction against this realism is partially based on perceived inadequacies in the doctrines of Quine and Sellars, but even more on reconstructions of scientific explanations which do not involve such ontic commitments. Three types of anti-realistic positions are (...) considered and criticized. Hesse's neo-Duhemian position couples a statistical theory of inference to a downgrading of purely theoretical statements. Sneed uses the method of axiomatrization through set-theoretic predicates to supply a reconstruction of Kuhn's account of scientific development. Here Ramsey-reduction sentences serve to eliminate purely theoretical terms. The longest section deals with van Fraassen's semantic model based on a state-space representation of scientific theories and the use of this model in interpreting quantum mechanics. It is argued that the model is valuable, but that the anti-realist interpretation accorded it is not justified and entails serious inconsistencies. (shrink)

La parution de la monographic de Sneed,The Logical Structure of Mathematical Physics a suscité un renouveau d'intérêt en philosophie contemporaine des sciences. Cet ouvrage arrivait à un moment où l'épistémologie des sciences, telle que développée dans les milieux germaniques et anglo-saxons, accusait de graves insuffisances dans la reconstruction rationnelle du développement historique des théories physiques. Mis sur la défensive par les thèses et arguments historiques de Kuhn et de Feyerabend, ces milieux « orthodoxes » devaient reconnaitre l'état embryonnaire de ce (...) qui devait être uneépistémologie diachroniquedes sciences, une épistémologie du changement scientifique où les méthodes d'analyse formelle puissent être aussi mises á contribution. A cela s'ajoutait un certain malaise, une certaine stagnation de la problématique, plus synchronique, de l'approche traditionnelle issue du mouvement empiriste logique. Le probleme de la dichotomielangage théorique—langage observationnel, ainsi que son fidèle compagnon, le problème destermes théoriques, le statut épistémologique desrègies de correspondance, la dèfinition du concept d'analyticitéen science, autant de questions qui avaient été discutées et critiquées, à maintes reprises, pour aboutir à des résultats peu concluants aux yeux des philosophes, comme à ceux des physiciens préoccupés des fondements de leur discipline et à qui la teneur de cette discussion semblait souvent étrangère à la pratique scientifique. (shrink)

In this paper we shall show that structuralist constraints applied to moral idealizations, have applications in critical ethical argumentation. Moreover, we developed some systematic concepts which may be used to evaluate the relevance and adequacy of descriptions of moral problems relative to given idealizing moral perspectives. Finally, it is shown that any two moral perspectives are comparable via the Kemeny-Snell measure of distance of rankings.

The frame model was developed in cognitive psychology and imported into the philosophy of science in order to provide representations of scientific concepts and conceptual taxonomies. The aim of this article is to show that beside the representation of scientific concepts the frame model is an efficient instrument to represent and analyze scientific theories. That is, we aim to establish the frame model as a representation tool for the structure of theories within the philosophy of science. For this, we will (...) develop the notion of a theory frame and distinguish between theory frames for qualitative theories in which scientific measurement is based on nominal scales and theory frames for quantitative theories in which measurement is based on ratio scales. In three case studies, we will apply frames to a psychological, a linguistic, and a physical theory, thereby showing that the frame model is a powerful and intuitively accessible instrument to analyze the laws of scientific theories, the determination of theoretical concepts, the explanatory role of theoretical concepts, the abductive introduction of a new theoretical concept, the distinction between the core and the periphery of a theory, the diachronic development of a theory, and the distinction between qualitative and quantitative scientific concepts. Finally, we will provide a comparison to the structuralist view of theories, one of the most elaborated and applied models of theory representation. (shrink)

Glymour's account of confirmation is seen to have paradoxical consequences when applied to the confirmation of theories containing theoretical functions. An alternative conception of instances derived from Sneed's reconstruction of physical theories is conjoined with the instance view of confirmation to produce an account of confirmation that avoids these problems. The topic of selective confirmation is discussed, and it is argued that theories containing theoretical functions are not selectively confirmable.

The Term 'Practical Progress' in Biomedical Sciences. A Structuralistic Approach to the Reconstruction of Epistemological Terms in Medicine. An attempt is made to elucidate the structure of the term 'practical progress' and to reconstruct it logically. The importance of discovery and confirmation of new regularities as well as of practical rules arising from them depends on their contribution to the solution of practical problems. The application of this structuralistic definition of 'practical progress' is demonstrated with an example from cardiac surgery (...) concerning the solution of the practical medical problem of myocardial protection during open heart surgery. (shrink)

The Term 'Practical Progress' in Biomedical Sciences. A Structuralistic Approach to the Reconstruction of Epistemological Terms in Medicine. An attempt is made to elucidate the structure of the term 'practical progress' and to reconstruct it logically. The importance of discovery and confirmation of new regularities as well as of practical rules arising from them depends on their contribution to the solution of practical problems. The application of this structuralistic definition of 'practical progress' is demonstrated with an example from cardiac surgery (...) concerning the solution of the practical medical problem of myocardial protection during open heart surgery. (shrink)

The net structure of the spatial theory of elections is investigated and described in the format of structuralism. Three new kinds of intertheoretical relations typical for social theory are identified and defined. The historical development of spatial theory as expressed by specializations and other intertheoretic relations is found to be in a sense 'inverse' to that of theories in the natural sciences. The development begins with a 'most special' case.

Wir stellen ein präzises Modell der wissenschaftlichen Begriffs-theorie vor, in dem die Beschreibungs-, die Wirklichkeits- und die mengentheoretische Ebene verknüpft werden. Einerseits wird ein allgemeiner Rahmen für die Gesamtheit der Begriffe, andererseits die „lokale” Struktur eines Begriffs beschrieben. Wir spezialisieren diesen Rahmen auf wissenschaftliche Begriffe, wissenschaftliche Theorien, und auf die zugehörigen strukturalistischen, wissenschaftstheoretischen Konstruktionen. We introduce a precise model for the theory of concepts in philosophy of science. In this model we connect the level of description, the level of reality (...) and the level of set theoretic systems. On the one hand we describe a general frame for the collection of concepts, and on the other hand the „local” structure of a concept. We specialize this frame to scientific concepts, scientific theories, and to the appertaining structuralist constructions from philosophy of science. (shrink)

A comprehensive model for describing various forms of developments in science is defined in precise, set-theoretic terms, and in the spirit of the structuralist approach in the philosophy of science. The model emends previous accounts in centering on single systems in a homogenous way, eliminating notions which essentially refer to sets of systems. This is achieved by eliminating the distinction between theoretical and non-theoretical terms as a primitive, and by introducing the notion of intended links. The force of the model (...) is demonstrated by formally incorporating many of the important, precise meta-theoretic concepts occurring in the literature. (shrink)