Analysis of Penrose’s Second Argument Formalised in DTK System

This article aims to examine Koellner’s reconstruction of Penrose’s second argument – a reconstruction that uses the DTK system to deal with Gödel’s disjunction issues. Koellner states that Penrose’s argument is unsound, because it contains two illegitimate steps. He contends that the formulas to which the T-intro and K-intro rules apply are both indeterminate. However, we intend to show that we can correctly interpret the formulas on the set of arithmetic formulas, and that, as a consequence, the two steps become legitimate. Nevertheless, the argument remains partially inconclusive. More precisely, the argument does not reach a result that shows there is no formalism capable of deriving all the true arithmetic propositions known to man. Instead, it shows that, if such formalism exists, there is at least one true non-arithmetic proposition known to the human mind that we cannot derive from the formalism in question. Finally, we reflect on the idealised character of the DTK system. These reflections highlight the limits of human knowledge, and, at the same time, its irreducibility to computation

Analysis of Penrose’s Second Argument Formalised in DTK System

This article aims to examine Koellner’s reconstruction of Penrose’s second argument a reconstruction that uses the DTK system to deal with Gödel’s disjunction issues. Koellner states that Penrose’s argument is unsound, because it contains two illegitimate steps. He contends that the formulas to which the T-intro and K-intro rules apply are both indeterminate. However, we intend to show that we can correctly interpret the formulas on the set of arithmetic formulas, and that, as a consequence, the two steps become legitimate. Nevertheless, the argument remains partially inconclusive. More precisely, the argument does not reach a result that shows there is no formalism capable of deriving all the true arithmetic propositions known to man. Instead, it shows that, if such formalism exists, there is at least one true non-arithmetic proposition known to the human mind that we cannot derive from the formalism in question. Finally, we reflect on the idealised character of the DTK system. These reflections highlight the limits of human knowledge, and, at the same time, its irreducibility to computation

A 5'-region polymorphism modulates promoter activity of the tumor suppressor gene MFSD2A

<p>Abstract</p> <p>Background</p> <p>The MFSD2A gene maps within a linkage disequilibrium block containing the MYCL1-<it>EcoRI </it>polymorphism associated with prognosis and survival in lung cancer patients. Survival discrepancies between Asians and Caucasians point to ethnic differences in allelic frequencies of the functional genetic variations.</p> <p>Results</p> <p>Analysis of three single-nucleotide polymorphisms (SNPs) mapping in the MFSD2A 5'-regulatory region using a luciferase reporter system showed that SNP rs12072037, in linkage disequilibrium with the MYCL1-<it>EcoRI </it>polymorphism and polymorphic in Asians but not in Caucasians, modulated transcriptional activity of the MFSD2A promoter in cell lines expressing AHR and ARNT transcription factors, which potentially bind to the SNP site.</p> <p>Conclusion</p> <p>SNP rs12072037 modulates MFSD2A promoter activity and thus might affect MFSD2A levels in normal lung and in lung tumors, representing a candidate ethnically specific genetic factor underlying the association between the MYCL1 locus and lung cancer patients' survival.</p

Mouse Genome-Wide Association Mapping Needs Linkage Analysis to Avoid False-Positive Loci

We carried out genome-wide association (GWA) studies in inbred mouse strains characterized for their lung tumor susceptibility phenotypes (spontaneous or urethane-induced) with panels of 12,959 (13K) or 138,793 (140K) single-nucleotide polymorphisms (SNPs). Above the statistical thresholds, we detected only SNP rs3681853 on Chromosome 5, two SNPs in the pulmonary adenoma susceptibility 1 (Pas1) locus, and SNP rs4174648 on Chromosome 16 for spontaneous tumor incidence, urethane-induced tumor incidence, and urethane-induced tumor multiplicity, respectively, with the 13K SNP panel, but only the Pas1 locus with the 140K SNP panel. Haplotype analysis carried out in the latter panel detected four additional loci. Loci reported in previous GWA studies failed to replicate. Genome-wide genetic linkage analysis in urethane-treated (BALB/c×C3H/He)F2, (BALB/c×SWR/J)F2, and (A/J×C3H/He)F2 mice showed that Pas1, but none of the other loci detected previously or herein by GWA, had a significant effect. The Lasc1 gene, identified by GWA as a functional element (Nat. Genet., 38:888–95, 2006), showed no genetic effects in the two independent intercross mouse populations containing both alleles, nor was it expressed in mouse normal lung or lung tumors. Our results indicate that GWA studies in mouse inbred strains can suffer a high rate of false-positive results and that such an approach should be used in conjunction with classical linkage mapping in genetic crosses

Genetic control of renal tumorigenesis by the mouse Rtm1 locus

BACKGROUND: The genetic basis of susceptibility to renal tumorigenesis has not yet been established in mouse strains. Mouse lines derived by bidirectional phenotypic selection on the basis of their maximal (AIRmax) or minimal (AIRmin) acute inflammatory responsiveness differ widely in susceptibility to spontaneous and urethane-induced renal tumorigenesis. To map the functional loci modulating renal tumor susceptibility in these mice, we carried out a genome-wide genetic linkage study, using SNP arrays, in an (AIRmax x AIRmin)F2 intercross population treated with a single urethane dose at 1 week of age and phenotyped for renal tumors at 35 weeks of age. RESULTS: AIRmax mice did not develop renal tumors spontaneously nor in response to urethane, whereas in AIRmin mice renal tumors formed spontaneously (in 52% of animals) and after urethane induction (89%). The tumors had a papillary morphology and were positive for alpha-methylacyl-CoA racemase and negative for CD10. By analysis of 879 informative SNPs in 662 mice, we mapped a single quantitative trait locus modulating the incidence of renal tumors in the (AIRmax x AIRmin)F2 intercross population. This locus, which we named Renal tumor modifier QTL 1 (Rtm1), mapped to chromosome 17 at 23.4 Mb (LOD score = 15.8), with SNPs rs3696835 and rs3719497 flanking the LOD score peak. The A allele of rs3719497 from AIRmin mice was associated with a 2.5-fold increased odds ratio for renal tumor development. The LOD score peak included the Tuberous sclerosis 2 (Tsc2) gene which has already been implicated in kidney disease: loss of function by germline retroviral insertion is associated with spontaneous renal tumorigenesis in the Eker rat, and heterozygous-null Tsc2((+/-)) mice develop renal cystadenomas. CONCLUSIONS: We mapped Rtm1 as a single major locus modulating renal tumorigenesis in a murine intercross population. Thus, the AIR mouse lines can be considered a new genetic model for studying the role of germline and somatic molecular alterations in kidney neoplastic disease

Rate and determinants of treatment response to different antiretroviral combination strategies in subjects presenting at HIV-1 diagnosis with advanced disease

<p>Abstract</p> <p>Background</p> <p>The optimal therapeutic strategies for patients presenting with advanced disease at HIV-1 diagnosis are as yet incompletely defined.</p> <p>Methods</p> <p>All patients presenting at two outpatient clinics in 2000-2009 with an AIDS-defining clinical condition or a CD4+ T cell count < 200/μL at HIV-1 diagnosis were analyzed for the presence of combined immunovirological response, defined by the concomitant presence of an absolute number of CD4+ T cells > 200 cells/μL and a plasma HIV-1 RNA copy number < 50/mL after 12 months of HAART.</p> <p>Results</p> <p>Among 102 evaluable patients, first-line regimens were protease inhibitors [PI]-based in 78 cases (77%) and efavirenz-based in 24 cases (23%). The overall response rate was 65% (95% CI: 55-74), with no differences by gender, age, nationality, route of transmission, hepatitis virus coinfections, presence of AIDS-defining clinical events, baseline HIV-1 viral load, or type of regimen (response rates with PI-based and efavirenz-based therapy: 63% and 71%, respectively, p = 0.474). Response rate was significantly better with higher baseline CD4+ T cell counts (78% with CD4+ ≥ 100/μL, compared to 50% with CD4+ < 100/μL; odds ratio: 3.5; 95% CI: 1.49-8.23, p = 0.003). Median time on first-line antiretroviral therapy was 24 months (interquartile range: 12-48). Switch to a second line treatment occurred in 57% of patients, mainly for simplification (57%), and was significantly more common with PI-based regimens [adjusted hazard ratios (AHR) with respect to efavirenz-based regimens: 3.88 for unboosted PIs (95% CI: 1.40-10.7, p = 0.009) and 4.21 for ritonavir-boosted PI (95%CI 1.7-10.4, p = 0.002)] and in older subjects (≥ 50 years) (AHR: 1.83; 95% CI: 1.02-3.31, p = 0.044). Overall mortality was low (3% after a median follow up of 48 months).</p> <p>Conclusions</p> <p>Our data indicate that a favorable immunovirological response is possible in the majority of naive patients presenting at HIV-1 diagnosis with AIDS or low CD4+ T cell counts, and confirm that starting HAART with a more compromised immune system may be associated with a delayed and sometimes partial immune recovery. Simpler regimens may be preferable in this particular population.</p

SARS-CoV-2 susceptibility and COVID-19 disease severity are associated with genetic variants affecting gene expression in a variety of tissues

Variability in SARS-CoV-2 susceptibility and COVID-19 disease severity between individuals is partly due to genetic factors. Here, we identify 4 genomic loci with suggestive associations for SARS-CoV-2 susceptibility and 19 for COVID-19 disease severity. Four of these 23 loci likely have an ethnicity-specific component. Genome-wide association study (GWAS) signals in 11 loci colocalize with expression quantitative trait loci (eQTLs) associated with the expression of 20 genes in 62 tissues/cell types (range: 1:43 tissues/gene), including lung, brain, heart, muscle, and skin as well as the digestive system and immune system. We perform genetic fine mapping to compute 99% credible SNP sets, which identify 10 GWAS loci that have eight or fewer SNPs in the credible set, including three loci with one single likely causal SNP. Our study suggests that the diverse symptoms and disease severity of COVID-19 observed between individuals is associated with variants across the genome, affecting gene expression levels in a wide variety of tissue types

Reducing the environmental impact of surgery on a global scale: systematic review and co-prioritization with healthcare workers in 132 countries

Abstract Background Healthcare cannot achieve net-zero carbon without addressing operating theatres. The aim of this study was to prioritize feasible interventions to reduce the environmental impact of operating theatres. Methods This study adopted a four-phase Delphi consensus co-prioritization methodology. In phase 1, a systematic review of published interventions and global consultation of perioperative healthcare professionals were used to longlist interventions. In phase 2, iterative thematic analysis consolidated comparable interventions into a shortlist. In phase 3, the shortlist was co-prioritized based on patient and clinician views on acceptability, feasibility, and safety. In phase 4, ranked lists of interventions were presented by their relevance to high-income countries and low–middle-income countries. Results In phase 1, 43 interventions were identified, which had low uptake in practice according to 3042 professionals globally. In phase 2, a shortlist of 15 intervention domains was generated. In phase 3, interventions were deemed acceptable for more than 90 per cent of patients except for reducing general anaesthesia (84 per cent) and re-sterilization of ‘single-use’ consumables (86 per cent). In phase 4, the top three shortlisted interventions for high-income countries were: introducing recycling; reducing use of anaesthetic gases; and appropriate clinical waste processing. In phase 4, the top three shortlisted interventions for low–middle-income countries were: introducing reusable surgical devices; reducing use of consumables; and reducing the use of general anaesthesia. Conclusion This is a step toward environmentally sustainable operating environments with actionable interventions applicable to both high– and low–middle–income countries

Mapping of loci providing genetic resistance to tumorigenesis and characterization of candidate genes

Genome-wide screening by genetic marker analysis in crosses between well-characterized mouse strains may allow the identification of loci responsible for susceptibility and resistance to specific tumour types. The aim of this project was to carry out the mapping of cancer modifier loci controlling both skin and lung tumour phenotypes in a SWR x (SWR x Car-R) backcross population by genome-wide analysis of single nucleotide polymorphisms (SNPs). Through different experimental approaches, such as SNP library genotyping, genomic DNA subtraction and SNP array analysis we identified cancer modifier loci involved in skin or lung cancer susceptibility and characterized cancer modifier genes mapping in these associated regions. SNP library genotyping detected an association of the Par4 locus with lung tumorigenesis. Candidate gene analysis in this region revealed a nonconservative variation in Met gene, that highlighted its candidacy for the Par4 locus. Genomic subtraction identified a Chr.1 region, where genetic linkage analysis of 17 SNPs in individual mice confirmed the significant association of this region to skin and lung tumour susceptibility. By a candidate gene approach we focused on Igfbp5. In vitro characterization detected -4.0-fold inhibition of clonogenicity by Igfbp5 over-expression in human lung cancer cell lines and expression analysis in normal lung tissue revealed -2.0-fold higher transcript levels in resistant Car-R compared with susceptible SWR mice, revealing a 3 Supplied by The British Library - 'The world's knowledge' 1I .! j. f Abstract potential role of Igfbp5 gene in modulating lung tumorigenesis. Preliminary analysis of genome-wide scans using SNP arrays confirmed the Chr.1 and Chr.6 loci; the present pedigree analysis in the remaining genome may allow the identification of additional loci affecting lung and skin tumorigenesis, thus demonstrating that the susceptibility to both tumorigenesis result from a combination of several weak genetic loci. . In conclusion, genome-wide analysis in well-defined mice allowed the identification of QTLs and genes affecting lung and skin cancer susceptibility through a combination of methodologies.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Essentialism and Forms of Necessity

With the death of E.J. Lowe, the analytical philosophy lost one of the most influential thinkers of the last thirty-five years. In particular, the most innovative part of Lowe's perspective is the four-category ontology. This framework is the subject-matter of the analyses carried out in Corradini-Galvan's essay