According to Kuhn's speciation analogy, scientific specialisation is fundamentally analogous to biological speciation. In this paper, we extend Kuhn's original language-centred formulation of the speciation analogy, to account for episodes of scientific specialisation centred around methodological differences. Building upon recent views in evolutionary biology about the process of speciation by genetic divergence, we will show how these methodology-centred episodes of scientific specialisation can be understood as cases of specialisation driven by value divergence. We will apply our model of specialisation by (...) value divergence to an episode of methodology-centred scientific specialisation: the emergence of molecular biology. (shrink)

In many applications of physics, boundary conditions have an essential role. The purpose of this paper is to examine from both a historical and philosophical perspective one such boundary condition, namely, the no-slip condition of fluid dynamics. The historical perspective is based on the works of George Stokes and serves as the foundation for the philosophical perspective. It is seen that historically the acceptance of the no-slip condition was problematic. Philosophically, the no-slip condition is interesting since the use of the (...) no-slip condition illustrates nicely the use of scientific models. But more importantly, both the use and justification of the no-slip condition illustrate clearly how theories can holistically approach the world through model construction. Further, since much of the debate over scientific realism occurs in the realm of models, a case is made that an understanding of the role of the no-slip condition has something to offer to this debate. (shrink)

Trygve Haavelmo's 1944 article ‘The Probability Approach in Econometrics’ is considered by most to have provided the foundations for present day econometrics (Morgan, 1990, Chapters 8 and 9). Since Haavelmo (1944), extraordinary advances have been made in econometrics. However, over the last two decades the efficacy and scientific status of econometrics has become questionable. Not surprisingly, the growing discontent with econometrics has been accompanied by a growing interest in econometric methodology.

Summary Pluralism and monism are the two current views concerning scientific research and language understanding. Between them there is a third, intermediate, view. We take a procedural methodology of science as exemplified in the work of L. Tondl, and procedural linguistics , as exemplified in the work of B. Harrison, to be representative of this third possibility. Procedures are cognitive, linguistic, and physical processes which, through their hierarchical interconnections can generate fruitful mechanisms . These mechanisms are sensitive to context and (...) operate in heuristic and algorithmic ways. Their similar logical structure points towards a profound unified basis for scientific and linguistic activities, thus providing an interesting bridge between what is achieved by a little child talking to his parents, and a creative scientist struggling to interpret the results of his experiments. (shrink)

In the last two sections of Structure, Thomas Kuhn first develops his famous threefold conception of the incommensurability of scientific paradigms and, subsequently, a conception of scientific progress as growth of empirical strength. The latter conception seems to be at odds with the former in that semantic incommensurability appears to imply the existence of situations where scientific progress in Kuhns sense can no longer exist. In contrast to this seeming inconsistency of Kuhns conception, we will try to show in this (...) study that the semantic incommensurability of scientific terms appears to be fully compatible with scientific progress. Our argumentation is based on an improved version of the formalization of Kuhns conception as developed in the 1970s by Joseph Sneed and Wolfgang Stegmüller: In order to be comparable, incommensurable theories need the specification of relations that refer to the concrete ontologies of these theories and involve certain truth claims. The original structuralist account of reduction fails to provide such relations, because (1) it is too structural and (2) it is too wide. Moreover, the original structuralist account also fails to cover important cases of incommensurable theories in being too restrictive for them. In this paper, we develop an improved notion of “reduction” that allows us to avoid these shortcomings by means of a more flexible device for the formalization of (partially reductive) relations between theories. For that purpose, we use a framework of rigid logic, i.e., logic that is based on a fixed collection of objects. (shrink)

Daniel R. Brooks and E. O. Wiley have proposed a theory of evolution in which fitness is merely a rate determining factor. Evolution is driven by non-equilibrium processes which increase the entropy and information content of species together. Evolution can occur without environmental selection, since increased complexity and organization result from the likely capture at the species level of random variations produced at the chemical level. Speciation can occur as the result of variation within the species which decreases the probability (...) of sharing genetic information. Critics of the Brooks-Wiley theory argue that they have abused terminology from information theory and t thermodynamics. In this paper I review the essentials of the theory, and give an account of hierarchical physical information systems within which the theory can be interpreted. I then show how the major conceptual objections can be answered. (shrink)

The incommensurability thesis, as introduced by T.S. Kuhn and P.K. Feyerabend, states that incommensurable theories are conceptually incompatible theories which share a common domain of application. Such claim has often been regarded as incoherent, since it has been understood that the determination of a common domain of application at least requires a certain degree of conceptual compatibility between the theories. The purpose of this work is to contribute to the defense of the notion of local or gradual incommensurability, as proposed (...) by late Kuhn. The application of this notion would allow to render the incommensurability thesis coherent. To support this view, a typical example of incommensurability will be formally analyzed by applying the structuralist metatheory developed, among others by W. Balzer, C.U. Moulines and J.D. Sneed. The structural reconstruction of the relation between the phlogiston theory and the oxygen theory offered here will reveal that they are locally incommensurable, and will even make possible to determine the ontological reduction relation that they also exemplify. (shrink)

Les questions qui ont suscité le présent texte concernent la relation entre la théorie et le réel empirique: comment peut-on identifier le contenu empirique d'une théorie? Dans quelle mesure sa prétention à révéler le réel estelle justifiée? La première tâche que ces interrogations commandent est celle d'exposer les conceptions de la structure des théories scientifiques les plus marquantes de ce siècle. Dans cette période la philosophie des sciences a d'abord été dominée par l'empirisme logique et son approche formelle de la (...) structure des théories scientifiques. L'empirisme logique est certes un mouvement qui a eu une histoire mouvementée et qui a été le théâtre de nombreuses modifications, mais une de ses thèses les plus persistantes peut le caractériser de façon générale: sa représentation de la théorie sous la forme d'un système d'énoncés. Pour désigner cette position, nous utiliserons l'expression «conception assertive» comme traduction de statement view. L'approche sémantique est une conception plus récente de la structure de la théorie qui semble peu à peu vouloir prendre la place de la conception assertive. Nous décrirons donc dans un premier temps ces deux approches afin de déterminer chaque fois la fagon dont le rapport de la théorie au réel est envisagé. (shrink)

The structuralist program has developed a useful metascientific resource: ontological reductive links (ORLs) between the constituents of the potential models of reduced and reducing theories. This resource was developed initially to overcome an objection to structuralist ``global'' accounts of the intertheoretic reduction relation. But it also illuminates the way that concepts at a higher level of scientific investigation (e.g., cognitive psychology) become ``structured through reduction'' to lower-level investigations (e.g., cellular/molecular neuroscience). After (briefly) explaining this structuralist background, I demonstrate how this (...) resource illuminates an actual, emerging scientific example: the link between the psychological concept of a ``consolidation switch'' from short-term to long-term memory and the cellular/molecular mechanisms of the transition from early- to late-phases of long-term potentiation (LTP) (an important type of synaptic plasticity in mammalian hippocampus and cortex). (shrink)

Recently some philosophers have urged that connectionist artificial intelligence is (potentially) eliminative for the propositional attitudes of folk psychology. At the same time, however, these philosophers have also insisted that since philosophy of science has failed to provide criteria distinguishing ontologically retentive from eliminative theory changes, the resulting eliminativism is not principled. Application of some resources developed within the semantic view of scientific theories, particularly recent formal work on the theory reduction relation, reveals these philosophers to be wrong in this (...) second contention, yet by and large correct in the first. (shrink)

The ArgumentStarting from the thesis that a science constructs the knowledge of the part of the world allotted to it, the present paper aims at bringing together all the various aspects of physics under a unified conceptual framework — that provided by the Marxian concept “mode of production.” After an introduction providing the initial plausibility grounds for the undertaking, the concept is analyzed into its conceptual elements in Part I of the paper. The analysis presents the reconstruction initiated by Louis (...) Althusser and developed by his followers. Part II starts from a characterization of physical problems. This offers a basis for “reading” physics in the terms introduced in Part I. The rest of Part II is devoted to the identification of all the aspects of physics with the conceptual elements in question. The paper aims at three things: to uncover the connections holding among seemingly disparate aspects of physics, usually discussed in almost total independence from each other; to take full account of the social dimensions of physics without vindicating social constructivism; to show that the boundaries separating the disciplines of philosophy, history and sociology of science are more arbitrary than usually considered. (shrink)

First, I discuss the older “theory-centered” and the more recent semantic conception of scientific theories. I argue that these two perspectives are nothing more than terminological variants of one another. I then offer a new theory-centered view of scientific theories. I argue that this new view captures the insights had by each of these earlier views, that it’s closer to how scientists think about their own theories, and that it better accommodates the phenomenon of inconsistent scientific theories.

In this paper, a new account of empirical claims in structuralism is developed. Its novelty derives from the use that is made of the linguistic approach to scientific theories despite the presumed incompatibility of structuralism with that approach. It is shown how the linguistic approach can be applied to the framework of structuralism if the semantic foundations of that approach are refined to do justice to the doctrine of indirect interpretation of theoretical terms. This doctrine goes back to Carnap but (...) has been advanced until the present day without a proper semantic explanation. (shrink)

This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element of (...) the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)

Primarily addressed to readers unfamiliar with the structuralist approach in philosophy of science, we introduce the basic concepts that the contributions to this special issue presuppose. By means of examples, we briefly review set-theoretic structures and predicates, the potential and actual models of an empirical theory, intended applications, as well as links and specializations that are applied, among others, in reconstructing the empirical claim associated with a theory element.

In this paper, a solution to the problem of theoretical terms is developed that is based on Carnap’s doctrine of indirect interpretation of theoretical terms. This doctrine will be given a semantic, model-theoretic explanation that is not given by Carnap himself as he remains content with a syntactic explanation. From that semantic explanation, rules for the truth-value assignment to postulates, i.e. sentences that determine the meaning of theoretical terms, are derived. The logical status of postulates will be clarified thereby in (...) such a way that the problem of theoretical terms disappears. (shrink)

In grappling with the micro-macro problem in sociology, philosophers of the field are finding it increasingly useful to associate micro-sociology with theory reduction. In this article I argue that the association is ungrounded and undesirable. Although of a reductive "disposition," micro-sociological theories instantiate something more like "reductive explanation," whereby the causal roles of social wholes are explained in terms of their psychological parts. In this form, micro-sociological theories may actually have a better shot at closing the sociology–psychology explanatory gap, and (...) resist many antireductionist arguments, including the well-known argument from "multiple realization.". (shrink)

This paper argues against the view that the standard explanation of phase transitions in statistical mechanics may be considered a causal explanation, a distortion that can nevertheless successfully represent causal relations.

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...) a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

Existen conceptos clave en las diversas ciencias (ya sean formales, naturales, biosociales o sociales) como “teoría” o “modelo” que están aún hoy sujetos a un amplio debate epistemológico, i.e. desde la teoría del conocimiento, y centrada en el estudio del conocimiento científico en particular. Los científicos, pues, construyen y utilizan diferentes nociones que cargan tras de sí realmente con un exhaustivo debate extracientífico sobre su naturaleza. En este trabajo se ofrecerán algunas aclaraciones y propuestas formales de definición sobre tales nociones (...) desde la filosofía de la ciencia del astrofísico y filosofo Gustavo Esteban Romero (G. E. Romero). En concreto se ensayaran unas definiciones formales de “teoría” y “modelo”, para las ciencias actuales (y otras disciplinas pasibles de su aplicación), y se contextualizarán estas ideas en el debate sobre la estructura y organización de los saberes científicos. (shrink)

By understanding laws of nature as geometrical rather than linguistic entities, this paper addresses how to describe theory structures and how to evaluate their continuity. Relying on conceptual spaces as a modelling tool, we focus on the conceptual framework an empirical theory presupposes, thus obtain a geometrical representation of a theory’s structure. We stress the relevance of measurement procedures in separating conceptual from empirical structures. This lets our understanding of scientific laws come closer to scientific practice, and avoids a widely (...) recognised deficit in current philosophy of science accounts, namely to risk a collapse of the physical into the mathematical. (shrink)

The project of integrated HPS has occupied philosophers of science in one form or another since at least the 1960s. Yet, despite this substantial interest in bringing together philosophical and historical reflections on the nature of science, history of science and formal philosophy of science remain as divided as ever. In this paper, I will argue that the continuing separation between historical and formal philosophy of science is ill-founded. I will argue for this in both abstract and concrete terms. At (...) the abstract level, I reconstruct two possible arguments for the incompatibility of historical and formal philosophy of science and argue that they are both wanting. At the concrete level, I discuss how historical and formal philosophy of science have been brought together in practice, namely: in the form of a largely forgotten research tradition that I will refer to here as the study of formalized macro-units. After a brief exposition, I argue that this research tradition has been unduly overlooked by historically minded philosophers of science. Bringing together these observations, I argue that the divide between historical and formal philosophy of science is not grounded in any substantive arguments, but can be primarily attributed to disciplinary happenstance. (shrink)

The paper sketches an account of explanatory practice in which explanations are viewed as answers to explanation-requiring questions. To avoid difficulties in previous proposals, the paper uses the structuralist account of theory structure, arguing that theories are complex and evolving entities formed around a conceptual core and a set of intended applications. The argument is that this view does better justice to theories which involve a number of different kinds of theory-elements to give narrative explanations. Theories are, among other things, (...) devices which can be used to turn explanation-requiring questions into a form which allows assessment of potential answers. Evolutionary theory, both in Darwin's and the modern synthetic forms, are used as examples. The view advanced is that modern evolutionary theory need not have a unique core to which other theories serve as subcontractors. (shrink)

Michael Dummett, Frege and other philosophers. Oxford:Clarendon Press, 1991. xii + 330pp. £35. ISBN W.Balzer and C.U.Moulines, Structuralist theory of science:focal issues, new results, Berlin; de Gruyter, 1996. xi + 295 pp.DM 210. ISBN 3-11-014075-6 Henry Prakken, Logical tools for modeling legal argument a study of defeasible reasoning in law.Dordrecht, The Netherlands:Kluwer Academic, 1997, xiii + 314pp.£75.00/$125.00 J.Srzednicki and Z.Stachniak Lesniewski’s Systems.Protothetic.Nijhoff International Philosophy Series, 54, Dordrecht, Boston and London:Kluwer, 1998. xiv + 310 pp, £99. ISBN 0-7923-4504-5.

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 is a first tentative examination of the possibility of reinstating reduction as a valid candidate for presenting relations between mental and physical properties. Classical Nagelian reduction is undoubtedly contaminated in many ways, but here I investigate the possibility of adapting to problems concerning mental properties an alternative definition for theory reduction in philosophy of science. The definition I offer is formulated with the aid of non-monotonic logic, which I suspect might be a very interesting realm for testing notions concerning (...) localized mental-physical reduction. The reason for this is that non-monotonic reasoning by definition is about appeals made not only to explicit observations, but also to an implicit selection of background knowledge containing heuristic information. The flexibility of this definition and the fact that it is not absolute, i.e. that the relation of reduction may be retracted or allowed to shift without fuss, add at least an interesting alternative factor to current materialist debates. South African Journal of Philosophy Vol. 25(2) 2006: 102-112. (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

The interpretive plasticity of Kuhn’s philosophical work has been reinforced by readings informed by other philosophical, historiographic or sociological projects. This paper highlights several aspects of Kuhn’s work that have been neglected by such readings. First, Kuhn’s early contribution to several subsequent philosophical developments has been unduly neglected. Kuhn’s postscript discussion of “exemplars” should be recognized as one of the earliest versions of a conception of theories as “mediating models.” Kuhn’s account of experimental practice has also been obscured by readings (...) that assimilate his views to Quinean holism. Second, three distinctive Kuhnian themes have been insufficiently recognized. Kuhn’s challenge to received philosophical views has been domesticated by reading him as offering an alternative conception of scientific knowledge. Kuhn is better understood as rejecting knowledge-centric accounts altogether, in favor of understanding the practice of research. Kuhn’s conception of that activity, as conceptual “articulation,” has accordingly also not been given its due. Finally, Kuhn’s career-long insistence on the mutual accountability of philosophy of science and the philosophy of mind and language calls attention to the extent to which these fields have now drifted apart. (shrink)

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.

In this article the outlines are sketched of an empirical science of literature as close as possible to the model of the natural sciences. This raises the question of what the standards of an empirical science in the strictest sense should generally be. Practical relevance of its results soon turns up as the fundamental condition for an explanatory empirical science, if the ideology of nearing an empirical truth is no longer accepted and a mere pragmatic justification rejected as its insufficient (...) substitute. As a consequence the logical priority of scientific explanation over scientific description is considered irrefutable. The so-called "sciences of understanding" - among them a "science of literature" - are confronted with a special difficulty, if they want to become explanatory empirical sciences. Their practical problems to be solved are related to linguistically or semiotically coded facts. To empirically describe these problematic facts causes this difficulty, which the author tries to overcome with recourse to ideas from Wittgenstein. And the practical relevance, which may be achieved with the help of nomological explanations, here doesn't consist in predictions for better practical production of means, direct or indirect, for survival, but in the provision of rational understanding for better practical teaching or criticism. This practical relevance is shown in the explanation of valuing acts of readers of The Golden Bowl by Henry James. The meaning of a literary text is no longer taken as a possible object of scientific empirical explanation, nor its rational justification as a scientific goal that might be practically relevant. (shrink)

In this article the outlines are sketched of an empirical science of literature as close as possible to the model of the natural sciences. This raises the question of what the standards of an empirical science in the strictest sense should generally be. Practical relevance of its results soon turns up as the fundamental condition for an explanatory empirical science, if the ideology of nearing an empirical truth is no longer accepted and a mere pragmatic justification rejected as its insufficient (...) substitute. As a consequence the logical priority of scientific explanation over scientific description is considered irrefutable. The so-called "sciences of understanding" - among them a "science of literature" - are confronted with a special difficulty, if they want to become explanatory empirical sciences. Their practical problems to be solved are related to linguistically or semiotically coded facts. To empirically describe these problematic facts causes this difficulty, which the author tries to overcome with recourse to ideas from Wittgenstein. And the practical relevance, which may be achieved with the help of nomological explanations, here doesn't consist in predictions for better practical production of means, direct or indirect, for survival, but in the provision of rational understanding for better practical teaching or criticism. This practical relevance is shown in the explanation of valuing acts of readers of The Golden Bowl by Henry James. The meaning of a literary text is no longer taken as a possible object of scientific empirical explanation, nor its rational justification as a scientific goal that might be practically relevant. (shrink)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

The article discusses Friedman's classic claim that economics can be based on irrealistic assumptions. It exploits Samuelson's distinction between two "F-twists" (that is, "it is an advantage for an economic theory to use irrealistic assumptions" vs "the more irrealistic the assumptions, the better the economic theory"), as well as Nagel's distinction between three philosophy-of-science construals of the basic claim. On examination, only one of Nagel's construals seems promising enough. It involves the neo-positivistic distinction between theoretical and non-theoretical ("observable") terms; so (...) Friedman would in some sense argue for the major role of theoretical terms in economics. The paper uses a model-theoretic apparatus to refine the selected construal and check whether it can be made to support the claim. This inquiry leads to essentially negative results for both F-twists, and the final conclusion is that they are left unsupported. (shrink)

In this paper, the potentials of systematically linking philosophy of science with bibliometrics are investigated by exploring whether concepts developed within the structuralist theory of science can be used as interpretative basis for author co-citation studies. It is argued that clusters of co-cited authors cannot be interpreted straightforwardly as scientific communities nor as scientific generations. The first reason is that the respective constituents differ (authors vs. scientists), the second is that the co-citation relation generates non-Kuhnian communities, i.e. communities not sharing (...) a paradigm/theory-core. Instead, co-citation clusters can more adequately be taken to represent communities of common (epistemic) interest. Hence, the concepts of interest community and of discourse community are introduced into the structuralist framework making use of the notion of intended application. All in all, it becomes clear that a full-fledged theory of publication is the still missing prerequisite for further linking bibliometrics and philosophy of science at a large scale. (shrink)