To believe that every single scientist ought to be individually engaged in ethical thinking in order for science to be responsible at a collective level may be too demanding, if not plainly unrealistic. In fact, ethical labor is typically distributed across different kinds of scientists within the scientific community. Based on the empirical data collected within the Horizon 2020 ‘RRI-Practice’ project, we propose a classification of the members of the scientific community depending on their engagement in this collective activity. Our (...) classification offers, on the one hand, a model of how the ethical aspects of science are taken into consideration by scientists and, on the other, some indications on how to institutionalize ethics in science. (shrink)

The state of computing science and, particularly, software engineering and knowledge engineering is generally considered immature. The best starting point for achieving a mature engineering discipline is a solid scientific theory, and the primary reason behind the immaturity in these fields is precisely that computing science still has no such agreed upon underlying theory. As theories in other fields of science do, this paper formally establishes the fundamental elements and postulates making up a first attempt at a theory in this (...) field, considering the features and peculiarities of computing science. The fundamental elements of this approach are informons and holons, and it is a general and comprehensive theory of software engineering and knowledge engineering that related disciplines (e.g., information systems) can particularise and/or extend to take benefit from it (Lakatos’ concepts of core theory and protective belt theories). (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...) within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons, they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How. (shrink)

In a very influential paper Rota stresses the relevance of mathematical beauty to mathematical research, and claims that a piece of mathematics is beautiful when it is enlightening. He stops short, however, of explaining what he means by ‘enlightening’. This paper proposes an alternative approach, according to which a mathematical demonstration or theorem is beautiful when it provides understanding. Mathematical beauty thus considered can have a role in mathematical discovery because it can guide the mathematician in selecting which hypothesis to (...) consider and which to disregard. Thus aesthetic factors can have an epistemic role qua aesthetic factors in mathematical research. (shrink)

The ancient dualism of a sensible and an intelligible world important in Neoplatonic and medieval philosophy, down to Descartes and Kant, would seem to be supplanted today by a scientific view of mind-in-nature. Here, we revive the old dualism in a modified form, and describe mind as a symbolic language, founded in linguistic recursive computation according to the Church-Turing thesis, constituting a world L that serves the human organism as a map of the Universe U. This methodological distinction of L (...) vs. U helps to understand how and why structures of phenomena come to be opposed to their nature in human thought, a central topic in Heideggerian philosophy. U is uncountable according to Georg Cantor’s set theory but Language L, based on the recursive function system, is countable, and anchored in a Gray Area within U of observable phenomena, typically symbols, prelinguistic structures, genetic-historical records of their origins. Symbols, the phenomena most familiar to mathematicians, are capable of being addressed in L-processing. The Gray Area is the human Environment E, where we can live comfortably, that we manipulate to create our niche within hostile U, with L offering overall competence of the species to survive. The human being is seen in the light of his or her linguistic recursively computational mind. Nature U, by contrast, is the unfathomable abyss of being, infinite labyrinth of darkness, impenetrable and hostile to man. The U-man, biological organism, is a stranger in L-man, the mind-controlled rational person, as expounded by Saint Paul. Noumena can now be seen to reside in L, and are not fully supported by phenomena. Kant’s noumenal cause is the mental L-image of only partly phenomenal causation. Mathematics occurs naturally in pre-linguistic phenomena, including natural laws, which give rise to pure mathematical structures in the world of L. Mathematical foundation within philosophy is reversed to where natural mathematics in the Gray Area of pre-linguistic phenomena can be seen to be a prerequisite for intellectual discourse. Lesser, nonverbal versions of L based on images are shared with animals. (shrink)

(1988). Platonic explanation: Or, what abstract entities can do for you. International Studies in the Philosophy of Science: Vol. 3, No. 1, pp. 51-67. doi: 10.1080/02698598808573324.

Quine, taking the molecular constitution of matter as a paradigmatic example, offers an account of the relation between theory confirmation and ontology. Elsewhere, he deploys a similar ontological methodology to argue for the existence of mathematical objects. Penelope Maddy considers the atomic/molecular theory in more historical detail. She argues that the actual ontological practices of science display a positivistic demand for “direct observation,” and that fulfillment of this demand allows us to distinguish molecules and other physical objects from mathematical abstracta. (...) However, the confirmation of the atomic/molecular theory and the development of scientists’ ontological attitudes towards atoms was more complicated and subtle than even Maddy supposes. The present paper argues that the history of the theory in fact supports neither Quine’s and Maddy’s accounts of scientific ontology. There was no general demand from scientists to “see” atoms before they were reckoned to be real; but neither did the indispensable appearance of atoms in the best theory of chemical combination suffice to convince scientists of their reality. (shrink)

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because it (...) is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

Abstract Schlick quite clearly maintains that the shift from classical physics to the theories of relativity is not necessitated by experience, but motivated by the pragmatic payoff of simplifying space-time ontology. However, there is in his work another, heretofore unrecognized argument for the revolutionary shift from classical to relativistic physics. According to this conceptual line of argument, the principles that define simultaneity and motion in classical physics fail to establish a univocal correspondence to physical quantities, and therefore must be revised, (...) along with the notions of absolute space and time that they underpin. Though these insights appear only intermittently in Schlick’s work, I will seek to elaborate on them in an effort to clarify his views on conventions within physics and the nature of revolutionary science, and to suggest that these views are invulnerable to the criticisms of pragmatic empiricists such as Quine. Content Type Journal Article Pages 1-17 DOI 10.1007/s12136-011-0131-3 Authors Steven Bland, Department of Philosophy, Huron University College, 1349 Western Rd, London, Ontario, Canada N6G 1H3 Journal Acta Analytica Online ISSN 1874-6349 Print ISSN 0353-5150. (shrink)

This is a short, nontechnical introduction to features of time in classical and relativistic physics and their representation in the four-dimensional geometry of spacetime. Topics discussed include: the relativity of simultaneity in special and general relativity; the ‘twin paradox’ and differential aging effects in special and general relativity; and time travel in general relativity.

I describe a realist, ontologically objective interpretation of probability, "far-flung frequency (FFF) mechanistic probability". FFF mechanistic probability is defined in terms of facts about the causal structure of devices and certain sets of frequencies in the actual world. Though defined partly in terms of frequencies, FFF mechanistic probability avoids many drawbacks of well-known frequency theories and helps causally explain stable frequencies, which will usually be close to the values of mechanistic probabilities. I also argue that it's a virtue rather than (...) a failing of FFF mechanistic probability that it does not define single-case chances, and compare some aspects of my interpretation to a recent interpretation proposed by Strevens. (shrink)

This study takes off from the ethical problem that racism grounded in population genetics raises. It is an analysis of four standard scientific responses to the problem of genetically motivated racism, seen in connection with the Human Genome Diversity Project (HGDP): (1) Discriminatory uses of scientific facts and arguments are in principle ‘misuses’ of scientific data that the researcher cannot be further responsible for. (2) In a strict scientific sense, genomic facts ‘disclaim racism’, which means that an epistemically correct grasp (...) of genomics should be ethically justified. (3) Ethical difficulties are issues to be ‘resolved’ by an ethics institution or committee, which will guarantee the ethical quality of the research scrutinized. (4) Although population genetics occasionally may lead to racism, its overall ‘value’ for humankind justifies its cause as a desirable pursuit. I argue that these typical responses to genetically motivated racism supervene on a principle called the ‘ethic of knowledge’, which implies that an epistemically correct account has intrinsic ethical value. This principle, and its logically related ideas concerning the ethic of science, effectively avoids a deeper ethical question of responsibility in science from being raised. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

The pessimistic induction plays an important role in the contemporary realism/anti-realism debate in philosophy of science. But there is some disagreement about the structure and aim of the argument. And a number of scholars have noted that there is more than one type of PI in the philosophical literature. I review four different versions of the PI. I aim to show that PIs have been appealed to by philosophers of science for a variety of reasons. Even some realists have appealed (...) to a PI. My goal is to advance our understanding of what the various PIs can teach us about science and the threat posed by PIs to scientific realism. (shrink)

Instrumentalism is an approach to science that treats a theory as a tool and only as a tool for computation; it dispenses with the concept of truth.Conventionalism treats a theory as true by convention if it forms a pattern of observations from which correct predictions can be made.Operationalism denies meaning to the concepts of a theory unless they can be defined operationally. It is argued in this paper that truth-value is indispensable to science, because a theory can be rejected only (...) if an empirical consequence is false and if falsity of a conclusion entails falsity of a premise. This undermines the above positions. The fourth interpretation isinduction. Induction, by contrast, uses the notion of truth-value. What is focused on here is its reliance on the ultimacy ofobservation. The present thesis is that instrumentalism, conventionalism, and induction are different attempts to handle observations. The common problem is the gap between data and theory.All these interpretations share a philosophy of observationalism. The aim of this paper is to show that the several orthodox interpretations of science all fail to solve the problem of the data-theory gap, and to show that they all presuppose a philosophy of observation. (shrink)

The development of rigorous foundations of differential calculus in the course of the nineteenth century led to concerns among physicists about its applicability in physics. Through this development, differential calculus was made independent of empirical and intuitive notions of continuity, and based instead on strictly mathematical conditions of continuity. However, for Boltzmann and Poincaré, the applicability of mathematics in physics depended on whether there is a basis in physics, intuition or experience for the fundamental axioms of mathematics—and this meant that (...) to determine the status of differential equations in physics, they had to consider whether there was a justification for these mathematical continuity conditions in physics. For this reason, their ideas about continuity and discreteness in nature were entangled with epistemology and philosophy of mathematics. They reached opposite conclusions: Poincaré argued that physicists must work with a continuous representation of nature, and thus with differential equations, while Boltzmann argued that physicists must ultimately take nature to be discrete. (shrink)

A lot of philosophical energy has been devoted recently in trying to determine if mathematics can contribute to our understanding of physical phenomena. Not many philosophers are interested, though, if the converse makes sense, i.e., if our cognitive interaction (scientific or otherwise) with the physical world can be helpful (in an explanatory or non-explanatory way) in our efforts to make sense of mathematical facts. My aim in this paper is to try to fill this important lacuna in the recent literature. (...) My answer to the question of this paper is negative. As I will argue, there are serious problems with the main reasons for believing in the first place that it is possible to have physical understanding of mathematical facts. (shrink)

This paper proposes a diagrammatic reconstruction of Carnap's formal method of quasianalysis in the Aufbau and then explains on that basis why Quine's criticism of Carnap's constitution of physical space fails.

In this paper I try to problematize our conception of rational agency and to suggest that this conception is a matter of some practical and political significance. This is done on the one hand by indicating why more attention should be paid to the role of practical know-how, or skill, in the application of general laws or principles to particular cases, and on the other by looking to a Chinese model of efficacious action, where much attention is paid to cultivating (...) the skills required to make the transition from general to particular, albeit at the expense of recognizing the significance of what we would think of as scientific understanding. (shrink)

To what extent is the external world the way that it appears to us in perceptual experience? This perennial question in philosophy is no doubt ambiguous in many ways. For example, it might be taken as equivalent to the question of whether or not the external world is the way that it appears to be? This is a question about the epistemology of perception: Are our perceptual experiences by and large veridical representations of the external world? Alternatively, the question might (...) be taken as asking whether or not the external world is like its ways of appearing to us, where the expression “ways of appearing” is intended to pick out aspects of our perceptual experiences themselves. This is a metaphysical version of the question of the relationship between appearance and reality: What is the relationship between the phenomenal features that characterize perceptual experience, on the one hand, and the mind-independent features of the external objects of perception, on the other? There are some philosophers who might resist distinguishing between these two questions. For them, “ways of appearing” in the phenomenal sense just are the ways that things appear to be (let’s call the latter the “intentional sense” of “ways of appearing”).1 That is, the phenomenal character of an experience is nothing over and above its representational content. Phenomenal properties are represented properties—the properties that an experience attributes to the external objects of perception. The question of whether or not phenomenal properties can be identified with the represented properties of an experience mirrors traditional questions in the philosophy of perception. If they can be identified with each other, then in veridical perception we might be said to “directly grasp” features of the external world through perception. The properties that are present to the mind are the very same properties that belong to the external objects of perception. Such a view affords.... (shrink)

The philosophy of measurement studies the conceptual, ontological, epistemic, and technological conditions that make measurement possible and reliable. A new wave of philosophical scholarship has emerged in the last decade that emphasizes the material and historical dimensions of measurement and the relationships between measurement and theoretical modeling. This essay surveys these developments and contrasts them with earlier work on the semantics of quantity terms and the representational character of measurement. The conclusions highlight four characteristics of the emerging research program in (...) philosophy of measurement: it is epistemological, coherentist, practice oriented, and model based. (shrink)

Does all understanding consist in our using concepts to relate to the things around us, or do we also possess a more direct, spontaneous, bodily way of doing so? I explore this second possibility via Bateson's notion of “double description.” These phenomena are dynamic phenomena, in that they have their existence only in our embodied relations to the temporal unfolding of events in the two or more relevant sources. As such, as Bateson put it, they are of a different “logical (...) type” to their source events. Bateson did not, however, extend this important insight out into the ways in which can make ourselves ready to relate to the others and othernesses around us, not only in such a way as to intertwine our outgoing activities towards them in with the incoming activities from them in a subtlety responsive manner, but also come to use the relational understandings created in such dynamic interplays in an anticipatory fashion—thus to provide us with embodied, perceptual skills that enable us to go out to meet familiar circumstances with appropriate kinds of response “at the ready”, so to speak. Below, following Todes and Merleau-Ponty , I outline the kind of preparing activities required if we are to acquire new embodied “readinesses” that enable us to become more “at home” in surroundings which are in fact in continual change—a process that connects with Bateson's account of abduction, the process in which we can sense the existence of a “pattern that connects.” Overall, my purpose in all of this is to bring to the fore the ineradicable role of our bodies in spontaneously arriving at what counts as real for us, and which although unnamable by us, determines that of “which knowledge always speaks”. (shrink)

Our current Anthropocene epoch is marked by a rampant proliferation of challenging environmental issues. Over the years, researchers have come to recognize these issues as quintessential wicked pro...

The purpose of grant peer review is to identify the most excellent and promising research projects. However, sociologists of science and STS scholars have shown that peer review tends to promote solid low-risk projects at the expense of more original and innovative projects that often come with higher risk. It has also been shown that the review process is affected by significant measures of chance. Against this background, the aim of this study is to theorize the notions of academic judgment (...) and agonistic chance, and to present and analyze situations in which expert reviewers are faced with the challenge of trying to decide which grant proposals to select when there is strong disagreement. The empirical analysis is based on ethnographic observations of ten panel groups at the Swedish Research Council in the areas of natural and engineering sciences. By focusing on disagreement, the study provides a more in-depth understanding of how agonistic chance creeps into the peer review process and becomes part of the consensus that is created. (shrink)

As reflexões metodológicas de Poincaré sobre a modelação mecânica dos fenômenos, as teorias físicas, a hierarquização das leis e a evolução do seu estatuto e sistema são susceptíveis de uma leitura kantiana que exibe a função constitutiva das matemáticas e a função reguladora dos princípios de conveniência e dos princípios da física, correspondendo estes a uma importante etapa na evolução das teorias físicas. The methodological reflections of Poincaré on the mechanical modeling of phenomena, physical theories, the hierarchy of laws and (...) the evolution of their status and system are illuminated by a Kantian reading that displays the constitutive function of mathematics and the regulative function of principles of convenience and of the principles of physics, these corresponding to an important step in the evolution of physical theories. (shrink)