808 resultados para Modal Logics. Paranormal Logics. Fuzzy Logics


Relevância:

30.00% 30.00%

Publicador:

Resumo:

The present Master´s dissertation aims to study the practices of the rezadeiras, Brazilian women healers, through an anthropological perspective. Special attention will be given to the understanding of these practices as a dynamic process in relation to those women who heal in Cruzeta (Seridó, Rio Grande do Norte), where is located our ethnographic research. For this research, twenty four rezadeiras were contacted and colaborated with our work plan. Among them, two were pentecostal rezadeiras and another one was member of the Jurema cult, an afro-brazilian religious cult. Similarities among these women healers were perceived in the research process, mostly in terms of their learning process and the use of certain objects and ritual techniques. However, apparent differences among them gave us the chance for understanding and reflecting on the actual heterogeneity of this world of specialists. Furthermore, i tried to capture the relations between the rezadeiras and the therapeutic practices from health professionals or the religious practices of religious leaders (Catholic, pentecostal, etc). It is possible to ascertain about the complementarity between therapeutic practices from different cultural logics. This complementarity is also perceived through the religious interchanges and transits among different healers, including those who have different religious beliefs. In this work, rituals are also described and they are a crucial factor to the understanding of this particular religious and therapeutic practice conducted by women. Following these ideas, our basic aim is to understand how the rezadeiras make interpretations about health and illness, specially those ones which are particular associated with their practices, the so called "doenças de rezadeiras"

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Se analizan las identidades latinoamericanas desde un enfoque de las clases y de la lucha de clases, situándose más allá de la bipolaridad clásica burguesía-proletariado y se incorporan una visión heterogénea de las clases sociales. En este debate se articulan dos lógicas elementales: la de la explotación y la de la opresión /dominación que, al vincular los fundamentos de clase con los étnicos, dan un perfil y una resiliencia de lucha particular al continente, que quizás no ocurre en otra región del mundo. La tesis sustentada es que la lucha de clases continúa, mediante movimientos sociales que luchan por diversas reivindicaciones y que asumen el papel de “nuevo sujeto histórico con pretensiones de toma del poder, como en el caso de Bolivia. Abstract The article analyzes the Latin America identities from the class and class struggle approach placing them beyond the classic bipolarity “bourgeoisie-proletariat” and incorporates a heterogeneous vision of the social classes. This debate articulates two elementary logics; the logic of exploitation and the logic of oppression-domination that by linking the fundaments of class with the ethnic give a particular profile and a particular strength fight to the continent that might not be present in other regions of the world. The idea that the article defends and proposes is that the class struggle continues through social movements that fight for several grievances and these movements assume the role of the “new historical subject” who tends to take power as it is the case in Bolivia.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Certain environments can inhibit learning and stifle enthusiasm, while others enhance learning or stimulate curiosity. Furthermore, in a world where technological change is accelerating we could ask how might architecture connect resource abundant and resource scarce innovation environments? Innovation environments developed out of necessity within urban villages and those developed with high intention and expectation within more institutionalized settings share a framework of opportunity for addressing change through learning and education. This thesis investigates formal and informal learning environments and how architecture can stimulate curiosity, enrich learning, create common ground, and expand access to education. The reason for this thesis exploration is to better understand how architects might design inclusive environments that bring people together to build sustainable infrastructure encouraging innovation and adaptation to change for years to come. The context of this thesis is largely based on Colin McFarlane’s theory that the “city is an assemblage for learning” The socio-spatial perspective in urbanism, considers how built infrastructure and society interact. Through the urban realm, inhabitants learn to negotiate people, space, politics, and resources affecting their daily lives. The city is therefore a dynamic field of emergent possibility. This thesis uses the city as a lens through which the boundaries between informal and formal logics as well as the public and private might be blurred. Through analytical processes I have examined the environmental devices and assemblage of factors that consistently provide conditions through which learning may thrive. These parameters that make a creative space significant can help suggest the design of common ground environments through which innovation is catalyzed.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Acompanha: A diferença está no saber agir: conheça!: educação inclusiva: dos documentos legais à realidade escolar

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper reports an investigation into the link between failed proofs and non-theorems. It seeks to answer the question of whether anything more can be learned from a failed proof attempt than can be discovered from a counter-example. We suggest that the branch of the proof in which failure occurs can be mapped back to the segments of code that are the culprit, helping to locate the error. This process of tracing provides finer grained isolation of the offending code fragments than is possible from the inspection of counter-examples. We also discuss ideas for how such a process could be automated.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Proof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through. We consider the proof of the $quot;whisky problem$quot;, a challenge problem from the domain of temporal logic. The proof requires a generalisation of the original conjecture and we examine two proof critics which can be used to create this generalisation. Using these critics we believe we have produced the first automatic proofs of this challenge problem. We use this example to motivate a comparison of the two critics and propose that there is a place for specialist critics as well as powerful general critics. In particular we advocate the development of critics that do not use meta-variables.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for guiding rewriting steps in induction that has been used successfully in proof planning inductive proofs using first order representations. Ordinal arithmetic provides a natural set of higher order examples on which transfinite induction may be attempted using rippling. Previously Boyer-Moore style automation could not be applied to such domains. We demonstrate that a higher-order extension of the rippling heuristic is sufficient to plan such proofs automatically. Accordingly, ordinal arithmetic has been implemented in lambda-clam, a higher order proof planning system for induction, and standard undergraduate text book problems have been successfully planned. We show the synthesis of a fixpoint for normal ordinal functions which demonstrates how our automation could be extended to produce more interesting results than the textbook examples tried so far.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL. The decision procedure also returns counterexamples and a framework has been devised for handling counterexamples in a HOL setting.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Based on the presupposition that the arts in the West always counted on resources, supports, and devices pertaining to its time context, an reflection is intended regarding the scenic compositions mediated by digital technologies do. Such technologies are inserted in the daily routine, also composing artistic experiments, thus playing a dialogical role with the art/technology intersection. Therefore, the proposal is to investigate what relationships are established in the contemporary theatrical scene from the contagion by digital technologies, aiming at establishing this parallel through a dialogue with the authors discussing the subject, and also based on the group practices having technological resources as a determinant factor in their plays. Furthermore, a reflection should be made on the scene that incorporates or is carried out in intermediatic events, analyzing how digital technologies (re)configure compositional processes of the plays by GAG Phila7, in the city of São Paulo/SP. For such, the dissertation is organized in three sections comprising four moments, to wit: brief overview of the field, contextualization, poetic analysis and synthesis. Qualitative methods are used as the methodological proposal: semi-structure interview, note and document taking (program, website, playing book, disclosure material for advertising text, photographs, and videos). Within the universe of qualitative research, it works with the epistemological perspective of the Gadamer philosophical hermeneutics. The possibilities allowed by the double virtual (Internet/web) generated a type of theater with another material basis and new forms of organization and structure, being possible to perceive that such technological advances and the arts are mutually contaminated, generating a dislocation in the logics of theatrical composition, movement beginning with the artistic vanguards, gradually intensified, thus offering new possibilities of constructions and hybridization of the of the most different possible types. Experiment ―Profanações_superfície de eventos de construção coletiva‖, idealized by Phila7 is inserted in this perspective. Object of the discussion of such research, the experiment works with possible poetics arising from the intersection with the digital technologies, aiming at identifying and problematizing the challenges from the technological evolution and expansion in a scenic context

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

There is no definition of orphans that would allow to know without confusion who is an orphan child. This article analyses the challenges and difficulties in defining and targeting the social category of orphans. It is based on a number of works, as well as the field research on the social actor's logics regarding the family support to orphans among the Mossi people in Ouagadougou (Burkina Faso), for my Ph.D. in sociology at Laval University (Canada). In fact, international charity organisations use orphans as a vulnerable and universal category. This has been done through the propagation of information on HIV. From the social sciences perspective, the category of orphans covers a variety of realities, and making the choice to see it otherwise would hide the diversity of those realities.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O presente estudo pretende avaliar as lógicas de gestão do tempo no contexto da organização do trabalho dos Técnicos de Radiologia num serviço de urgência hospitalar, procurando desta forma contribuir para a elaboração de novas propostas orientadoras ou guidelines relativas aos procedimentos em Radiologia convencional na urgência hospitalar. O desenho metodológico adoptado consistiu na observação directa do processo de execução do exame radiológico convencional, em contexto de urgência e em diferentes etapas. Estes dados foram relacionados com a existência ou não dos critérios técnicos padronizados de realização do exame. A recolha dos dados efectiva decorreu entre 4 e 11 maio de 2008, no Centro Hospitalar de Lisboa - Zona Central, no serviço de Radiologia da Urgência. Através da análise dos dados, constatou-se que: a) o grau de mobilidade do utente não influencia de uma forma directa nem o tempo de realização do mesmo nem a qualidade da imagem final; b) a qualidade da imagem final relaciona-se de forma inversa com o tempo total do exame e com os anos de experiência do Técnico de Radiologia; c) a maior percentagem de tempo total de atendimento do utente concentra­ se em funções administrativas e de preparação para o exame. ABSTRACT: The current study intends to evaluate the logics of time’s management in the context of the organization of Radiographers' Professionals in a service of hospital urgency, trying to find a way how to contribute for the elaboration of new relative orienting proposals or guidelines regarding Conventional Radiology's procedures in the hospital urgency. The methodological drawing chosen was based on direct observation of the execution proceeding of the conventional radiological examination, in urgency context and in different stages. These data had been related with the existence or not of the standardized criteria technician of the examination's accomplishment. The data have been collected between 4th and 11th May of 2008 in the Hospital Centre of Lisbon - Central Zone, in the service of Urgency Radiology. Through the analysis of the data, we realize that: a) the usuary's mobility degree do not influence directly the time of execution neither the quality of the final image; b) the quality of the final image relates in an inverse way with the total time of the examination and with the Radiographers' Professional years of experience; c) the biggest percentage of total time concerning usuary's attendance focus in administrative functions and for the examination's preparation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The globalization of markets has confirmed for the processes of change in organizations both in structure and in management. This dynamic was also observed in credit unions because they are financial institutions and are under the rules of the Brazil´s Financial System. Given the context of organizational changes in the financial capital has played the traditional management reform is urgent. In organizations credit unions, given its dual purpose, because in the same organizational environment and capitalism coexist cooperative whose logics are antagonistic, but can live through the balance between instrumental rationality and substantive rationality in credit unions. Based on this concept a new form of management should be thought to be able to accommodate the demand of cooperative, community, government and the market. Hybridization has been observed in management practices` COOPERUFPA into dimensions financial, social and solidarity participation with a trend in paradigmatic form of hybrid management, in that it directly or indirectly affect the management decisions in the credit union. The hybrid management is a trend that has been setting the basis for societal transformation, so that credit unions promote actions of welfare oriented cooperative members and the community around the same time that attend the dynamics of market globalization. These actions, in the context of hybrid management should be implemented by COOPERUFPA from the sociability of the remains and the wide diffusion of solidarity culture between cooperative partnership as a way to recover their participation in trade relations, financial and the social collective developement. For the members of COOPERUFPA financial interest is evidenced in greater relevance for the social interest given its dominant relationship as "mere customer" of the credit union, however, the proactive participation of the life of the cooperative credit union is one of its expectative among of participation of to share power in decisions by general meetings. This passivity`s cooperator of the COOPERUFPA in defending the ideals overshadowed the spread of cooperative principles and values of cooperation among them. Thus his conception for COOPERUFPA in the financial dimension, social and solidarity democracy, performed transversely. The COOPERUFPA for not developing an education policy for the cooperation among its members, contributed to a process of collective alienation of cooperative ideals, since the cooperative do not understand the reality that surrounds them as members of an organization whose mission is to social and financial sustainability of its members

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Bodies On the Line: Violence, Disposable Subjects, and the Border Industrial Complex explores the construction of identity and notions of belonging within an increasingly privatized and militarized Border Industrial Complex. Specifically, the project interrogates how discourses of Mexican migrants as racialized, gendered, and hypersexualized “deviants” normalize violence against border crossers. Starting at Juárez/El Paso border, I follow the expanding border, interrogating the ways that Mexican migrants, regardless of sexual orientation, have been constructed and disciplined according to racialized notions of “sexual deviance." I engage a queer of color critique to argue that sexual deviance becomes a justification for targeting and containing migrant subjects. By focusing on the economic and racially motivated violence that the Border Industrial Complex does to Mexican migrant communities, I expand the critiques that feminists of color have long leveraged against systemic violence done to communities of color through the prison industrial system. Importantly, this project contributes to transnational feminist scholarship by contextualizing border violence within the global circuits of labor, capital, and ideology that shape perceptions of border insecurity. The project contributes an interdisciplinary perspective that uses a multi-method approach to understand how border violence is exercised against Mexicans at the Mexico-US border. I use archival methods to ask how historical records housed at the National Border Patrol Museum and Memorial Library serve as political instruments that reinforce the contemporary use of violence against Mexican migrants. I also use semi-structured interviews with nine frequent border crossers to consider the various ways crossers defined and aligned themselves at the border. Finally, I analyze the master narratives that come to surround specific cases of border violence. To that end, I consider the mainstream media’s coverage, legal proceedings, and policy to better understand the racialized, gendered, and sexualized logics of the violence.