Mestres e aprendiz: perambulando por ilhas de resistência

Monoculture of mind This idea, presented by Vandana Shiva, reflects the phase that we have experienced in the world: a notion of civilization that, since many decades, characterized by a technocratic big trend, has been shown as dominant and hegemonic. Based on a thinking and acting, felling and whishing standardization, this wave ends implying in what can be called of humanity‟s crisis at civilizational process. Destruction of simpler and more harmonious lifestyles with nature, human relations increasingly distant, values embrittlement, as respect, goodness and love, are some consequences of that behavioral homogenization. In the other hand, appears an archipelago of cultural and cognitive resistance against this devastating wave. Edgar Morin and Ceiça Almeida refer to this archipelago as a South Thought , what is not just a geographic question. Report, therefore, to some places, peoples, island that keep ancient costumes and knowledge, orally transmitted, for instance, from elders to younger, or vice versa, in an almost constant flow. Particular ways of experiencing the world around themselves, the men, animals, plants, rocks, or even not alive beings, masters or enchanted, spiritual guides. Next to a logic of sensitive, as Claude Levi-Strauss proposes, this reading, which is a more attentive, observer and wiser posture of surroundings, is based on touching, smelling, eating, seeing, and, I would add, felling. In light of this, I try to expatiate about certain experiences that I had the pleasure of living in some of these islands of resistance. Talks, perceptions, observations, sensations Stories, prose, poetries, music, photos, graphics Whatever could serve to portray even a bit of the reflections and forms to understand (ourselves) and produce knowledge, such as from a formation/Education to life, was well used at this ethnographic work. Space to the subjectivity and emotions I had, have, and will have a lot Everything for the dear reader may fell traveling around the world of tradition, resistance

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

O ecoturismo sob a égide da sociedade do consumo: um estudo das Unidades de Conservação de uso sustentável do RN

Ecotourism, in face to environmental demands and discussions, has achieved prominence in the tourism market and wide global development, occasioning a concern about the need for a scientific deepening through a critical approach of the dynamics of consumption and conservation that permeate this practice. This study addresses the ecotourism under aegis of consumer society, in which is perceived that it constitutes a contester practice of society in which it is embedded, nevertheless has been subjected to the logic of capital through commodification of nature. In order to comprehend the reality presented, this study had as geographical cutting two Conservation Units of Sustainable Use in Rio Grande do Norte state: the Jenipabu Environmental Protection Area (APAJ) and Ponta do Tubarão State Sustainable Development Reserve (RDSEPT). The research sought to investigate the relationship between conservation and consumption and their influences on ecotourism held in the Conservation Units (UCs) of sustainable use selected for this study. To this aim it was made a critical reflection about the relationship conservation versus consumption constant in the practice of ecotourism in UCs in the context of current society, analyzing the historical process of formation of UCs of sustainable use in RN state under the light of the contradictory pair conservation-consumption, as well as looking to apprehend the perception of ecotourism of the actors involved with this practice. It was adopted a qualitative approach under a critical perspective based on bibliographical and documentary research and realization of semi-structured interviews with three groups of actors, namely managers/technician, community and ectourists involved with ecotourism in the selected UCs. The analysis was made using two basic units of analysis (consumption and maintenance) and twelve categories. For definition of units of analysis and categories were taken as reference the authors Santos (1987; 1988; 1994; 2001; 2006), Guerreiro Ramos (1989) and A. B. Rodrigues (1996; 2003), which perform critical to society of consumption and describe the key characteristics of the technical-scientific-informational predominant means, and Diegues (1998; 2000), A. B. Rodrigues (2001), Pires (2002) and Neiman and Rabinovici (2010), which discusse historic and scientifically about the emphasis on conservation present in origins and discourse of ecotourism, describing also its founding characteristics. The main results show that the marketing use of the prefix eco has acted as a new dress for what in reality is in fact ancient, ie, the conservation is used as a justification for another new type of consumption. The results also show that despite the coexistence of commercial and symbolic intentions in both UCs, one can observe the predominance consumer society characteristics in the process of creation and the production activities of APAJ, while in RDSEPT we note the predominance of the conservationist characteristics proclaimed by ecotourism. It can be inferred therefore that tourism held in the APAJ can not be called ecotourism, while the practice found in RDSEPT show an alignment with the guidelines of ecotourism