The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

The problem of the status of metaphysics -- what it is and what it is for, what use it is - has been with us for millennia, at least since Plato took issue with the Sophists, and continues to the present day. Here I attempt an intervention in this perennial dispute, with the aim of providing some kind of rapprochement between the factions. This intervention is based on how Charles Sanders Peirce (1839-1914) understood metaphysics and the position presented here is (...) thus called `Peircean realism'. The basic idea is that everyone has a metaphysics and has to have one, just to get by in everyday life, and this is no different for scientific inquirers in their professional work. The subject matter of metaphysics is thus presuppositions, whether it is what we rely on to go shopping or to discover the Higgs boson. We rely on these in our activities and expect them to have an effect on outcomes, so when our expectations are frustrated, doubt may be thrown on our presuppositions. We would thus like the ability to inquire into our presuppositions so as not to repeat mistakes, but our instinctive, evolved capacity for reasoning may not be up the job, since it is entwined with what we take for granted. Instead, Peirce develops a science of good reasoning that includes a theory of inquiry, which would allow us to scrutinise our presuppositions, to perform metaphysical inquiry. The starting point for this science of good reasoning is basic principles of combination and organisation, because these are involved in all activity, and these are Peirce's categories of Firstness, Secondness and Thirdness. This is also where I start in the exposition of and argument for Peircean realism as a scientific -- that is, truth-directed -- metaphysics that provides the best possible general presuppositions to the natural and human sciences, the special sciences that deal with matters in their particularity; that Peircean realism is a viable metaphysics for those sciences. This exposition and argument comprises the first part of this thesis. In the second part, the case for Peircean realism is further bolstered by turning a critical eye on positions that are deficient from the Peircean point of view, in that they lack one or other category and thus starve the special sciences of the resources they need, or that they try to ignore metaphysics entirely. All this is meant to demonstrate that metaphysics is unavoidable, that we need all three of Peirce's categories for a viable metaphysics for the special sciences, and that Peircean realism is just such a metaphysics. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The term “Complex Systems Biology” was introduced a few years ago [Kaneko, 2006] and, although not yet of widespread use, it seems particularly well suited to indicate an approach to biology which is well rooted in complex systems science. Although broad generalizations are always dangerous, it is safe to state that mainstream biology has been largely dominated by a gene-centric view in the last decades, due to the success of molecular biology. So the one gene - one trait approch, which (...) has often proved to be effective, has been extended to cover even complex traits. This simplifying view has been appropriately criticized, and the movement called systems biology has taken off. Systems biology [Noble, 2006] emphasizes the presence of several feedback loops in biological systems, which severely limit the range of validity of explanations based upon linear causal chains (e.g. gene → behaviour). Mathematical modelling is one the favourite tools of systems biologists to analyze the possible effects of competing negative and positive feedback loops which can be observed at several levels (from molecules to organelles, cells, tissues, organs, organisms, ecosystems). Systems biology is by now a well-established field, as it can be inferred by the rapid growth in number of conferences and journals devoted to it, as well as by the existence of several grants and funded projects.Systems biology is mainly focused upon the description of specific biological items, like for example specific organisms, or specific organs in a class of animals, or specific genetic-metabolic circuits. It therefore leaves open the issue of the search for general principles of biological organization, which apply to all living beings or to at least to broad classes. We know indeed that there are some principles of this kind, biological evolution being the most famous one. The theory of cellular organization also qualifies as a general principle. But the main focus of biological research has been that of studying specific cases, with some reluctance to accept (and perhaps a limited interest for) broad generalizations. This may however change, and this is indeed the challenge of complex systems biology: looking for general principles in biological systems, in the spirit of complex systems science which searches for similar features and behaviours in various kinds of systems. The hope to find such general principles appears well founded, and I will show in Section 2 that there are indeed data which provide support to this claim. Besides data, there are also general ideas and models concerning the way in which biological systems work. The strategy, in this case, is that of introducing simplified models of biological organisms or processes, and to look for their generic properties: this term, borrowed from statistical physics, is used for those properties which are shared by a wide class of systems. In order to model these properties, the most effective approach has been so far that of using ensembles of systems, where each member can be different from another one, and to look for those properties which are widespread. This approach was introduced many years ago [Kauffman, 1971] in modelling gene regulatory networks. At that time one had very few information about the way in which the expression of a given gene affects that of other genes, apart from the fact that this influence is real and can be studied in few selected cases (like e.g. the lactose metabolism in E. coli). Today, after many years of triumphs of molecular biology, much more has been discovered, however the possibility of describing a complete map of gene-gene interactions in a moderately complex organism is still out of reach. Therefore the goal of fully describing a network of interacting genes in a real organism could not be (and still cannot be) achieved. But a different approach has proven very fruitful, that of asking what are the typical properties of such a set of interacting genes. Making some plausible hypotheses and introducing some simplifying assumptions, Kauffman was able to address some important problems. In particular, he drew attention to the fact that a dynamical system of interacting genes displays selforganizing properties which explain some key aspects of life, most notably the existence of a limited number of cellular types in every multicellular organism (these numbers are of the order of a few hundreds, while the number of theoretically possible types, absent interactions, would be much much larger than the number of protons in the universe). In section 3 I will describe the ensemble based approach in the context of gene regulatory networks, and I will show that it can describe some important experimental data. Finally, in section 4 I will discuss some methodological aspects. (shrink)

English Title: Time and scansion: rythmical meaning of Duration between Husserl and Bachelard. -/- Abstract: Inside phenomenological search, present time and instant live inside a troubled dialectic: for Husserl present runs, widening out past and future, in the same moment, like the Heraclitean bowstring which stretches between two dimensions. Gaston Bachelard, on the contrary, is the thinker of Discreteness, where temporal continuum is linked to the reciprocal differentiating of instants in the duration. So, the conceptions of time inside these philosophers (...) seem to be opposed one to the other, but inside these two modalities of scansion we meet a steady thread, which underlies both the interpretations, which precipitate one on the other. Let’s read the taking shape of the positions inside La dialectique de la durée (1936) and in Husserl’s writings on attention, linked to the rise of an aspect of the thing above the others (1904 -1905) treated in Husserliana XXXVIII (Wahrnehmung und Aufmerksamkeit, Texte aus dem Nachlass, (1893 – 1912). /// -/- Resumen: En la investigación fenomenológica los conceptos de instante y presente viven in potente una abierta tensión constitutiva: en la filosofía de Husserl es el presente el que transcurre, dilatándose conjuntamente hacia el pasado y el futuro como la heraclítea cuerda del arco, que se extiende entre los dos lados de una dirección unitaria y continua. Gaston Bachelard, por el contrario, es un pensador de la discreción, no existe un continuo temporal sino una gran sutura en la que los instantes se diferencian en la duración. Las concepciones del tiempo entre los dos filósofos parecen oponerse la una a la otra y, sin embargo, entre las dos formas de escansión, existe un hilo firme, que ciñe las dos interpretaciones, haciéndolas precipitar una dentro de la otra, en nombre del contenido perceptivo. Las dos posiciones emergen con su diferencia en La dialéctica de la duración [1936] y en los textos que Husserl ha dedicado al tema de la atención y el interés [1898; 1904; 1905]. -/- . (shrink)

A wide variety of ontologies relevant to the biological and medical domains are available through the OBO Foundry portal, and their number is growing rapidly. Integration of these ontologies, while requiring considerable effort, is extremely desirable. However, heterogeneities in format and style pose serious obstacles to such integration. In particular, inconsistencies in naming conventions can impair the readability and navigability of ontology class hierarchies, and hinder their alignment and integration. While other sources of diversity are tremendously complex and challenging, agreeing (...) a set of common naming conventions is an achievable goal, particularly if those conventions are based on lessons drawn from pooled practical experience and surveys of community opinion. We summarize a review of existing naming conventions and highlight certain disadvantages with respect to general applicability in the biological domain. We also present the results of a survey carried out to establish which naming conventions are currently employed by OBO Foundry ontologies and to determine what their special requirements regarding the naming of entities might be. Lastly, we propose an initial set of typographic, syntactic and semantic conventions for labelling classes in OBO Foundry ontologies. Adherence to common naming conventions is more than just a matter of aesthetics. Such conventions provide guidance to ontology creators, help developers avoid flaws and inaccuracies when editing, and especially when interlinking, ontologies. Common naming conventions will also assist consumers of ontologies to more readily understand what meanings were intended by the authors of ontologies used in annotating bodies of data. (shrink)

L'esistenza del commento di Alessandro di Afrodisia al De generatione aristotelico, perduto nella versione greca e nella traduzione araba, è attestata da numerose fonti arabe, tra le quali Averroè, nel suo commento alla stessa opera. L'A. rintraccia la presenza, la tipologia e la distribuzione delle citazioni tratte dal commento di Alessandro nel Kitab al-Tasrif, un'opera del corpus alchemico attribuita a Gabir ibn Hayyan. Secondo l'A., la sezione interessata dalle citazioni assembla tre diversi tipi di testi: 1) lemmi del De generatione (...) in traduzione araba; 2) frammenti lacunosi della traduzione araba del commento di Alessandro; 3) interventi di collegamento. Una più ampia discussione si trova in un saggio visibile sulla pagina "publicationslist" dell'autore: "Alessandro di Afrodisia sulle 'contrarietà tangibili' (De gen. et corr. II.2): fonti greche e arabe a confronto" in: Aristotele e Alessandro di Afrodisia nella tradizione araba, a c. di C. D'Ancona e G. Serra, “Il Poligrafo”, Padova 2002, pp. 151-189. Notasi che il testo ricostruito di Alessandro in GC 2.2-5 è stato pubblicato da E. Gannagé nella serie ACA, che però non menziona il contributo di SF, dalla cui iniziativa, dalle cui analisi e dalla cui ricostruzione integrale, svolta sul manoscritto arabo Paris. 5099, la ricerca prese l'avvio. (shrink)

Arthur Danto asserts that Maya Lin’s Vietnam Veterans Memorial in Washington really embodies the beauty of his meaning. For him, the Memorial’s “internal beauty” is felt and read because she is built as a text by the rhetoric of enthymeme, as a syllogism based on some tacit knowledges and highly probables communplaces. However, the relationship to the Kant’s pulchritudo adhaerens and philosophy of architecture is not an easy one : Danto rejects as unreadable the self-referent formalism of Greenberg’s Modernism and (...) the environmental non-monumentality of Richard Serra’s Minimalism, but the agency of the Memorial’s shared internal beauty is haunted by an unquestioned spectral logic. Actually, the image embodiment in this work can always exceed the rhetoric of reconnaissance supported by the syllogistic rhetoric and disturb the identity framework of the nord-american community. The beholders’ reflecting shape on the Memorial can become, finally, an unreadable and pathetic index, or be perceived as a figural imprint, ephemeral and troubling ; these disembodied pictures can achieve a medial incarnation – e.g. a Verkörperung – of the underworld. (shrink)

Este trabalho empreende uma discussão a respeito do corpo como materialidade visível no dizível em duas produções cinematográficas de horror (Frontières e À l’interieur), cuja ordem fílmica de horror lança mão das imagens referentes ao acontecimento do Outubro de 2005, o qual foi marcado pelas manifestações e confrontos violentos entre a polícia e os manifestantes nas principais cidades francesas. Esta forma de usar imagens referentes a acontecimentos políticos ou sociais é uma característica das produções cinematográficas americanas de horror dos anos (...) de 1960 a 1970, da qual O massacre da Serra elétrica reconstrói seu roteiro sob a memória do caso de Ed Gein que aconteceu no Estado americano de Wisconsin nos anos de 1950. Nesta discussão, apresentamos uma análise, laçando mão da noção de intericonicidade para tratar das imagens que remetem a outras imagens e, ao mesmo tempo, retomamos a reflexão barthesiana “Como pode um acontecimento ser escrito?”, enunciada, em 1968, para refletir acerca do acontecimento do Maio daquele ano. Quanto ao corpo, tratamos deste objeto pelo prisma da ordem dos empreendimentos foucaultianos em que o corpo aparece como “um protagonista incontornável e multiforme”. (shrink)

Arthur Danto asserts that Maya Lin’s Vietnam Veterans Memorial in Washington embodies the rhetoric paradigm of internal beauty’s meaning. However, the relationship to the Kant’s pulchritudo adhaerens is not an easy one: Danto’s recalls against the self-referent formalism of Greenberg’s Modernism and his tacit issues about the environmental non-monumentality of Richard Serra’s Minimalism, are, most importantly, haunted by the unquestioned spectral logic of the image embodiment. The beholders’ reflecting shape on the funeral Wall is, finally, both a pathetic index (...) and a medial incarnation–e.g. a Verkörperung–of the underworld. (shrink)

The enormous increasing of connections between people and the noteworthy enlargement of domains and methods in sciences have augmented extraordinarily the cardinality of the set of meaningful human symbols. We know that complexity is always on the way to become complication, i.e. a non-tractable topic. For this reason scholars engage themselves more and more in attempting to tame plurality and chaos. In this book distinguished scientists, philosophers and historians of science reflect on the topic from a multidisciplinary point of view. (...) Is it possible to dominate complexity through reductionism? Are there other conceptual instruments useful to take account of complexity? What is complexity in biology, mathematics, physics and philosophy of mind? These are some of the questions which are faced in this volume. (shrink)

Fodor's thinking on modularity has been influential throughout a range of the areas studying cognition, chiefly as a prod for positive work on modularity and domain-specificity. In _The Mind Doesn't Work That Way_, Fodor has developed the dark message of _The Modularity of Mind_ regarding the limits to modularity and computational analyses. This paper offers a critical assessment of Fodor's scepticism with an eye to highlighting some broader issues in play, including the nature of computation and the role of recent (...) empirical developments in the cognitive sciences in assessing Fodor's position. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to (...) the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

Our approach is based on a tri-partite method of integrating psychodynamic hypotheses, cognitive subliminal processes, and psychophysiological alpha power measures. We present ten social phobic subjects with three individually selected groups of words representing unconscious conflict, conscious symptom experience, and Osgood Semantic negative valence words used as a control word group. The unconscious conflict and conscious symptom words, presented subliminally and supraliminally, act as primes preceding the conscious symptom and control words presented as supraliminal targets. With alpha power as a (...) marker of inhibitory brain activity, we show that unconscious conflict primes, only when presented subliminally, have a unique inhibitory effect on conscious symptom targets. This effect is absent when the unconscious conflict primes are presented supraliminally, or when the target is the control words. Unconscious conflict prime effects were found to correlate with a measure of repressiveness in a similar previous study (Shevrin et al., 1992, 1996). Conscious symptom primes have no inhibitory effect when presented subliminally. Inhibitory effects with conscious symptom primes are present, but only when the primes are supraliminal, and they did not correlate with repressiveness in a previous study (Shevrin et al., 1992, 1996). We conclude that while the inhibition following supraliminal conscious symptom primes is due to conscious threat bias, the inhibition following subliminal unconscious conflict primes provides a neurological blueprint for dynamic repression: it is only activated subliminally by an individual's unconscious conflict and has an inhibitory effect specific only to the conscious symptom. These novel findings constitute neuroscientific evidence for the psychoanalytic concepts of unconscious conflict and repression, while extending neuroscience theory and methods into the realm of personal, psychological meaning. (shrink)

Coronavirus disease 2019 can lead to respiratory failure. Some patients require extracorporeal membrane oxygenation support. During the current pandemic, health care resources in some cities have been overwhelmed, and doctors have faced complex decisions about resource allocation. We present a case in which a pediatric hospital caring for both children and adults seeks to establish guidelines for the use of extracorporeal membrane oxygenation if there are not enough resources to treat every patient. Experts in critical care, end-of-life care, bioethics, and (...) health policy discuss if age should guide rationing decisions. (shrink)

The paper discusses the epistemological basis for how you know what you are doing intentionally (and why). In particular, it challenges and ulimately rejects the claim made by Sarah K. Paul that such knowledge has an inferential basis.

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

A characterization of epistemic rationality, or epistemic justification, is typically taken to require a process of conceptual clarification, and is seen as comprising the core of a theory of (epistemic) rationality. I propose to explicate the concept of rationality. -/- It is essential, I argue, that the normativity of rationality, and the purpose, or goal, for which the particular theory of rationality is being proposed, is taken into account when explicating the concept of rationality. My position thus amounts to an (...) instrumentalist position about theories of epistemic rationality. Since there are different purposes, or goals, for which theories of rationality are proposed, the method of explication leaves room for different characterizations of rationality. I focus on two such (kinds of) purposes: first, the purpose of guiding the formation (or maintenance) of doxastic states and, second, the purpose of assessing (the formation or maintenance of) doxastic states. I conclude by outlining a pluralistic picture concerning rationality. (shrink)

A body schema is an agent's model of its own body that enables it to act on affordances in the environment. This paper presents a body schema system for the Learning Intelligent Decision Agent (LIDA) cognitive architecture. LIDA is a conceptual and computational implementation of Global Workspace Theory, also integrating other theories from neuroscience and psychology. This paper contends that the ‘body schema' should be split into three separate functions based on the functional role of consciousness in Global Workspace Theory. (...) There is (1) an online model of the agent's effectors and effector variables (Current Body Schema), (2) a long-term, recognitional storage of embodied capacities for action and affordances (Habitual Body Schema), and (3) "dorsal" stream information feeding directly from early perception to sensorimotor processes (Online Body Schema). This paper then discusses how the LIDA model of the body schema explains several experiments in psychology and ethology. (shrink)

Eric Watkins has argued on philosophical, textual, and historical grounds that Kant’s account of causation in the first Critique should not be read as an attempt to refute Hume’s account of causation. In this paper, I challenge the arguments for Watkins’ claim. Specifically, I argue (1) that Kant’s philosophical commitments, even on Watkins’ reading, are not obvious obstacles to refuting Hume, (2) that textual evidence from the “Disciple of Pure Reason” suggests Kant conceived of his account of causation as such (...) a refutation, and (3) that none of Hume’s early German critics provided responses to this account that would have satisfied Kant. Watkins’ reading of Kant’s account of causation is thus more compatible with traditional views about Kant’s relationship to Hume than Watkins believes. (shrink)

Having a confirmation bias sometimes leads us to hold inaccurate beliefs. So, the puzzle goes: why do we have it? According to the influential argumentative theory of reasoning, confirmation bias emerges because the primary function of reason is not to form accurate beliefs, but to convince others that we’re right. A crucial prediction of the theory, then, is that confirmation bias should be found only in the reasoning domain. In this article, we argue that there is evidence that confirmation bias (...) does exist outside the reasoning domain. This undermines the main evidential basis for the argumentative theory of reasoning. In presenting the relevant evidence, we explore why having such confirmation bias may not be maladaptive. (shrink)

The sublime is an aspect of experience that has attracted a great deal of scholarship, not only for scholarly reasons but because it connotes aspects of experience not exhausted by what Descartes once called clear distinct perception. That is, the sublime is an experience of the world which involves us in orientating ourselves within it, and this orientation, our human orientation, elevates us in comparison to the non-human world according to traditional accounts of the sublime. The sublime tells us something (...) about our relation to the world rather than anything about the world per se. Nonetheless there is an objective sense of the sublime in that the narratives involved are culturally endorsed rather than invented by an individual. This means that objects can be judged worthy or not of evoking experiences of the sublime. In other words, it is not an idiosyncratic matter. Immanuel Kant’s formulation of this involved explaining how such an experience is possible in terms of his system of the mind. Jane Forsey notes that Kant takes the features of the sublime as given and extrapolates from them certain features of the mind as if any concept of the sublime must implicate the mental architecture of his account (2007). Further to this she argues that in fact the concept of the sublime does implicate a particular system of the mind but neither Kant nor anyone else can successfully formulate it because the concept itself frames certain contradictions. According to Forsey, two consequences follow. First she argues that Kant’s system of the mind does not support the features of the sublime; and secondly that no system could as the very concept is incoherent. If Forsey can show that Kant was mistaken in presenting his account as coherent given his commitments, this would be of interest in its own right. However, her stronger claim is that we cannot separate any concept of the sublime out from Kant’s theoretical underpinnings. That the way the features of the mind are meant to operate in experiences of the sublime are contradictory simply points to the fatal flaws in the whole concept. Her conclusion is that there is no coherent account of the sublime available to us. I will argue that Forsey bases her reasoning on the assumption that a foundational empiricist or direct perception holds; and she interprets Kant’s notions of imagination, understanding and reason as though they are grounded in just such an account of perception. This is revealed in her interpretation of Kant’s phrase “beyond cognition”. Once this foundationalism is replaced with an account of perception more aligned with current research on perception, both philosophical and empirical, then an account of the sublime is available. Further to this however, I argue that what constitutes the narrative of the sublime is historically contingent. Before setting out my arguments, I consider Forsey’s argument in more detail. (shrink)

In metaphor research there is usually some notion of transfer of aspects of the source domain to the target domain. More rarely, transfers in the opposite direction are countenanced, affecting one’s perception of source as well as target. This paper argues that, even without this aim, transfers from target to source should happen. One radical claim here is that it is often better to translate information from literal sentences into prevailing metaphorical terms than to translate the information from metaphorical sentences (...) into literal terms. The issues have been obscured by confusion between intuitive directions of static source/target mappings, directions of individual transfer actions, and direction of main intended information flow. Relevance to an implemented AI system for metaphorical reasoning, ATT-Meta, and to Blending Theory are briefly mentioned. Asymmetry of metaphor is also addressed. (shrink)

So-called “ugly laws” were mostly municipal statutes in the United States that outlawed the appearance in public of people who were, in the words of one of these laws, “diseased, maimed, mutilated, or in any way deformed, so as to be an unsightly or disgusting object” (Chicago City Code 1881). Although the moniker “ugly laws” was coined to refer collectively to such ordinances only in 1975 (Burgdorf and Burgdorf 1975), it has become the primary way to refer to such laws, (...) which targeted the overlapping categories of the poor, the homeless, vagrants, and those with visible disabilities. Enacted and actively enforced between the American Civil War (1867) and World War I (1918), such laws and their enforcement can tell us much about the very sorts of people who were also, a generation later, subject to explicitly eugenic laws, such as sterilization legislation. And like eugenic laws and policies, such laws continue to affect the lives of people with disabilities to this day (Schweik 2011). (shrink)

A significant portion of the secondary literature on Martin Heidegger’s Being and Time has focused on interpreting his formal conceptions of death and anxiety. Unlike these previous works, this essay will serve to fill a gap in the Heideggerian portrayal of death. Although he argues that Dasein is anxious about death at a fundamental level and that it proximally and for the most part covers up such anxiety, Heidegger does not provide ontic evidence in support of his claim, instead opting (...) to uncharacteristically take it as something self-evident. I attempt to supplement Heidegger’s framework by introducing Stephen Cave’s immortality narratives and the emerging field of Terror Management Theory as the aforementioned ontic evidence that rounds out Heidegger’s notion of death, before ultimately transitioning from Heidegger’s work into the larger philosophical discourse on death and demonstrating the potential joy that can manifest when one gains a lucid understanding of the ownness of their death and the narratives to which it gives rise. (shrink)

Is the institutionalization of religious freedom through human rights jurisprudence simply a means by which the modern nation-state manufactures and regulates “religion”? Is the discourse of religious freedom principally a technology of state governance? These questions challenge the ways that scholars conceptualize the relation between states, nationalism, human rights, and religious freedom. This article forwards an approach to human rights and methodological nationalism that both counters and explores alternatives to the prevailing conceptions of human rights, nationalism, and state sovereignty in (...) the discourse on the putative impossibility—and, by some accounts, insidiousness—of religious freedom. I first explicate the interpretive and contestatory dimensions of human rights discourse concerning religious freedom. I then explore cross-cutting ambivalences within the nationalisms that states need and cultivate in effort to transmute their monopoly upon coercive force (i.e. power) into legitimated authority. I argue that these provide two dimensions in and through which state sovereignty may be opposed, criticized, held accountable, and subject to change. (shrink)

A hard choice is a situation in which an agent is unable to make a justifiable choice from a given menu of alternatives. Our objective is to present a systematic treatment of the axiomatic structure of such situations. To do so, we draw on and contribute to the study of choice functions that can be indecisive, i.e., that may fail to select a non-empty set for some menus. In this more general framework, we present new characterizations of two well-known choice (...) rules, the maximally dominant choice rule and the top-cycle choice rule. Together with existing results, this yields an understanding of the circumstances in which hard choices arise. (shrink)

Focused attention is needed to perceive change (Rensink et al., 1997; Psychological Science, 8: 368-373) . But how much attentional processing is given to an item? And does this depend on the nature of the task? To answer these questions, "flicker" displays were created, where an original and a modified image continually alternated, with brief blanks between them. Each image was an array of simple figures, half being horizontal and the other half vertical. In half the trials, one of the (...) items changed orientation; in the remainder, all items remained the same. Observers were asked to detect whether a change was occurring in each trial. -/- Within-observer comparisons for different shapes of items yielded two classes of speed: relatively fast search (50 ms/item) for simple lines, and slower search (90 ms/item) for compound figures made of two or more lines. Evidently, more processing was given to compound figures, even though shape was irrelevant to the task. A similar set of experiments asked observers to detect changes in contrast polarity. Here, no differences were found for different shapes, indicating that geometric information is not processed as much when the task involves only nongeometric properties. (shrink)

Although there is a growing recognition that older adults and those with extensive comorbid conditions undergo cancer screening too frequently, there is little information about patients’ perceptions regarding cessation of cancer screening. Information on older adults’ views of screening cessation would be helpful both for clinicians and for those designing interventions to reduce overscreening.

The cucumber is a creeping vine that roots in the ground and grows up trellises or other supporting frames, wrapping around supports with thin, spiraling tendrils. The plant may also root in a soilless medium, whereby it will sprawl along the ground in lieu of a supporting structure. The vine has large leaves that form a canopy over the fruits. Among these common diseases, we single out the diseases that affect the cucumber, which is affected by about 22 diseases, with (...) different symptoms for each disease. Today, technology is facilitating human life in all areas of life, and among these facilities are expert systems that have become an integral part of human life as they contain several systems and areas, for example: Artificial Intelligence (AI), which refers to systems or devices that simulate Human intelligence to perform tasks that can improve itself based on some human information, and other areas, and with reference to expert systems and their importance to humans, an integrated expert system has been created in the agricultural field that diagnoses cucumber diseases using CLIPS Expert System language Delphi language. The system was used to design and implement the proposed expert system. The system facilitates the diagnosis of cucumber-related diseases. There is no doubt that this expert system will help farmers and those involved in the agricultural field to diagnose cucumber-related diseases. Objectives: is to help farmers diagnose pear diseases in the correct way and how to treat these diseases. Method: The system contains a program that diagnoses 22 diseases that affect cucumber. Results: The expert system was evaluated by farmers and praised for helping them with it. Conclusion: The expert system for diagnosing cucumber diseases is effective and usable. (shrink)

In a landmark legal case in 1996, eugenics survivor Leilani Muir successfully sued the province of Alberta for wrongful confinement and sterilization. The legal finding implied that Ms. Muir should never have been institutionalized at the Provincial Training School of Alberta as a “moron” and sterilized under the Sexual Sterilization Act of Alberta. The trial itself revealed many unsettling features of the province’s practice of eugenics, raising questions about how a seemingly large number of people, like Ms. Muir, who were (...) not mentally defective, could have been wrongfully confined at an institution for the feeble-minded, and subsequently sterilized on eugenic grounds. Employing a three-agent model of wrongful accusation and conceiving of eugenics as wrongful more generally may help in understanding the operation of eugenic practices, such as institutionalization and sterilization, both in Western Canada and elsewhere. Eugenic practice involves a form of wrongful accusation that marks a significant departure from eugenic ideology. (shrink)

I apply the notion of truthmaking to the topic of fundamentality by articulating a truthmaker theory of fundamentality according to which some truths are truth-grounded in certain entities while the ones that don't stand in a metaphysical-semantic relation to the truths that do. I motivate this view by critically discussing two problems with Ross Cameron's truthmaker theory of fundamentality. I then defend this view against Theodore Sider's objection that the truthmaking approach to fundamentality violates the purity constraint. Truthmaker theorists can (...) have a trouble-free theory of fundamentality. (shrink)

Background: Broccoli is an edible green plant in the cabbage family (family Brassicaceae, genus Brassica) whose large flowering head, stalk and small associated leaves are eaten as a vegetable. A leaf of Broccoli might be affected of Several Diseases descriped in this paper . When symptoms is encountered, it requires some kind of medical care. If appropriate Survival of Broccoli Diseases is not taken quickly, it can lead to Broccoli to die . Objectives: The main goal of this expert system (...) is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper the design of the proposed Expert System which was produced to help Farmers in diagnosing many of the broccoli diseases such as : Damping Off,Club root of crucifers or Finger and toe disease,Alternaria leaf spot,Black rot,Downy mildew, and White rust. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

Where does the mind begin and end? Most philosophers and cognitive scientists take the view that the mind is bounded by the skull or skin of the individual. Robert Wilson, in this provocative and challenging 2004 book, provides the foundations for the view that the mind extends beyond the boundary of the individual. The approach adopted offers a unique blend of traditional philosophical analysis, cognitive science, and the history of psychology and the human sciences. The companion volume, Genes and the (...) Agents of Life, explores the theme in the biological sciences. Written with verve and clarity, this ambitious book will appeal to a broad swathe of professionals and students in philosophy, psychology, cognitive science, and the history of the behavioural and human sciences. You can download the table of contents here. (shrink)

(No abstract is available for this citation).

This brief elucidation of two quotes from the Genealogy will be apt for more accessible interpretation following the completion of my next paper. Stay tuned for some hard-fought philosophy.

We intend to demonstrate that Jesus was a kind of social scientist, not only a prophet, the Cristianity is a way of conceiving and perceiving the world, a cosmology and a state of mind, like many others. To be part of is not to deny other forms os religious experience and manifestation.

In this chapter I argue that one way in which friendship contributes to moral growth is by means of developing self-knowledge. The chapter starts out with an explanation of the privileged space that friendship offers for the cultivation of character. Next, the chapter develops the connection between friendship and self-knowledge. Here, the chapter makes a distinction between self-knowledge on the psychological level, and self-knowledge on the anthropological level. The chapter then turns to an analysis of the two proposed core texts (...) on friendship, Lewis' The Four Loves and Laín Entralgo's On Friendship, in order to articulate a pathway for character education at university. (shrink)

A newborn baby is an infant within the first 28 days of birth. Diagnosis and treatment of infant diseases require specialized medical resources and expert knowledge. However, there is a shortage of such professionals globally, particularly in low-income countries. To address this challenge, a knowledge-based system was designed to aid in the diagnosis and treatment of neonatal diseases. The system utilizes both machine learning and health expert knowledge, and a hybrid data mining process model was used to extract knowledge from (...) a clinical dataset. The PART algorithm achieved the highest performance result with 98.06% accuracy under 10-fold cross-validation, and the generated rules were used to develop the knowledge-based system. The system achieved 90.9% accuracy in system performance testing and 89.2% in user acceptance testing, and is intended to serve as an assistant tool for healthcare experts. (shrink)

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

A new formulation of the Fine-Tuning Argument (FTA) for the existence of God is offered, which avoids a number of commonly raised objections. I argue that we can and should focus on the fundamental constants and initial conditions of the universe, and show how physics itself provides the probabilities that are needed by the argument. I explain how this formulation avoids a number of common objections, specifically the possibility of deeper physical laws, the multiverse, normalisability, whether God would fine-tune at (...) all, whether the universe is too fine-tuned, and whether the likelihood of God creating a life-permitting universe is inscrutable. (shrink)