Skolemization for Substructural Logics

The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here (following similar ideas of Baaz and Iemhoff for first-order intermediate logics in [1]) that first-order substructural logics with a semantics satisfying certain witnessing conditions admit a “parallel” Skolemization procedure where a strong quantifier is removed by introducing a finite disjunction or conjunction (as appropriate) of formulas with multiple new function symbols. These logics typically lack equivalent prenex forms. Also, semantic consequence does not in general reduce to satisfiability. The Skolemization theorems presented here therefore take various forms, applying to the left or right of the consequence relation, and to all formulas or only prenex formulas.

Von der Bezeugung zur narrativen Vergegenwärtigung. Fokalisierung im Reisebuch des Syrers Ḥanna Dyāb (1764)

Travelogues involve different truth claims, depending on whether their authors attempt on the one hand to convey received knowledge about entities and places, or on the other hand, present accounts of the traveler character’s own experiences. This study focuses on a travelogue from 1764 written by the Arabian Nights’ Syrian storyteller, Ḥanna Dyāb. Having written his travelogue more than 50 years after his trip to Paris, he evidently conceived of his narrative as a means to re-enact his experiences as a young traveler. To describe his particular self-staging in this autodiegetic narration “before fiction” (Paige 2011), I argue that an understanding of focalization as a graded visual mediation between the character’s inner life and the reader is needed. This approach helps one grasp how, with reference to Dyāb’s travelogue, truth is not something the traveler witnesses, but rather something the reader is invited to realize. I conclude that, with this shift from witnessing to visualization (Vergegenwärtigung), Dyāb’s travelogue fulfills a core function of literature.

Comparison of telomere length in black and white teachers from South Africa: the sympathetic activity and ambulatory blood pressure in Africans study

OBJECTIVE Telomere length is a marker of biological aging that has been linked to cardiovascular disease risk. The black South African population is witnessing a tremendous increase in the prevalence of cardiovascular disease, part of which might be explained through urbanization. We compared telomere length between black South Africans and white South Africans and examined which biological and psychosocial variables played a role in ethnic difference in telomere length. METHODS We measured leukocyte telomere length in 161 black South African teachers and 180 white South African teachers aged 23 to 66 years without a history of atherothrombotic vascular disease. Age, sex, years having lived in the area, human immunodeficiency virus (HIV) infection, hypertension, body mass index, dyslipidemia, hemoglobin A1c, C-reactive protein, smoking, physical activity, alcohol abuse, depressive symptoms, psychological distress, and work stress were considered as covariates. RESULTS Black participants had shorter (median, interquartile range) relative telomere length (0.79, 0.70-0.95) than did white participants (1.06, 0.87-1.21; p < .001), and this difference changed very little after adjusting for covariates. In fully adjusted models, age (p < .001), male sex (p = .011), and HIV positive status (p = .023) were associated with shorter telomere length. Ethnicity did not significantly interact with any covariates in determining telomere length, including psychosocial characteristics. CONCLUSIONS Black South Africans showed markedly shorter telomeres than did white South African counterparts. Age, male sex, and HIV status were associated with shorter telomere length. No interactions between ethnicity and biomedical or psychosocial factors were found. Ethnic difference in telomere length might primarily be explained by genetic factors.