Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

Exact philosophy consists of various disciplines scattered and separated. Formal semantics and philosophy of science are good examples of two such disciplines. The aim of this paper is to show that there is possible to find some integrating bridge topics between the two fields, and to show how insights from the one are illuminating and suggestive in the other.

The paper discusses eliminative explanation in which a (social) successor theory correctively explains and, as a consequence, eliminates its predecessor theory. Technical concepts and results from general logic are applied to the explication of corrective explanation, especially to the notion of framework translation that it involves.

Two key ideas of scientific explanation−explanation as causal information and explanation as unification-have frequently been set into mutual opposition. This paper proposes a “dialectical solution” to this conflict, by arguing that causal explanations are preferable to non-causal ones, because they lead to a higherdegree of unification at the level of explaining statistical regularities. The core axioms of the theory of causal nets (TC) are justified because they offer the best if not the only unifying explanation of two statistical phenomena: screening (...) off and linking up. Alternative explanations of the two phenomena are discussed and it isshown why they don’t work. It is demonstrated that although the core axioms of TC are empirically vacuous, extended versions of TC have empirical content by means of which they can generate independently testable predictions.Con frecuencia se han planteado como contrapuestas dos ideas clave en la explicacion cientifica (explicacion como informacion causal y explicacion como unificacion). El presente articulo propone una “solucion dialectica” argumentando que las explicaciones causales son preferibles a las no-causales porque aquellas comportan un mayor grado de unificacion en la explicacion de regularidades estadisticas. Los axiomas centrales de la teoria de redes causales (TC) estan justificados porque ofrecen la mejor, si no la unica, explicacion unificada de dos fenomenos estadisticos: neutralizacion (screening off) y vinculacion (linking up). Se discuten las explicaciones alternativas de estos dos fenomenos y se razona por que no funcionan. Se demuestra ademas que aunque los axiomas centrales de TC son empiricamente vacuos, las versiones extendidas de TC tienen un contenido empirico gracias al cual pueden generar predicciones independientemente contrastables. (shrink)

We start this paper by arguing that causality should, in analogy with force in Newtonian physics, be understood as a theoretical concept that is not explicated by a single definition, but by the axioms of a theory. Such an understanding of causality implicitly underlies the well-known theory of causal nets and has been explicitly promoted by Glymour. In this paper we investigate the explanatory warrant and empirical content of TCN. We sketch how the assumption of directed cause–effect relations can be (...) philosophically justified by an inference to the best explanation. We then ask whether the explanations provided by TCN are merely post-facto or have independently testable empirical content. To answer this question we develop a fine-grained axiomatization of TCN, including a distinction of different kinds of faithfulness. A number of theorems show that although the core axioms of TCN are empirically empty, extended versions of TCN have successively increasing empirical content. (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.

Inter-theoretical reduction has always been a major topic in the structuralist philosophy of science. This paper reviews criteria of adequacy which were put forward by Adams, Sneed, Stegmuller, Mayr, Pearce, Kamlah, and Mormann. The criteria are formalized in a simplified structuralist model, and the logical relations between them are investigated. It turns out that various parts of these criteria are incompatible.

An interesting metatheoretical controversy took place during the 1980’s and 1990’s between pattern and phylogenetic cladists. What was always at stake in the discussion was not how work in systematics should be carried out, but rather how this practice should be metatheoretically interpreted. In this article, we criticize Pearson’s account of the metatheoretical factors at play in this discussion. Following him, we focus on the issue of circularity, and on the role that phylogenetic hypotheses play in the determination of “primary (...) homologies”. Pearson argues that the recognition of primary homologies cannot be achieved without recourse to previous phylogenetic knowledge, and that to claim otherwise is to state that primary homologies are observable. To show why that view would be inadequate, he appeals to Hanson’s views about theory-laden observation, alongside with a specific case study, which allegedly illustrates the more complex relation between observation and theory. We will argue that the pattern cladists’ point is better addressed by taking a quite different approach: instead of thinking in terms of observability, the topic can be tackled by paying attention to the way in which concepts are determined. We will take the notion of T-theoricity from metatheoretical structuralism and show that, once the issue is discussed with the appropriate metatheoretical framework, the alleged counterexample brought up by Pearson is not problematic at all for pattern cladism. (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)

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.

Using Sneed''s metatheory an attempt is made to reconstruct Hodgkin and Huxley''s theory of excitation of cell membranes. The structure of this theory is uncovered by defining set-theoretical predicates for the partial potential models, potential models, and models of the theory. The function of permeability is said to be the only theoretical function with respect to this theory. The main underlying assumptions of the theory are briefly outlined.

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)

The aim of this article is to discuss and develop the diagnose of the Hardy-Weinberg law made by van Fraassen (1987, p. 110), according to which: 1) that law cannot be considered a law used as an axiom for the classical population genetics as a whole, since it is an equilibrium-law that holds only under certain special conditions; 2) it just determines a subclass of models; 3) its generalization shades off into logical vacuity; and 4) more complex variants of the (...) law can be deduced for more realistic assumptions. The discussion and development of such a diagnose will be carried out with the notions of another semantic conceptions of theories, related to that of van Fraassen, namely, the structuralist view of theories, and a rational reconstruction of classical population genetics made within the framework of such a metatheory, also presented in this paper. (shrink)

This paper is the second of a two-part series on models and theories, the first of which appeared in International Studies in the Philosophy of Science, Vol. 11, No. 2, 1997. It further explores some of themes of the first paper and examines applications, including: the relations between “similarity” and “isomorphism”, and between “model” and “interpretation”, and the notion of structural explanation.

The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid semantic view, (...) which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (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, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if one only commits to the modest (...) interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)

Several case studies and theoretical reports indicate that the structuralist concept of a constraint has a central role in the reconstruction of physical theories. It is surprising that there is, in the literature, only little theoretical discussion on the relevance of constraints for the reconstruction of social scientific theories. Almost all structuralist reconstructions of social theorizing are vacuously constrained. Consequently, constraints are methodologically irrelevant.In this paper I try to show that there really exist constraint-type assumptions in mathematical modelling in the (...) social sciences. Methodologically constraints have exactly the same role in the context of social mathematical modelling as they have in physical theories. In typical cases of mathematical modelling in the social sciences, the related constraints work as empirical hypotheses and should be tested by statistical means. (shrink)

A technical artefact is often described in two ways: by means of a physicalistic model of its structure and dynamics, and by a functional account of the contributions of the components of the artefact to its capacities. These models do not compete, as different models of the same phenomenon in physics usually do; they supplement each other and cohere. Coherence is shown to be the result of a mapping of role-contributions on physicalistic relations that is brought about by the concept (...) of function. It results a sandwich-like structure of the two models, which can be reconstructed as a two-sorted theory element. (shrink)

I consider three aspects in which machine learning and philosophy of science can illuminate each other: methodology, inductive simplicity and theoretical terms. I examine the relations between the two subjects and conclude by claiming these relations to be very close.

There has been a growing trend to include non-causal models in accounts of scientific explanation. A worry addressed in this paper is that without a higher threshold for explanation there are no tools for distinguishing between models that provide genuine explanations and those that provide merely potential explanations. To remedy this, a condition is introduced that extends a veridicality requirement to models that are empirically underdetermined, highly-idealised, or otherwise non-causal. This condition is applied to models of electroweak symmetry breaking beyond (...) the Standard Model. (shrink)

We investigate the way physical laws objectively refer to the entities they are about. Laws of mathematical physics do not refer directly to the “real world” but to an ideal specific domain of objects, which we term “scope”. In order to find out which real objects physical laws deal with, reference to the scope is not sufficient. We need in addition the search for domains to which laws apply — i. e. “empirical domains”— in order to establish their reference to (...) the “real world”. It is just in such empirical domains that we are able to discover the real entities physical laws objectively refer to. “Physical reality” turns out to be not something “given” but rather something “to come out” of the very process of scientific inquiry. (shrink)

In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to every, inertial (...) or not, reference frame. And I will present a view that in the research process under Newtonian mechanics the accumulation of those models of the relation that satisfied some realistic conditions determined an additional structure of non-rotating frames to Leibnizian space-time. (shrink)

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

This work takes a stand on whether Wallace should be regarded as co-author of the theory of natural selection alongside Darwin as he is usually considered on behalf of his alleged essential contribution to the conception of the theory. It does so from a perspective unexplored thus far: we will argue for Darwin’s priority based on a rational reconstruction of the theory of natural selection as it appears in the writings of both authors. We show that the theory does not (...) appear in exactly the same manner in the writings of each of its alleged co-discoverers: tough we find the same fundamental elements in both works, even in Darwin’s early texts, we discern a more complex unifying and ramified structure than the one we find in Wallace’s Ternate manuscript. Even when we think the badge of the “Darwin–Wallace” theory is well deserved, the unifying force of Darwin’s version has proved to be one of the keys for the ulterior success of the so-called Darwinian revolution in Biology. (shrink)

In arguing a "role for history," Kuhn was proposing a naturalized philosophy of science. That, I argue, is the only viable approach to the philosophy of science. I begin by exhibiting the main general objections to a naturalistic approach. These objections, I suggest, are equally powerful against nonnaturalistic accounts. I review the failure of two nonnaturalistic approaches, methodological foundationism (Carnap, Reichenbach, and Popper) and metamethodology (Lakatos and Laudan). The correct response, I suggest, is to adopt an "evolutionary perspective." This perspective (...) is defended against one recent critic (Putnam). To argue the plausibility of a naturalistic approach, I next sketch a naturalistic account of theories and of theory choice. This account is then illustrated by the recent revolution in geology. In conclusion I return to Kuhn's question about the role of history in developing a naturalistic theory of science. (shrink)

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

William Whewell’s philosophy of scientific discovery is applied to the problem of understanding the nature of unification and explanation by the composition of causes in Newtonian mechanics. The essay attempts to demonstrate: the sense in which ”approximate’ laws successfully refer to real physical systems rather than to idealizations of them; why good theoretical constructs are not badly underdetermined by observation; and why, in particular, Newtonian forces are not conventional and how empiricist arguments against the existence of component causes, and against (...) the veracity of the fundamental laws, are flawed. (shrink)

The likelihood theory of evidence (LTE) says, roughly, that all the information relevant to the bearing of data on hypotheses (or models) is contained in the likelihoods. There exist counterexamples in which one can tell which of two hypotheses is true from the full data, but not from the likelihoods alone. These examples suggest that some forms of scientific reasoning, such as the consilience of inductions (Whewell, 1858. In Novum organon renovatum (Part II of the 3rd ed.). The philosophy of (...) the inductive sciences. London: Cass, 1967), cannot be represented within Bayesian and Likelihoodist philosophies of science. (shrink)

This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)