Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher-order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.Comment: 14 page

Serum Amyloid A, C-Reactive Protein, and Retinal Microvascular Changes in Hypertensive Diabetic and Nondiabetic Individuals: An Anglo-Scandinavian Cardiac Outcomes Trial (ASCOT) substudy

To study the association of the inflammatory markers serum amyloid A (SAA) and C-reactive protein (CRP) with retinal microvascular parameters in hypertensive individuals with and without type 2 diabetes

Mind Perception Is the Essence of Morality

Mind perception entails ascribing mental capacities to other entities, whereas moral judgment entails labeling entities as good or bad or actions as right or wrong. We suggest that mind perception is the essence of moral judgment. In particular, we suggest that moral judgment is rooted in a cognitive template of two perceived minds—a moral dyad of an intentional agent and a suffering moral patient. Diverse lines of research support dyadic morality. First, perceptions of mind are linked to moral judgments: dimensions of mind perception (agency and experience) map onto moral types (agents and patients), and deficits of mind perception correspond to difficulties with moral judgment. Second, not only are moral judgments sensitive to perceived agency and experience, but all moral transgressions are fundamentally understood as agency plus experienced suffering—that is, interpersonal harm—even ostensibly harmless acts such as purity violations. Third, dyadic morality uniquely accounts for the phenomena of dyadic completion (seeing agents in response to patients, and vice versa), and moral typecasting (characterizing others as either moral agents or moral patients). Discussion also explores how mind perception can unify morality across explanatory levels, how a dyadic template of morality may be developmentally acquired, and future directions

Attributing minds to vampires in Richard Matheson’s I Am Legend

For Palmer (2004, 2010), and other proponents of a cognitive narratology, research into real-world minds in the cognitive sciences provides insights into readers’ experiences of fictional minds. In this article, I explore the application of such research to the minds constructed for the vampire characters in Richard Matheson’s (1954) science fiction/horror novel I Am Legend. I draw upon empirical research into ‘mind attribution’ in social psychology, and apply Cognitive Grammar (Langacker, 2008), and its notion of ‘construal’, as a framework for the application of such findings to narrative. In my analysis, I suggest that readers’ attribution of mental-states to the vampires in Matheson’s novel is strategically limited through a number of choices in their linguistic construal. Drawing on online reader responses to the novel, I argue that readers’ understanding of these other minds plays an important role in their empathetic experience and their ethical judgement of the novel’s main character and focaliser, Robert Neville. Finally, I suggest that the limited mind attribution for the vampires invited through their construal contributes to the presentation of a ‘mind style’ (Fowler, 1977) for this character

Random mutagenesis of the prokaryotic peptide transporter YdgR identifies potential periplasmic gating residues

The peptide transporter (PTR) family represents a group of proton-coupled secondary transporters responsible for bulk uptake of amino acids in the form of di- and tripeptides, an essential process employed across species ranging from bacteria to humans. To identify amino acids critical for peptide transport in a prokaryotic PTR member, we have screened a library of mutants of the Escherichia coli peptide transporter YdgR using a high-throughput substrate uptake assay.Wehave identified 35 single point mutations that result in a full or partial loss of transport activity. Additional analysis, including homology modeling based on the crystal structure of the Shewanella oneidensis peptide transporter PepT so, identifies Glu 56 and Arg 305 as potential periplasmic gating residues. In addition to providing new insights into transport by members of the PTR family, these mutants provide valuable tools for further study of the mechanism of peptide transport

Is spoken language all-or-nothing? Implications for future speech-based human-machine interaction

Recent years have seen significant market penetration for voice-based personal assistants such as Apple’s Siri. However, despite this success, user take-up is frustratingly low. This article argues that there is a habitability gap caused by the inevitablemismatch between the capabilities and expectations of human users and the features and benefits provided by contemporary technology. Suggestions aremade as to how such problems might be mitigated, but a more worrisome question emerges: “is spoken language all-or-nothing”? The answer, based on contemporary views on the special nature of (spoken) language, is that there may indeed be a fundamental limit to the interaction that can take place between mismatched interlocutors (such as humans and machines). However, it is concluded that interactions between native and non-native speakers, or between adults and children, or even between humans and dogs, might provide critical inspiration for the design of future speech-based human-machine interaction

Number Fields Ramified at One Prime

Abstract. For G a finite group and p a prime, a G-p field is a Galois number field K with Gal(K/Q) ∼ = G and disc(K) = ±pa for some a. We study the existence of G-p fields for fixed G and varying p. For G a finite group and p a prime, we define a G-p field to be a Galois number field K ⊂ C satisfying Gal(K/Q) ∼ = G and disc(K) = ±pa for some a. Let KG,p denote the finite, and often empty, set of G-p fields. The sets KG,p have been studied mainly from the point of view of fixing p and varying G; see [Har94], for example. We take the opposite point of view, as we fix G and let p vary. Given a finite group G, we let PG be the sequence of primes where each prime p is listed |KG,p | times. We determine, for various groups G, the first few primes in PG and their corresponding fields. Only the primes p dividing |G | can be wildly ramified in a G-p field, and so the sequences PG which are infinite are dominated by tamely ramified fields. In Sections 1, 2, and 3, we consider the cases when G is solvable with length 1, 2, and ≥ 3 respectively, using mainly class field theory. Section 4 deals wit