Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Latent classes of sexual risk and corresponding STI and HIV positivity among MSM attending centres for sexual health in the Netherlands

Objectives: Continuing high STI positivity among men who have sex with men (MSM) attending centres for sexual health (CSH) indicates that high-risk behaviour is ongoing. The objective of this study was to gain a better insight into risk behaviours among MSM attending CSH and to explore STI and HIV positivity by subgroups. Methods: We used national data routinely collected during CSH consultations for this study. From September to December 2017, questions on group sex, substance use and sex with HIV-positive partners were asked at each CSH consultation. We analysed latent classes of client-related factors and sexual risk behaviour among MSM attending CSH in this period. We examined STI positivity and prevalence ratios by latent classes. Results: A total of six classes were identified in order of increasing risk: â € overall low-risk behaviour' (n=2974; 22.0%), â € Western origin and multiple sex partners' (MSP) (n=4182; 30.9%), â € Non-Western origin and MSP' (n=2496; 18.5%), â € living with HIV' (n=827; 6.1%), â € group sex and HIV-positive partners' (n=1798; 13.3%) and â € group sex and chemsex' (n=1239; 9.2%). The any STI positivity ranged from 14.0% in the overall low-risk behaviour class to 35.5% in the group sex and chemsex class. HIV positivity did not differ significantly between classes. The Western origin and MSP class was largest and accounted for the majority of STI and HIV infections. Conclusions: Although STI positivity increased with increased risky behaviours, considerable STI positivity was found in all six latent classes. Comparable HIV positivity between classes indicates risk reduction strategies among subgroups engaged in risky behaviours. The differences in risk behaviour and STI positivity require preventive strategies tailored to each subgroup

Betahistine in Meniere's disease or syndrome: a systematic review

Background: Meniere's disease is characterized by recurrent episodes of vertigo, hearing loss, and tinnitus, often with a feeling of fullness in the ear. Although betahistine is thought to be specifically effective for Meniere's disease, no evidence for a benefit from the use of betahistine exists, despite its widespread use. Reassessment of the effect of betahistine for Meniere's disease is now warranted. Search Methods: We searched for randomized controlled trials (RCTs) in the Central Register of Controlled Trials (CENTRAL), Ovid Medline, Ovid Embase, CINAHL, Web of Science, Clinicaltrials.gov, ICTRP, and additional sources for published and unpublished trials, in which betahistine was compared to placebo. Data Collection and Analysis: Our outcomes involved vertigo, significant adverse effect (upper gastrointestinal discomfort), hearing loss, tinnitus, aural fullness, other adverse effects, and disease-specific health-related quality of life. We used GRADE to assess the quality of the evidence. Main Results: We included 10 studies: 5 studies used a crossover design and the remaining 5 were parallel-group RCTs. One study with a low risk of bias found no significant difference between the betahistine groups and placebo with respect to vertigo after a long-term follow-up period. No significant difference in the incidence of upper gastrointestinal discomfort was found in 2 studies (low-certainty evidence). No differences in hearing loss, tinnitus, or well-being and disease-specific health-related quality of life were found (low- to very low-certainty of evidence). Data on aural fullness could not be extracted. No significant difference between the betahistine and the placebo groups (low-certainty evidence) could be demonstrated in the other adverse effect outcome with respect to dull headache. The pooled risk ratio for other adverse effect in the long term demonstrated a lower risk in favor of placebo over betahistine. Conclusions: High-quality studies evaluating the effect of betahistine on patients with Meniere's disease are lacking. However, one study with low risk of bias found no evidence of a difference in the effect of betahistine on the primary outcome, vertigo, in patients with Meniere's disease when compared to placebo. The main focus of future research should be on the use of comparable outcome measures by means of patient-reported outcome measures.Disorders of the head and nec

Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model

Heifetz, Meier and Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattices, and represents uncertainty and unawareness with one entangled construct, making it difficult to assess the properties of either. Here, we present a model based on a lattice of Kripke models, induced by atom subset inclusion, in which uncertainty and unawareness are separate. We show the models to be equivalent by defining transformations between them which preserve formula satisfaction, and obtain completeness through our and HMS' results.Comment: 18 pages, 2 figures, proceedings of DaLi conference 202

Serviços de verificação de óbitos

BackgroundNeisseria gonorrhoeae antibiotic resistance surveillance is important to maintain adequate treatment. We analysed 2007-15 data from the Gonococcal Resistance to Antimicrobials Surveillance (GRAS), which currently includes 19 of 25 sexually transmitted infection (STI) centres in the Netherlands. Methods: From each patient with a gonorrhoea culture, the minimum inhibitory concentration (MIC) for several antibiotics was determined. Time trends were assessed by geometric means and linear regression of logarithmic MIC. Determinants for decreased susceptibility to ceftriaxone (MIC > 0.032 mg/L) and resistance to cefotaxime (MIC > 0.125 mg/L) and azithromycin (MIC > 0.5 mg/L) were assessed using stratified logistic regression. Results: 11,768 isolates were analysed. No ceftriaxone resistance was found. In 2015, 27 of 1,425 isolates (1.9%) were resistant to cefotaxime and 176 of 1,623 (10.9%) to azithromycin. Ceftriaxone susceptibility showed no trend (p = 0.96) during the study period, but cefotaxime MIC decreased (p < 0.0001) and azithromycin MIC increased (p < 0.0001) significantly. Concerning ceftriaxone, isolates of men who have sex with men (MSM) from 2013 (p = 0.0005) and 2014 (p = 0.0004) were significantly associated with decreased susceptibility. Significant determinants for cefotaxime resistance were having ≥ 6 partners for women (p = 0.0006). For azithromycin,isolates from MSM collected in 2012 (p = 0.0035), 2013 (p = 0.012), and 2014 (p = 0.013), or from non-Dutch (p < 0.0001) or older (≥ 35 years; p = 0.01) MSM were significantly associated with susceptibility. Resistance in heterosexual men was significantly associated with being ≥ 25 years-old (p = 0.0049) or having 3-5 partners (p = 0.01). Conclusions: No ceftriaxone resistance was found, but azithromycin MIC increased in 2007-15. Resistance determinants could help with focused intervention strategies

Persuasive argumentation and epistemic attitudes

These slides present the main notions and results of a work under construction that was presented in the 2nd DaLí Workshop, Dynamic Logic: New Trends and Applications in Porto, 9 October, 2019 and later published in the Lectures Notes in Computer Science (vol 12005). The work develops a formal study of persuasive dialogues among individuals, taking into account the epistemic attitudes of the involved agents. Abstract argumentation and dynamic epistemic logic provide the necessary tools for such an analysis. The interested reader is referred to the paper for further detailsUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Monitoring recently acquired HIV infections in Amsterdam, The Netherlands:The attribution of test locations

Background:  Surveillance of recent HIV infections (RHI) using an avidity assay has been implemented at Dutch sexual health centres (SHC) since 2014, but data on RHI diagnosed at other test locations is lacking. Setting:  Implementation of the avidity assay in HIV treatment clinics for the purpose of studying RHI among HIV patients tested at different test locations. Methods: We retrospectively tested leftover specimens from newly diagnosed HIV patients in care in 2013–2015 in Amsterdam. Avidity Index (AI) values ≤0.80 indicated recent infection (acquired ≤6 months prior to diagnosis), and AI > 0.80 indicated established infection (acquired >6 months prior to diagnosis). An algorithm for RHI was applied to correct for false recency. Recency based on this algorithm was compared with recency based on epidemiological data only. Multivariable logistic regression analysis was used to identify factors associated with RHI among men who have sex with men (MSM).Results: We tested 447 specimens with avidity; 72% from MSM. Proportions of RHI were 20% among MSM and 10% among heterosexuals. SHC showed highest proportions of RHI (27%), followed by GPs (15%), hospitals (5%), and other/unknown locations (11%) (p < 0.001). Test location was the only factor associated with RHI among MSM. A higher proportion of RHI was found based on epidemiological data compared to avidity testing combined with the RHI algorithm. Conclusion:  SHC identify more RHI infections compared to other test locations, as they serve high-risk populations and offer frequent HIV testing. Using avidity-testing for surveillance purposes may help targeting prevention programs, but the assay lacks robustness and its added value may decline with improved, repeat HIV testing and data collection