Bunge’s Mathematical Structuralism Is Not a Fiction

In this paper, I explore Bunge’s fictionism in philosophy of mathematics. After an overview of Bunge’s views, in particular his mathematical structuralism, I argue that the comparison between mathematical objects and fictions ultimately fails. I then sketch a different ontology for mathematics, based on Thomasson’s metaphysical work. I conclude that mathematics deserves its own ontology, and that, in the end, much work remains to be done to clarify the various forms of dependence that are involved in mathematical knowledge, in particular its dependence on mental/brain states and material objects

Availability analysis of post-combustion carbon capture systems: minimum work input

Published versio

The diagnostic value of the stump impingement reflex sign for determining anterior cruciate ligament stump impingement as a cause of knee locking

BACKGROUND: The stump impingement reflex is a subtle bounce to the knee thought to be caused by hamstring contraction when the knee is brought into extension and the torn ACL stump impinges between the distal femur and the tibial plateau. We have studied the diagnostic value of this sign. FINDINGS: From Feb 2008-Feb 2009, we audited 30 patients who underwent urgent arthroscopy for acutely locked knees. The presence of the stump impingement reflex prior to surgery was compared with the intra-operative findings. The diagnostic values of the stump impingement sign were found to be: Sensitivity 58%, Specificity 81%, Positive predictive value 70%, Negative predictive value 72% and Accuracy 71%. CONCLUSIONS: We believe that the stump impingement reflex is a specific sign for ACL stump impingement as a cause of knee locking. We recommend close inspection for this sign when examining locked knees

Report of the GDR working group on the R-parity violation

This report summarizes the work of the "R-parity violation group" of the French Research Network (GDR) in Supersymmetry, concerning the physics of supersymmetric models without conservation of R-parity at HERA, LEP, Tevatron and LHC and limits on R-parity violating couplings from various processes. The report includes a discussion of the recent searches at the HERA experiment, prospects for new experiments, a review of the existing limits, and also theoretically motivated alternatives to R-parity and a brief discussion on the implications of R-parity violation on the neutrino masses.Comment: 60 pages, LaTeX, 22 figures, 2 table

Can majority support save an endangered language? A case study of language attitudes in Guernsey

Many studies of minority language revitalisation focus on the attitudes and perceptions of minorities, but not on those of majority group members. This paper discusses the implications of these issues, and presents research into majority andf minority attitudes towards the endangered indigenous vernacular of Guernsey, Channel Islands. The research used a multi-method approach (questionnaire and interview) to obtain attitudinal data from a representative sample of the population that included politicians and civil servants (209 participants). The findings suggested a shift in language ideology away from the post-second world war ‘culture of modernisation’ and monolingual ideal, towards recognition of the value of a bi/trilingual linguistic heritage. Public opinion in Guernsey now seems to support the maintenance of the indigenous language variety, which has led to a degree of official support. The paper then discusses to what extent this ‘attitude shift’ is reflected in linguistic behaviour and in concrete language planning measures

Statistical mechanics of voting

Decision procedures aggregating the preferences of multiple agents can produce cycles and hence outcomes which have been described heuristically as `chaotic'. We make this description precise by constructing an explicit dynamical system from the agents' preferences and a voting rule. The dynamics form a one dimensional statistical mechanics model; this suggests the use of the topological entropy to quantify the complexity of the system. We formulate natural political/social questions about the expected complexity of a voting rule and degree of cohesion/diversity among agents in terms of random matrix models---ensembles of statistical mechanics models---and compute quantitative answers in some representative cases.Comment: 9 pages, plain TeX, 2 PostScript figures included with epsf.tex (ignore the under/overfull \vbox error messages

Abstract Argumentation / Persuasion / Dynamics

The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL (computation tree logic) encoding, which also permits importation of the theoretical results known to the logic into our argumentation frameworks. Our aim is to complement the growing interest in coordination of static and dynamic argumentation.Comment: Arisaka R., Satoh K. (2018) Abstract Argumentation / Persuasion / Dynamics. In: Miller T., Oren N., Sakurai Y., Noda I., Savarimuthu B., Cao Son T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems. PRIMA 2018. Lecture Notes in Computer Science, vol 11224. Springer, Cha

Plasma Levels of Macrophage Migration Inhibitory Factor and d-Dopachrome Tautomerase Show a Highly Specific Profile in Early Life.

Macrophage migration inhibitory factor (MIF) is a pleiotropic, constitutively expressed, pro-inflammatory cytokine and an important regulator of immune responses. d-dopachrome tautomerase (DDT), a newly described member of the MIF protein superfamily, shares sequence homology and biological activities with MIF. We recently reported that high expression levels of MIF sustain innate immune responses in newborns. Here, we elected to further characterize age-dependent MIF expression and to define whether DDT shares a similar expression profile with MIF. Therefore, we delineated the circulating concentrations of MIF and DDT throughout life using a large cohort of 307 subjects including fetuses, newborns, infants, children, and adults. Compared to levels measured in healthy adults (median: 5.7 ng/ml for MIF and 16.8 ng/ml for DDT), MIF and DDT plasma concentrations were higher in fetuses (median: 48.9 and 29.6 ng/ml), increased further at birth (median: 82.6 and 52.0 ng/ml), reached strikingly elevated levels on postnatal day 4 (median: 109.5 and 121.6 ng/ml), and decreased to adult levels during the first months of life. A strong correlation was observed between MIF and DDT concentrations in all age groups (R = 0.91, P < 0.0001). MIF and DDT levels correlated with concentrations of vascular endothelial growth factor, a protein upregulated under low oxygen tension and implicated in vascular and lung development (R = 0.70, P < 0.0001 for MIF and R = 0.65, P < 0.0001 for DDT). In very preterm infants, lower levels of MIF and DDT on postnatal day 6 were associated with an increased risk of developing bronchopulmonary dysplasia and late-onset neonatal sepsis. Thus, MIF and DDT plasma levels show a highly specific developmental profile in early life, supporting an important role for these cytokines during the neonatal period

Predictive significance of the six-minute walk distance for long-term survival in chronic hypercapnic respiratory failure

Background: The 6-min walk distance ( 6-MWD) is a global marker of functional capacity and prognosis in chronic obstructive pulmonary disease ( COPD), but less explored in other chronic respiratory diseases. Objective: To study the role of 6-MWD in chronic hypercapnic respiratory failure ( CHRF). Methods: In 424 stable patients with CHRF and non-invasive ventilation ( NIV) comprising COPD ( n = 197), restrictive diseases ( RD; n = 112) and obesity-hypoventilation- syndrome ( OHS; n = 115), the prognostic value of 6-MWD for long- term survival was assessed in relation to that of body mass index (BMI), lung function, respiratory muscle function and laboratory parameters. Results: 6-MWD was reduced in patients with COPD ( median 280 m; quartiles 204/350 m) and RD ( 290 m; 204/362 m) compared to OHS ( 360 m; 275/440 m; p <0.001 each). Overall mortality during 24.9 (13.1/40.5) months was 22.9%. In the 424 patients with CHRF, 6-MWD independently predicted mortality in addition to BMI, leukocytes and forced expiratory volume in 1 s ( p <0.05 each). In COPD, 6-MWD was strongly associated with mortality using the median {[} p <0.001, hazard ratio ( HR) = 3.75, 95% confidence interval (CI): 2.24-6.38] or quartiles as cutoff levels. In contrast, 6-MWD was only significantly associated with impaired survival in RD patients when it was reduced to 204 m or less (1st quartile; p = 0.003, HR = 3.31, 95% CI: 1.73-14.10), while in OHS 6-MWD had not any prognostic value. Conclusions: In patients with CHRF and NIV, 6-MWD was predictive for long- term survival particularly in COPD. In RD only severely reduced 6-MWD predicted mortality, while in OHS 6-MWD was relatively high and had no prognostic value. These results support a disease-specific use of 6-MWD in the routine assessment of patients with CHRF. Copyright (C) 2007 S. Karger AG, Basel

Propositional update operators based on formula/literal dependence

International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators