1,490 research outputs found
O problemático sentido finitário das proposições da aritmética
No artigo de 1936 "A consistência da teoria elementar de números", Gentzen oferece uma prova da consistencia dessa teoria usando técnicas que segundo ele enquadrar-se-iam como técnicas finitárias. Também afirma, no artigo citado, que tais técnicas ultrapassam as técnicas admissíveis na teoria elementar de números
A Criticism of Kripke’s Semantic for Intuitionistic Logic
This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the semantics. The fragment of propositional intuitionist logic containing disjunction and implication is also sound and complete with respect to the respective semantical clauses. However, we´ll argue, Kripke semantics is intensionallymisleading, since Kripke’ssemantical implication clause is intensionallymisleading. And the problem can be exemplified when we consider the fragment with disjunction and implication.Uma crítica à semântica de Kripke para a lógica intuicionista
Nesta breve nota, pretendemos examinar criticamente a semântica de Kripke para a lógica proposicional intuicionista. A semântica de Kripke é extensionalmente correta com relação à lógica proposicional intuicionista, isto é, o cálculo é correto e completo com respeito à semântica. O fragmento da lógica proposicional intuicionista contendo a disjunção e a implicação também é correto e completo com respeito às respectivas cláusulas semânticas. Entretanto, como procuraremos argumentar, a semântica de Kripke é intensionalmente enganadora, dado que a cláusula semântica de Kripke para a implicação é intensionalmente enganadora. Tal problema pode ser exemplificado quando consideramos o fragmento com disjunção e implicação.---Artigo em inglês
SUS Brasil: a região de saúde como caminho
The present article addresses the need to have regionalization of decentralization, in order to cluster together what this could supposedly have broken apart. On revisiting the constitutional guidelines on decentralization, the authors propose measures to provide assurance thereof, in addition to administrative tools that allow the formation of health regions to supply at least 95% of the health needs of the regional territory, to ensure sanitary independence. The authors suggest solutions that include the establishment of regional and associative corporate institutions resulting from the clustering of the federative institutes operating in the health area. The authors also state what has not worked out in the Brazilian National Health System (Sistema Único de Saúde - SUS), due to mistakes that have originated in the best of intentions, as also the opportunism that these mistakes have generated. The authors defend the need to bring judicial and administrative answers to a SUS that is interfederative in character, both in management, which requires some sharing, as also in financing which also remains interdependent. The conclusion reached is that the only way in which the SUS can be national is to regionalize it, and to give the health region all the instruments that are necessary for shared, interfederative and responsible management.O presente artigo desenvolve o tema da necessidade de se regionalizar a descentralização no sentido de aglutinar o que esta supostamente poderia ter fracionado. Ao revisitar a diretriz constitucional da descentralização os autores propõem medidas que visem sua garantia ao lado de ferramentas administrativas que permitam a formação de regiões de saúde resolutivas em pelo menos 95% das necessidades de saúde do território regional, para garantir autonomia sanitária. Os autores propõem soluções que passam pela criação de pessoas jurídicas associativas regionais, resultantes da aglutinação dos entes federativos em região de saúde. Apontam ainda o que não deu certo no Sistema Único de Saúde - SUS Brasil em razão tanto de equívocos originados nas melhores intenções, quanto do oportunismo que esses equívocos geraram. Advogam os autores a necessidade de respostas jurídico-administrativas para um SUS de caráter interfederativo tanto na sua gestão, que exige compartilhamentos, quanto no seu financiamento, que se mantém interdependente também. Concluem que o único caminho para o SUS ser nacional, é regionalizá-lo e dotar a região de saúde de todo o instrumental necessário à gestão compartilhada, interfederativa e responsável
O Banco Mundial e o Sistema Único de Saúde brasileiro no início do século XXI
This essay has the aim of updating discussions on the political perspective and the role played by the World Bank in the development of public health policies in Brazil, seeking to identify continuities and changes in the way this institution acts and suggest hypotheses about action strategies in this new century. To do this, we analyzed a 2007 and a 2013 document published by that institution, and gather data on projects funded by the World Bank from 2000 to 2015 in Brazil, with emphasis on the healthcare industry. We concluded that the traditional mechanisms of action have not changed from those used in the 1980s and 1990s, as well as the guiding principles; what we observed is that the World Bank's actions have shifted from the national level to the state and municipal level. We indicate the need for specific studies of the agreements between the Bank and subnational governments, since the Brazilian federative model and the national health system itself allow implementing decentralized management mechanisms that can alter the setting of the Unified Health System252263276Este ensaio tem o objetivo de atualizar as discussões sobre a perspectiva política e o papel desempenhado pelo Banco Mundial na elaboração de políticas públicas de saúde no Brasil, procurando identificar continuidades e mudanças no modo de agir dessa instituição e sugerir hipóteses sobre as estratégias de ação neste início de século. Para isso, analisam-se dois documentos, um de 2007 e outro de 2013, publicados por essa instituição, e levantam-se dados sobre projetos financiados pelo Banco no período de 2000 a 2015 no Brasil, com destaque para o setor de saúde. Conclui-se que os mecanismos tradicionais de intervenção não se alteraram em relação aos utilizados nas décadas de 1980 e 1990, tampouco mudaram os princípios orientadores: o que se observa é um deslocamento das ações do Banco da esfera nacional para as esferas estadual e municipal. Aponta-se a necessidade de estudos específicos dos contratos firmados entre o Banco e os governos subnacionais, uma vez que o modelo federativo brasileiro e o próprio sistema nacional de saúde permitem implementar mecanismos de gestão descentralizados que podem alterar a configuração do Sistema Único de Saúd
A Criticism of Kripke’s Semantic for Intuitionistic Logic
This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the semantics. The fragment of propositional intuitionist logic containing disjunction and implication is also sound and complete with respect to the respective semantical clauses. However, we´ll argue, Kripke semantics is intensionallymisleading, since Kripke’ssemantical implication clause is intensionallymisleading. And the problem can be exemplified when we consider the fragment with disjunction and implication
Associació entre lesió i qualitat de vida dels esportistes:
Tot i que la pràctica de l’esport suposa un benefici, també implica una situació de risc perquè s’esdevenen lesions en tots els nivells de competició. Aquestes lesions poden afectar tant els aspectes físics com psicològics i, en conseqüència, generen una baixada de rendiment i/o una falta de participació, cosa que pot afectar la qualitat de vida dels esportistes. Aquest estudi es proposa revisar sistemàticament la informació relativa a l’associació entre lesió i els dominis de la qualitat de vida (QV) dels esportistes adults i identificar els instruments de mesura de les lesions i la QV més comunament utilitzats en esportistes adults, publicats entre 1980 i 2013. La cerca es féu usant 5 bases de dades (MEDLINE/PubMed, Web of Science, SPORTDiscus, PsycINFO i LILACS) així com les referències citades en els articles obtinguts. Feta la cerca, només complien els criteris d’inclusió 12 articles que van ser recuperats i examinats. Es van emprar diferents qüestionaris no normalitzats per avaluar les lesions dels esportistes. Per valorar la QV la majoria d’estudis utilitzaren el qüestionari de salut SF-36. L’avaluació de la gestió de l’associació entre lesions i dominis de la QV demostrà que la majoria d’estudis inclosos en aquesta revisió mostrava uns percentatges elevats d’associació negativa en el domini de la satisfacció vital (100%), seguit del dolor corporal (71,4%), escala de component físic (75%), funció física, rol físic, vitalitat, funció social (66,7% cadascun), salut mental (62,5%), i dominis de la salut general (57,1%). En conclusió, la majoria de treballs demostraren la relació negativa entre lesions i àmbits de la QV en esportistes adults, especialment en els aspectes físics i socials. Tanmateix, calen més investigacions sobre la relació entre lesions i els dominis de la QV
A composição do endividamento das firmas e a macroeconomia do capital: uma análise econômica construída por meio de informações contábeis
The objective of this research is to analyze the influence that monetary policies exert on the composition of the indebtedness of Brazilian corporations. From this objective, 2 hypotheses derive. The first analyzes the sample aggregate and the second directs the tests to the productive sectors. The study sample is composed of 220 companies: 84 of consumer goods, 89 of capital goods and 47 of public utility. The data collected refer to the years 2009 to 2019. The methodology used for data analysis is through panel data models, using the GMM approach. According to the results, it can be concluded - in the light of the macroeconomics of capital - that the composition of the firms' indebtedness can be determined by the market moments defined by the monetary policies, so that such influence is different depending on the sector to which the companies are located in the production chain. These results complement the literature that studies the impacts of monetary policies and macroeconomic variables on corporate finance, mainly through econometric modeling based on accounting data.O objetivo desta pesquisa é analisar a influência que as políticas monetárias exercem sobre a composição do endividamento das corporações brasileiras. Desse objetivo derivam 2 hipóteses. A primeira analisa o agregado da amostra e a segunda direciona os testes para os setores produtivos. A amostra do estudo é composta por 220 empresas: 84 de bens de consumo, 89 de bens de capital e 47 de utilidade pública. Os dados coletados referem-se aos anos de 2009 a 2019. A metodologia empregada para a análise dos dados se dá por meio dos modelos de dados em painel, pela abordagem GMM. Segundo os resultados pode-se concluir - à luz da macroeconomia do capital - que a composição do endividamento das firmas pode ser determinada pelos momentos de mercado definidos pelas políticas monetárias, de modo que tal influência é distinta a depender do setor ao qual as empresas se situam na cadeia produtiva. Estes resultados complementam a literatura que estuda os impactos das políticas monetárias e de variáveis macroeconômicas sobre as finanças corporativas, principalmente por meio de modelagem econométrica estruturada em dados contábeis
Asociación entre lesión y calidad de vida en deportistas:
A pesar de los beneficios de participar en la vida deportiva, ello entraña una situación de riesgo debido a la ocurrencia de lesiones a cualquier nivel de desempeño. Dichas lesiones pueden afectar tanto a los aspectos físicos como psicológicos, y generar por tanto un descenso significativo del desempeño y/o una falta de participación, lo que puede afectar a su vez a la calidad de vida. El presente estudio trata de revisar sistemáticamente la información relativa a la asociación entre las lesiones y los ámbitos de la calidad de vida en atletas adultos, así como identificar los instrumentos más comúnmente utilizados en la medición de las lesiones y la calidad de vida en dichos atletas, en artículos publicados entre 1980 y 2013. Las búsquedas se realizaron utilizando cinco bases de datos (MEDLINE/PubMed, Web of Science, SPORTDiscus, PsycINFO y LILACS) y las referencias citadas en artículos recuperados. De entre la búsqueda realizada, sólo 12 artículos cumplieron los criterios de inclusión, y fueron recuperados y examinados. Se han utilizado diferentes cuestionarios no estandarizados para evaluar las lesiones de los atletas. Para evaluar la calidad de vida, muchos estudios utilizaron el SF-36. La evaluación de la dirección de la asociación entre lesión y ámbitos de la calidad de vida demostró que muchos estudios incluidos en esta revisión reflejaron elevados porcentajes de asociación negativa en el ámbito de la satisfacción de vida (100%), seguido de los ámbitos de dolor corporal (71,4%), puntuación de componentes físicos (75%), funcionamiento físico, vitalidad física, funcionamiento social (66,7% cada uno), salud mental (62,5%), y salud general (57,1%). En conclusión, en atletas adultos, muchos estudios demostraron una asociación negativa entre lesiones y ámbitos de la calidad de vida, especialmente en los aspectos físicos y sociales. Sin embargo, la asociación entre lesión y ámbitos de la calidad de vida precisa una investigación adicional
Notes for the study on health systems: multifaceted analysis and tracer indicators
OBJETIVO: Apresentar a abordagem metodológica utilizada em pesquisa que analisou a utilização e o funcionamento da atenção especializada, partindo do acesso via atenção básica, em quatro grandes cidades brasileiras: Fortaleza (CE), Campinas (SP), São Paulo (SP) e Porto Alegre (RS). MÉTODOS: Apresentação e discussão dos componentes quanti-qualitativos da estratégia de pesquisa proposta. RESULTADOS: Foram estudadas quatro condições traçadoras: hipertensão arterial grave, gravidez de alto risco, câncer de mama e transtorno mental grave. Para cada agravo foram construídos indicadores a partir de dados dos sistemas de informação de saúde destacando frequências, tendência temporal e diferenças por localidade. Essa contextualização inicial foi enriquecida com um estudo descritivo-qualitativo do funcionamento de cada rede municipal de serviços. A seguir, realizou-se um estudo transversal por meio de inquérito com 7.053 usuários dos serviços especializados para cada agravo. Por fim, foram realizadas entrevistas em profundidade com atores-chave para complementar aspectos operacionais selecionados da rede de cada município. Os resultados de todas essas fontes de dados foram triangulados, permitindo explorar a variabilidade das implantações do SUS em diferentes cenários regionais. CONCLUSÕES: O modelo analítico multifacetado apresentado permite compreender aspectos relevantes do funcionamento do Sistema Único de Saúde, atentando para as singularidades, heterogeneidades e desigualdades que caracterizam sua implantação no Brasil e destacando o funcionamento das redes locais para os agravos estudados.OBJECTIVE: To present the methodological approach used in a research that analyzed the use and performance of specialized health care, from primary care access, in four major Brazilian cities: Fortaleza (CE), Campinas (SP), São Paulo (SP) and Porto Alegre (RS). METHODS: Presentation and discussion of the quantitative-qualitative components of the proposed research strategy. RESULTS: Four tracing conditions were studied: systemic arterial hypertension, high-risk pregnancy, breast cancer and severe mental disorder. For each health condition, indicators were constructed based on health information systems data, pointing out frequencies, temporal trends and local differences. This initial contextualization was enriched with a descriptivequalitative study of the performance of each municipal health service network. Next, a crosssectional study was conducted through a survey of 7,053 users of specialized services for each health condition. Finally, in-depth interviews were conducted with key actors to complement selected operational aspects of each municipality’s network. The results of all these data sources were triangulated, allowing us to explore the variability of SUS implementations in different regional scenarios. CONCLUSIONS: The multifaceted analytical model presented allows us to understand relevant aspects of the Unified Health System performance, paying attention to the singularities, heterogeneities and inequalities that characterize its implementation in Brazil and emphasizing the performance of local networks for the addressed health conditions
- …