The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

-- 2. La Gnoseología como filosofía de la ciencia (parte I, sección 2) ; Historia de la teoría de la ciencia (parte I, sección 3) -- 3. El Sistema de las doctrinas gnoseológicas ; Las cuatro familias básicas (parte II, sección 1) -- 4. El sistema de las doctrinas gnoseológicas ; Descripcionismo (parte II, sección 2) ; Teoreticismo (parte II, sección 3) -- 5. Adecuacionismo (parte II, sección 4) ; Circularismo (parte II, sección 5) ; Glosario.

La denominada 'estrategia del explanandum dual' ha sido utilizada en el pasado para enfrentar problemas de distinta clase, entre los que se cuentan el debate 'explicación vs. comprensión' y el problema de cómo las razones pueden explicar la conducta. Esta estrategia puede ser descripta someramente como un intento de resolver la rivalidad explicativa entre dos explicaciones por medio de la división del explanandum. En este artículo se analiza el uso que Ausonio Marras ha hecho de ella. Este autor ha sostenido (...) que su utilización permite enfrentar el problema de la ineficacia causal de las propiedades mentales, problema que ha representado una seria amenaza en las últimas dos décadas para el programa del materialismo no reduccionista. Se intentará mostrar que la estrategia sugerida no puede ser exitosa frente a este problema a menos que pueda proveerse de una explicación exitosa de cómo las propiedades mentales pueden mantener su eficacia causal completa, y que la respuesta que se ofrece no satisface esta exigencia. The dual explanandum strategy' has been used in the past to contend some quite different problems, including the 'explanation vs. understanding' debate and the problem of how reasons can explain behavior. This strategy can be roughly described as an intent to solve the explanatory rivalry between two explanations by means of the division of the explanandum. In this paper I want to analyze the use of this strategy by Ausonio Marras, who has claimed that it allows us to face the problem of causal inefficacy of mental properties. This problem has arisen in the last two decades in the context of non reductive materialism and has become a serious menace to this program. I try to show that this strategy can not work out this problem unless it can be provided with a successful account of the way that mental properties can keep their complete causal efficacy, and the answer he offers does not satisfy this demand. (shrink)

Um dos problemas a serem superados pelos defensores de uma IA forte é o argumento do quarto chinês de J. Searle. Este artigo propôs-se a analisar se o argumento estruturado no experimento de pensamento do quarto chinês foi refutado pelo modelo de superinteligência. Analisamos o modelo de N. Bostrom e o argumento de S. Bringsjord e verificamos não serem eles suficientes para rejeitar qualquer premissa do argumento de Searle.

In this paper I draw a distinction between a special and a general version of the Gettier problem. I argue that the special problem is partially a logical problem, as well as an epistemological one, and I show that it is very easy to solve. This is interesting, since most of the Gettier-style examples that appear in the literature fall under the special problem, and hence as they stand they too are very easy to solve.

In questo libro, che apparve nel 1975 a coronamento di tutta l'ultima fase della riflessione bontadiniana, viene pienamente raggiunto l'obbiettivo che il filosofo si era in essa proposto, vale a dire la rigorosa fondazione della metafisica classica perseguitata attraverso l'affinamento critico del suo nucleo essenziale. Tale nucleo è individuato nel principio di Parmenide che, cimentandosi dialetticamente con l'esperienza del divenire, si determina in ultima istanza come principio di creazione.