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.

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 we provide a compact presentation of the verisimilitudinarian approach to scientific progress (VS, for short) and defend it against the sustained attack recently mounted by Alexander Bird (2007). Advocated by such authors as Ilkka Niiniluoto and Theo Kuipers, VS is the view that progress can be explained in terms of the increasing verisimilitude (or, equivalently, truthlikeness, or approximation to the truth) of scientific theories. According to Bird, VS overlooks the central issue of the appropriate grounding of scientific (...) beliefs in the evidence, and it is therefore unable (a) to reconstruct in a satisfactory way some hypothetical cases of scientific progress, and (b) to provide an explanation of the aversion to falsity that characterizes scientific practice. We rebut both of these criticisms and argue that they reveal a misunderstanding of some key concepts underlying VS. (shrink)

Conceptual engineering is commonly characterized as the method for assessing and improving our representational devices. Little has been said, however, on how best to construe these representational devices—in other words, on what conceptual engineering should be all about. This paper tackles this problem with a basic strategy: First, by presenting a taxonomy of the different possible subject matters for conceptual engineering; then, by comparatively assessing them and selecting the most conducive one with a view to making conceptual engineering an actionable (...) method, that is, a method that can be applied effectively and consistently to specific case studies. The outcome is that conceptual engineering should be all about concepts on pain of pragmatic inconsistencies otherwise. (shrink)

Nos deteremos aqui sobre a crítica de Matthew Kramer em relação à interpretação de Quentin Skinner sobre o conceito de “liberdade” em Hobbes contida em seu artigo “On the Unavoidability of Actions: Quentin Skinner, Thomas Hobbes, and the Modern Doctrine of Negative Liberty” (2001). Nele, Kramer trata do então crescente interesse do projeto intelectual de Skinner pelo pensamento hobbesiano, algo já evidenciado desde a publicação de seu livro Liberdade Antes do Liberalismo (1998). Kramer toma como referência central de sua resposta (...) o artigo de Skinner intitulado “Thomas Hobbes on the Proper Signification of Liberty”, criticando a sua posição e contrastando com algumas de suas próprias ideias sobre “liberdade” e “não-liberdade”. Através dessas considerações, Kramer reavalia a noção da liberdade em Hobbes, tomando-a como o protótipo liberal da liberdade negativa por excelência, demonstrando assim os supostos equívocos contidos na interpretação de Skinner sobre ela. Buscamos defender aqui, contudo, que a proposta interpretativa de Kramer carece da devida fundamentação metodológica que correlaciona o neorrepublicanismo de Skinner no campo da filosofia política com certos princípios oriundos de sua historiografia que não são devidamente considerados pelo primeiro. A sua crítica estaria, assim, comprometida por uma abordagem desconectada do pensamento e das intenções de Hobbes enquanto um agente político inserido em um determinado contexto linguístico e social, quadro que seria posteriormente resgatado de maneira primorosa por Skinner em seu estudo Hobbes and Republican Liberty (2008). (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work. The approach is not historical but formative: tools for semantical analysis, ontology of science, epistemology, and scientific ethics are presented in a formal and direct way. The book has two parts: one with the general theory and a second part with application to some problems such as the interpretation of quantum mechanics, the nature of mathematics, and (...) the ontology of spacetime. The book addresses questions such as "What is meaning?", "What is truth?", "What are truth criteria in science?", "What is a theory?", "What is a model?" "What is a datum?", "What is information?", "What does it mean to understand something?", "What is space?", "What is time?", "How are these concepts articulated in science?" "What are values?" "What are the limits of science?", and many more. The philosophical views presented are "scientific" in the sense that they are informed by current science, they are relevant for scientific research, and the method adopted uses the hypothetical-deductive approach that is characteristic of science. The results and conclusions, as any scientific conclusion, are open to revision in the light of future advances. Hence, this philosophical approach opposes to dogmatic philosophy. Supported by end-of-chapter summaries and a list of special symbols used, the material will be of interest for students and researchers in both science and philosophy. The second part will appeal to physicists and mathematicians. (shrink)

In this paper, we address the problem of truth approximation through theory change, asking whether revising our theories by newly acquired data leads us closer to the truth about a given domain. More particularly, we focus on “nomic conjunctive theories”, i.e., theories expressed as conjunctions of logically independent statements concerning the physical or, more generally, nomic possibilities and impossibilities of the domain under inquiry. We define both a comparative and a quantitative notion of the verisimilitude of such theories, and identify (...) suitable conditions concerning the (partial) correctness of acquired data, under which revising our theories by data leads us closer to “the nomic truth”, construed as the target of scientific inquiry. We conclude by indicating some further developments, generalizations, and open issues arising from our results. (shrink)

I present a formal ontological theory where the basic building blocks of the world can be either things or events. In any case, the result is a Parmenidean worldview where change is not a global property. What we understand by change manifests as asymmetries in the pattern of the world-lines that constitute 4-dimensional existents. I maintain that such a view is in accord with current scientific knowledge.

It is well known that the modern atomists assumed the ancient thesis that things are composed of simple entities. It is also known that Leibniz went beyond atomism, since he affirmed that the true substances on which things are founded, the so-called monads, cannot be divisible or extended, for they are souls. For Christian Wolff, the elements of bodies are not extended; these elements have no figure and no magnitude whatsoever, they fill no space and are indivisible. In the Monadologia (...) physica, published in 1756, Kant also argues that the ultimate principles of bodies are the monads or simple substances. The goal of this work is to reconcile the confronted positions of “metaphysics” and “geometry”. (shrink)

There are three concerns regarding Rachlin's altruism model. First, proximal causal mechanisms such as those identified by cognitive neuroscientists and behavioral neuropharmacologists are not emphasized. Second, there is a lack of clear testable hypotheses. And third, extreme forms of altruism are emphasized rather than common forms. We focus on an overarching theme – proximal mechanisms of individual differences in altruism.