Muscle Logic: New Knowledge Resource for Anatomy Enables Comprehensive Searches of the Literature on the Feeding Muscles of Mammals.

BACKGROUND: In recent years large bibliographic databases have made much of the published literature of biology available for searches. However, the capabilities of the search engines integrated into these databases for text-based bibliographic searches are limited. To enable searches that deliver the results expected by comparative anatomists, an underlying logical structure known as an ontology is required. DEVELOPMENT AND TESTING OF THE ONTOLOGY: Here we present the Mammalian Feeding Muscle Ontology (MFMO), a multi-species ontology focused on anatomical structures that participate in feeding and other oral/pharyngeal behaviors. A unique feature of the MFMO is that a simple, computable, definition of each muscle, which includes its attachments and innervation, is true across mammals. This construction mirrors the logical foundation of comparative anatomy and permits searches using language familiar to biologists. Further, it provides a template for muscles that will be useful in extending any anatomy ontology. The MFMO is developed to support the Feeding Experiments End-User Database Project (FEED, https://feedexp.org/), a publicly-available, online repository for physiological data collected from in vivo studies of feeding (e.g., mastication, biting, swallowing) in mammals. Currently the MFMO is integrated into FEED and also into two literature-specific implementations of Textpresso, a text-mining system that facilitates powerful searches of a corpus of scientific publications. We evaluate the MFMO by asking questions that test the ability of the ontology to return appropriate answers (competency questions). We compare the results of queries of the MFMO to results from similar searches in PubMed and Google Scholar. RESULTS AND SIGNIFICANCE: Our tests demonstrate that the MFMO is competent to answer queries formed in the common language of comparative anatomy, but PubMed and Google Scholar are not. Overall, our results show that by incorporating anatomical ontologies into searches, an expanded and anatomically comprehensive set of results can be obtained. The broader scientific and publishing communities should consider taking up the challenge of semantically enabled search capabilities.

Martin Heidegger's Mathematical Dialectic: Uncovering the Structure of Modernity

Martin Heidegger is generally regarded as one of the most significant—if also the most controversial—philosophers of the 20th century. Most scholarly engagement with Heidegger’s thought on Modernity approaches his work with a special focus on either his critique of technology, or on his more general critique of subjectivity. This dissertation project attempts to elucidate Martin Heidegger’s diagnosis of modernity, and, by extension, his thought as a whole, from the neglected standpoint of his understanding of mathematics, which he explicitly identifies as the essence of modernity.

Accordingly, our project attempts to work through the development of Modernity, as Heidegger understands it, on the basis of what we call a “mathematical dialectic.“ The basis of our analysis is that Heidegger’s understanding of Modernity, both on its own terms and in the context of his theory of history [Seinsgeschichte], is best understood in terms of the interaction between two essential, “mathematical” characteristics, namely, self-grounding and homogeneity. This project first investigates the mathematical qualities of these components of Modernity individually, and then attempts to trace the historical and philosophical development of Modernity on the basis of the interaction between these two components—an interaction that is, we argue, itself regulated by the structure of the mathematical, according to Heidegger’s understanding of the term.

The project undertaken here intends not only to serve as an interpretive, scholarly function of elucidating Heidegger’s understanding of Modernity, but also to advance the larger aim of defending the prescience, structural coherence, and relevance of Heidegger’s diagnosis of Modernity as such.