PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA)

Resumen El articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1) y (3), como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1) (Ver también (2) y (3)) sobre estos temas.

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC , a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

A conservação do papagaio-da-cara-roxa (Amazona brasiliensis) no estado do Paraná: uma experiência de Educação Ambiental no ensino formal

No presente trabalho, avaliou-se a experiência de Educação Ambiental do "Projeto de Conservação do Papagaio-da-Cara-Roxa (Amazona brasiliensis)", no ensinoformal, realizado pela Sociedade de Pesquisa em Vida Selvagem e Educação Ambiental (SPVS), no litoral norte do Estado do Paraná. A experiência teve o intuito de fomentar, tanto no corpo docente quando no corpo discente, a discussão sobre valores e princípios que norteiam as relações homem/natureza, desenvolvendo-se, assim, uma interação mais responsável com o meio ambiente. Foram desenvolvidos módulos-educativos sobre o papagaio-da-cara-roxa e seu ambiente, direcionados a 795 estudantes do ensino fundamental, nos Municípios de Paranaguá e Guaraqueçaba. Para analisar a eficácia das atividades, os estudantes responderam a testes antes e depois do processo educativo que mediram mudanças obtidas com relação ao incremento de conhecimento, postura e valorização do papagaio-da-cara-roxa e de seu ambiente. Os resultados indicaram que a utilização do exemplo de uma espécie, ameaçada de extinção e que ocorre próximo às comunidades envolvidas no processo de conservação, serviu de base para a associação do tema específico para com uma realidade ambiental mais ampla e contextualizada localmente.

EVALUATION OF TECHNOLOGICAL INTENSITY OF EXPORTS IN THE FORESTRY SECTOR

ABSTRACT One of the fastest growing sectors in the domestic industry is the forestry, which has contributed significantly to economic development, job creation, income taxes, putting Brazil in a prominent position in the world market. This paper analyzes the evolution of the technological intensity of 12 main products exported by the sector, from 2000 to 2011. For that, utilizes an indicator called PRODY, which allows classifying different products according to their technological intensity or income content and considers the GDP per capita of exporting countries of each product, weighted by its revealed comparative advantage. It can be seen by the results, a continuous growth in all products' technology indicators and their decomposition into income effects, comparative advantage and joint effects, allowed to verify the main causes of this growth. Products with lower PRODY values are those that presented a higher evolution during the period studied. Products of higher processing, and those from pulp and paper industry, had greater technological advances, thanks to a joint effect, while the ones of lower processing, had a technological improvement due to the increase in GDP per capita in exporting countries. Sawn wood was the standout product, being the only one who proved to be dependent of comparative advantage effect, confirming that this industry has been reinventing itself and incorporating, in fact, more technology. This study revealed the importance of technological intensification to generate comparative advantage and be able to stand against international competition.

Raw water use charge reduction for the rural sector in the PCJ Watershed

The deficient environmental preservation on agricultural properties has reflected in great soil losses for erosion and the high rate of sedimentation. Therefore, this work brings the application of software to demonstrate that planters can get benefits by the conservationist practices. The benefits will be obtained from the environment aspect (erosion and sedimentation control), as well as economical aspect (financial incentives). A proposal has been created by the Technical Chamber of Rural Water Use and Conservation (CT-Rural) to estimate the reduction in raw water use charge for the rural water users of the PCJ Watershed - this reduction is being possible since January 2007, at the PCJ Committee. The software develops a simple relationship, so that if the rural conservationist action goes more efficient, such as if the conserved rural area goes larger, then the reduction value will bring better benefits for the rural water users. Within the purposes of this study, there is the idealization of mechanisms that may support specific management matters related to the water users of federal rivers from the rural sector of PCJ Watershed.

Increasing the percentage of vaginal birth in the private sector in Brazil through the redesign of care model

OBJETIVO: Implantar um novo modelo de cuidado ao parto e reduzir o percentual de cesarianas entre as gestantes da UNIMED Jaboticabal.MÉTODOS: Estudo descritivo desenvolvido em uma instituição do interior paulista, que teve início em 2012 e propôs o redesenho do modelo de cuidado ao parto com a revisão de todo o processo assistencial por meio da Ciência da Melhoria Contínua. Para medir os resultados das mudanças, foram selecionados nove indicadores e suas respectivas metas.RESULTADOS: O indicador de partos vaginais atingiu a meta de 40%, após sete meses do início da intervenção. Este indicador entre as gestantes do SUS atingiu 66%. A taxa de mortalidade perinatal decresceu 25% comparando-se 2012 a 2014 e a taxa de prematuridade foi de 3/100 nascidos vivos em 2014. O percentual de gestantes da UNIMED com 6 ou mais consultas de pré-natal atingiu 95%. Em relação aos custos hospitalares per capita referentes à assistência ao parto, notou-se um decréscimo de 27%, quando comparados os anos de 2012 e 2013. Tal queda não se sustentou e o custo hospitalar per capita, em 2014, retornou aos mesmos patamares de 2012. A remuneração dos obstetras registrou um acréscimo de 72%, se comparados os anos de 2012, 2013 e 2014. Houve queda de 61% dos custos com a unidade de terapia intensiva (UTI) neonatal, comparando os anos de 2012 e 2013. A taxa de admissão em UTI neonatal acompanhou a redução dos custos e foi de 55%, se comparados os anos de 2012 a 2014, entre as gestantes da UNIMED. Não houve o alcance da meta de 80% de participação das gestantes nos cursos de preparação para o nascimento. A porcentagem de gestantes satisfeitas e muito satisfeitas com a assistência ao parto atingiu 86%.CONCLUSÃO: Este projeto atingiu seus objetivos, reduzindo o percentual de cesarianas entre as gestantes da UNIMED Jaboticabal, e constituiu-se em um exemplo concreto da realização do triplo objetivo em saúde: melhorar a experiência dos envolvidos e os resultados de saúde de populações e indivíduos e realizar estas duas tarefas com menor custo, eliminando desperdícios assistenciais.

Pró-vitaminas A em hortaliças comercializadas no mercado formal e informal de Viçosa (MG), em três estações do ano

Para fornecer dados sobre a influência climática e a forma de comercialização sobre carotenóides de vegetais, este estudo pesquisou o conteúdo de alfa e beta-caroteno e o valor de vitamina A de sete hortaliças (batata-doce, cenoura, moranga, pimentão, quiabo, tomate e vagem), na cidade de Viçosa (MG), utilizando a Cromatografia Líquida de Alta Eficiência. Compararam-se hortaliças comercializadas nos mercados formal (mercados locais) e informal (feira livre) durante primavera, verão e outono. A cenoura apresentou os teores mais elevados de alfa e beta-caroteno (31,17 e 58,18 µg/g, respectivamente), seguida pela moranga (4,33 e 23,16 µg/g, respectivamente), enquanto a batata-doce apresentou o teor mais reduzido de beta-caroteno (0,51 µg/g). O valor de vitamina A variou conforme o perfil de alfa e beta-caroteno. Com exceção da cenoura e do quiabo, não houve influência significativa do local de comercialização sobre o conteúdo de carotenóides. A variação do conteúdo de carotenos nas estações do ano foi inexpressiva, sendo que apenas o pimentão apresentou valores significativamente diferentes. Porções de 100 g das hortaliças analisadas fornecem entre 3 e 78% da recomendação de vitamina A.

Potential applications of nanotechnology in the agro-food sector

Nanoscience and nanotechnology are new frontiers of this century. Their application to the agriculture and food sectors is relatively recent compared with their use in drug delivery and pharmaceuticals. Smart delivery of nutrients, bioseparation of proteins, rapid sampling of biological and chemical contaminants, and nanoencapsulation of nutraceuticals are some of the emerging topics of nanotechnology for food and agriculture. In this review, some applications of nanotechnology in agro-food sector are discussed.

Profile of establishments in the supermarket sector with respect to good practices in the city of Santa Maria (RS), Brazil

The objective of this study was to verify the compliance of the supermarket sector with respect to the Good Practice Program standards of the city of Santa Maria (RS), Brazil. Sixty nine establishments were verified using a checklist of good practices for the supermarket sector in Santa Maria, RS (Brazil), from April to July 2011. The data were collected by a food safety and quality professional using this checklist. The results showed that the overall adequacy of the establishments surveyed was 29.07%. The highest percentage of compliance was found for storage at ambient temperature (64.13%). The lowest compliance percentage was also found in different sections and areas in the supermarkets such as bakery and confectionery (14.93%), water supply (18.30%), food handling (21.01%), sausage and cold meat (or deli meat) (36.38%), and documentation-related items (4.97%). None of the supermarkets evaluated had the necessary documentation for the implementation of good practices. The results of this study show the importance of effectively implementing a good practice program and quality systems by raising awareness among technicians and professionals of the importance of quality programs used in food companies and the need for more thorough inspection delivered by competent authorities to ensure food safety for consumers.

Informalidade no mercado de trabalho brasileiro: uma resenha da literatura

The economic literature relative to Brazilian labor market informality is very disperse and presents a significant lack of organization. In that sense, the purpose of this paper is to organize and discuss on a systematic way the main pieces of literature concerning informality in the Brazilian labor market using, whenever it is possible, the international literature as a comparison point for the existing results relative to Brazil's experience. More specifically, questions related to wage differentials between formal and informal workers, labor market segmentation and the effect of institutions on the informal sector are emphasized.

Trabalho infantil e o status ocupacional dos pais

Child labor and the parents' status of employment. The objective of this paper is to verify the hypothesis of the effect of the status of employment of the head of the family on the occurrence of child labor, as well as to analyze other characteristics which can influence such behavior. A probit model was used to realize the statistical tests. The results ratify the hypothesis proposed that the families whose head works as an independent worker show higher probability for the occurrence of child labor than those whose head works as a formal salaried worker. Among other results, it must be highlighted, making simulations, that increasing parents' schooling is more efficient than augmenting income to reduce the use of child labor. These results endorse the proposition that the status of employment should be used, complementing the criteria of income per capita, to select families in the cash transfers programmes or others to eradicate child labor.

Aprendizagem e Comunicação em Bateson: A exigência de uma epistemologia Formal e Complexa

RESUMO: Para Bateson, a mudança social radicaria numa mudança epistemológica profunda que incidisse sobretudo na educação e na comunicação (onde incluía a sua teorização psicológica). Essa revolução paradigmática, baseada na lógica formal de Whitehead e Russell, evitaria discursos ditos científicos destituídos de rigor. Aqui, analisamos hermeneuticamente o seu pensamento, salientando os limites que a lógica formal encontra nas experiências éticas, religiosas e estéticas. Sem essa revolução, encontramo-nos condenados à estagnação intelectual, pois formamos cidadãos sem capacidade de aprender a aprender, que possibilitaria a capacidade de produzir abduções, inferência lógica tão necessária na produção do raciocínio humano; o seu desenvolvimento garantiria a capacidade de pensar/construir complexamente o mundo, interligando os saberes; poucos são também aqueles que explicitam e argumentam a favor das suas crenças, base axiomática da capacidade abdutiva. A organização social (via sistema educativo, formal e não formal) se constrói com sujeitos que raramente possuem mentes bem estruturadas, favorecedoras de passagem de patamares de aprendizagem para outros superiores. Antes se estimula a confusão de tipos lógicos, tomando o todo pela parte, por exemplo. Bateson critica também o sistema de avaliação quantitativo, diminuindo a possibilidade de formação do pensamento abstrato e formal, como a filosofia e a matemática exigem.