How to think about informal proofs

This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the fieldPeer reviewedFinal Accepted Versio

Marburg hemorrhagic fever in Durba and Watsa, Democratic Republic of the Congo: clinical documentation, features of illness, and treatment

The objective of the present study was to describe day of onset and duration of symptoms of Marburg hemorrhagic fever (MHF), to summarize the treatments applied, and to assess the quality of clinical documentation. Surveillance and clinical records of 77 patients with MHF cases were reviewed. Initial symptoms included fever, headache, general pain, nausea, vomiting, and anorexia (median day of onset, day 1-2), followed by hemorrhagic manifestations (day 5-8+), and terminal symptoms included confusion, agitation, coma, anuria, and shock. Treatment in isolation wards was acceptable, but the quality of clinical documentation was unsatisfactory. Improved clinical documentation is necessary for a basic evaluation of supportive treatment

Studies Needed to Address Public Health Challenges of the 2009 H1N1 Influenza Pandemic: Insights from Modeling

In light of the 2009 influenza pandemic and potential future pandemics, Maria Van Kerkhove and colleagues anticipate six public health challenges and the data needed to support sound public health decision making.The authors acknowledge support from the Bill & Melinda Gates Foundation (MDVK, CF, NMF); Royal Society (CF); Medical Research Council (MDVK, CF, PJW, NMF); EU FP7 programme (NMF); UK Health Protection Agency (PJW); US National Institutes of Health Models of Infectious Disease Agent Study program through cooperative agreement 1U54GM088588 (ML); NIH Director's Pioneer Award, DP1-OD000490-01 (DS); EU FP7 grant EMPERIE 223498 (DS); the Wellcome Trust (DS); 3R01TW008246-01S1 from Fogerty International Center and RAPIDD program from Fogerty International Center with the Science & Technology Directorate, Department of Homeland Security (SR); and the Institut de Veille Sanitaire Sanitaire funded by the French Ministry of Health (J-CD). The funders played no role in the decision to submit the article or in its preparation

Transmission Characteristics of the 2009 H1N1 Influenza Pandemic: Comparison of 8 Southern Hemisphere Countries

While in Northern hemisphere countries, the pandemic H1N1 virus (H1N1pdm) was introduced outside of the typical influenza season, Southern hemisphere countries experienced a single wave of transmission during their 2009 winter season. This provides a unique opportunity to compare the spread of a single virus in different countries and study the factors influencing its transmission. Here, we estimate and compare transmission characteristics of H1N1pdm for eight Southern hemisphere countries/states: Argentina, Australia, Bolivia, Brazil, Chile, New Zealand, South Africa and Victoria (Australia). Weekly incidence of cases and age-distribution of cumulative cases were extracted from public reports of countries' surveillance systems. Estimates of the reproduction numbers, R0, empirically derived from the country-epidemics' early exponential phase, were positively associated with the proportion of children in the populations (p = 0.004). To explore the role of demography in explaining differences in transmission intensity, we then fitted a dynamic age-structured model of influenza transmission to available incidence data for each country independently, and for all the countries simultaneously. Posterior median estimates of R0 ranged 1.2–1.8 for the country-specific fits, and 1.29–1.47 for the global fits. Corresponding estimates for overall attack-rate were in the range 20–50%. All model fits indicated a significant decrease in susceptibility to infection with age. These results confirm the transmissibility of the 2009 H1N1 pandemic virus was relatively low compared with past pandemics. The pattern of age-dependent susceptibility found confirms that older populations had substantial – though partial - pre-existing immunity, presumably due to exposure to heterologous influenza strains. Our analysis indicates that between-country-differences in transmission were at least partly due to differences in population demography

Resilience management during large-scale epidemic outbreaks

Assessing and managing the impact of large-scale epidemics considering only the individual risk and severity of the disease is exceedingly difficult and could be extremely expensive. Economic consequences, infrastructure and service disruption, as well as the recovery speed, are just a few of the many dimensions along which to quantify the effect of an epidemic on society's fabric. Here, we extend the concept of resilience to characterize epidemics in structured populations, by defining the system-wide critical functionality that combines an individual’s risk of getting the disease (disease attack rate) and the disruption to the system’s functionality (human mobility deterioration). By studying both conceptual and data-driven models, we show that the integrated consideration of individual risks and societal disruptions under resilience assessment framework provides an insightful picture of how an epidemic might impact society. In particular, containment interventions intended for a straightforward reduction of the risk may have net negative impact on the system by slowing down the recovery of basic societal functions. The presented study operationalizes the resilience framework, providing a more nuanced and comprehensive approach for optimizing containment schemes and mitigation policies in the case of epidemic outbreaks

A large-scale study of a poultry trading network in Bangladesh: implications for control and surveillance of avian influenza viruses

Since its first report in 2007, avian influenza (AI) has been endemic in Bangladesh. While live poultry marketing is widespread throughout the country and known to influence AI dissemination and persistence, trading patterns have not been described. The aim of this study is to assess poultry trading practices and features of the poultry trading networks which could promote AI spread, and their potential implications for disease control and surveillance. Data on poultry trading practices was collected from 849 poultry traders during a cross-sectional survey in 138 live bird markets (LBMs) across 17 different districts of Bangladesh. The quantity and origins of traded poultry were assessed for each poultry type in surveyed LBMs. The network of contacts between farms and LBMs resulting from commercial movements of live poultry was constructed to assess its connectivity and to identify the key premises influencing it

Clinical Manifestations and Case Management of Ebola Haemorrhagic Fever caused by a newly identified virus strain, Bundibugyo, Uganda, 2007-2008

A confirmed Ebola haemorrhagic fever (EHF) outbreak in Bundibugyo, Uganda, November 2007-February 2008, was caused by a putative new species (Bundibugyo ebolavirus). It included 93 putative cases, 56 laboratory-confirmed cases, and 37 deaths (CFR = 25%). Study objectives are to describe clinical manifestations and case management for 26 hospitalised laboratory-confirmed EHF patients. Clinical findings are congruous with previously reported EHF infections. The most frequently experienced symptoms were non-bloody diarrhoea (81%), severe headache (81%), and asthenia (77%). Seven patients reported or were observed with haemorrhagic symptoms, six of whom died. Ebola care remains difficult due to the resource-poor setting of outbreaks and the infection-control procedures required. However, quality data collection is essential to evaluate case definitions and therapeutic interventions, and needs improvement in future epidemics. Organizations usually involved in EHF case management have a particular responsibility in this respect