Chakraborty and Banerjee have introduced a rough consequence logic based on the modal logic S5. This paper shows that rough consequence logics, with many of the same properties, can be based on modal logics as weak as K, with a simpler formulation than that of Chakraborty and Banerjee. Also provided are decision procedures for the rough consequence logics and equivalences and independence relations between various systems S and the rough consequence logics, based on them. It also shows that each logic, (...) based on such an S, is theorem equivalent, but not necessarily equivalent, to the modal logic M-S. The paper also shows that rough consequence logic, which was designed to handle rough equality, is somewhat limited for that purpose. (shrink)

Chakraborty and Banerjee have introduced a rough consequence logic based on the modal logic S5. This paper shows that rough consequence logics, with many of the same properties, can be based on modal logics as weak as K, with a simpler formulation than that of Chakraborty and Banerjee. Also provided are decision procedures for the rough consequence logics and equivalences and independence relations between various systems S and the rough consequence logics, based on them. It also shows that each logic, (...) based on such an S, is theorem equivalent, but not necessarily equivalent, to the modal logic M-S. The paper also shows that rough consequence logic, which was designed to handle rough equality, is somewhat limited for that purpose. (shrink)

Pure Type Systems, PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic. First we consider (...) a simplification of the start and weakening rules of PTSs, which allows contexts to be sets of statements, and a generalisation of the conversion rule. The resulting Set-modified PTSs or SPTSs, though essentially equivalent to PTSs, are closer to standard logical systems. A simplification of the abstraction rule results in Abstraction-modified PTSs or APTSs. These turn out to be equivalent to standard PTSs if and only if a condition (*) holds. Finally we consider SAPTSs which have both modifications. (shrink)

Because the main difference between combinatory weak equality and λβ-equality is that the rule \begin{equation*}\tag{\xi} X = Y \vdash \lambda x.X = \lambda x.Y\end{equation*} is valid for the latter but not the former, it is easy to assume that another way of defining combinatory β-equality is to add rule (ξ) to the postulates for weak equality. However, to make this true, one must choose the definition of combinatory abstraction in (ξ) very carefully. If one tries to use one of the (...) more common abstraction algorithms, the result will be an equality, = ξ , that is either equivalent to βη-equality (and so strictly stronger than β-equality) or else strictly weaker than β-equality. This paper will study the relations = ξ for several commonly used abstraction algorithms, distinguish between them, and axiomatize them. (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both translations (...) are closely related in a canonical way. In a preceding paper, Barendregt, Bunder and Dekkers, 1993, we proved completeness of the two direct translations. In the present paper we prove completeness of the two indirect translations by showing that the corresponding illative systems are conservative over the two systems for the direct translations. In another version, DBB (1997), we shall give a more direct completeness proof. These papers fulfill the program of Church and Curry to base logic on a consistent system of $\lambda$ -terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent). (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are (...) closely related in a canonical way. The two direct translations turn out to be complete. The paper fulfills the program of Church [1932], [1933] and Curry [1930] to base logic on a consistent system of λ-terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent). (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic propositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which (...) derivations are not translated. Both translations are closely related in a canonical way. In the cited paper we proved completeness of the two direct translations. In the present paper we prove that also the two indirect translations are complete. These proofs are direct whereas in another version, [3], we proved completeness by showing that the two corresponding illative systems are conservative over the two systems for the direct translations. Moreover we shall prove that one of the systems is also complete for predicate calculus with higher type functions. (shrink)

Pure Type Systems, PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic. First we consider (...) a simplification of the start and weakening rules of PTSs, which allows contexts to be sets of statements, and a generalisation of the conversion rule. The resulting Set-modified PTSs or SPTSs, though essentially equivalent to PTSs, are closer to standard logical systems. A simplification of the abstraction rule results inion-modified PTSs or APTSs. These turn out to be equivalent to standard PTSs if and only if a condition holds. Finally we consider SAPTSs which have both modifications. (shrink)

En esta investigación intentaremos explicitar hasta qué punto Ser y Tiempo es una suerte de tentativa por retomar, en forma correcta, el originario proyecto filosófico que Kant desplegó en su Crítica de la razón pura. Para lograr justificar nuestra conjetura nos centraremos especialmente en la obra de Heidegger Kant y el problema de la Metafísica (1929). En dicho texto nos encontraremos con una controvertida interpretación que el pensador de Meßkirch elaboró del opus magnum de Immanuel Kant. Interpretación que, justamente, podría (...) sugerirnos que su Ser y Tiempo, no sólo estaría hermanado con la Crítica de la razón pura, sino que vendría a ser una correcta continuación del camino allí trazado por el filósofo de Königsberg. (shrink)

We make choices about our own appearance and evaluate others' choices – every day. These choices are meaningful for us as individuals and as members of communities. But many features of personal appearance are due to luck, and many cultural beauty standards make some groups and individuals worse off (this is called “lookism”). So, how are we to square these two facets of personal appearance? And how are we to evaluate agency in the context of personal beauty? I identify three (...) ways of responding to these questions: beauty advo- cacy, beauty skepticism, and beauty revisionism. Advocates connect an honorific sense of beauty with personal charac- ter. Skeptics focus on beauty standards, and primarily offer a social critique of beauty standards. Some skeptics suggest embracing other aesthetic ideals – even ugliness. Revision- ists critique beauty standards, but retain an honorific sense of beauty. Each position offers tools to evaluate personal agency as aesthetic agency, whether first-personally or through our appreciation of others' appearance. (shrink)

In this paper, I respond to criticisms of my book Being and Reason recently made by Yitzhak Melamed.

The tremendous advances of research into artificial intelligence as well as neuroscience made over the last two to three decades have given further support to a renewed interest into philosophical discussions of the mind-body problem. Especially the last decade has seen a revival of panpsychist and idealist considerations, often focused on solving philosophical puzzles like the socalled hard problem of consciousness.1–9 While a number of respectable philosophers advocate some sort of panpsychistic solution to the mind-body problem now, fewer advocate that (...) idealism can contribute substantially to the debate. Interest in idealism has nevertheless risen again, as can be seen also from recent overview articles and collections of works.10–14 The working hypothesis here is that a properly formulated idealism can not only provide an alternative view of the mind/matter gap, but that this new view will also shed light on open questions in our common scientific, i.e. materialist, world view. To investigate this possibility, idealism first of all needs a model for the integration of modern science which allows for a mathematically consistent reinterpretation of the physical world as a limiting case of a both material and non-material world, which would make the outcome of idealistic considerations accessible to scientific investigation. To develop such a model I will first try to explain what I mean when I speak of a ‘scientifically tenable’ idealism, including a formulation of the emanation problem which for idealism replaces the interaction problem, then give a very brief summary of the available elements of such a theory in the philosophical literature, before sketching out some ‘design questions’ which have to be answered upon the construction of such models, and finally put forward a first model for a scientifically tenable objective idealism. (shrink)

Chomsky's “revolution” and the revolution in sign language linguistics began around the same time, but they did not directly affect each other for a while. This chapter focuses on Chomsky‐inspired research on sign language grammar and the ways that the study of sign languages connects to theories of innateness, the two main ways that Chomsky's impact has been felt in sign linguistics. Chomsky's linguistic legacy has two primary arms: one in theories of syntax, and the other in theories of language (...) acquisition. Chomsky's strong claim is that the input provided to young children acquiring their native language is too poor to constitute a complete inductive basis for general cognitive learning principles to succeed. Specifying the content of the “language acquisition device” has been a central concern of Chomskian linguistics. (shrink)

The concept of indoctrination is typically used to characterize the actions of individual educators. However, it has become increasingly common for citizens to raise concerns about the indoctrinatory effects of institutions such as schools and universities. Are such worries fundamentally misconceived, or might some state of affairs obtain under which it can be rightly said that an educational institution is engaged in indoctrination? In this paper Christopher Martin outlines what the concept of institutional indoctrination could mean. He then uses (...) Jürgen Habermas's discourse theory in order to develop a specific conception of institutional indoctrination: an educational institution indoctrinates when it exercises its authority in order to support the deliberative norm that some belief P ought to be exempt from tests of or challenges to its truth or rightness just because it is belief P. Martin argues that this norm undermines conditions of symmetrical and inclusive public discourse essential to the development of knowledge and understanding among free and equal citizens. That is, institutional indoctrination involves a closing of the public mind. (shrink)

Entrepreneurship education is increasingly becoming a focal strategy for promoting entrepreneurship, particularly to foster entrepreneurial intentions and startups. However, learning and support are equally important after startup for novice entrepreneurs to gain a good level of confidence to manage their business and achieve the desired outcomes. Using a sample of 189 young self-employed individuals in Uganda, this study examines the differential impact of mentoring and self-efficacy on the achievement of intangible outcomes of entrepreneurship including satisfaction of need for autonomy, work (...) satisfaction and the intention to stay in self-employment. We found self-efficacy to mediate the effects of mentoring on these intangible outcomes. In addition, the results showed substantial gender differences. Whereas women’s satisfaction of the need for autonomy and intention to stay in self-employment were strongly associated with the direct effects of mentoring, their male counterparts seemed to benefit more if mentoring resulted in increased self-efficacy. Overall, our findings suggest that whereas mentoring improves the competence of small business owners and consequently achievement of superior outcomes, mentoring should also focus on boosting self-efficacy which in turn is essential for the application of the entrepreneurial competencies. (shrink)

Marginalized people have used body aesthetic practices, such as clothing and hairstyles, to communicate their worth to the mainstream. One such example is respectability politics, a set of practices developed in post-Reconstruction black communities to prevent sexual assault and convey moral standing to the white mainstream. Respectability politics is an ambivalent strategy. It requires assimilation to white bourgeois aesthetic and ethical standards, and so guides practitioners toward blandness and bodily erasure. Yet, it is an aesthetic practice that cultivates moral agency (...) and helps communities avoid violence and meet social and economic goals. I contrast respectability politics with the anti-assimilationist body aesthetics of Chike Jeffers and Janell Hobson. Because these accounts do not seek to neutralize or erase the body, they fundamentally value black people. As such, they more effectively convey personhood than assimilationist strategies do and also demonstrate the positive role that body aesthetics can play in everyday ethical projects. (shrink)

Does nursing possess a character? The idea that professions have characters is hard to sustain, and the possibility that nursing as a collectively or occupation lacks a character is worth considering. To this end it is argued that absent robust theoretical and/or evidential scaffolding it is implausible to suppose that nursing has an objectively real (reality describing) character, and if ‘nursing's character’ is chimeric or illusory, aspects of our conception of professionalism require reappraisal. Specifically, traits and values that attach to (...) nursing and are implicated in the concept of character are, shorn of their moorings, untethered. This may be significant. (shrink)

The rejection of a “characterless” moral self is central to some of Bernard Williams’ most important contributions to philosophy. By the time of Truth and Truthfulness, he works instead with a model of the self constituted and stabilized out of more primitive materials through deliberation and in concert with others that takes inspiration from Diderot. Although this view of the self raises some difficult questions, it serves as a useful starting point for thinking about the process of developing an authentic (...) moral point of view in the context of contemporary living. In what follows, I begin to fill out and extend this picture of the self and its related notion of authenticity by exploring some of the “technologies of the self” at play in Rachel Cusk’s recent work (primarily, the Outline trilogy, Coventry, Second Place, and “The Stuntman”) that ask us to rethink the possibility and importance of stability; seek a way of constituting oneself and one’s values outside the confining structures of traditional narrative (focusing instead on a framework that might be provided by the visual arts); and give a different role to the sort of internalized other Williams sees as being at work in the mechanisms of shame. (shrink)

Inheritance is normally distributed to the heirs, but during the 20th century the state claimed a share of the estate through inheritance taxation. The purpose of this article is to examine how the successively increased importance of inheritance taxation in Scandinavia was justified in political debate between 1890 and 1935. The results shows that the tax was mainly motivated by the state’s increased revenue needs. The tax was not controversial in Denmark or Sweden, but caused strong conflicts in the Norwegian (...) debate. (shrink)

Current societal changes and challenges demand a broader role of technological universities, thus opening the question of how their role evolved over time and how to frame their current responsibility. In response to urgent calls for debating and redefining the identity of contemporary technological universities, this paper has two aims. The first aim is to identify the key characteristics and orientations marking the development of technological universities, as recorded in the history of engineering education. The second aim is to articulate (...) the responsibility of contemporary technological universities given their different orientations and characteristics. For this, we first provide a non-systematic literature review of the key pedagogical orientations of technological universities, grounded in the history of engineering education. The five major orientations of technological universities presented in the paper are technical, economic, social, political, and ecological. We then use this historical survey to articulate the responsibilities of contemporary technological universities reflecting the different orientations. Technological universities can promote and foster the development of scientific, professional, civic, legal, or intra- and inter- generational responsibility. We argue that responsibility is not specific to any particular orientation, such that the concept is broadened to complement each orientation or mix of orientations of a technological university. Our contribution thus serves as a call for technological universities to self-reflect on their mission and identity, by offering a lens for identifying the orientations they currently foster and making explicit the responsibility arising from their current orientation or the ones they strive to cultivate. (shrink)

When making a moral judgment, people largely care about two factors: Who did it (causal responsibility), and did they intend to (intention)? Since Piaget's seminal studies, we have known that as children mature, they gradually place greater emphasis on intention, and less on mere bad outcomes, when making moral judgments. Today, we know that this developmental shift has several signature properties. Recently, it has been shown that when adults make moral judgments under cognitive load, they exhibit a pattern similar to (...) young children; that is, their judgments become notably more outcome based. Here, we show that all of the same signature properties that accompany the outcome‐to‐intent shift in childhood characterize the “intent‐to‐outcome” shift obtained under cognitive load in adults. These findings hold important implications for current theories of moral judgment. (shrink)

This essay explores how the distinctively anthropological concept of culture provides uniquely valuable insights into the workings of science in its cultural context. Recent efforts by anthropologists to dislodge the traditional notion of culture as a homogenous, stable whole have opened up a variety of ways of imagining culture that place power differentials, flux, and contradiction at its center. Including attention to a wide variety of social domains outside the laboratory, attending to the ways nonscientists actively engage with scientific knowledge, (...) and focusing on the complex interactions that flow both into and out of research laboratories are ways the activities of both scientists and nonscientists can be situated in the heterogeneous matrtx of culture. Three images—the citadel, the rhizome, and the string figure—allow us to picture the discontinuous ways science both permeates and is permeated by cultural life. (shrink)

General relativity and quantum mechanics have both revealed the relativity of certain notions that were previously thought to be absolute. I clarify the precise sense in which these theories are relational, and I argue that the various aspects of relationality pertain to the same movement in the progress of physical theories.

This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries. Its goal is to explain how the Logic reworks the foundation of pre-Cartesian logic so as to make it compatible with Descartes' metaphysics. The Logic's authors forged a new theory of reference based on the medieval notion of objective (...) being, which is essentially the modern notion of intentional content. Indeed, the book's central aim is to detail how the Logic reoriented semantics so that it centered on the notion of intentional content. This content, which the Logic calls comprehension, consists of an idea's defining modes. Mechanisms are defined in terms of comprehension that rework earlier explanations of central notions like conceptual inclusion, signification, abstraction, idea restriction, sensation, and most importantly within the Logic's metatheory, the concept of idea-extension, which is a new technical concept coined by the Logic. Although Descartes is famous for rejecting "Aristotelianism," he says virtually nothing about technical concepts in logic. His followers fill the gap. By putting to use the doctrine of objective being, which had been a relatively minor part of medieval logic, they preserve more central semantic doctrines, especially a correspondence theory of truth. A recurring theme of the book is the degree to which the Logic hews to medieval theory. This interpretation is at odds with what has become a standard reading among French scholars according to which this 16th-century work should be understood as rejecting earlier logic along with Aristotelian metaphysics, and as putting in its place structures more like those of 19th-century class theory. (shrink)

Dieser Band versammelt Texte aus dem Nachlass Moritz Schlicks über den Begriff und die Geschichte der Philosophie. Ein großer Teil davon gehört zum Spätwerk Schlicks, und er plante selbst, sie zu publizieren. Diese Edition macht darum erstmals und im Zusammenhang Texte zugänglich, die noch weitgehend unbekannt sind. Schlick zeichnete darin die Philosophiegeschichte als Geschichte eines Irrtums. Dieser Irrtum wurde von den Eleaten zuerst begangen, indem sie Schein und Sein unterschieden, und wird seither in wechselnder Terminologie wiederholt. Durch die moderne Logik (...) kann dieser Irrtum nach Schlicks Ansicht beseitigt werden. (shrink)

Der Band enthält Schlicks frühen eher problemorientierten Ausführungen zur Philosophie der damaligen Gegenwart. Später entwickelte der logische Positivist Schlick ein außerordentliches bis heute kaum bekanntes Interesse für die Geschichte der Philosophie. Nur seine Ermordung 1936 verhinderte, dass er seine sehr konkreten Publikationsabsichten hierzu verwirklichen konnte. Seine Kernthese dabei ist, dass die Philosophiegeschichte seit den Eleaten eine Irrtumsgeschichte geworden ist, weil sie immer wieder den Fehler wiederholt, Schein und Sein voneinander zu unterscheiden.

Protein turnover (PT) has been formally defined only in equilibrium conditions, which is ill‐suited to quantify PT during dynamic processes that occur during embryogenesis or (extra) cellular signaling. In this Hypothesis, we propose a definition of PT in an out‐of‐equilibrium regime that allows the quantification of PT in virtually any biological context. We propose a simple mathematical and conceptual framework applicable to a broad range of available data, such as RNA sequencing coupled with pulsed‐SILAC datasets. We apply our framework to (...) a published dataset and show that stimulation of mouse dendritic cells with LPS leads to a proteome‐wide change in PT. This is the first quantification of PT out‐of‐equilibrium, paving the way for the analysis of biological systems in other contexts. (shrink)

International criminal law (ICL) has traditionally overlooked sexual and gender-based violence (SGBV) and struggles to understand it. Prosecutions have been largely inefficient and not reflective of gender harms. The Rome Statute requires interpreting SGBV as a social construction (article 7(3)), in consistency with international human rights law (IHRL) and without discrimination (article 21(3)). There is, however, little guidance to implement these approaches. This article argues that intersectionality, an IHRL-based approach that reveals compounded discrimination, is an efficient tool to interpret SGBV (...) and, therefore, should be integrated in ICL. The article traces the origins of intersectionality in feminism and its recognition by IHRL dealing with violence against women. It establishes the applicability of intersectionality in ICL that it demonstrates with a comparative analysis of the Lubanga and Ntaganda cases. The findings show that intersectionality suits ICL’s specific needs which allows labelling and explaining some of those contributions throughout the judicial process. (shrink)

Prior research has demonstrated a strong relationship between team performance and team members’ team efficacy beliefs and perceptions of social integration. Performing well increases the feelings of collective ability that comprise team efficacy and the feelings of psychological connectedness that make up social integration, while performing poorly erodes them. In this article, we draw from the social cognitive base of ethical leadership theory to argue that ethical leadership moderates the relationship between team performance and team efficacy beliefs, and between team (...) performance and social integration, such that these important team attitudes are buffered against the negative effects of poor performance when leaders act ethically. Alternatively, when leaders act less ethically, team efficacy and social integration break down following poor performance. We test our hypotheses in a field study of U.S. military teams actively engaged in competition. The data support our arguments. We find that ethical leadership weakens the relationships among team performance and team efficacy and social integration, respectively, such that ethical leaders preserve team efficacy and social integration when their teams do not perform well. (shrink)

Con el objetivo de demostrar que el sistema de control masculino renacentista tenía grietas de las que algunas mujeres eran plenamente conscientes, efectuamos un análisis del teresiano Libro de la vida a partir de los principales conceptos de la antropología filosófica clásica, asumiendo que una de las herramientas femeninas de expansión política es la publicación de una autobiografía en la que se explica no sólo cómo es el mundo sino también cómo debería ser. Así, se defiende que este libro de (...) Teresa de Ávila establece una propuesta ética de vida en la que se ofrecen pautas de comportamiento a la vez que la autora se configura a sí misma como ser-femenino-en-el-mundo, como fémina-en-el-aquí-y-ahora y como mujer-locuens. La clave está en comprender que a lo largo de la historia numerosas intelectuales empleaban la autobiografía para dar su voz al mundo, pues les estaban vetados los discursos teológicos o filosóficos tal y como se concebían en la cosmovisión patriarcal. (shrink)

Two major reports in the UK and USA have recently sanctioned as ethically acceptable genome editing of future generations for the treatment of serious rare inherited conditions. This marks an important turning point in the application of recombinant DNA techniques to humans. The central question this paper addresses is how did it became possible for human genetic engineering (HGE) of future generations to move from an illegitimate idea associated with eugenics in the 1980s to a concrete proposal sanctioned by scientists (...) and bioethicists in 2020? The paper uses the concept of a regime of normativity to understand the co-evolution and mutual shaping of technology, imaginaries, norms and governance processes in debates about HGE in the USA and UK. It will be argued that interlinked discursive, institutional, political and technological changes have made proposals for the use of genome editing in the genetic engineering of future generations both “thinkable” and legitimate. (shrink)

The question concerning the meaning of life is important, but it immediately confronts the present authors with insurmountable obstacles from a philosophical standpoint, as it would require us to define not only what we hold to be life, but what we hold to be meaning in addition, requiring us to do both in a properly researched context. We unconditionally surrender to that challenge. Instead, we offer a vernacular, armchair approach to life’s origin and meaning, with some layman’s thoughts on the (...) meaning of origins as viewed from the biologist’s standpoint. One can observe that biologists generally approach the concept of biological meaning in the context of evolution. This is the basis for the broad resonance behind Dobzhansky’s appraisal that “Nothing in biology makes sense except in the light of evolution”. Biologists try to understand living things in the historical context of how they arose, without giving much thought to the definition of what life or living things are, which for a biologist is usually not an interesting question in the practical context of daily dealings with organisms. Do humans generally understand life’s meaning in the context of history? If we consider the problem of life’s origin, the question of what constitutes a living thing becomes somewhat more acute for the biologist, though not more answerable, because it is inescapable that there was a time when there were no organisms on Earth, followed by a time when there were, the latter time having persisted in continuity to the present. This raises the question of where, in that transition, chemicals on Earth became alive, requiring, in turn, a set of premises for how life arose in order to conceptualize the problem in relation to organisms we know today, including ourselves, which brings us to the point of this paper: In the same way that cultural narratives for origins always start with a setting, scientific narratives for origins also always start with a setting, a place on Earth or elsewhere where we can imagine what happened for the sake of structuring both the problem and the narrative for its solution. This raises the question of whether scientific origins settings convey meaning to humans in that they suggest to us from what kind of place and what kinds of chemicals we are descended, that is, to which inanimate things we are most closely related. (shrink)