15 resultados para Psychology of logic
em Universidade Federal do Rio Grande do Norte(UFRN)
Resumo:
It is noticeable that pressure, tension and overwork are frequent in health professionals routine. The work related to the ward area demands deep attention and surveillance. Because of that, it is essential to have a specific look at the humanization directed at health professionals, considering that taking care of other human beings is the essence of their job. This study has analyzed the psychic health levels, as well as the stress health professionals are submitted to, providing a debate about the humanization in 06 public hospitals (03 of them awarded by actions of humanization, and 03 not awarded) in Rio Grande do Norte state, Brazil. A study with 126 active health professionals (doctors, nurses, psychologists, nutritionists and social workers) in ward areas in their respective institutions was carried out. The thesis presented, with multi-disciplinary characteristic, counted on the support of statisticians (to calculate samples and data analysis), psychologists, social workers and administrators (linked to the human resources sector in each hospital). A cross-sectional study was performed, taking into consideration both quantitative and qualitative factors. The tools used for that were a semistructured questionnaire with socio-demographic characteristics, work and humanization; Lipp's Stress Symptoms Inventory for Adults (ISSL), and the Goldberg s General Health Questionnaire (QSG). The workers are predominantly women (84,9%), married (54,8%), between 46 and 55 years old (40,5%), working in the same institution for more than 20 years (22,2%), and between 16 and 20 years (20,6%), respectively. They work 40 hours a week (71,4%) and have multiple jobs (61,9%). Although most of these individuals global psychic health is in a good level, there are a significant number of people that is gradually getting worse concerning psychic stress (F1) showed by QSG (54,7%), and stress showed by ISSL(42,1%). Observing the categories, nurses (41,5%). Nutritionists (20,8%), doctors and social workers (18,9%), were among the most affected. About general health (F6), 63% of the awarded hospitals and 70% of the not awarded ones, presented good health levels (ranging from 5 to 50%). It was also noticed that, in the groups mentioned above, 25 and 20% respectively, were inserted in scores between 55 to 90%, what means that they are in worsening phase. The fact that the hospital is awarded or well recognized doesn t interfere in health professionals stress level and in their psychic health. Through what was heard from these individuals, it was possible to verify that they know little about humanization, once few of them identify or know that the service they offer is in an adoption process by Ministerial Policies. It was also detected the necessity of developing actions aimed at worker s health. Such results showed the importance of have more investments in programs that are directed to workers well-being, because they deal with other people s health and it is known that it is difficult for them to offer high-quality assistance if there are not suitable physical, psychological and material conditions to help them develop their jobs. As a warning, it is fair to say that investments in actions that provide humanized care to health professionals, mainly concerning preventive care for their health and life quality in their work
Resumo:
This dissertation is a proposal for dialogue between Brazilian Social Thought, History of Portuguese America and the Analytical Psychology of C.G. Jung, highlighting the following archetypes: Anima, Animus, Shadow and Persona. Directing the study to the image of Indian women in this Brazilian interpretation of Casa-Grande & senzala by Gilberto Freyre, have largely centered on denial of the feminine image as a creative and positive in the minds of Brazilian culture, where a more specific analysis. We assume that your work has inspired several bridges over imaginary things in Brazil, including aspects relating to miscegenation, the study of foreign travelers, Jesuits and settlers / invaders of the sixteenth and seventeenth centuries the Portuguese disembarked in America and in this sense, the influence of his work as wasteful image through time and space of the Portuguese slave order. Above all, we intend to do a reading of Native women thought in his book
Resumo:
The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her
Resumo:
This work focalize the institutional and educational evaluation, aiming to investigate the Municipal System Institutional Evaluation Performance of Teresina City Piauí (2001-2005), and to reflect about Institutional System Performance and its contribution to compose a new learning evaluation practice. In this sense, classifies elements about the evaluation practice in two Elementary Education municipal public schools, involving Education Municipal Bureau technicians as managers, pedagogues, teachers and students. Based on the ethnographic studies principles in the educational area, the work employs investigative procedures like document analysis, interviews with groups and individuals and also participator s comments. Intending to comprehend the complexity produced by the institutional and education evaluation processes, the wok reveals the Institutional Evaluation legal and educational political basis and the several positions assumed by the Learning Evaluation, as a classification tool or as a learning enhancement. This work points, as results, to a evaluation culture bipolarity carried out by the Municipal Education System as a explicit control and regulation toll, related to the classification and learning in a interaction process that operates both in the pressure and the reflection, as a culture practice established between excellence of logic and learning. The evaluation history has been construct on the evaluation actions dialectics, joint simultaneously between the Institutional Evaluation Performance and the learning evaluation. The senses, meanings and actions bipolarity is a interaction process product sustained between the institutional evaluation, under the scholar ranking application, and the learning evaluation. In this relativity, the teacher evaluation practice is found, ruled by interesting, thoughts and actions on the school evaluation, allowing a higher security and support to the learning results. Grounded in the researched reality, its possible to say that the teacher s evaluation practice is diversified, with different characteristics, when it is done in the learning search and in the learning intention. In the first case, reflects, rearranges and constructs new actions that lead the student to produce learning. In the second, shows the will, the wish of learning, but is a weak action, producing a not really significant learning and development; as a result, remains the mark approach as a determinant in the student future. The work s hope is to contribute not just to rethink these two evaluations dimensions the institutional and the learning ones but also to organize the school and to improve the pedagogic process
Resumo:
The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics
Resumo:
This work aims to analyze the concept of "paradox" posed in the work of The Budget Paradox (1872) of mathematical and logical English Augustus De Morgan (1806-1871). Here it is important to note that a large part of this book consists of re-prints of a series of writings by the author in journal Athenaeum, where its performance as auditor of literature. The tests refer to some scientific work produced between the years 1489 and 1866 and the rules of selection for the composition of the work is, basically, the methodological aspects used in the completion or disclosed by such scholars. The concept of paradox is presented in two distinct moments. At first, we found a study of definitions for the term in a philosophical approach, characterizing it as something that requires further investigation; which was complemented with the classic examples of a scientific context. In the second, we present a concept advocated by De Morgan and, under this perspective, that he conceptualized the "paradox" is directly related to the non-usual methods employed in the formulation of new scientific theories. In this study some of these scientific concepts are detailed, where, through the redemption history, engaging in issues of our study Mathematics, Physics, of Logic, among others. Possession of the preliminary analysis and comparison with the design of De Morgan, it became possible to diagnose some limitations in the conceptualization suggested by the author. Further, evidenced, in front of the cases, the nonlinearity of the process of production of knowledge and hence the progress of science
Resumo:
This work presents a proposal for a voltage and frequency control system for a wind power induction generator. It has been developed na experimental structure composes basically by a three phase induction machine, a three phase capacitor and a reactive static Power compensator controlled by histeresys. lt has been developed control algorithms using conventional methods (Pl control) and linguistic methods (using concepts of logic and fuzzy control), to compare their performances in the variable speed generator system. The control loop was projected using the ADJDA PCL 818 model board into a Pentium 200 MHz compu ter. The induction generator mathematical model was studied throught Park transformation. It has been realized simulations in the Pspice@ software, to verify the system characteristics in transient and steady-state situations. The real time control program was developed in C language, possibilish verify the algorithm performance in the 2,2kW didatic experimental system
Resumo:
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
Resumo:
The main goal of this work is to clarify the central concepts involved in the study of formalization of conditional sentences. More specifically, it has been done a comparative analysis of the two greater and more traditional proposals of conditional formalization (Lewis 1973c e Adams 1975). These proposals were responsible for the creation of a way of analysis that still present in the current debate about this subject. This work pursues to explain the principal assumptions held within these proposals. According to certain disambiguation techniques from Bennett (2003) and Lycan (2005), this work tries to explicit how these assumptions connect to the aims sought by the initial approaches. The following results show that there is a not declared presumption, the definition of the object of study of these theories, i.e., the definition of conditional sentence. This work argues that despite of not explicitly declared the definition of the study object has a central role in the intelligibility of the debate itself
Resumo:
The present research aimed to analyze the presence of national scientific production in undergraduate studies in Psychology of Rio Grande do Norte. Therefore, the bibliographical references contained in education plan of subjects linked to the common center of the courses, which were taught in 2011 in three Psychology courses of the state, were focused. The analysis of the material was based on bibliographical and contextual aspects of the production, such as year, nationality, type of material, authorship (including the link of authors to PPGs), structuring axis of the subject in which it was mentioned, among others. The results showed that the national production is predominant in all courses, and they are, mostly, originated from PPGs of Psychology. Among these, the publications resulted from programs in Southwest, with emphasis to PUC-SP, are recent (mostly from 2000s) and they are predominantly composed by books (organizations and full texts). Regarding the distribution of Psychology PPGs production by the structuring axes, it is observed that it surpasses the foreign production only in axis C (procedures of scientific investigation and professional practice) and axis F (professional practices). Accordingly, it is concluded that Psychology production is found in graduation, sharing space with foreign publications and from other areas of knowledge. On the one hand, this is positive, by taking into account the importance of several foreign works and from other fields to build the knowledge in Psychology; on the other hand, it shows that the production from this area is inserted in graduation in a less significant way than its growth, which points out the existence of gaps in the development of some investigative domains from national Psychology
Resumo:
The Social Representation Theory provides subsidies to scientifically analyze what is called common sense, suggesting that thought be given credibility to the individual, from the assignment of logic to it. The Representations allow us to interpret, understand, explain and thus classify information, events and people. In this sense, this study aimed to analyze how social representations of the actors of the intinerant traders who operate in Ponta Negra/RN can be used as an element for tourism planning. To achieve the desired goals, we conducted a qualitative study, from a descriptive study, using methods of data collection the research literature, the technique of free association of words and the questionnaire, applied with 90 intinerant traders who work in Ponta Negra/RN beach. As tools of data analysis were used to analyze literature, and software EVOC and SPHINX. This research has revealed the predominance of people in itinerant male, between 18 and 28 years, with incomplete primary education, no contributors of Previdência Social and working seven days a week. The core elements of representations brings that explain that their knowledge is guided by collectively shared knowledge in the culture of tourism, which is seen as something that brings economics benefits (money) to the society, from the travel and entertainment. The plan represents the forward thinking, based on development plans that seek improvements and organization. The structure and operation of tourism planning in Natal/RN, there were no representation of intinerant traders. It is concluded that understanding the needs of itinerant traders provides grants to developing strategies for the development of tourism. This is achieved from its inclusion in tourism planning, since it enables tourism managers to understand how they are capturing, interpreting and acting on their next reality, since these representations are fundamental in forming opinions and the establishment of individual attitudes and collective. Thus, it is an important theory to be used to subsidize social research with individuals living reality and local needs, but which is the margin of decision-making processes of economic in the Brazil
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Resumo:
Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic
Resumo:
This work exposed desired to investigate the function of evolution of closed allotment, of market of the earth and of forms of extraction of the lace of earth, in the processes capitalist production of urban space in Nova Parnamirim, community of Parnamirim/RN. This tendentious urbanization were marked for an expressive increase of number of horizontal and vertical closed residences joint ownership concerning at social groups more privileged financial position. Go after, set off, a temporal investigation, based in the forms of appropriation of space in the middle intermediate by action of the several producers agent of capitalist capital. This way, make necessary understand the past of local structure earth, in order that to make possible analyze the beginning of the process. Not enough, appealed the publics institutions as immobile notary s office and secretary municipal for to collect the more important information, and in the field through of application of formulary together the population of ward, in order that of examine the motivation of residential establishment inside. Make this, confirmed that the actual spatial organization of ward of Nova Parnamirim started of two allotments: the Vale do Pitimbú Park and Eucaliptos Park, both divided in several little allotments. Before of begin the ward, allotments reproduced set off from that native has been consigned during the 80, 90 decade s and begin the actual century, resigning a complicated urban structure earth, dynamized by exploration of a promising residential area. Leashed of this, confirmed the installation of logic of segregation and auto-segregation conducted by an immobile market which exclude the poor class and absorb rich class, motivate by perspective of obtaining of urban lace of earth by immobile promoter. However, perceived that the growth this market was promoted by migration of groups of capital, interior of state and others regions of country. Not distant, horizontal and vertical closed residences represent production forms of a new form of residence, corresponding the pattern architectonic as socioeconomics, strengthened by ideal of security, quality of life, necessity of reclusion and of proximity of Natal. Is in the capital which this individual found possibilities of attend satisfactory minimum of yours necessity in relation a consumption of bens and specialized and specifics services. Before this qualitative perceive that the social and spacial differential of Nova Parnamirim was the responsible by soil and habitation valorization of ward, that reinforce the promotion of segregation and of auto-segregation, and consequently, of capitalist reproduction of urban space
Resumo:
Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.