History indicates that science is primarily not a theoretical but a practical enterprise. It represents the symbiosis of two human activities, namely, on the one hand, natural philosophy, which seeks to make sense of the world, and, on the other hand, instrumental thinking, which seeks to control the world.

Historically, the Vienna Circle and the Dessau Bauhaus were related, with members of each group familiar with the ideas of the other. Peter Galison argues that their projects are related as well, through shared political views and methodological approach. The two main figures that connect the Vienna Circle to the Bauhaus—and the figures upon which Galison focuses—are Rudolf Carnap and Otto Neurath. Yet the connections that Galison develops do not properly capture the common themes between the (...) Bauhaus and Neurath’s philosophical projects. We demonstrate this by considering Neurath’s philosophical commitments. We suggest different connections between Neurath’s projects and the Bauhaus, connections that are both substantive and philosophically interesting. (shrink)

According to Peter Galison, the coordination of different “subcultures” within a scientific field happens through local exchanges within “trading zones.” In his view, the workability of such trading zones is not guaranteed, and science is not necessarily driven towards further integration. In this paper, we develop and apply quantitative methods (using semantic, authorship, and citation data from scientific literature), inspired by Galison’s framework, to the case of the disunity of high-energy physics. We give prominence to supersymmetry, a (...) concept that has given rise to several major but distinct research programs in the field, such as the formulation of a consistent theory of quantum gravity or the search for new particles. We show that “theory” and “phenomenology” in high-energy physics should be regarded as distinct theoretical subcultures, between which supersymmetry has helped sustain scientific “trades.” However, as we demonstrate using a topic model, the phenomenological component of supersymmetry research has lost traction and the ability of supersymmetry to tie these subcultures together is now compromised. Our work supports that even fields with an initially strong sentiment of unity may eventually generate diverging research programs and demonstrates the fruitfulness of the notion of trading zones for informing quantitative approaches to scientific pluralism. (shrink)

Philosophy of Science in Practice (PoSiP) has the “practice of science” as its object of research. Notwithstanding, it does not possess yet any general or specific methodology in order to achieve its goal. Instead of sticking to one protocol, PoSiP takes advantage of a set of approaches from different fields. This thesis takes as a starting point a collaborative and interdisciplinary research between two Ph.D. students from distinct areas: ecology and philosophy. This collaboration showed how a scientist could benefit from (...) philosophy of science (in this case study the philosophical approach of. mechanistic explanation) to construct a model of his explanandum, by means of heuristics approach (heuristics as an instrument but also a methodological approach) and, also allowed philosophy of science take a closer look into the scientific practice to investigate how explanations are constructed and how scientific understanding is achieved (in this thesis, with a dialogue with the contextual theory of scientific understanding). As a result, it is asserted that (i) mechanistic explanation possess limitations but may work as epistemic instruments that mediate between theories, data, scientists, and models; (ii) explanation construction and scientific understanding deeply relies on intuition; (iii) scientific understanding is an instant, a moment, a temporary achievement, and its process may happen in degrees; (iv) philosophy of science, by means of heuristics process, may enhance scientists’ epistemic virtues, improving his academic skills, by means of self-evaluation. This research shows that interdisciplinarity and collaborative work can act, through heuristics, as a toolbox for PoSiP to achieve its goal of understanding how science is made. Despite its success, an analysis of this collaborative practice leads to some fundamental issues. First, philosophy of science in practice is a philosophy of past practice, in that the majority of examples used by mainstream PoSiP come from the final products of science. Second, is it philosophy of [science in practice] or philosophy of science [in practice]? How to practice philosophy of scientific practice and, how to practice interdisciplinarity in the philosophy of scientific practices simultaneously to its scientific activity? This research exposes the epistemic role heuristics and interdisciplinarity possess as methodological toolboxes for philosophy of science in practice. It is defended that other ways of constructing sciences would be through different dynamics such as collaborative networks and interdisciplinarity research contributing to the vision of Trading Zones from Peter Galison, in which bridges between specialized disciplines are created in order to exchange knowledge and information. (shrink)

This highly multidisciplinary collection discusses an increasingly important topic among scholars in science and technology studies: objectivity in science. It features eleven essays on scientific objectivity from a variety of perspectives, including philosophy of science, history of science, and feminist philosophy. Topics addressed in the book include the nature and value of scientific objectivity, the history of objectivity, and objectivity in scientific journals and communities. Taken individually, the essays supply new methodological tools for theorizing what is valuable in the pursuit (...) of objective knowledge and for investigating its history. The essays offer many starting points, while suggesting new avenues of research. Taken collectively, the essays exemplify the very virtues of objectivity that they theorize—in reading them together, the reader can sense various anxieties about the dangerously subjective in our age and locate commonalities of concern as well as differences of approach. As a result, the volume offers an expansive vision of a research community seeking a communal understanding of its own methods and its own epistemic anxieties, struggling to enunciate the key problems of knowledge of our time and offer insight into how to overcome them. -/- (Contributors: Alex Csiszar, Scott Edgar, Peter Galison, Ian Hacking, Sandra Harding, Moira Howes, Paolo Savoia, Judy Segal, Joan Steigerwald, and Alison Wylie). (shrink)

Arguments pro and contra convergent realism – underdetermination of theory by observational evidence and pessimistic meta-induction from past falsity – are considered. It is argued that, to meet the counter-arguments challenge, convergent realism should be considerably changed with a help of modification of the propositions from this meta-programme “hard core” or “protecting belt”. Two well-known convergent realism rivals – “entity realism” of Nancy Cartwright and Ian Hacking and John Worrall’s “structural realism” – are considered. Entity realism’s main drawback is fundamental (...) laws underestimation. As for structural realism, its limitation of theoretical propositions by pure structural ones is ineffective. One always can transform propositions about objects into propositions about structures and vice versa. Both conceptions are kinds of “metaphysical revisionism” that tries to reformulate the good old convergent realism propositions using more decent language and applying ad hoc modifications of the solutions first obtained within the anti-realist epistemological meta-programmes. It is stated that to overcome the troubles of convergent realism one has to turn from classical or “metaphysical” realism to nonclassical or “internal” one and to coherent theory of truth. Internal realism has no troubles in solving the problem of empirically-equivalent theoretical descriptions and historical meta-induction problem, but gets the problem of scientific knowledge objectivity instead. Where does this objectivity come from? One of the answers is proposed by the scientific knowledge growth model elaborated by Rinat Nugayev and by Peter Galison. Each paradigm is a local viewpoint determined by the peculiarities of a culture into which its creator . was submerged. However, the meeting of the different paradigms leads to their interaction; as a result, the crossbred theoretical objects are constructed. Through these systems the infiltration of one paradigm on the other’s domain takes place. After the old paradigms’ grinding the new ones emerge that reconcile to each other much better than the old ones. Scientific theories reconcile results in elimination of many contingent details. In the process of competition more universal components survive. It is demonstrated that the process of objective knowledge genesis takes place in modern superstring theory too. The list of its drawbacks is rather long; it is clear that the theory cannot pretend on the role of the Theory of Everything. Nevertheless the process of argumentation pro and contra convergent realism – underdetermination of theory by observational evidence and pessimistic meta-induction from past falsity – are considered. It is argued that, to meet the counter-arguments challenge, convergent realism should be considerably changed with a help of modification of the propositions from this meta-programme “hard core” or “protecting belt”. It is stated that to overcome the troubles of convergent realism one has to turn from classical or “metaphysic” of quantum field theory and general relativity interpenetration have already begun. (shrink)

Philosophers of science often suggest that the key feature of scientific research is striving for objectivity and that we should evaluate scientific practice by whether it is objective or not. In this paper, we will analyze several definitions of scientific objectivity to illustrate the complex meaning of this term and examine its role in evaluating scientific practice. First, we will introduce Lorraine Daston and Peter Galison's standpoint concerning the historical connection between the genesis and development of scientific objectivity (...) and the practices of visual representation in the research practice of the 19th and 20th centuries. We will accomplish that by outlining the process of establishing scientific objectivity as an epistemic virtue and a vital feature of the "scientific self ". Subsequently, using Heather Douglas and Mar-ianne Janack's conceptual analysis of scientific objectivity, we will show that scientific objectivity is characterized by an "irreducibility of meaning" and an "endemic instability" caused by the overuse of metaphors in defining this concept. In the final section, in light of contemporary problems such as the crisis of reproducibility, we examine to what extent philosophical definitions help test the objectivity of scientific practice and point to an intriguing attempt to define "objectivity for the research worker" using the model proposed by Noah van Dongen and Michał Sikorski. (shrink)

Dialogue between feminist and mainstream philosophy of science has been limited in recent years, although feminist and mainstream traditions each have engaged in rich debates about key concepts and their efficacy. Noteworthy criticisms of concepts like objectivity, consensus, justification, and discovery can be found in the work of philosophers of science including Philip Kitcher, Helen Longino, Peter Galison, Alison Wylie, Lorraine Daston, and Sandra Harding. As a graduate student in philosophy of science who worked in both literatures, I (...) was often left with the feeling that I had joined a broken family with two warring factions. This is apparent in the number of anthologies that have emerged on both sides in the aftermath of the “Science Wars” (Gross, Paul R., Norman Levitt, and Martin W. Lewis, eds. 1996; Koertge, Noretta, ed. 1998; Sokal, Alan and Jean Bricmont. 1998; etc.) Depending on one’s perspective on the Science Wars, the breadth of illustrative cases and examples found in Science and Other Cultures can either give more ammunition for the battle, or grounding for a much needed treaty of accord. The most important feature of this book is that it does not merely claim that science is only political, and it does not merely dismiss science as a social phenomenon to be deconstructed using the standard postmodern conceptual tools. Instead, the collection illustrates ways in which postcolonial analysis and multicultural examples can enrich our understanding of “good” science and ethics. Here, the concept of “strong objectivity” from Harding’s earlier books is fleshed out through a variety of cases. The anthology is the culmination of a series of research activities funded by a National Science Foundation grant to the American Philosophical Association. The grant, under the auspices of the NSF Ethics and Values Program, sponsored fourteen summer research projects and thirty-six presentations at four regional APA meetings. (shrink)

The point of this paper is to reveal a dogma in the ordinary conception of sensory imagination, and to suggest another way forward. The dogma springs from two main sources: a too close comparison of mental imagery to perceptual experience, and a too strong division between mental imagery and the traditional propositional attitudes (such as belief and desire). The result is an unworkable conception of the correctness conditions of sensory imaginings—one lacking any link between the conditions under which an imagining (...) aids human action and inference and the conditions under which it is veridical. The proposed solution is, first, to posit a variety of imaginative attitudes—akin to the traditional propositional attitudes—which have different associated correctness (or satisfaction) conditions. The second part of the solution is to allow for imaginings with “hybrid” contents, in the sense that both mental images and representations with language-like constituent structure contribute to the content of imaginings. (shrink)

Can judging that an agent blamelessly broke a rule lead us to claim, paradoxically, that no rule was broken at all? Surprisingly, it can. Across seven experiments, we document and explain the phenomenon of excuse validation. We found when an agent blamelessly breaks a rule, it significantly distorts people’s description of the agent’s conduct. Roughly half of people deny that a rule was broken. The results suggest that people engage in excuse validation in order to avoid indirectly blaming others for (...) blameless transgressions. Excuse validation has implications for recent debates in normative ethics, epistemology and the philosophy of language. These debates have featured thought experiments perfectly designed to trigger excuse validation, inhibiting progress in these areas. (shrink)

This book questions what sovereignty looks like when it is de-ontologised; when the nothingness at the heart of claims to sovereignty is unmasked and laid bare. Drawing on critical thinkers in political theology, such as Schmitt, Agamben, Nancy, Blanchot, Paulhan, The Politics of Nothing asks what happens to the political when considered in the frame of the productive potential of the nothing? The answers are framed in terms of the deep intellectual histories at our disposal for considering these fundamental questions, (...) carving out trajectories inspired by, for example, Peter Lombard, Shakespeare and Spinoza. This book offers a series of sensitive and creative reflections that suggest the possibilities offered by thinking through sovereignty via the frame of nihilism. This book was originally published as a special issue of Culture, Theory and Critique. (shrink)

As a response to climate change, geoengineering with solar radiation management has the potential to result in unjust harm. Potentially, this injustice could be ameliorated by providing compensation to victims of SRM. However, establishing a just SRM compensation system faces severe challenges. First, there is scientific uncertainty in detecting particular harmful impacts and causally attributing them to SRM. Second, there is ethical uncertainty regarding what principles should be used to determine responsibility and eligibility for compensation, as well as determining how (...) much compensation ought to be paid. Significant challenges loom for crafting a just SRM compensation system. (shrink)

It is often argued that higher-level special-science properties cannot be causally efficacious since the lower-level physical properties on which they supervene are doing all the causal work. This claim is usually derived from an exclusion principle stating that if a higher-level property F supervenes on a physical property F* that is causally sufficient for a property G, then F cannot cause G. We employ an account of causation as difference-making to show that the truth or falsity of this principle is (...) a contingent matter and derive necessary and sufficient conditions under which a version of it holds. We argue that one important instance of the principle, far from undermining non-reductive physicalism, actually supports the causal autonomy of certain higher-level properties. (shrink)

This is a contribution to a book symposium on Joelle Proust’s The Philosophy of Metacognition: Mental Agency and Self-Awareness (OUP). While there is much to admire in Proust’s book, the legitimacy of her distinction between “procedural” and “analytic” metacognition can be questioned. Doing so may help us better understand the relevance of animal metacognition studies to human self-knowledge.

We offer a critical assessment of the “exclusion argument” against free will, which may be summarized by the slogan: “My brain made me do it, therefore I couldn't have been free”. While the exclusion argument has received much attention in debates about mental causation (“could my mental states ever cause my actions?”), it is seldom discussed in relation to free will. However, the argument informally underlies many neuroscientific discussions of free will, especially the claim that advances in neuroscience seriously challenge (...) our belief in free will. We introduce two distinct versions of the argument, discuss several unsuccessful responses to it, and then present our preferred response. This involves showing that a key premise – the “exclusion principle” – is false under what we take to be the most natural account of causation in the context of agency: the difference-making account. We finally revisit the debate about neuroscience and free will. (shrink)

Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same broad range (...) of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent. (shrink)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)

The Protein Ontology provides terms for and supports annotation of species-specific protein complexes in an ontology framework that relates them both to their components and to species-independent families of complexes. Comprehensive curation of experimentally known forms and annotations thereof is expected to expose discrepancies, differences, and gaps in our knowledge. We have annotated the early events of innate immune signaling mediated by Toll-Like Receptor 3 and 4 complexes in human, mouse, and chicken. The resulting ontology and annotation data set has (...) allowed us to identify species-specific gaps in experimental data and possible functional differences between species, and to employ inferred structural and functional relationships to suggest plausible resolutions of these discrepancies and gaps. (shrink)

YouTube has been implicated in the transformation of users into extremists and conspiracy theorists. The alleged mechanism for this radicalizing process is YouTube’s recommender system, which is optimized to amplify and promote clips that users are likely to watch through to the end. YouTube optimizes for watch-through for economic reasons: people who watch a video through to the end are likely to then watch the next recommended video as well, which means that more advertisements can be served to them. This (...) is a seemingly innocuous design choice, but it has a troubling side-effect. Critics of YouTube have alleged that the recommender system tends to recommend extremist content and conspiracy theories, as such videos are especially likely to capture and keep users’ attention. To date, the problem of radicalization via the YouTube recommender system has been a matter of speculation. The current study represents the first systematic, pre-registered attempt to establish whether and to what extent the recommender system tends to promote such content. We begin by contextualizing our study in the framework of technological seduction. Next, we explain our methodology. After that, we present our results, which are consistent with the radicalization hypothesis. Finally, we discuss our findings, as well as directions for future research and recommendations for users, industry, and policy-makers. (shrink)

This paper discusses the finite version of the two envelope paradox. (That is, we treat the paradox against the background assumption that there is only a finite amount of money in the world.).

Nearly all success is due to some mix of ability and luck. But some successes we attribute to the agent’s ability, whereas others we attribute to luck. To better understand the criteria distinguishing credit from luck, we conducted a series of four studies on knowledge attributions. Knowledge is an achievement that involves reaching the truth. But many factors affecting the truth are beyond our control and reaching the truth is often partly due to luck. Which sorts of luck are compatible (...) with knowledge? We find that knowledge attributions are highly sensitive to lucky events that change the explanation for why a belief is true. By contrast, knowledge attributions are surprisingly insensitive to lucky events that threaten but ultimately fail to change the explanation for why a belief is true. These results shed light on our concept of knowledge, help explain apparent inconsistencies in prior work on knowledge attributions, and constitute progress toward a general understanding of the relation between success and luck. (shrink)

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and clarity (...) to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

Our aim in this paper is to suggest that most current theories of global justice fail to adequately recognise the importance of global public goods. Broadly speaking, this failing can be attributed at least in part to the complexity of the global context, the individualistic focus of most theories of justice, and the localised nature of the theoretical foundations of most theories of global justice. We argue ? using examples (particularly that of protecting antibiotic efficacy) ? that any truly effective (...) theory of global justice must recognise the importance of global public goods. Global public goods confer significant benefits to individuals yet can only be effectively promoted and preserved through collective action and the restriction of individual choice; something which most theories of justice are structurally unequipped to sufficiently promote. (shrink)

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new ontological relationship (...) between a particular and a universal, which holds when no instance of the universal has a specific qualified ontological relation with the particular. This relation is found to be able to accommodate nearly all occurrences of negative findings in the examined sample, in ways which involve no reference to negative entities. (shrink)

Several conditions for being an intrinsically intentional agent are put forward. On a first level of intentionality the agent has representations. Two kinds are described: cued and detached. An agent with both kinds is able to represent both what is prompted by the context and what is absent from it. An intermediate level of intentionality is achieved by having an inner world, that is, a coherent system of detached representations that model the world. The inner world is used, e.g., for (...) conditional and counterfactual thinking. Contextual or indexical representations are necessary in order that the inner world relates to the actual external world and thus can be used as a basis for action. To have full-blown intentionality, the agent should also have a detached self-awareness, that is, be able to entertain self-representations that are independent of the context. (shrink)

This paper’s aim is to provide overview of the punishment of war crimes. It considers first the rationale of the law of war, the identification and scope of war crimes, and proceeds to consider the justification of punishing war crimes, arguing for a consequentialist view with side-constraints. It then considers the alternative of reconciliation.

How do religions refer to reality in their language and symbols, and which reality do they envisage and encounter? on the basis of some examples of an understanding of religion without reference to reality, I first answer the question of what ”realism’ is. realism has been an opposite concept to nominalism, idealism, empiricism and antirealism. The paper concentrates especially on the most recent formation of realism in opposition to antirealism. In a second section the consequences for philosophy of religion and (...) theology are considered. How the reality, as it is considered in philosophy of religion and in theology, has to be characterised, if and how this reality is relevant for human beings, and what its relation is to everything else, can only be answered and clarified in a presentation in a language that is specific for this reality, the reality of God. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume's Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one‐to‐one:. The principal aim of this article is to use the notion of grounding to develop this (...) sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of metaphysical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege's Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

Analysing the demands of global justice for the distribution of resources is a complex task and requires consideration of a broad range of issues. Of particular relevance is the effect that different distributions will have on global population growth and individual welfare. Since changes in the consumption and distribution of resources can have major effects on the welfare of the global population, and the rate at which it increases, it is important to establish meaningful principles to ensure a just distribution (...) of resources. In order to establish such principles we must consider the scope of any reproductive rights, and rights to other goods, such as food and health care, as well as examine the extent of duties correlating to those rights. In addition to the impact that distributions of global goods have on the welfare of current generations, it is also important to consider what duties we have, if any, to future generations. -/- The final version of this paper is available to download here: http://dx.doi.org/10.1002/9780470015902.a0024140. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

French translation of "Truth-Makers" (1984). A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core (...) of our theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)

The selected effects or ‘etiological’ theory of Proper function is a naturalistic and realist account of biological teleology. It is used to analyse normativity in philosophy of language, philosophy of mind, philosophy of medicine and elsewhere. The theory has been developed with a simple and intuitive view of natural selection. Traits are selected because of their positive effects on the fitness of the organisms that have them. These ‘selected effects’ are the Proper functions of the traits. Proponents argue that this (...) analysis of biological teleology has the unique advantage that the selected effect function of a trait is also a causal explanation of the trait: the trait exists because it performs this function. We show, however, that selected effect functions as currently defined explain the existence of traits only under highly restrictive assumptions about evolutionary dynamics. In many common scenarios in which traits evolve by natural selection, selected effect functions do not explain those traits. This is because definitions of selected effect function extract from any evolutionary scenario only the information that would be explanatorily relevant in the simple evolutionary scenario implicit in those definitions. When applied to more complex scenarios selected effect functions omit the key information that is explanatorily relevant in those scenarios. The assumptions required for selected effect functions to be explanatory are particularly unlikely to hold in the domain that its proponents care most about - the evolution of representation. A more adequate selected effects theory of Proper functions may be possible, but will require much greater attention to the structure of actual evolutionary explanations. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

Background -/- Emerging technologies and societal changes create new ethical concerns and greater need for cross-disciplinary and cross–stakeholder communication on navigating ethics in research. Scholarly articles are the primary mode of communication for researchers, however there are concerns regarding the expression of research ethics in these outputs. If not in these outputs, where should researchers and stakeholders learn about the ethical considerations of research? Objectives -/- Drawing on a scoping review, analysis of policy in a specific disciplinary context (learning and (...) technology), and reference group discussion, we address concerns regarding research ethics, in research involving emerging technologies through developing novel policy that aims to foster learning through the expression of ethical concepts in research. Approach -/- This paper develops new editorial policy for expression of research ethics in scholarly outputs across disciplines. These guidelines, aimed at authors, reviewers, and editors, are underpinned by: -/- a cross-disciplinary scoping review of existing policy and adherence to these policies; a review of emerging policies, and policies in a specific discipline (learning and technology); and, a collective drafting process undertaken by a reference group of journal editors (the authors of this paper). -/- Results -/- Analysis arising from the scoping review indicates gaps in policy across a wide range of journals (54% have no statement regarding reporting of research ethics), and adherence (51% of papers reviewed did not refer to ethics considerations). Analysis of emerging and discipline-specific policies highlights gaps. Conclusion -/- Our collective policy development process develops novel materials suitable for cross-disciplinary transfer, to address specific issues of research involving AI, and broader challenges of emerging technologies. (shrink)

Free logics aim at freeing logic from existence assumptions by making them explicit, e.g., by adding an existence premisse to the antecedence of the classical axiom-schema of Universal Instantiation. Their historical development was motivated by the problem of empty singular terms, and that one of simple statements containing at least one such singular term: what is the referential status of such singular terms and what truth-value, if any, do such statemants have? Free logics can be classified with regard to their (...) respective answers to these problems. Negative free logics assume that non-existent objects cannot have any properties at all; hence, in particular, they cannot be self-identical or rotate. Positive free logics believe that non-existents can be self-identical according to the Leibnizian concept of identity. Neutral free logics think that statements of self-identity are truth-valueless because of the Fregean principle of compositionality. Since only in negative free logic, but not in positive free logic, two statements of the forms "a = a" and "E!a" are logically equivalent, one also can define only for NFL, but not for PFL, existence by self-identity. (shrink)

Research in experimental philosophy has increasingly been turning to corpus methods to produce evidence for empirical claims, as they open up new possibilities for testing linguistic claims or studying concepts across time and cultures. The present article reviews the quasi-experimental studies that have been done using textual data from corpora in philosophy, with an eye for the modeling and experimental design that enable statistical inference. I find that most studies forego comparisons that could control for confounds, and that only a (...) little less than half employ statistical testing methods to control for chance results. Furthermore, at least some researchers make modeling decisions that either do not take into account the nature of corpora and of the word-concept relationship, or undermine the experiment's capacity to answer research questions. I suggest that corpus methods could both provide more powerful evidence and gain more mainstream acceptance by improving their modeling practices. (shrink)

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system (...) with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because (...) proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/. (shrink)

Persons with aphasia suffer from a loss of communication ability as a consequence of a brain injury. A small strand of research indicates effec- tiveness of dialogic interventions for communication development for persons with aphasia, but a vast amount of research studies shows its effectiveness for other target groups. In this paper, we describe the main parts of the hitherto technological development of an application named Dialogica that is (i) aimed at facilitating increased communicative participation in dialogic settings for persons (...) with aphasia and other communication disorders, (ii) based on comput- er game technology as well as on theory in dialogic education and argumenta- tion theory, and (iii) designed for mobile devices with larger screens. (shrink)

Neuroenhancement involves the use of neurotechnologies to improve cognitive, affective or behavioural functioning, where these are not judged to be clinically impaired. Questions about enhancement have become one of the key topics of neuroethics over the past decade. The current study draws on in-depth public engagement activities in ten European countries giving a bottom-up perspective on the ethics and desirability of enhancement. This informed the design of an online contrastive vignette experiment that was administered to representative samples of 1000 respondents (...) in the ten countries and the United States. The experiment investigated how the gender of the protagonist, his or her level of performance, the efficacy of the enhancer and the mode of enhancement affected support for neuroenhancement in both educational and employment contexts. Of these, higher efficacy and lower performance were found to increase willingness to support enhancement. A series of commonly articulated claims about the individual and societal dimensions of neuroenhancement were derived from the public engagement activities. Underlying these claims, multivariate analysis identified two social values. The Societal/Protective highlights counter normative consequences and opposes the use enhancers. The Individual/Proactionary highlights opportunities and supports use. For most respondents these values are not mutually exclusive. This suggests that for many neuroenhancement is viewed simultaneously as a source of both promise and concern. (shrink)

A compelling idea holds that reality has a layered structure. We often disagree about what inhabits the bottom layer, but we agree that higher up we find chemical, biological, geological, psychological, sociological, economic, /etc./, entities: molecules, human beings, diamonds, mental states, cities, interest rates, and so on. How is this intuitive talk of a layered structure of entities to be understood? Traditionally, philosophers have proposed to understand layered structure in terms of either reduction or supervenience. But these traditional views face (...) well-known problems. A plausible alternative is that layered structure is to be explicated by appeal to explanations of a certain sort, termed / grounding explanations/. Grounding explanations tell us what obtains in virtue of what. Unfortunately, the use of grounding explanations to articulate the layered conception faces a problem, which I call /the collapse/. The collapse turns on the question of how to ground the facts stated by the explanations themselves. In this paper I make a suggestion about how to ground explanations that avoids the collapse. Briefly, the suggestion is that the fact stated by a grounding explanation is grounded in its /explanans/. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

Misinformation can have significant societal consequences. For example, misinformation about climate change has confused the public and stalled support for mitigation policies. When people lack the expertise and skill to evaluate the science behind a claim, they typically rely on heuristics such as substituting judgment about something complex (i.e. climate science) with judgment about something simple (i.e. the character of people who speak about climate science) and are therefore vulnerable to misleading information. Inoculation theory offers one approach to effectively neutralize (...) the influence of misinformation. Typically, inoculations convey resistance by providing people with information that counters misinformation. In contrast, we propose inoculating against misinformation by explaining the fallacious reasoning within misleading denialist claims. We offer a strategy based on critical thinking methods to analyse and detect poor reasoning within denialist claims. This strategy includes detailing argument structure, determining the truth of the premises, and checking for validity, hidden premises, or ambiguous language. Focusing on argument structure also facilitates the identification of reasoning fallacies by locating them in the reasoning process. Because this reason-based form of inoculation is based on general critical thinking methods, it offers the distinct advantage of being accessible to those who lack expertise in climate science. We applied this approach to 42 common denialist claims and find that they all demonstrate fallacious reasoning and fail to refute the scientific consensus regarding anthropogenic global warming. This comprehensive deconstruction and refutation of the most common denialist claims about climate change is designed to act as a resource for communicators and educators who teach climate science and/or critical thinking. (shrink)

The scientific successes of the last 400 years strongly suggest a picture on which our scientific theories exhibit a layered structure of dependence and determination. Economics is dependent on and determined by psychology; psychology in its turn is, plausibly, dependent on and determined by biology; and so it goes. It is tempting to explain this layered structure of dependence and determination among our theories by appeal to a corresponding layered structure of dependence and determination among the entities putatively treated by (...) those theories. In this paper, I argue that we can resist this temptation: we can explain the sense in which, e.g., the biological truths are dependent on and determined by chemical truths without appealing to properly biological or chemical entities. This opens the door to a view on which, though there are more truths than just the purely physical truths, there are no entities, states, or properties other than the purely physical entities, states, and properties. I argue that some familiar strategies to explicate the idea of a layered structure of theories by appeal to reduction, ground, and truthmaking encounter difficulties. I then show how these difficulties point the way to a more satisfactory treatment which appeals to something very close to the notion of ground. Finally, I show how this treatment provides a theoretical setting in which we might fruitfully frame debates about which entities there really are. (shrink)