HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

Sobre la crítica de Mumford al realismo nomológico

Resumen Stephen Mumford (2004) propone una alternativa al Realismo Nomológico que no requiere resignar los compromisos modales comúnmente asociados a posiciones realistas, un Realismo Sin Leyes (RSL) donde el peso de la modalidad no está puesto sobre las leyes sino sobre propiedades entendidas en términos de poderes y disposiciones. Las ventajas relativas del RSL dependen, sin embargo, de una serie de objeciones que presenta al RN. La principal de ellas es la que Mumford denomina el Dilema Central, según el cual el RN no es capaz de dar cuenta de cómo las leyes gobiernas sus instancias. En el presente trabajo me propongo mostrar que ni el Dilema Central ni el resto de los argumentos de Mumford contra el RN justifican su rechazo.

Serum antigliadin antibody levels as a screening criterion before jejunal biopsy indication for celiac disease in a developing country

The objective of the present study was to determine the efficacy of detection of antigliadin immunoglobulins G and A (IgG and IgA) for the diagnosis of celiac disease in a developing country, since other enteropathies might alter the levels of these antibodies. Three groups were studied: 22 patients with celiac disease (mean age: 30.6 months), 61 patients with other enteropathies (mean age: 43.3 months), and 46 patients without enteropathies (mean age: 96.9 months). Antigliadin IgG and IgA ELISA showed sensitivity of 90.9 and 95.5%, respectively. With the hypothetical values of prevalence ranging from 1:500 to 1:2000 liveborns, the positive predictive value varied from 8.5 to 2.3% for IgG and from 4.8 to 1.1% for IgA. Considering the patients without enteropathies, specificity was 97.8 and 95.7% for IgG and IgA, respectively. In patients with other enteropathies, specificity was 82.0 and 84.1%, respectively. When patients with and without other enteropathies were considered as a whole, specificity was 88.8 and 91.6%, respectively. The specificity of positive IgG or IgA was 93.5% in children without enteropathies and 78.7% in the presence of other enteropathies. The negative predictive value for hypothetical prevalences varying from 1:500 to 1:2000 liveborns was 99.9%. Thus, even in developing countries where the prevalence of non-celiac enteropathies is high, the determination of serum antigliadin antibody levels is a useful screening test prior to the jejunal biopsy in the investigation of intestinal malabsorption.

Prediction of genetic gain from selection indices for disease resistance in papaya hybrids

In order to select superior hybrids for the concentration of favorable alleles for resistance to papaya black spot, powdery mildew and phoma spot, 67 hybrids were evaluated in two seasons, in 2007, in a randomized block design with two replications. Genetic gains were estimated from the selection indices of Smith & Hazel, Pesek & Baker, Williams, Mulamba & Mock, with selection intensity of 22.39%, corresponding to 15 hybrids. The index of Mulamba & Mock showed gains more suitable for the five traits assessed when it was used the criterion of economic weight tentatively assigned. Together, severity of black spot on leaves and on fruits, characteristics considered most relevant to the selection of resistant materials, expressed percentage gain of -44.15%. In addition, there were gains for other characteristics, with negative predicted selective percentage gain. The results showed that the index of Mulamba & Mock is the most efficient procedure for simultaneous selection of papaya hybrid resistant to black spot, powdery mildew and phoma spot.

BASS 4: a software system for ergonomic design and evaluation of working hours

OBJECTIVE: To extend an existing computer programme for the evaluation and design of shift schedules (BASS 3) by integrating workload as well as economic aspects. METHODS: The redesigned prototype BASS 4 includes a new module with a suitable and easily applicable screening method (EBA) for the assessment of the intensity of physical, emotional and cognitive workload components and their temporal patterns. Specified criterion functions based on these ratings allow for an adjustment of shift and rest duration according to the intensity of physical and mental workload. Furthermore, with regard to interactive effects both workload and temporal conditions, e.g. time of day, are taken into account. In a second new module, important economic aspects and criteria have been implemented. Different ergonomic solutions for scheduling problems can now also be evaluated with regard to their economic costs. RESULTS: The new version of the computer programme (BASS 4) can now simultaneously take into account numerous ergonomic, legal, agreed and economic criteria for the design and evaluation of working hours. CONCLUSIONS: BASS 4 can now be used as an instrument for the design and the evaluation of working hours with regard to legal, ergonomic and economic aspects at the shop floor as well as in administrative (e.g. health and safety inspection) and research problems.

Quality of scientific articles

The paper discusses the difficulties in judging the quality of scientific manuscripts and describes some common pitfalls that should be avoided when preparing a paper for submission to a peer-reviewed journal. Peer review is an imperfect system, with less than optimal reliability and uncertain validity. However, as it is likely that it will remain as the principal process of screening papers for publication, authors should avoid some common mistakes when preparing a report based on empirical findings of human research. Among these are: excessively long abstracts, extensive use of abbreviations, failure to report results of parsimonious data analyses, and misinterpretation of statistical associations identified in observational studies as causal. Another common problem in many manuscripts is their excessive length, which makes them more difficult to be evaluated or read by the intended readers, if published. The evaluation of papers after their publication with a view towards their inclusion in a systematic review is also discussed. The limitations of the impact factor as a criterion to judge the quality of a paper are reviewed.

Development and validation of the Portuguese version of the WHOQOL-OLD module

OBJECTIVE: The increasing proportion of older adults in the general population and the specific characteristics of this age group show the need for the development of specific instruments to measure quality of life in older adults. The study aimed at describing the development and validation of the Portuguese version of the World Health Organization Quality of Life for Older Persons (WHOQOL-OLD) module. METHODS: The WHOQOL-OLD instrument was administered in a sample of 424 older adults in the city of Porto Alegre, Southern Brazil, in 2005. The questionnaire comprises 24 items divided into six facets: sensory abilities; autonomy; past, present and future activities; social participation; death and dying; and intimacy. Besides the WHOQOL-OLD module, the WHOQOL-BREF, BDI and BHS instruments were also applied. The instrument's internal consistency was assessed using Cronbach's alpha coefficient. RESULTS: The instrument showed adequate internal consistency (Cronbach's coefficients ranging from 0.71 to 0.88), discriminant validity (p<0.01), concurrent validity (correlation coefficients ranging from -0.61 to -0.50) and test-retest reliability (correlation coefficients ranging from 0.58 to 0.82). Findings concerning criterion validity need further studies. CONCLUSIONS: The WHOQOL-Old module is a useful alternative with good psychometric performance in the investigation of quality of life in older adults.

Cultural adaptation and psychometric properties of Brazilian Need for Recovery Scale

OBJECTIVE: To translate the Need for Recovery Scale (NFR) into Brazilian Portuguese and culturally adapt it and assess the stability, internal consistency and convergent validity of the Brazilian scale among industrial workers. METHODS: The translation process followed the guidelines for cultural adaptation of questionnaires including the steps of translation, synthesis, back translation, expert committee review, and pre-testing. The Brazilian Portuguese NFR, final version (Br-NFR) was assessed for stability (n=52) and internal consistency (n=192) and for convergent validity through simultaneous assessment with other instruments: the Borg Scale (n=59); the Chalder Fatigue Questionnaire (n=57) and 3 subscales of the SF-36 (n=56). RESULTS: Stability and internal consistency met the criterion for a reliable measure (ICC=0.80 and Cronbach's alpha =0.87, respectively). The convergent validity between Br-NFR and other instruments also showed good results: Borg Scale (r= 0.64); Chalder Questionnaire (r= 0.67); SF-36 subscales: vitality (r= -0.84), physical functioning (r= -0.54), and role-physical (r= -0.47). CONCLUSIONS: The Br-NFR proved to be a reliable instrument to evaluate work-related fatigue symptoms in industrial workers. Furthermore, it showed significant and good correlations with well-established instruments such as the Borg Scale, the Chalder Questionnaire and SF-36 vitality subscale, supporting the validity of the Br-NFR.

Brazilian version of the Quality of Care Scale: the perspective of people with disabilities

OBJECTIVE To analyze evidence of the validity and reliability of a Brazilian Portuguese version of the Quality of Care Scale from the perspective of people with physical and intellectual disabilities.METHODS There were 162 people with physical disabilities and 156 with intellectual disabilities from Porto Alegre and metropolitan region, who participated in the study in 2008. Classical psychometrics was used to independently analyze the two samples. Hypotheses for evidence of criterion validity (concurrent type) were tested with the Mann-Whitney test for non-normal distributions. Principal components analysis was used to explore factorial models. Evidence of reliability was calculated with Cronbach alpha for the scales and subscales. Test-retest reliability was analyzed for individuals with intellectual disabilities through intra-class correlation coefficient and the Willcoxon test.RESULTS The principal components in the group with physical disabilities replicated the original model presented as a solution to the international project data. Evidence of discriminant validity and test-retest reliability was found.CONCLUSIONS The transcultural factor model found within the international sample project seems appropriate for the samples investigated in this study, especially the physical disabilities group. Depression, pain, satisfaction with life and disability may play a mediating role in the evaluation of quality of care. Additional research is needed to add to evidence of the validity of the instruments.

Model for the evaluation of drug-dispensing services in primary health care

OBJECTIVE To develop a model for evaluating the efficacy of drug-dispensing service in primary health care. METHODS An efficacy criterion was adopted to determine the level of achievement of the service objectives. The evaluation model was developed on the basis of a literature search and discussions with experts. The applicability test of the model was conducted in 15 primary health care units in the city of Florianópolis, state of Santa Catarina, in 2010, and data were recorded in structured and pretested questionnaires. RESULTS The model developed was evaluated using five dimensions of analysis for analysis. The model was suitable for evaluating service efficacy and helped to identify the critical points of each service dimension. CONCLUSIONS Adaptations to the data collection technique may be required to adjust for the reality and needs of each situation. The evaluation of the drug-dispensing service should promote adequate access to medications supplied through the public health system.

Screening for frailty in older adults using a self-reported instrument

OBJECTIVE To validate a screening instrument using self-reported assessment of frailty syndrome in older adults.METHODS This cross-sectional study used data from the Saúde, Bem-estar e Envelhecimento study conducted in Sao Paulo, SP, Southeastern Brazil. The sample consisted of 433 older adult individuals (≥ 75 years) assessed in 2009. The self-reported instrument can be applied to older adults or their proxy respondents and consists of dichotomous questions directly related to each component of the frailty phenotype, which is considered the gold standard model: unintentional weight loss, fatigue, low physical activity, decreased physical strength, and decreased walking speed. The same classification proposed in the phenotype was utilized: not frail (no component identified); pre-frail (presence of one or two components), and frail (presence of three or more components). Because this is a screening instrument, “process of frailty” was included as a category (pre-frail and frail). Cronbach’s α was used in psychometric analysis to evaluate the reliability and validity of the criterion, the sensitivity, the specificity, as well as positive and negative predictive values. Factor analysis was used to assess the suitability of the proposed number of components.RESULTS Decreased walking speed and decreased physical strength showed good internal consistency (α = 0.77 and 0.72, respectively); however, low physical activity was less satisfactory (α = 0.63). The sensitivity and specificity for identifying pre-frail individuals were 89.7% and 24.3%, respectively, while those for identifying frail individuals were 63.2% and 71.6%, respectively. In addition, 89.7% of the individuals from both the evaluations were identified in the “process of frailty” category.CONCLUSIONS The self-reported assessment of frailty can identify the syndrome among older adults and can be used as a screening tool. Its advantages include simplicity, rapidity, low cost, and ability to be used by different professionals.

Hantavirus Pulmonary Syndrome: Report of the first three cases in São Paulo, Brazil

The hantavirus pulmonary syndrome was first recognized in cases that occurred in the U.S. in 1993, which served as an alert not only for American physicians but also for physicians in other countries for the identification of the disease. In the city of São Paulo, Brazil, 3 cases of the syndrome were recorded in 1993. The patients were young brothers residing in the Mata Atlântica (Atlantic Forest) region submitted to recent deforestation. Two of the patients died of acute respiratory insufficiency and the third recovered without sequelae. In the surviving patient the diagnosis was established by a laboratory criterion based on the detection of specific IgM and IgG class antibodies by indirect immunofluorescence. In the two patients who died, the diagnosis was confirmed by laboratory tests using immunoperoxidase technique for hantavirus in tissue, in histological lung and heart sections in one case, and by clinical and epidemiological data in the other

Long term evaluation of etiological treatment of Chagas disease with benznidazole

The aim of this article is to present an investigation of cure rate, after long follow up, of specific chemotherapy with benznidazole in patients with both acute and chronic Chagas disease, applying quantitative conventional serological tests as the base of the criterion of cure. Twenty one patients with the acute form and 113 with one or other of the various chronic clinical forms of the disease were evaluated, after a follow up period of 13 to 21 years, for the acute, and 6 to 18 years, for the chronic patients. The duration of the acute as well as the chronic disease, a condition which influences the results of the treatment, was determined. The therapeutic schedule was presented, with emphasis on the correlation between adverse reactions and the total dose of 18 grams, approximately, as well as taking into consideration precautions to assure the safety of the treatment. Quantitative serological reactions consisting of complement fixation, indirect immunofluorescence, indirect hemagglutination, and, occasionally, ELISA, were used. Cure was found in 76 per cent of the acute patients but only in 8 per cent of those with chronic forms of the disease. In the light of such contrasting results, fundamentals of the etiological therapy of Chagas disease were discussed, like the criterion of cure, the pathogenesis and the role of immunosuppression showing tissue parasitism in long standing chronic disease, in support of the concept that post-therapeutic consistently positive serological reactions mean the presence of the parasite in the patient's tissues. In relation to the life-cycle of T. cruzi in vertebrate host, there are still some obscure and controversial points, though there is no proof of the existence of resistant or latent forms. However, the finding over the last 15 years, that immunosuppression brings about the reappearance of acute disease in long stand chronic patients justifies a revision of the matter. Facts were quoted in favor of the treatment of chronic patients.

Pancreatic involvement in fatal human leptospirosis: clinical and histopathological features

Hyperamylasemia has been reported in more than 65% of patients with severe leptospirosis, and the true diagnosis of acute pancreatitis is complicated by the fact that renal failure can increase serum amylase levels. Based on these data we retrospectively analyzed the clinical and histopathological features of pancreas involvement in 13 cases of fatal human leptospirosis. The most common signs and symptoms presented at admission were fever, chills, vomiting, myalgia, dehydratation, abdominal pain and diarrhea. Trombocytopenia was evident in 11 patients. Mild increased of AST and ALT levels was seen in 9 patients. Hyperamylasemia was recorded in every patient in whom it was measured, with values above 180 IU/L (3 cases). All patients presented acute renal failure and five have been submitted to dialytic treatment. The main cause of death was acute respiratory failure due to pulmonary hemorrhage. Pancreas fragments were collected for histological study and fat necrosis was the criterion used to classify acute pancreatitis. Histological pancreatic findings were edema, mild inflammatory infiltrate of lymphocytes, hemorrhage, congestion, fat necrosis and calcification. All the patients infected with severe form of leptospirosis who develop abdominal pain should raise the suspect of pancreatic involvement.