As early as 1981, about 1 year before Shechtman’s discovery of an actual quasicrystal, Alan L. Mackay discussed, in a seminal paper, the first steps for the expansion of crystallography toward its modern phase. In this phase, new possibilities of structures and order, such as the structures of five-fold symmetry, for crystals have been discovered. Medieval Islamic decorators as well as Albrecht Dürer, Johannes Kepler, Roger Penrose, Mackay himself, and other pioneer crystallographers raised important contributions to the theoretical discovery (...) of crystalline possibilities long before or independently of the discovery of their actual existence. In this paper, I discuss further the philosophical significance of Mackay’s theoretical discovery and his contribution to the expansion of pure geometrical crystallography, biological crystallography, and generalized crystallography. (shrink)

As early as 1981, about 1 year before Shechtman’s discovery of an actual quasicrystal, Alan L. Mackay discussed, in a seminal paper, the first steps for the expansion of crystallography toward its modern phase. In this phase, new possibilities of structures and order, such as the structures of five-fold symmetry, for crystals have been discovered. Medieval Islamic decorators as well as Albrecht Dürer, Johannes Kepler, Roger Penrose, Mackay himself, and other pioneer crystallographers raised important contributions to the theoretical discovery (...) of crystalline possibilities long before or independently of the discovery of their actual existence. In this paper, I discuss further the philosophical significance of Mackay’s theoretical discovery and his contribution to the expansion of pure geometrical crystallography, biological crystallography, and generalized crystallography. (shrink)

The notion that manual gestures played an important role in the evolution of human language was strengthened by the discovery of mirror neurons in monkey area F5, the proposed homologue of human Broca's area. This idea is central to the thesis developed by Arbib, and lending further support to a link between motor resonance mechanisms and language/communication development is the case of autism and congenital blindness. We provide an account of how these conditions may relate to the aforementioned theory.

In this paper I consider two accounts of scientific discovery, Robert Hudson's and Peter Achinstein's. I assess their relative success and I show that while both approaches are similar in promising ways, and address experimental discoveries well, they could address the concerns of the discovery sceptic more explicitly than they do. I also explore the implications of their inability to address purely theoretical discoveries, such as those often made in mathematical physics. I do so by showing that (...) extending Hudson's or Achinstein's account to such cases can sometimes provide a misleading analysis about who ought to be credited as a discoverer. In the final sections of the paper I work out some revisions to the Hudson/Achinstein account by drawing from a so-called structural realist view of theory change. Finally, I show how such a modified account of discovery can answer sceptical critics such as Musgrave or Woolgar without producing misleading analyses about who ought to receive credit as a discoverer in cases from the mathematical sciences. I illustrate the usefulness of this approach by providing an analysis of the case of the discovery of the Casimir effect. (shrink)

Epistemologists have debated at length whether scientific discovery is a rational and logical process. If it is, according to the Artificial Intelligence hypothesis, it should be possible to write computer programs able to discover laws or theories; and if such programs were written, this would definitely prove the existence of a logic of discovery. Attempts in this direction, however, have been unsuccessful: the programs written by Simon's group, indeed, infer famous laws of physics and chemistry; but having found no new (...) law, they cannot properly be considered discovery machines. The programs written in the Turing tradition, instead, produced new and useful empirical generalization, but no theoretical discovery, thus failing to prove the logical character of the most significant kind of discoveries. A new cognitivist and connectionist approach by Holland, Holyoak, Nisbett and Thagard, looks more promising. Reflection on their proposals helps to understand the complex character of discovery processes, the abandonment of belief in the logic of discovery by logical positivists, and the necessity of a realist interpretation of scientific research. (shrink)

Computational philosophy (CP) aims at investigating many important concepts and problems of the philosophical and epistemological tradition in a new way by taking advantage of information-theoretic, cognitive, and artificial intelligence methodologies. I maintain that the results of computational philosophy meet the classical requirements of some Peircian pragmatic ambitions. Indeed, more than a 100 years ago, the American philosopher C.S. Peirce, when working on logical and philosophical problems, suggested the concept of pragmatism(pragmaticism, in his own words) as a logical criterion to (...) analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, many philosophers have usually offered a number of ways of construing hypotheses generation, but they aim at demonstrating that the activity of generating hypotheses is paradoxical, obscure, and thus not analyzable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. To dismiss this tendency and gain interesting insight about the so-called logic of scientific discovery we need to build constructive procedures, which could play a role in moving the problem-solving process forward by implementing them in some actual models. The computational turn gives us a new way to understand creative processes in a strictly pragmatic sense. In fact, by exploiting artificial intelligence and cognitive science tools, computational philosophy allows us to test concepts and ideas previously conceived only in abstract terms. It is in the perspective of these actual computational models that I find the central role of abduction in the explanation of creative reasoning in science. I maintain that the computational philosophy analysis of model-based and manipulative abduction and of external and epistemic mediators is important not only to delineate the actual practice of abduction, but also to further enhance the development of programs computationally adequate in rediscovering, or discovering for the first time, for example, scientific hypotheses or mathematical theorems. The last part of the paper is devoted to illustrating the problem of the extra-theoretical dimension of reasoning and discovery from the perspective of some mathematical cases derived from calculus and geometry. (shrink)

Aristotle's Categories can easily seem to be a statement of a naïve, pre-philosophical ontology, centered around ordinary items. Wolfgang-Rainer Mann argues that the treatise, in fact, presents a revolutionary metaphysical picture, one Aristotle arrives at by (implicitly) criticizing Plato and Plato's strange counterparts, the "Late-Learners" of the Sophist. As Mann shows, the Categories reflects Aristotle's discovery that ordinary items are things (objects with properties). Put most starkly, Mann contends that there were no things before Aristotle. The author's argument consists of (...) two main elements. First, a careful investigation of Plato which aims to make sense of the odd-sounding suggestion that things do not show up as things in his ontology. Secondly, an exposition of the theoretical apparatus Aristotle introduces in the Categories--an exposition which shows how Plato's and the Late-Learners' metaphysical pictures cannot help but seem inadequate in light of that apparatus. In doing so, Mann reveals that Aristotle's conception of things--now so engrained in Western thought as to seem a natural expression of common sense--was really a hard-won philosophical achievement. Clear, subtle, and rigorously argued, The Discovery of Things will reshape our understanding of some of Aristotle's--and Plato's--most basic ideas. (shrink)

The discovery of the Higgs particle required a signal of 5σ significance. The rigid application of that condition is a convention that disregards more specific aspects of the given experiment. In particular, it does not account for the characteristics of the look elsewhere effect in the individual experimental context. The paper relates this aspect of data analysis to the question as to what extent theoretical reasoning should be admitted to play a role in the assessment of the significance of (...) empirical data. (shrink)

Scientists routinely solve the problem of supplementing one’s store of variables with new theoretical posits that can explain the previously inexplicable. The banality of success at this task obscures a remarkable fact. Generating hypotheses that contain novel variables and accurately project over a limited amount of additional data is so difficult—the space of possibilities so vast—that succeeding through guesswork is overwhelmingly unlikely despite a very large number of attempts. And yet scientists do generate hypotheses of this sort in very (...) few tries. I argue that this poses a dilemma: either the long history of scientific success is a miracle, or there exists at least one method or algorithm for generating novel hypotheses with at least limited projectibility on the basis of what’s available to the scientist at a time, namely a set of observations, the history of past conjectures, and some prior theoretical commitments. In other words, either ordinary scientific success is miraculous or there exists a logic of discovery at the heart of actual scientific method. (shrink)

How do scientific models represent in a way that enables us to discover new truths about reality and draw inferences about it? Contemporary accounts of scientific discovery answer this question by focusing on the cognitive mechanisms involved in the generation of new ideas and concepts in terms of a special sort of reasoning—or model-based reasoning—involving imagery. Alternatively, I argue that answering this question requires that we recognise the crucial role of the propositional imagination in the construction and development of models (...) for the purpose of generating hypotheses that are plausible candidates for truth. I propose simple fictionalism as a new account of models as Waltonian games of make-believe and suggest that models can lead to genuine scientific discovery when they are used as representations that denote real world phenomena and generate two main kinds of theoretical hypotheses, model-world comparisons and direct attributions. (shrink)

The book is a comprehensive introduction to the work of the Estonian-German biologist Jakob von Uexküll. After a first introductory chapter by Morten Tønnessen and a second chapter on Uexküll's life and philosophical background, it contains four chapters devoted to the analysis of his main works; they are followed by a vast eighth chapter which deals with the influence Uexküll had on other philosophers and scientists, and by a conclusions focused on the possibility of updating Uexküll's work. The monograph combines (...) a careful reconstruction of the historical context in which the Uexküllian concepts emerged (the debate between mechanism and vitalism, contemporary scientific studies) and a thorough analysis of the philosophical contents of the Uexküllian views. As far as the key issue is concerned, Uexküll's notion of Umwelt refers to the perceptive and operative world which surrounds animal species; it is a subjective species-specific construction which provides living organisms with great security and behaviour stability. Moreover, the relationship that the animal carries out with its environment proves to be a complex system of semiotic interactions: its behaviour is not a set of mechanical reactions, but the result of a spontaneous attribution of meaning to the outside world, whose environmental elements are actively interpreted by the subject. The environment of animal species becomes a field of meaning, an exceedingly complex subjective elaboration; this can lessen the distance between animals and men, crediting both with the cognitive ability to grasp meanings and to use signs. (shrink)

While collaboration has always played an important role in many cases of discovery and creation, recent developments such as the web facilitate and encourage collaboration at scales never seen before, even in areas such as mathematics, where contributions by single individuals have historically been the norm. This new scenario poses a challenge at the theoretical level, as it brings out the importance of various issues which, as of yet, have not been sufficiently central to the study of problem-solving, discovery, (...) and creativity. We analyze the case of collective and web-based proof events in mathematics, which share their temporal and social nature with every case of collective problem-solving. We propose that some ideas from cognitive architectures, in particular, the notion of codelet—understood as an agent engaged in one of a multitude of available tasks—can illuminate our understanding of collective problem-solving and act as a natural bridge from some of the theoretical aspects of collective, web-based discovery to the practical concern of designing cognitively inspired systems to support collective problem-solving. We use the Pythagorean Theorem and its many proofs as a case study to illustrate our approach. (shrink)

‘Serendipity’ is a category used to describe discoveries in science that occur at the intersection of chance and wisdom. In this paper, I argue for understanding serendipity in science as an emergent property of scientific discovery, describing an oblique relationship between the outcome of a discovery process and the intentions that drove it forward. The recognition of serendipity is correlated with an acknowledgment of the limits of expectations about potential sources of knowledge. I provide an analysis of serendipity in (...) science as a defense of this definition and its implications, drawing from theoretical and empirical research on experiences of serendipity as they occur in science and elsewhere. I focus on three interrelated features of serendipity in science. First, there are variations of serendipity. The process of serendipitous discovery can be complex. Second, a valuable outcome must be obtained before reflection upon the significance of the unexpected observation or event in respect to that outcome can take place. Therefore, serendipity is retrospectively categorized. Third, the primacy of epistemic expectations is elucidated. Finally, I place this analysis within discussions in philosophy of science regarding the impact of interpersonal competition upon the number and significance of scientific discoveries. Thus, the analysis of serendipity offered in this paper contributes to discussions about the social-epistemological aspects of scientific discovery and has normative implications for the structure of epistemically effective scientific communities. (shrink)

In the recent literature on explanation in biology, increasing attention is being paid to the connection between design explanation and mechanistic explanation, viz. the role of design principles and heuristics for mechanism discovery and mechanistic explanation. In this paper we extend the connection between design explanation and mechanism discovery by prizing apart two different types of design explanation and by elaborating novel heuristics that one specific type offers for mechanism discovery across species. We illustrate our claims in terms of two (...) lines of biological research on the biological advantages of organismal traits, one on the eye-size of giant squid, the other on foraging habits of specific bat species. We argue that this research illustrates useful heuristics for mechanism discovery across species, viz. reasoning strategies to infer likely mechanisms for a certain biological role based on assessments of the environmental conditions in which the role is performed efficiently and less or in-efficiently. We bring out the novel features of our analysis in terms of a comparison with mechanistic approaches to mechanism discovery, amongst which graph-theoretical ones, and by comparing the different types of design explanation and the discovery heuristics they support. (shrink)

In the recent literature on explanation in biology, increasing attention is being paid to the connection between design explanation and mechanistic explanation, viz. the role of design principles and heuristics for mechanism discovery and mechanistic explanation. In this paper we extend the connection between design explanation and mechanism discovery by prizing apart two different types of design explanation and by elaborating novel heuristics that one specific type offers for mechanism discovery across species. We illustrate our claims in terms of two (...) lines of biological research on the biological advantages of organismal traits, one on the eye-size of giant squid, the other on foraging habits of specific bat species. We argue that this research illustrates useful heuristics for mechanism discovery across species, viz. reasoning strategies to infer likely mechanisms for a certain biological role based on assessments of the environmental conditions in which the role is performed efficiently and less or in-efficiently. We bring out the novel features of our analysis in terms of a comparison with mechanistic approaches to mechanism discovery, amongst which graph-theoretical ones, and by comparing the different types of design explanation and the discovery heuristics they support. (shrink)

The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms can account for such a task. In the same vein, we analyse some key aspects of the historical and theoretical debate surrounding scientific discovery, in particular, the context of discovery and context of justification context distinction. We present an argument concerning the weakening of the discovery/justification context (...) dichotomy based on the descriptive accent contained in the non-monotonic logic perspective together with its epistemological concerns. (shrink)

remarks some lessons about self-knowledge (and some other self-relations) as well as use them to throw some light on what might seem to be a fairly distant area of philosophy, namely, Sartre's view of the person as of a divided nature, divided between what he calls the self-as-facticity and the self-as-transcendence. I hope it will become clear that there is not just perversity on my part in bringing together Wittgenstein and the last great Cartesian. One specific connection that will occupy (...) me here is their shared hostility to the idea of theoretical certainty as our model for the authority of ordinary self-knowledge, and their relating of such a theoretical model to specific forms of self-alienation. This, in turn, is related to another concern they share, a concern with the difficulties, philosophical and otherwise, in conceiving of oneself as but one person in the world among others. (shrink)

The ArgumentScientific tools—measurement and calculation instruments, techniques of inference—straddle the line between the context of discovery and the context of justification. In discovery, new scientific tools suggest new theoretical metaphors and concepts; and in justification, these tool-derived theoretical metaphors and concepts are morelikely to be accepted by the scientific community if the tools are already entrenched in scientific practice.Techniques of statistical inference and hypothesis testing entered American psychology first as tools in the 1940s and 1950s and then as (...) cognitive theories in the 1960s and 1970s. Not only did psychologists resists statistical metaphors of mind prior to the institutionalization of inference techniques in their own practice; the cognitive theories they ultimately developed about “the mind as intuitive statistician” still bear the telltale marks of the practical laboratory context in which the tool was used. (shrink)

Abstract‘Serendipity’ is a category used to describe discoveries in science that occur at the intersection of chance and wisdom. In this paper, I argue for understanding serendipity in science as an emergent property of scientific discovery, describing an oblique relationship between the outcome of a discovery process and the intentions that drove it forward. The recognition of serendipity is correlated with an acknowledgment of the limits of expectations about potential sources of knowledge. I provide an analysis of serendipity in (...) science as a defense of this definition and its implications, drawing from theoretical and empirical research on experiences of serendipity as they occur in science and elsewhere. I focus on three interrelated features of serendipity in science. First, there are variations of serendipity. The process of serendipitous discovery can be complex. Second, a valuable outcome must be obtained before reflection upon the significance of the unexpected observation or event in respect to that outcome can take place. Therefore, serendipity is retrospectively categorized. Third, the primacy of epistemic expectations is elucidated. Finally, I place this analysis within discussions in philosophy of science regarding the impact of interpersonal competition upon the number and significance of scientific discoveries. Thus, the analysis of serendipity offered in this paper contributes to discussions about the social-epistemological aspects of scientific discovery and has normative implications for the structure of epistemically effective scientific communities. (shrink)

Social entrepreneurship activity continues to surge tremendously in market and economic systems around the world. Yet, social entrepreneurship theory and understanding lag far behind its practice. For instance, the nature of the entrepreneurial discovery phenomenon, a critical area of inquiry in general entrepreneurship theory, receives no attention in the specific context of social entrepreneurship. To address the gap, we conceptualize social entrepreneurial discovery based on an extension of corporate social responsibility into social entrepreneurship contexts. We develop a model that emphasizes (...) mobilization and timing as underpinnings of social entrepreneurial discovery and offer distinct conceptual aspects and theoretic propositions instrumental to future social entrepreneurship research. (shrink)

Critical realism claims to bring a significant improvement to social science, especially in comparison with empiricist and interpretive approaches. So far, however, it has fallen short of the high expectations it raises. Critical realist arguments are convincing on the philosophical or meta-theoretical level but the contributions of critical realism to social science in terms of research activities at the field level are less clear. Nonetheless, there is no way back. Moving forward requires that the practice of doing social scientific (...) research be no longer perceived as limited to the justification of specific knowledge claims but must be seen as an integral part of the cycle of scientific discovery. (shrink)

Watson and Crick’s discovery of the structure of DNA led to developments that transformed many biological sciences. But what were the relevant developments and how did they transform biology? Much of the philosophical discussion concerning this question can be organized around two opposing views: theoretical reductionism and layer-cake antireductionism. Theoretical reductionist and their anti-reductionist foes hold two assumptions in common. First, both hold that biological knowledge is structured like a layer cake, with some biological sciences, such as molecular (...) biology cast at lower levels of organization, and others, such as classical genetics, cast at higher levels. Second, both assume that scientific knowledge is structured by theory and that the productivity of scientific research depends on whether the underlying theory identifies the fundamentals upon which the phenomena to be explained and investigated depend. In the first part of this paper, I challenge these assumptions. In the second part, I show how recasting the basic theory of classical genetics made it possible to retool the methodologies of genetics. It was the investigative power of these retooled methodologies, and not the explanatory power of a gene-based theory, that transformed biology. (shrink)

Philosophers of science diverge on the question what drives the growth of scientific knowledge. Most of the twentieth century was dominated by the notion that theories propel that growth whereas experiments play secondary roles of operating within the theoretical framework or testing theoretical predictions. New experimentalism, a school of thought pioneered by Ian Hacking in the early 1980s, challenged this view by arguing that theory-free exploratory experimentation may in many cases effectively probe nature and potentially spawn higher evidence-based (...) theories. Because theories are often powerless to envisage workings of complex biological systems, theory-independent experimentation is common in the life sciences. Some such experiments are triggered by compelling observation, others are prompted by innovative techniques or instruments, whereas different investigations query big data to identify regularities and underlying organizing principles. A distinct fourth type of experiments is motivated by a major question. Here I describe two question-guided experimental discoveries in biochemistry: the cyclic adenosine monophosphate mediator of hormone action and the ubiquitin-mediated system of protein degradation. Lacking underlying theories, antecedent data bases, or new techniques, the sole guides of the two discoveries were respective substantial questions. Both research projects were similarly instigated by theory-free exploratory experimentation and continued in alternating phases of results-based interim working hypotheses, their examination by experiment, provisional hypotheses again, and so on. These two cases designate theory-free, question-guided, stepwise biochemical investigations as a distinct subtype of the new experimentalism mode of scientific enquiry. (shrink)

Convergent realists desire scientific methods that converge reliably to informative, true theories over a wide range of theoretical possibilities. Much attention has been paid to the problem of induction from quantifier-free data. In this paper, we employ the techniques of formal learning theory and model theory to explore the reliable inference of theories from data containing alternating quantifiers. We obtain a hierarchy of inductive problems depending on the quantifier prefix complexity of the formulas that constitute the data, and we (...) provide bounds relating the quantifier prefix complexity of the data to the quantifier prefix complexity of the theories that can be reliably inferred from such data without background knowledge. We also examine the question whether there are theories with mixed quantifiers that can be reliably inferred with closed, universal formulas in the data, but not without. (shrink)

There is renewed interest in the logic of discovery as well as in the position that there is no reason for philosophers to bother with it. This essay shows that the traditional, philosophical arguments for the latter position are bankrupt. Moreover, no interesting defense of the philosophical irrelevance or impossibility of the logic of discovery can be formulated or defended in isolation from computation-theoretic considerations.

Novel computational representations, such as simulation models of complex systems and video games for scientific discovery, are dramatically changing the way discoveries emerge in science and engineering. The cognitive roles played by such computational representations in discovery are not well understood. We present a theoretical analysis of the cognitive roles such representations play, based on an ethnographic study of the building of computational models in a systems biology laboratory. Specifically, we focus on a case of model-building by an (...) engineer that led to a remarkable discovery in basic bioscience. Accounting for such discoveries requires a distributed cognition analysis, as DC focuses on the roles played by external representations in cognitive processes. However, DC analyses by and large have not examined scientific discovery, and they mostly focus on memory offloading, particularly how the use of existing external representations changes the nature of cognitive tasks. In contrast, we study discovery processes and argue that discoveries emerge from the processes of building the computational representation. The building process integrates manipulations in imagination and in the representation, creating a coupled cognitive system of model and modeler, where the model is incorporated into the modeler's imagination. This account extends DC significantly, and we present some of the theoretical and application implications of this extended account. (shrink)

Some of the early‐modern changes in the social framing of science, while often believed to be essential, are shown to be contingent. They contribute to the flawed public narrative around science today, and especially to the misconceptions around science and religion. Four are examined in detail, each of which contributes to the demise of the contemplative stance that science both requires and offers. They are: (1) a turn from an immersed subject to the pretense of a pure objectivity, (2) a (...) turn from imagination as a legitimate pathway to knowledge, (3) a turn from shared and participative science to a restricted professionalism, and (4) an overprosaic reading of the metaphor of the “Book of Nature.” All four, but especially the imperative to consider reading nature as poetry, and a deeper examination of the entanglements between poetry and theoretical science, draw unavoidably on theological ideas, and contribute to a developing “theology of science.”. (shrink)

BACON.3 is a production system that discovers empirical laws. Although it does not attempt to model the human discovery process in detail, it incorporates some general heuristics that can lead to discovery in a number of domains. The main heuristics detect constancies and trends in data, and lead to the formulation of hypotheses and the definition of theoretical terms. Rather than making a hard distinction between data and hypotheses, the program represents information at varying levels of description. The lowest (...) levels correspond to direct observations, while the highest correspond to hypotheses that explain everything so for observed. To take advantage of this representation, BACON.3 has the ability to carry out and relate multiple experiments, collapse hypotheses with identical conditions, ignore differences to let similar concepts be treated as equal, and to discover and ignore irrelevant variables. BACON.3 has shown its generality by rediscovering versions of the ideal gas law, Kepler's third law of planetary motion, Coulomb's law, Ohm's law, and Galileo's laws for the pendulum and constant acceleration. (shrink)

The Diagnostic Understanding of Gestalt Theoretical Psychotherapy: In accordance with the basic thoughts of the Guideline, Gestalt Theoretical Psychotherapy acts on the conviction that diagnostic revelations and therapeutic change processes are inseparable. Even if each of them is related to different functions and thus to particular demands, an efficient patient support requires the professional and proper interplay of discovery and change processes throughout her therapy. Each new discovery is per se related to a change and may set off (...) a series of further changes, which may again trigger off new discoveries. As widely known, this may also happen when this whole process and this cause-and-effect-relation are neither intended, nor planned, nor insightfully administered or understood. The authors of the Guideline are, therefore, right to not only ascertain the fact that discovering and changing in psychotherapy are joint and intertwining processes, but also to postulate that the psychotherapist has to work on this intertwining process consciously and deliberately, guided by and in accordance with her particular scientific-methodological approach. Even in the diagnostic strand of psychotherapeutic work, Gestalt Theoretical psychotherapists let themselves be guided by the “characteristics of working at the living”, as they were elaborated by Wolfgang Metzger (1962) and transferred to psychotherapeutic applications by Hans-Jürgen P. Walter (1977) and his colleagues. Simultaneously, essential anthropological, epistemological and ethical home positions of Gestalt theory are concisely expressed therein. I am going to mention them briefly, reformulating them in reference to the diagnostic remit. By doing so, the accordance with the major viewpoints of the Guideline in the description of diagnostic processes in psychotherapy should become apparent. (shrink)

Moore’s paradox, the infamous felt bizarreness of sincerely uttering something of the form “I believe grass is green, but it ain’t”—has attracted a lot of attention since its original discovery (Moore 1942). It is often taken to be a paradox of belief—in the sense that the locus of the inconsistency is the beliefs of someone who so sincerely utters. This claim has been labeled as the priority thesis: If you have an explanation of why a putative content could not be (...) coherently believed, you thereby have an explanation of why it cannot be coherently asserted. (Shoemaker 1995). The priority thesis, however, is insufficient to give a general explanation of Moore-paradoxical phenomena and, moreover, it’s false. I demonstrate this, then show how to give a commitment-theoretic account of Moore Paradoxicality, drawing on work by Bach and Harnish. The resulting account has the virtue of explaining not only cases of pragmatic incoherence involving assertions, but also cases of cognate incoherence arising for other speech acts, such as promising, guaranteeing, ordering, and the like. (shrink)

The origins of oxidative phosphorylation, initially known as aerobic phosphorylation, grew out of three research areas of muscle metabolism, creatine phosphorylation, aerobic metabolism of lactic acid in muscle, and studies on the nature and role of adenosine triphosphate . Much of this work centred round the laboratory of Otto Meyerhof, and most of those contributing to the study of aerobic phosphorylation were influenced by that laboratory: particularly Lipmann and also Ochoa. The work of Engelhardt on ATP levels in blood also (...) appears to have been influenced by the studies of Meyerhof’s laboratory. However, with the work of Kalckar, influenced by Lipmann, biochemists began to realise the potential importance of the process. This was confirmed and extended by Belitzer and Ochoa and the theoretical contribution of Lipmann. Thus it is not easy to identify a single point that marked the initiation of studies in this field.The early work was based on the use of tissue homogenates and cells but ultimately this approach limited research possibilities. The development of techniques based on mitochondria opened up new possibilities and brought this first phase of the study of oxidative phorphorylation to a close. (shrink)

One of the most significant discoveries of early twentieth century mathematical logic was a workable definition of ‘ordered pair’ totally within set theory. Norbert Wiener, and independently Casimir Kuratowski, are usually credited with this discovery. A definition of ‘ordered pair’ held the key to the precise formulation of the notions of ‘relation’ and ‘function’ — both of which are probably indispensable for an understanding of the foundations of mathematics. The set-theoretic definition of ‘ordered pair’ thus turned out to be (...) a key victory for logicism, providing one admits set theory is logic. The definition also was instrumental in achieving the appearance of ontological economy — since it seemed only sets were needed — although this feature was emphasized only later. (shrink)

Following with the discovery of the electron by J. J. Thomson at the end of the nineteenth century a steady elucidation of the structure of the atom occurred over the next 40 years culminating in the discovery of nuclear fission in 1938–1939. The significant steps after the electron discovery were: discovery of the nuclear atom by Rutherford (Philos Mag 6th Ser 21:669–688, 1911 ), the transformation of elements by Rutherford (Philos Mag 37:578–587, 1919 ), discovery of artificial radioactivity by Joliot-Curie (...) and Joliot-Curie (Comptes Rendus Acad Sci Paris 198:254–256, 1934 ), and the discovery of the neutron by Chadwick (Nature 129:312, 1932a , Proc R Soc Ser A 136:692–708, 1932b ; Proc R Soc Lond Ser A 136:744–748, 1932c ). The neutron furnished scientists with a particle able to penetrate atomic nuclei without expenditure of large amounts of energy. From 1934 until 1938–1939 investigations of the reaction between a neutron and uranium were carried out by E. Fermi in Rome, O. Hahn, L. Meitner and F. Strassmann in Berlin and I. Curie and P. Savitch in Paris. Results were interpreted as the formation of transuranic elements. After sorting out complex radio-chemistry and radio-physics O. Hahn and F. Strassmann came to the conclusion, beyond their belief, that the uranium nucleus split into smaller fragments, that is nuclear fission. This was soon followed in 1939 by its theoretical interpretation by L. Mietner and O. Frisch. (shrink)

I have applied a fairly general, learning theoretic perspective to some questions raised by Reichenbach's positions on induction and discovery. This is appropriate in an examination of the significance of Reichenbach's work, since the learning-theoretic perspective is to some degree part of Reichenbach's reliabilist legacy. I have argued that Reichenbach's positivism and his infatuation with probabilities are both irrelevant to his views on induction, which are principally grounded in the notion of limiting reliability. I have suggested that limiting reliability is (...) still a formidable basis for the formulation of methodological norms, particularly when reliability cannot possibly be had in the short run, so that refined judgments about evidential support must depend upon measure-theoretic choices having nothing to do in the short run with the truth of the hypothesis under investigation. To illustrate the generality of Reichenbach's program, I showed how it can be applied to methods that aim to solve arbitrary assessment and discovery problems in various senses. In this generalized Reichenbachian setting, we can characterize the intrinsic complexity of reliable inductive inference in terms of topological complexity. Finally, I let Reichenbach's theory of induction have the last say about hypothetico-deductive method. (shrink)

Citation data have become an increasingly significant source of information for historians, sociologists, and other researchers studying the evolution of science. In the past few decades elaborate methodologies have been developed for the use of citation data in the study of the modern history of science. This article focuses on how citation indexes make it possible to trace the background and development of discoveries as well as to assess the credit that publishing scientists assign to particular discoverers. Kuhn's notion (...) of discovery is discussed. The priority dispute over the discovery of the AIDS virus is used as an example. (shrink)

The studies of theoretical bias in evidence are these days developed by many clever psychologists, social psychologists, and philosophers. It therefore comes as a surprise to realize that most of the material one can find in the up-to -date literature repeats discoveries which are due to the heroes of the present sketch, namely Galileo Galilei, Sir Francis Bacon, and Robert Boyle; William Whewell, Pierre Duhem, and Karl Popper. We may try to raise scholarly standards by familiarizing ourselves with (...) their ideas and studying them with a little appreciation. (shrink)

In late 1912, Fritz Goos at the Hamburg Physikalisches Staatslaboratorium discovered a systematic dependency of arc-spectra wavelengths on the length of the electric arc used and on its electric parameters, such as, for instance, the current employed. In early 1913, at Heinrich Kayser's better-equipped physical laboratory in Bonn, Goos was able to confirm these effects using a large concave Rowland grating. He was able to establish that variations of between 3 mm and 10 mm in the length of the arc (...) produced wavelength differences of up to 0.02 Å violet shift and -0.007 Å redshift respectively. Further inquiry also revealed a dependency of the wavelength on the region of the arc selected for spectrometric observation. All these surprising effects were soon collectively named ‘pole effect’.As is shown in this paper, the pole effect threatened the validity of the results of the entire research tradition of high-precision spectroscopy which, around 1910, had excelled in establishing several internally coherent systems of wavelength assignments. These wavelength catalogues had been established by spectroscopists such as Heinrich Kayser, Paul Eversheim and their co-workers in Bonn, by August Herman Pfund in Baltimore, and by Charles Fabry and Henri Buisson in Marseille under the aegis of the ‘International Union for Co-Operation in Solar Research’. They had all produced locally consistent, “homogeneous” systems of wavelengths with estimated errors sometimes smaller than 0.001 Å. However, long before 1913, strange non-local inconsistencies had emerged between these systems that were of much greater magnitude than the estimated error. The discovery of the pole effect opened up the possibility that variations in the arc parameters used in the measurements, which the different teams had hitherto not specified, were responsible for the systematic differences, in their respective sets of measurements, coming to up to 0.025 Å.This paper explores the interrelations between local knowledge production, the strategies for the establishment of local coherence, and the ways in which the community of physicists and spectroscopists handled a possible threat to this coherence after 1913. Around 1930, a general agreement was reached about the physical cause of the pole effect, namely Stark effects, caused in turn by intermolecular electric fields of ions in the arc. Much before 1930, however, the community had already succeeded in standardizing the instrumentation used in high-precision spectrometry and had conformed its research practice to such an extent that from 1917 on the pole effect could be routinely circumvented in high-precision spectrometry and interferometry. Thus, experimentation along with its instrumentation, indeed had ‘a life of its own’, independent of the many unsuccessful efforts to explain the pole effect theoretically. (shrink)

In 1953, James Watson and Francis Crick were named as the authors of the publication “Molecular Structure of Nucleic Acids; a Structure for Deoxyribose Nucleic Acid” in the journal Nature. While historians have debated the relevance and importance of various discoveries in molecular science, there is little dispute as to the major significance of the discovery of the double-helix structure of deoxyribose nucleic acid. But what of Rosalind Franklin? There is little mention in science manuals of the contribution of (...) the biophysicist Rosalind Franklin to the discovery of the structure of DNA. Watson has admitted that he used Franklin’s... (shrink)

This paper investigates how intuitions about scientific discovery using artificial intelligence can be used to improve our understanding of scientific discovery more generally. Traditional accounts of discovery have been agent-centred: they place emphasis on identifying a specific agent who is responsible for conducting all, or at least the important part, of a discovery process. We argue that these accounts experience difficulties capturing scientific discovery involving AI and that similar issues arise for human discovery. We propose an alternative, collective-centred view as (...) superior for understanding discovery, with and without AI. This view maintains that discovery is performed by a collective of agents and entities, each making contributions that differ in significance and character, and that attributing credit for discovery depends on various finer-grained properties of the contributions made. Detailing its conceptual resources, we argue that this view is considerably more compelling than its agent-centred alternative. Considering and responding to several theoretical and practical challenges, we point to concrete avenues for further developing the view we propose. (shrink)

In 1869, Johann Friedrich Miescher discovered a new substance in the nucleus of living cells. The substance, which he called nuclein, is now known as DNA, yet both Miescher’s name and his theoretical ideas about nuclein are all but forgotten. This paper traces the trajectory of Miescher’s reception in the historiography of genetics. To his critics, Miescher was a “contaminator,” whose preparations were impure. Modern historians portrayed him as a “confuser,” whose misunderstandings delayed the development of molecular biology. Each (...) of these portrayals reflects the disciplinary context in which Miescher’s work was evaluated. Using archival sources to unearth Miescher’s unpublished speculations—including an analogy between the hereditary material and language, and a speculation that a series of asymmetric carbon atoms could account for hereditary variation—this paper clarifies the ways in which the past was judged through the lens of contemporary concerns. It also shows how organization, structure, function, and information were already being considered when nuclein was first discovered nearly 150 years ago. (shrink)

This paper argues that chance (risk or opportunity) discovery is challenging, from a reasoning point of view, because it represents a dilemma for inductive reasoning. Chance discovery shares many features with the grue paradox. Consequently, Bayesian approaches represent a potential solution. The Bayesian solution evaluates alternative models generated using a temporal logic planner to manage the chance. Surprise indices are used in monitoring the conformity of the real world and the assessed probabilities. Game theoretic approaches are proposed to deal with (...) multi-agent interaction in chance management. (shrink)

During the 1920s and 1930s the testing of blood groups for large numbers of people became a very common practice. Although much of this was to ensure compatibility for blood transfusion, over 1,000 articles were published with results of tests on over 1.3 million people to answer more theoretical, scientific questions. The motivation for much of this research was the possible link between the well established hereditary blood types and other possible inherited traits. Because the existence of the blood (...) groups was a rather sudden discovery, the record of this publication offers an excellent case study of the diffusion of new scientific knowledge. Differences in the beginning of blood group research from country to country reveal some important influences of social setting on the spread and application of the new discoveries. (shrink)

Hempel’s account of thought experiments has been discussed only by a very few authors and, for the most part, with rather cursory remarks. Its importance, however, is not only historical, but also systematic theoretical, because it involves the distinction between discovery and justification, a main pillar of neopositivistic philosophy of science. Hempel raised the question whether thought experiments constitute a methodological component of scientific research or, on the contrary, are merely a heuristic-psychological device for obtaining and/or transmitting new ideas. (...) While conceding a few exceptions in the natural sciences, he argued that thought experiments always have a heuristic character in the social sciences. There is however a fundamental tension in Hempel’s conception of thought experiments, between the thesis of methodological monism and the neopositivistic dichotomy discovery/justification. On the one hand, on the basis of the unity of scientific method, Hempel admits a difference only in degree between the natural and the human sciences, but on the other hand, he draws a principled distinction between thought experiments of the human sciences (which have only a greater or lesser heuristic value) and those of the natural sciences (which may have also a cognitive-justificatory value). If one assumes the unity of method in the minimal sense in which no scientific knowledge can renounce intersubjective controllability, this tension can be removed either by rejecting the discovery/justification dichotomy or by interpreting it differently. Here, following the second path, two senses of the dichotomy are distinguished, one of which must be accepted, while the other rejected. This removes the internal tension in Hempel’s conception of thought experiments and suggests the thesis that any plausible thought experiment, both in the natural and the human sciences, must already contain some justification, implicit or explicit, of the theoretical hypotheses that they formulate. (shrink)

This article applies a theoretical framework developed by the late American sociologist Anselm Strauss to the discovery of a new resuscitation technique, closed-chest cardiac massage. The discovery, which took place in the laboratories of Johns Hopkins University between 1956 and 1960, is analyzed as the collective management of a trajectory over time. The article follows the discovery trajectory from its origins in defibrillator research to the establishment of closed-chest cardiac massage and cardiopulmonary resuscitation as a universal life-saving method. The (...) analytical focus on the experimental, clinical, and promotional activities performed by the different actors interacting with the emerging technology allows one to critically question the value of concepts such as closure, stabilization, and black boxing in sociology of science and technology. Instead of prematurely freezing the analysis of technoscience, a trajectory conceptual framework emphasizes the ongoing dynamic between actors and medical technology to define the scope, effectiveness, and multiple interpretations of the technology-actor interaction. (shrink)

Logicians have long recognized a distinction between categorical, conditional and hypothetical reasoning. Roughly speaking, categorical reasoning exhibits the form "? since ?". Conditional reasoning exhibits the form "If ? then ?". Hypothetical reasoning exhibits the form ?Since ?, it is reasonable to suppose (conjecture, hypothesize) that ?¬. Categorical and hypothetical reasoning is a matter of drawing consequences. Conditional reasoning is a matter of spotting consequences, not drawing them. Categorical reasoning maps belief to belief. Conditional reasoning engenders implicational belief. Hypothetical reasoning (...) maps belief to supposition (conjecture, hypothesis). Since the notion of belief is a constituent of reasoning in all these forms, it is only natural to suppose that it will have a role to play in the differentiation of good and bad reasoning. A logic of reasoning should have something to say about this. In the account developed her, belief has a central importance. In chapter two, I made favourable mention of the Can Do Principle. This is the principle that bids us, to the extent possible, to solve our theoretical problems in frameworks that are up and running and successful, using methods that are tried and true. I said that, provided it does not overreach itself, Can Do gives to the theorist methodological guidance of the first importance. For the better part of twenty-five years, belief-change theories have been a prominent part of the research programmes of AI[1] and formal epistemology.[2] If reasoning comprehends belief-change, why wouldn’t a theory of reasoning be an adaptation of a theory of belief-change? Wouldn’t a theory of belief-change be the natural place to look? Isn’t this what Can Do would suggest? Similarly, belief has been the focus of attention of modal logicians for nearly fifty years. Would a belief logic also be a natural place for a logic of reasoning to seek instruction? Wouldn’t Can Do also direct us here? This is not, in fact, the course that I am going to take.. (shrink)

Robots are being extensively used for the purpose of discovering and testing empirical hypotheses about biological sensorimotor mechanisms. We examine here methodological problems that have to be addressed in order to design and perform “good” experiments with these machine models. These problems notably concern the mapping of biological mechanism descriptions into robotic mechanism descriptions; the distinction between theoretically unconstrained “implementation details” and robotic features that carry a modeling weight; the role of preliminary calibration experiments; the monitoring of experimental environments for (...) disturbing factors that affect both modeling features and theoretically unconstrained implementation details of robots. Various assumptions that are gradually introduced in the process of setting up and performing these robotic experiments become integral parts of the background hypotheses that are needed to bring experimental observations to bear on biological mechanism descriptions. (shrink)