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

Serum magnesium and calcium levels in relation to ischemic stroke : Mendelian randomization study

ObjectiveTo determine whether serum magnesium and calcium concentrations are causally associated with ischemic stroke or any of its subtypes using the mendelian randomization approach.MethodsAnalyses were conducted using summary statistics data for 13 single-nucleotide polymorphisms robustly associated with serum magnesium (n = 6) or serum calcium (n = 7) concentrations. The corresponding data for ischemic stroke were obtained from the MEGASTROKE consortium (34,217 cases and 404,630 noncases).ResultsIn standard mendelian randomization analysis, the odds ratios for each 0.1 mmol/L (about 1 SD) increase in genetically predicted serum magnesium concentrations were 0.78 (95% confidence interval [CI] 0.69-0.89; p = 1.3 7 10-4) for all ischemic stroke, 0.63 (95% CI 0.50-0.80; p = 1.6 7 10-4) for cardioembolic stroke, and 0.60 (95% CI 0.44-0.82; p = 0.001) for large artery stroke; there was no association with small vessel stroke (odds ratio 0.90, 95% CI 0.67-1.20; p = 0.46). Only the association with cardioembolic stroke was robust in sensitivity analyses. There was no association of genetically predicted serum calcium concentrations with all ischemic stroke (per 0.5 mg/dL [about 1 SD] increase in serum calcium: odds ratio 1.03, 95% CI 0.88-1.21) or with any subtype.ConclusionsThis study found that genetically higher serum magnesium concentrations are associated with a reduced risk of cardioembolic stroke but found no significant association of genetically higher serum calcium concentrations with any ischemic stroke subtype

Identification of nine new susceptibility loci for endometrial cancer

Endometrial cancer is the most commonly diagnosed cancer of the female reproductive tract in developed countries. Through genome-wide association studies (GWAS), we have previously identified eight risk loci for endometrial cancer. Here, we present an expanded meta-analysis of 12,906 endometrial cancer cases and 108,979 controls (including new genotype data for 5624 cases) and identify nine novel genome-wide significant loci, including a locus on 12q24.12 previously identified by meta-GWAS of endometrial and colorectal cancer. At five loci, expression quantitative trait locus (eQTL) analyses identify candidate causal genes; risk alleles at two of these loci associate with decreased expression of genes, which encode negative regulators of oncogenic signal transduction proteins (SH2B3 (12q24.12) and NF1 (17q11.2)). In summary, this study has doubled the number of known endometrial cancer risk loci and revealed candidate causal genes for future study

'Don’t you feel bad watching the Olympics, watching us?' A qualitative analysis of London 2012 Olympics influence on family sports participation and physical activity

This paper examines the use of video diaries (VDs) and their value as supplementary methods in qualitative research examining the influence of the London 2012 Olympics, from the perspectives of five families in the East Midlands of England. The aims of the project were to assess their reaction to the Games, the influence it had on family attitudes, opinions and perceptions towards sports participation and physical activity. We present qualitative interview data from pre and post Games interviews and VD data to gather micro realities of the influence of the Games. We draw on a dramaturgical perspective to explore the perspectives of familiess regarding the impact of the Olympics on their everyday lives. It has yielded the following themes: access, motivation, inspiration, apathy and reflection on methodological use of VDs. The benefits and challenges of VD use alongside Goffman’s framework are discussed in the context of assessing the impact of the Games on these families. Our evidence suggests that these methods are an invaluable tool for accessing the families’ immediate responses to mega-events during the period in which they are hosted. However, the feasibility and complexities of utilising VDs are presented, as we consider whether these methods assist researchers to examine the uptake of sports participation, or simply encourage the researchers to become voyeurs watching the participants, watch the Olympics. The implications for using these methods as part of qualitative methods for analysis of the sports participation legacy and the impact of future mega events are discussed