Models of HoTT and the Constructive View of Theories

Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means did not allow these people to build formal representational frameworks that implement this view

Effects of childhood socioeconomic position on subjective health and health behaviours in adulthood: how much is mediated by adult socioeconomic position?

<p>Abstract</p> <p>Background</p> <p>Adult socioeconomic position (SEP) is one of the most frequently hypothesised indirect pathways between childhood SEP and adult health. However, few studies that explore the indirect associations between childhood SEP and adult health systematically investigate the mediating role of multiple individual measures of adult SEP for different health outcomes. We examine the potential mediating role of individual measures of adult SEP in the associations of childhood SEP with self-rated health, self-reported mental health, current smoking status and binge drinking in adulthood.</p> <p>Methods</p> <p>Data came from 10,010 adults aged 25-64 years at Wave 3 of the Survey of Family, Income and Employment in New Zealand. The associations between childhood SEP (assessed using retrospective information on parental occupation) and self-rated health, self-reported psychological distress, current smoking status and binge drinking were determined using logistic regression. Models were adjusted individually for the mediating effects of education, household income, labour market activity and area deprivation.</p> <p>Results</p> <p>Respondents from a lower childhood SEP had a greater odds of being a current smoker (OR 1.70 95% CI 1.42-2.03), reporting poorer health (OR 1.82 95% CI 1.39-2.38) or higher psychological distress (OR 1.60 95% CI 1.20-2.14) compared to those from a higher childhood SEP. Two-thirds to three quarters of the association of childhood SEP with current smoking (78%), and psychological distress (66%) and over half the association with poor self-rated health (55%) was explained by educational attainment. Other adult socioeconomic measures had much smaller mediating effects.</p> <p>Conclusions</p> <p>This study suggests that the association between childhood SEP and self-rated health, psychological distress and current smoking in adulthood is largely explained through an indirect socioeconomic pathway involving education. However, household income, area deprivation and labour market activity are still likely to be important as they are intermediaries in turn, in the socioeconomic pathway between education and health.</p

Analytic philosophy for biomedical research: the imperative of applying yesterday's timeless messages to today's impasses

The mantra that "the best way to predict the future is to invent it" (attributed to the computer scientist Alan Kay) exemplifies some of the expectations from the technical and innovative sides of biomedical research at present. However, for technical advancements to make real impacts both on patient health and genuine scientific understanding, quite a number of lingering challenges facing the entire spectrum from protein biology all the way to randomized controlled trials should start to be overcome. The proposal in this chapter is that philosophy is essential in this process. By reviewing select examples from the history of science and philosophy, disciplines which were indistinguishable until the mid-nineteenth century, I argue that progress toward the many impasses in biomedicine can be achieved by emphasizing theoretical work (in the true sense of the word 'theory') as a vital foundation for experimental biology. Furthermore, a philosophical biology program that could provide a framework for theoretical investigations is outlined

Identifying Unique Neighborhood Characteristics to Guide Health Planning for Stroke and Heart Attack: Fuzzy Cluster and Discriminant Analyses Approaches

Socioeconomic, demographic, and geographic factors are known determinants of stroke and myocardial infarction (MI) risk. Clustering of these factors in neighborhoods needs to be taken into consideration during planning, prioritization and implementation of health programs intended to reduce disparities. Given the complex and multidimensional nature of these factors, multivariate methods are needed to identify neighborhood clusters of these determinants so as to better understand the unique neighborhood profiles. This information is critical for evidence-based health planning and service provision. Therefore, this study used a robust multivariate approach to classify neighborhoods and identify their socio-demographic characteristics so as to provide information for evidence-based neighborhood health planning for stroke and MI.The study was performed in East Tennessee Appalachia, an area with one of the highest stroke and MI risks in USA. Robust principal component analysis was performed on neighborhood (census tract) socioeconomic and demographic characteristics, obtained from the US Census, to reduce the dimensionality and influence of outliers in the data. Fuzzy cluster analysis was used to classify neighborhoods into Peer Neighborhoods (PNs) based on their socioeconomic and demographic characteristics. Nearest neighbor discriminant analysis and decision trees were used to validate PNs and determine the characteristics important for discrimination. Stroke and MI mortality risks were compared across PNs. Four distinct PNs were identified and their unique characteristics and potential health needs described. The highest risk of stroke and MI mortality tended to occur in less affluent PNs located in urban areas, while the suburban most affluent PNs had the lowest risk.Implementation of this multivariate strategy provides health planners useful information to better understand and effectively plan for the unique neighborhood health needs and is important in guiding resource allocation, service provision, and policy decisions to address neighborhood health disparities and improve population health

Pre-emption cases may support, not undermine, the counterfactual theory of causation

Pre-emption cases have been taken by almost everyone to imply the unviability of the simple counterfactual theory of causation. Yet there is ample motivation from scientific practice to endorse a simple version of the theory if we can. There is a way in which a simple counterfactual theory, at least if understood contrastively, can be supported even while acknowledging that intuition goes firmly against it in pre-emption cases – or rather, only in some of those cases. For I present several new pre-emption cases in which causal intuition does not go against the counterfactual theory, a fact that has been verified experimentally. I suggest an account of framing effects that can square the circle. Crucially, this account offers hope of theoretical salvation – but only to the counterfactual theory of causation, not to others. Again, there is (admittedly only preliminary) experimental support for this account

What is behind a summary-evaluation decision?

Research in psychology has reported that, among the variety of possibilities for assessment methodologies, summary evaluation offers a particularly adequate context for inferring text comprehension and topic understanding. However, grades obtained in this methodology are hard to quantify objectively. Therefore, we carried out an empirical study to analyze the decisions underlying human summary-grading behavior. The task consisted of expert evaluation of summaries produced in critically relevant contexts of summarization development, and the resulting data were modeled by means of Bayesian networks using an application called Elvira, which allows for graphically observing the predictive power (if any) of the resultant variables. Thus, in this article, we analyzed summary-evaluation decision making in a computational framewor

Robust Biomarkers: Methodologically Tracking Causal Processes in Alzheimer’s Measurement

In biomedical measurement, biomarkers are used to achieve reliable prediction of, and useful causal information about patient outcomes while minimizing complexity of measurement, resources, and invasiveness. A biomarker is an assayable metric that discloses the status of a biological process of interest, be it normative, pathophysiological, or in response to intervention. The greatest utility from biomarkers comes from their ability to help clinicians (and researchers) make and evaluate clinical decisions. In this paper we discuss a specific methodological use of clinical biomarkers in pharmacological measurement: Some biomarkers, called ‘surrogate markers’, are used to substitute for a clinically meaningful endpoint corresponding to events and their penultimate risk factors. We confront the reliability of clinical biomarkers that are used to gather information about clinically meaningful endpoints. Our aim is to present a systematic methodology for assessing the reliability of multiple surrogate markers (and biomarkers in general). To do this we draw upon the robustness analysis literature in the philosophy of science and the empirical use of clinical biomarkers. After introducing robustness analysis we present two problems with biomarkers in relation to reliability. Next, we propose an intervention-based robustness methodology for organizing the reliability of biomarkers in general. We propose three relevant conditions for a robust methodology for biomarkers: (R1) Intervention-based demonstration of partial independence of modes: In biomarkers partial independence can be demonstrated through exogenous interventions that modify a process some number of “steps” removed from each of the markers. (R2) Comparison of diverging and converging results across biomarkers: By systematically comparing partially-independent biomarkers we can track under what conditions markers fail to converge in results, and under which conditions they successfully converge. (R3) Information within the context of theory: Through a systematic cross-comparison of the markers we can make causal conclusions as well as eliminate competing theories. We apply our robust methodology to currently developing Alzheimer’s research to show its usefulness for making causal conclusions