On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

What is a Fuzzy Bi-implication?

In order to make this document self-contained, we first present all the necessary theory as a background. Then we study several definitions that extended the classic bi-implication in to the domain of well stablished fuzzy logics, namely, into the [0; 1] interval. Those approaches of the fuzzy bi-implication can be summarized as follows: two axiomatized definitions, which we proved that represent the same class of functions, four defining standard (two of them proposed by us), which varied by the number of different compound operators and what restrictions they had to satisfy. We proved that those defining standard represent only two classes of functions, having one as a proper subclass of the other, yet being both a subclass of the class represented by the axiomatized definitions. Since those three clases satisfy some contraints that we judge unnecessary, we proposed a new defining standard free of those restrictions and that represents a class of functions that intersects with the class represented by the axiomatized definitions. By this dissertation we are aiming to settle the groundwork for future research on this operator.

On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems

Atualmente, há diferentes definições de implicações fuzzy aceitas na literatura. Do ponto de vista teórico, esta falta de consenso demonstra que há discordâncias sobre o real significado de "implicação lógica" nos contextos Booleano e fuzzy. Do ponto de vista prático, isso gera dúvidas a respeito de quais "operadores de implicação" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acurácia e menos apropriados aos seus domínios de aplicação. Uma forma de contornar esta situação e conhecer melhor os conectivos lógicos fuzzy. Para isso se faz necessário saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implicação fuzzy e corroborar com a implementação de SBRF's mais apropriados, várias leis Booleanas têm sido generalizadas e estudadas como equações ou inequações nas lógicas fuzzy. Tais generalizações são chamadas de leis Boolean-like e elas não são comumente válidas em qualquer semântica fuzzy. Neste cenário, esta dissertação apresenta uma investigação sobre as condições suficientes e necessárias nas quais três leis Booleanlike like — y ≤ I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) — se mantém válidas no contexto fuzzy, considerando seis classes de implicações fuzzy e implicações geradas por automorfismos. Além disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extensão para os mesmos

The Interval Constructor on classes of ML-algebras

Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On the other hand, in order to deal with imprecision in the computational representation of real numbers, the use of intervals have been proposed, as it can guarantee that the results of numerical computation are in a bounded interval, controlling, in this way, the numerical errors produced by successive roundings. There are several ways to connect both areas; the most usual one is to consider interval membership degrees. The algebraic counterpart of ML is ML-algebra, an interesting structure due to the fact that by adding some properties it is possible to reach different classes of residuated lattices. We propose to apply an interval constructor to ML-algebras and some of their subclasses, to verify some properties within these algebras, in addition to the analysis of the algebraic aspects of them

Gestão híbrida em cooperativa de crédito: uma análise a partir do interesse, participação, satisfação e expectativa dos cooperados da COOPERUFPA

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

O Ofício das Rezadeiras: um estudo antropológico sobre as práticas terapêuticas e a comunhão de crenças em Cruzeta/RN

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"

Interface cena e tecnologia : composições cênicas mediadas

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

Proteja e proteje sua carreira: revista você S/A e o mercado de discursos administrativos

The present work aims at investigating the role of Você S/A magazine within the área of administrative discourses. The idea is to investigate the constituting variances in such market, presenting its working logics and its historical pathway that promoted its structure as we nowadays know. Furthermore, thought must be put into considering how the constituting agents of this market legitimize such practice. The understanding of this whole context will allow the explanation of the role of Você S/A magazine in this market and how the magazine is related to other area agents. The work is justified by casting light over a phenomena much neglected by the academy, which is the business press and the dissemination of social stock of knowledge developed from the new administrative discourses. The methodology used was the content analysis on published articles by the magazine, being preceded by the historical backtracking of the structuring of the investigated market. The research took into consideration the following results: the business press, in general, and the Você S/A in particular, presented themselves to be just one more tool for readers to increase their social stock of knowledge, as to be inserted into contemporary organizations. An enormous public arena in which the people interested in the diffusion of certain managing packages may spread such practices and earn economic capital with them

Medo e violência na cidade: imagens, discursos e sociabilidade nas praças de João Pessoa - PB

The present work analyses and discusses the sociability in the culture of contemporary cities focusing on the theme of fear and violence in the daily life of squares in the city of João Pessoa-PB. We analyse the relations between places in town and make correlations of history and setting of neighborhoods with the process of urban growth, including recent interventions of public authorities in their public spaces. We observed in this dynamics social attitudes and actions that range from a desired peaceful coexistence to social exclusion. Thus, we discuss, based upon the imaginary vision, that the squares exist as a locus of equality, citizenship and political, and, also, as a space for everyone, despite the existence of symbolic forces working towards segregation and privatization, ruled in fear and violence. We aimed to investigate the different symbolic logics from the issue of fear and violence that allows the exclusion and the inclusion of groups and individuals in the quotidian use of public spaces of contemporary cities. We believe that the social action is demarcated by violence ant its corollary, the social fear, and operates based on the logic of a relational game always confrontational but experienced in different forms according to the social segment or group under study. We used a qualitative and quantitative methodology relating data and statistical analysis with categories created for the understanding of subjective factors. Our analyses combined ethnographic elements, periodics research and images of the city and its spaces, with the contribution of a survey that allowed comparisions of five squares of neighborhood based on the daily life under investigation. Our proposal was to deepen the investigations related to the public space of contemporary cities, expanding the look on João Pessoa and its cultural dynamics with an analysis of discourses, images, the collective imaginary and the social appropriation of the spaces based on fear and violence. The research accomplished in different areas and the analysis of images and speeches published in newspapers reports, books, advertising etc. allowed the approach of differentiated patterns of sociability in the same urban process. The neighborhoods in study are indeed spatially and economically distanced and the process of creation and construction of squares occurred in very different ways in the respective location. We defend the thesis that neighborhood community squares provide reinvigorated spaces and public spheres in the urban process and in the dynamics of sociability in the cities. These squares are also social spaces par excellence for the perception of the logic of individualism and segregation so marked by fear and violence in contemporary cities

As relações de poder na gestão da Escola Estadual Presidente Kennedy em Natal/RN: as ações decisórias dos órgãos colegiados - o conselho de escola e o caixa escolar

The present study examined the relations of power in the management of the Escola Estadual Presidente Kennedy, including the deliberate decisions on the School Council and School Fund, which guided the organization of the school. We sought to understand the management models that influenced the school organization, promoting contradictions in the decision making process. The school management is intensely marked by management models from the business logics as in the case of managerialism of bureaucracy. The formulation of educational policies based on managerialism has proposed a school-centered management with intense accountability of the school community in planning and monitoring the public services. The influences of these models subsidize hierarchical power relations that undermine the actions of decision-making of the collegiate bodies for the democratization of school management. To develop a research on the power, the investigation was based on studies of Bourdieu and Foucault. These authors understand the power in a relational system in a double sense, both in terms of discipline and the possibility of resistance. A theoreticalmethodological matrix was developed focusing on literature review, document analysis, structured interviews with twelve representatives of the segments belonging to the School Council and School Fund, as well as observations in meetings with the production of field notes. It was found that power relations experienced in the organization and activities of the school boards are marked by changes in public management over the years, promoting the contradictions between the concepts of corporate management originated in the business logics and the perspective of democratic management subsidized by official legislative documents at the national and state levels. The observations in meetings and analysis of the records showed that representatives related to management (president and manager of the school) have a privileged position with regard to exposure of their propositions, and are more likely to take a position in the political game of the collegiate bodies of work. It was also seen that the irregularity of meetings, particularly of the School Fund meetings, limits the experience of operation of the representatives in discussions concerning the planning and monitoring the actions of school management. Reports from representatives of the School Council showed that certain segments related to the management recognize their power of decision, however others have little interfere in the decision-making process in order to expound the desires of those who are represented by them. In the School Fund, the analysis of the records and interviews showed restricted moments of the meeting of representatives, and these only being aimed at choice or approval of the implementation plan prepared by the school management. The results showed no indications of moments of reflection to study the best chance for applicability of resources. This collegiate body (School Fund) has a questionable action when planning and monitoring the applicability of the financial resources of the School. To sum up, it was found that the Escola Estadual Presidente Kennedy still lives hierarchical power relations that undermine the institutionalization of democratic management in the various representative segments may take place in the game of political decision-making processes necessary for the organization of the school

A mídia dos outros somos nós: a experiência audiovisual do Ponto de Cultura Cinema para Todos

This research aims to identify the process of appropriation of audio visual (in digital video) for collective symbolic production (participatory video practice that expresses popular culture) in a socio-cultural context where the minorities are. Therefore, we based this study on the students‟ experience of the film and video workshops held by Cinema para Todos (Culture Point Cine for All), in Natal, RN. Culture Point is the basis of the project Programa Nacional de Cultura, Educação e Cidadania Cultura Viva (National Program of Culture, Education and Citizenship - Living Culture) of the Brazilian Ministry of Culture. In 2010, the Cine for All developed three film and video workshops in the state of Rio Grande do Norte (Northeastern of Brazil), in the municipalities of Açu, Lajes and São Gonçalo do Amarante, within a public policy project of socio-cultural inclusion. These three workshops are the focus of this empirical investigation. To support the analysis of this research we consider that the spaces of workshops are sites of the social practices origin, assuming they show the development of the changes of actions that generate new practices. In this socio-cultural context the students as interlocutors process the communicative culture mediation, where come from the logics of action (using digital video) to become a mediatic practice (video auto ethnographic). With the overall goal set and the field of investigative action delimited we considered the methodology of case study suitable for the observation of the object, because it is a phenomenon of modernity, occurring in a context of real life and with little or no control over events. Participant observation and interviews was also applied to this case study. The analytical theoretical support comes from the notion of mediation by Jesús Martín-Barbero and the concept of habitus by Pierre Bourdieu. The research found that a new way of communicating has been developing by this social group, and this reflects the technological change experienced by them. The auto ethnographic videos, short movies, reveal an allegorical trial of the mainstream media, because while they use the mainstream format, they rework the aesthetic, but without revising the history, in fact they proposing to retell the history of themselves full of colorful details and with richness of their forgotten popular culture.

Razão: origem, crise e respostas contemporâneas

The philosophical discussion has been present throughout the whole history of reason, for philosophy and reason have been always closely linked. In the following work, Reason, origin, crises and contemporary answers I go into the history of the rational and demonstrative thought, focusing on how rationality can be thought about in contemporary philosophy. To answer this question I discuss the principle of philosophy, the mythical period and the thoughts of Heraclito , Parmenides , Plato and Aristotle in relation to reason and rationality. Also discussed is the medieval period and the philosophical use of logic and the criticism of Aristotle s thoughts, especially focusing on the criticism of Hegel and Luckasiewicz of the non contradiction principle. Lastly I discuss the development of reason in present day philosophy, mainly how modern logics could be putting at stake Aristotle s model of reason

Os profissionais de saúde diante da violência :mapeando o processo de implantaçãoda notificação na rede básica de saúde em Natal/RN

Violence is a complex and multifarious phenomenon that has convoked the government to think about strategies to face the question. This work is about one of these strategies proposed by brazilian Health Minister: the Individual notification/investigation Card - Domestic Violence, Sexual and/or others Interpersonal Violences . This instrument is a notification protocol which is been implanted in all of the country. This process is in course in Natal/RN. This work is a report of one research realized in five units of basic health care network of Natal/RN concerning this process about the implementation of the violence notification card. The study aims to cartography all the process of card implantation, discussing the used strategies, the drawn course, difficulties and possibilities as well as how the researcher intended to map subjective process involved at health professional acting at violence case and the propose to use the card. Meetings were held at each unit and a daily fieldwork report was used as research instrument. In this investigation it was observed that notifying violence involves a complexity that is not present in other kinds of notification as consequence of the phenomenon characteristic and health workers are invited to act in different perspective that knowledge and instruments of traditional health fieldwork available does not work. It was observed that the notification card, as a possible instrument of intervention, are considered important detectors from process of work at health basic care and health policies. Depending the way the instrument is used, it may incentive different discussions and manners to offer health care or in other way it can reproduce control and vigilance logics. Consequently it is necessary to consider some factors pointed out at this experience, implanting instruments like this, thinking about these limits and possibilities

Adolescentes e jovens e suas bases de apoio :relações de amizade como suporte social no enfrentamento à violência

The purpose of this work is to map the family and community social supports for adolescents and young students from Bom Pastor Distric, West Zone of Natal/RN, as well as to describe how such resources are used by these individuaIs in that community. Social support refers not only to formal activities or organizations, but also to spontaneous or informal forms of support - friendship and solidarity nets available in the community, affective relations that are meaningful in the lives of children and young people. Our discussion is based on a research performed with 382 adolescents and young students from Jean Mermoz Public School (students from 5th to 11th grades, aged 13 to 14). We emphasized the situations of violence derived from family or community spheres faced by these students. In relation to this specific aspect, we observed the participants more frequently look for help from the informal social supports, mostly from their friends, which indicates that the formal ones are not considered to be effective instruments for social assistance. The search for informal social supports shows the relations informally established in the streets (for instance when they look for help from friends, rei atives or neighbors) have more effect and play an important role in which there are values and affections exchange. Thinking the strengthening of these social links is of extreme importance and leads to the weakening of the hegemonic logics focused on the production of subjects as private identities, and to the amplification of an ethics committed to the disassembly of a sociability anchored to fear, impotence, intolerance, discrimination, and reduction of spaces for circulating and confronting mechanisms of social exclusion. It is crucial that we concentrate our attention to building friendship as a system of reciprocity and affective exchanges, as a space for political actions and production of forms of lives that are potent against social anesthesia

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]