Traditional approaches to theory structure and theory change in science do not fare well when confronted with the practice of certain fields of science. We offer an account of contemporary practice in molecular biology designed to address two questions: Is theory change in this area of science gradual or saltatory? What is the relation between molecular biology and the fields of traditional biology? Our main focus is a recent episode in molecular biology, the discovery of enzymatic (...) RNA. We argue that our reconstruction of this episode shows that traditional approaches to theory structure and theory change need considerable refinement if they are to be defended as generally applicable. 1This paper emerged from discussions between us, and we are both equally responsible for its errors. We would like to thank Yvonne Paterson for helpful comments. (shrink)

This paper examines the nature of theory structure in biology and considers the implications of those theoretical structures for theory reduction. An account of biological theories as interlevel prototypes embodying causal sequences, and related to each other by strong analogies, is presented, and examples from the neurosciences are provided to illustrate these middle-range theories. I then go on to discuss several modifications of Nagel''s classical model of theory reduction, and indicate at what stages in the development (...) of reductions these models might best apply. Finally I consider several implications of these analyses of theory structure and reduction for disciplinary integration in biology. (shrink)

Company Law: Theory, Structure and Operation is the first United Kingdom law text to use economic theory to provide insights into corporate law, an approach widely adopted in the United States. In this book, Brian Cheffins discusses the inner workings of companies, examines the impact of the legal system on corporate activities, and evaluates the merits of governmental regulatory strategies. The book covers core areas of the undergraduate company law syllabus in a stimulating and theoretically enlightening fashion (...) and addresses important company law topics such as: * limited liability of shareholders * shareholders' remedies * corporate governance * executive pay * the role of self-regulation in United Kingdom securities markets * the impact of European Union Directives on company law in the UK Brian Cheffins also examines in detail a number of questions which have not been fully explored elsewhere. These include: * What are the justifications for legal regulation of company affairs? * What are the drawbacks associated with government intervention? * How can one ascertain the optimal format for company law rules? (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)

It is exhibited that mature scientific economical theory is a set of propositions that describe the relationship between theoretical objects of two types - basic objects and derivative ones. The set of basic objects makes up the aggregate of initial idealizations (the Fundamental Theoretical Scheme or FTS) with no direct reference to experimental data. The derivative theoretical objects are formed from the basic ones according to certain rules. The sets of derivative objects form partial theoretical schemes or PTS. Any (...) mature economics scientific theory grows due to transitions, in order to describe each new experimental situation, from FTS to PTS. Each PTS construction from the FTS represents a problem that cannot be reduced to a strict algorithm. (shrink)

Logic, Methodology, and the Philosophy of Science, the Proceedings of the 1960 International Congress at Stanford, is heavily weighted towards technical problems of logic, foundations of mathematics, and the special sciences, especially psychology, economic models, and structural linguistics, with little discussion of general problems of the philosophy of science. Problems about the idealization involved in the relation of theories to the world become problems about probabilistic models at various levels of abstraction ; induction becomes a problem in decision theory (...) ; language becomes the subject-matter of formalized syntactics, and so on. There is nothing in the least undesirable about these inquiries in a Philosophy of Science Congress, but there is a danger that, if they are not balanced by more informal discussions, real points of dispute are missed, or decided over-hastily in the brief preliminaries of formalization. The philosopher's job ought sometimes to be the more irritating one of returning to these points of dispute; a job which is well done in some of the contributions to this volume, but one could wish to find it being done in more. In what follows I shall have to restrict myself to commenting on only a handful of these more philosophical papers. (shrink)

Using the context of controversies surrounding evolutionary developmental biology (EvoDevo) and the possibility of an Extended Evolutionary Synthesis, I provide an account of theory structure as idealized theory presentations that are always incomplete (partial) and shaped by their conceptual content (material rather than formal organization). These two characteristics are salient because the goals that organize and regulate scientific practice, including the activity of using a theory, are heterogeneous. This means that the same theory can be (...) structured differently, in part because theory presentations (as idealizations) intentionally depart from different features known to be present in a theory. Since there are diverse and potentially incompatible theory structures derived from heterogeneous goals found in scientific practices, a question arises about the absence of a unifying theory structure in the background. The notion of a “theory façade” offers a fruitful perspective on this potentially unsettling result. (shrink)

In this paper I discuss the nature of a broad class of biomedical theories which I have termed "middle-range theories." I define them and relate the nature of biomedical theorizing to other investigations, such as a recent inquiry by the National Academy of Sciences. I also suggest that some of the knowledge representation tools from artificial intelligence may give us a purchase on this type of biological theorizing, and try to show in a rather preliminary and exploratory manner by using (...) the lac operon model of genetic control, what some of those AI applications, such as frames and semantic nets, might look like in this context. Finally, I suggest some difficulties, such as the non-monotonicity of reasoning, which such tools may generate. (shrink)

In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best (...) confirmed theories in science, but debates over its ontology are vexed. Rather than taking a stand on these matters, the structural realist can embrace QFT as an example of just the kind of theory SR should lead us to expect. Yet, it is not clear that QFT meets the structuralist's positive expectation by providing a structure for the world. In particular, the problem of unitarily inequivalent representations threatens to undermine the possibility of QFT providing a unique structure for the world. In response to this problem, I suggest that the structuralist should endorse pluralism about structure. (shrink)

Erratum to Using the context of controversies surrounding evolutionary developmental biology (EvoDevo) and the possibility of an Extended Evolutionary Synthesis, I provide an account of theory structure as idealized theory presentations that are always incomplete (partial) and shaped by their conceptual content (material rather than formal organization). These two characteristics are salient because the goals that organize and regulate scientific practice, including the activity of using a theory, are heterogeneous. This means that the same theory (...) can be structured differently, in part because theory presentations (as idealizations) intentionally depart from different features known to be present in a theory. Since there are diverse and potentially incompatible theory structures derived from heterogeneous goals found in scientific practices, a question arises about the absence of a unifying theory structure in the background. The notion of a “theory façade” offers a fruitful perspective on this potentially unsettling result. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory (...) is given both a diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

During the last ten years John Beatty, Elisabeth Lloyd and I have argued that the semantic conception of theories is, in the context of biological theorizing, a richer conception of theory structure than the syntactic ("received view") conception. Specifically, I have argued semantic conception of theory structure better represents the structure of evolutionary theory and the relationship of this theory to phenomena. One aspect of the semantic conception that is in need of greater (...) attention is the nature of explanation on this conception. In this paper, I argue that the semantic conception provides a richer mo accurate account of scientific explanation, in particular, of evolutionary explanations. In essence, I argue that explanation involves an appeal to numerous theories in addition to the putative explanatory theory. Employment of these theories is not formally possible in a syntactic conception but is in a semantic conception. (shrink)

The theory of mind debate has reached a “hybrid consensus” concerning the status of theory-theory and simulation-theory. Extant hybrid models either specify co-dependency and implementation relations, or distribute mentalizing tasks according to folk-psychological categories. By relying on a non-developmental framework these models fail to capture the central connection between simulation and theory. I propose a “dynamic” hybrid that is informed by recent work on the nature of similarity cognition. I claim that Gentner’s model of (...) class='Hi'>structure-mapping allows us to understand simulation as a process in which psychological representations are aligned, causing the spontaneous abstraction of theoretical generalizations about the psychological domain. (shrink)

The contributions that the philosophy of medicine can make to both the philosophy of science and the practice of science have been obscured in recent years by an overemphasis on personalities rather than critical themes. Two themes have dominated general discussion within contemporary philosophy of science: methodological essentialism and dynamic gradualism. These themes are defined and considered in light of Kenneth Schaffner's argument that theories in biomedicine have a structure and logic unlike that found in theories of the natural (...) sciences. Schaffner's arguments are suggestive but not definitive as a refutation of methodological essentialism. I argue that a primary reason for differences in the logic and structure of theories in biomedicine is not, as some philosophers have suggested, a product of ontological differences, but rather a product of the practical and pragmatic concerns of scientific theorizing in many areas of science, such as medicine. Keywords: philosophy of medicine, philosophy of science, logic of medicine, medical theory, methodological essentialism, dynamic gradualism CiteULike Connotea Del.icio.us What's this? (shrink)

This paper gives an account of theory structure in the biomedical sciences with particular emphasis on cardiology. Rather than regarding theories as axiomatizable sets of statements (the so-called received view), theories are regarded as answers to questions which are accepted as legitimate and interesting by scientists within a field of investigation at a given time. This account of theory structure is used to distinguish between theories which are quite liable to be revised during the course of (...) scientific investigation, here called theories within the field, and theories which are more securely established, here called theories of the field. These latter theories can also be regarded as patterns of reasoning which are applied again and again to answer the questions of the field. It is argued that the distinction proposed in this paper fits our intuitive understanding of what it means for a theory to be securely established within a field of research. Several examples are given which show the problems of justifying clinical intervention solely on the basis of theories within the field. (shrink)

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each (...) topic. The ability of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

An approach to argument macrostructure -- The dialectical nature of argument -- Toulmin's problematic notion of warrant -- The linked-convergent distinction, a first approximation -- Argument structure and disciplinary perspective : the linked-convergent versus multiple-co-ordinatively compound distinctions -- The linked-convergent distinction, refining the criterion -- Argument structure and enthymemes -- From analysis to evaluation.

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such (...) systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

We propose a theory for modeling concepts that uses the state-context-property theory (SCOP), a generalization of the quantum formalism, whose basic notions are states, contexts and properties. This theory enables us to incorporate context into the mathematical structure used to describe a concept, and thereby model how context influences the typicality of a single exemplar and the applicability of a single property of a concept. We introduce the notion `state of a concept' to account for this (...) contextual influence, and show that the structure of the set of contexts and of the set of properties of a concept is a complete orthocomplemented lattice. The structural study in this article is a preparation for a numerical mathematical theory of concepts in the Hilbert space of quantum mechanics that allows the description of the combination of concepts. (shrink)

This paper elaborates on the following correspondence theorem : if theory T has been empirically successful in a domain of applications A, but was superseded later on by a different theory T* which was likewise successful in A, then under natural conditions T contains theoretical expressions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varphi}$$\end{document} which were responsible for T’s success and correspond to certain theoretical expressions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varphi}^{*}$$\end{document} of (...) T*. I illustrate this theorem at hand of the phlogiston versus oxygen theories of combustion, and the classical versus relativistic theories of mass. The ontological consequences of the theorem are worked out in terms of the indirect reference and partial truth. The final section explains how the correspondence theorem may justify a weak version of scientific realism without presupposing the no-miracles argument. (shrink)

Given a weakly o-minimal structure${\cal M}$and its o-minimal completion$\bar{{\cal M}}$, we first associate to$\bar{{\cal M}}$a canonical language and then prove thatTh$\left$determines$Th\left$. We then investigate the theory of the pair$\left$in the spirit of the theory of dense pairs of o-minimal structures, and prove, among other results, that it is near model complete, and every definable open subset of${\bar{M}^n}$is already definable in$\bar{{\cal M}}$.We give an example of a weakly o-minimal structure interpreting$\bar{{\cal M}}$and show that it is not elementarily (...) equivalent to any reduct of an o-minimal trace. (shrink)

Theories of language production propose that utterances are constructed by a mechanism that separates linguistic content from linguistic structure, Linguistic content is retrieved from the mental lexicon, and is then inserted into slots in linguistic structures or frames. Support for this kind of model at the phonological level comes from patterns of phonological speech errors. W present an alternative account of these patterns using a connectionist or parallel distributed proceesing (PDP) model that learns to produce sequences of phonological features. (...) The model's errors exhibit some of the properties of human speech errors, specifically, properties that have been attributed to the action of phonological rules, frames, or other structural generalizations. (shrink)

Ontic structural realism refers to the novel, exciting, and widely discussed basic idea that the structure of physical reality is genuinely relational. In its radical form, the doctrine claims that there are, in fact, no objects but only structure, i.e., relations. More moderate approaches state that objects have only relational but no intrinsic properties. In its most moderate and most tenable form, ontic structural realism assumes that at the most fundamental level of physical reality there are only relational (...) properties. This means that the most fundamental objects only possess relational but no non-reducible intrinsic properties. The present paper will argue that our currently best physics refutes even this most moderate form of ontic structural realism. More precisely, I will claim that 1) according to quantum field theory, the most fundamental objects of matter are quantum fields and not particles, and show that 2) according to the Standard Model, quantum fields have intrinsic non-relational properties. (shrink)

While structural equations modeling is increasingly used in philosophical theorizing about causation, it remains unclear what it takes for a particular structural equations model to be correct. To the extent that this issue has been addressed, the consensus appears to be that it takes a certain family of causal counterfactuals being true. I argue that this account faces difficulties in securing the independent manipulability of the structural determination relations represented in a correct structural equations model. I then offer an alternate (...) understanding of structural determination, and I demonstrate that this theory guarantees that structural determination relations are independently manipulable. The account provides a straightforward way of understanding hypothetical interventions, as well as a criterion for distinguishing hypothetical changes in the values of variables which constitute interventions from those which do not. It additionally affords a semantics for causal counterfactual conditionals which is able to yield a clean solution to a problem case for the standard ‘closest possible world’ semantics. (shrink)

The principle of natural selection is stated. It connects fitness values (actual reproductive success) with expected fitness values. The term 'adaptedness' is used for expected fitness values. The principle of natural selection explains differential fitness in terms of relative adaptedness. It is argued that this principle is absolutely central to Darwinian evolutionary theory. The empirical content of the principle of natural selection is examined. It is argued that the principle itself has no empirical biological content, but that the presuppositions (...) of its applicability are empirical. They form the empirical biological core of evolutionary theory. (shrink)

Normative theorists like to divide normative theories into classes. One special point of focus has been to place utilitarianism into a larger class of theories which do not necessarily share its view about what is alone of impersonal intrinsic value, namely, individual human well-being, but do share another structural feature, roughly its demand that each person seek to maximize the realization of what is of impersonal intrinsic value. The larger class is distinguished from its complement in two apparently different ways. (...) Let us look briefly at these two ways. (shrink)

Ontic structural realism constitutes a promising take on scientific realism, one that avoids the well‐known issues that realist stances have with underdetermination and theory change. In its most radical versions, ontic structural realism proposes a type of eliminativism about theoretical entities, ascribing ontological commitment only to the structures, and not to the objects appearing in our theories. More moderate versions of ontic structural realism have also been proposed, allowing for ‘thin’ objects in the ontology. This work connects these takes (...) on structural realism with the independent notion that there are two categorically different kinds of scientific theories, namely those that deal with interactions and those that deal with structural constraints – what are known as interaction and framework theories, respectively. By taking this classification seriously, one can arrive at a selective version of ontic structural realism which is better adapted to our scientific knowledge, in which eliminativist ontic structural realism constitutes a natural fit to framework theories, whereas the moderate version is connected to interaction theories. (shrink)

Any theory of practical irrationality necessarily imposes a division of labour between an account of the agent's intentional states and how these are formed, and an account of how these intentional states get applied in particular circumstances to choose a particular action. Nevertheless, questions that concern the content of the agent's beliefs and desires are still routinely lumped together with questions that deal with the way the agent chooses in the light of these beliefs and desires. This generates a (...) number of pseudoproblems. Seeks to clarify some of them, by considering the internal structure of decision theory. (shrink)

Suppe, F. The search for philosophic understanding of scientific theories (p. [1]-241)--Proceedings of the symposium.--Bibliography, compiled by Rew A. Godow, Jr. (p. [615]-646).

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For (...) illustrative purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

This article studies the underinvestigated but fascinating issue of the sociological determinants of accounting misbehavior while focusing on an allegedly illicit accounting practice (i.e., restatement) in family- vs. nonfamily-controlled corporations. Under the framework of institutional anomie theory, we examined whether sociological structures (i.e., legal forces and cultural values) influence accounting errors inducing restatements. By applying a multivariate regression analysis to a sample of restating firms listed in 23 countries during the 2006 to 2014 period, we found that legal forces (...) and cultural values significantly moderate the severity of accounting errors. The results of this study suggest that investors, managers, and policymakers should more fully consider the sociological structures of societies when debating the feasibility of corporate misbehaviors, as combining firm-level and country-level analyses could help to predict a firm’s accounting misbehaviors, such as more severe accounting errors. (shrink)

We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we prove a form of “singular cardinal compactness” for Jensen's square principle. We then study the relationship between internally approachable and tight structures, which parallels to a certain extent the relationship between good and approachable points. In particular we characterise the tight structures in terms of PCF theory and use our characterisation to (...) prove some covering results for tight structures, along with some results on tightness and stationary reflection. Finally, we prove some absoluteness theorems in PCF theory, deduce a covering theorem, and apply that theorem to the study of precipitous ideals. (shrink)

We prove a number of consistency results complementary to the ZFC results from our paper [J. Cummings, M. Foreman, M. Magidor, Canonical structure in the universe of set theory: part one, Annals of Pure and Applied Logic 129 211–243]. We produce examples of non-tightly stationary mutually stationary sequences, sequences of cardinals on which every sequence of sets is mutually stationary, and mutually stationary sequences not concentrating on a fixed cofinality. We also give an alternative proof for the consistency (...) of the existence of stationarily many non-good points, show that diagonal Prikry forcing preserves certain stationary reflection properties, and study the relationship between some simultaneous reflection principles. Finally we show that the least cardinal where square fails can be the least inaccessible, and show that weak square is incompatible in a strong sense with generic supercompactness. (shrink)

(No abstract is available for this citation).

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.

Alasia Nuti’s recent book Injustice and the Reproduction of History: Structural Inequalities, Gender and Redress puts forward a compelling vision of contemporary duties to redress past wrongdoing, grounded in the idea of “historical-structural-injustice”, constituted by the “structural reproduction of an unjust history over time and through changes”. Such an approach promises to transcend the familiar scholarly divide between “backward-looking” and “forward-looking” models, and allow for a reparative approach that focuses specifically on those past wrongs that impact the present, while retaining (...) a significant focus on the historical. While Nuti’s work is perhaps the most sophisticated treatment of structural injustice to date, this paper argues that an exclusive concentration on historical-structural-injustices neglects some aspects and some acts of wrongdoing that call out for present-day redress. What is needed, therefore, is a pluralist theory that can accept the pressing force in the present of historical-structural-injustices, whilst also making room for past-regarding duties that either do not fit, or are not best conceptualized in terms of, this approach, without being overwhelmed by the sheer scale of historic injustice. (shrink)

We study structures equipped with generic predicates and/or automorphisms, and show that in many cases we obtain simple theories. We also show that a bounded PAC field is simple. 1998 Published by Elsevier Science B.V. All rights reserved.

Stephen Jay Gould’s monumental The Structure of Evolutionary Theory ‘‘attempts to expand and alter the premises of Darwinism, in order to build an enlarged and distinctive evolutionary theory . . . while remaining within the tradition, and under the logic, of Darwinian argument.’’ The three branches or ‘‘fundamental principles of Darwinian logic’’ are, according to Gould: agency (natural selection acting on individual organisms), efficacy (producing new species adapted to their environments), and scope (accumulation of changes that through (...) geological time yield the living world’s panoply of diversity and morphological complexity). Gould’s efforts to contribute something important to each of these three fundamental components of Darwinian Theory are far from successful. (shrink)