Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

Contando o passado, tecendo a saudade: a construção simbólica do engenho açucareiro em Jose Lins do Rego (1919-1943)

In this work I have searched the symbolical sense of a specific place. I have started from the theoretical assumption that places are social relations resulting from material and symbolical conditions developed in a certain time and by certain factors. In this sense, I have analyzed the symbolical aspect of sugar plantation from some literary works created by the writer José Lins do Rego from the state of Paraíba. I intend to analyze the symbolical dimension senses, values and images used by this writer to show the sugar plantation. Giving special attention to the works from the named cycle of sugar plantation , I have searched for the senses and meanings used in José Lins do Rego literary discourse to create a fictional sugar plantation, showing this place in a specific way. Based in cultural history, I have used several sources: literary works, prefaces of books, memory works, journalistic works, letters written by intellectual men and history books. My time of analysis is from 1919 the beginning of José Lins do Rego s intellectual activity - until 1943 publication of Fogo Morto, last literary work that I have analyzed. In symbolical terms, what is sugar plantation, this place that has totally touched José Lins do Regos life and literary work? That was the structural question that has determined the present research

Lógica por trás dos contratos sociais

Natural selection shapes body and behavior of each species. For primates, the social environment constituted one of the greatest selective pressure for the development of their cognition. When we consider gender differences, we see that sexual selection also operates through different selective pressures for men and women not only in physical terms but in terms of cognitive skills. Among these, the primary cognitive abilities - that emerge naturally - and secondary - that rely on an artificial environment for learning - develop differently for each sex, making them suitable for specific tasks in different capacities. Previous studies utilized the Wason Selection Test a conditional logic tool - to measure, among several other things, the ability to recognize violation of rules in abstract contexts and social contexts. Subjects generally had better performance in the latter, however, in these studies possible differences motivated by learning in formal logic or genre were not considered. Our study investigated these two variables, as well as the time spent to solve each task. Furthermore, we used an index to take into account the rights and wrongs of the participants in tasks. We realized that although learning in formal logic does not bring significant differences in solving tests, the gender differences are strongly observed when we consider the social contexts and abstract. Women perform better in social tasks. This can be explained due to different sexual selective pressures for this gender in terms of one-on-one relationships within the group. Men are better at tasks of abstract context and this is probably due to the same reason. Their capabilities for territory defense, habitat navigation and forming coalitions depends on primary cognitive abilities that support secondary cognitive skills of abstraction. Thus, gender differences are a factor to be taken into account in controlling future experiments with the same tool

O Processo de revisão do benefício de prestação continuada-BPC: uma lógica de exclusão ou inclusão social

This research comprises a study about the social assessment performed by the Social Worker in the review process of the Benefit of Continued Installment. The Benefit of Continued Installment was implemented in 1996 and guarantees a minimum salary to the deficiency person and to an elder with sixty five years or more and that proves not to have ways to support neither himself/herself nor his/her own family. It is a demand to include in the BPC that the maximum income of a family does not exceed ¼ of minimum salary and that every two years this benefit to be revised to evaluate its continuity based in its original conditions. This study was carried out in the municipality of Natal/RN, with thirteen social workers, being the collection of data performed through interviews and social assessments of the users that count with the benefit. The results show that the users selected by the criterion of the income, present a profile of poverty and deprivations demonstrated through several situations survived in its daily life, indicative of vulnerability. It was demonstrated that the Social workers has relative autonomy in the evaluations along with the users and that it denotes the necessity of inclusion. However, by following the imposed criteria, it corroborates with the logic of exclusion. So, it is identified in the Municipality of Natal/RN, following the orientation given the politics of social work at national level, the implementation of revision of the BPC, for the social workers, from rigorous processes of selection and exclusions

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]

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Sistema de numeração posicional e a lógica da divisão de inteiros

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

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

Violência simbólica no campo da saúde: relato de um caso de cura espiritual em um espaço terapêutico híbrido

À luz da teoria social de Pierre Bourdieu, saliento a violência simbólica concebida das relações de forças entre agentes e práticas médicas e religiosas no interior de uma instituição filantrópica voltada à assistência à saúde de portadores de deficiências múltiplas. do trabalho etnográfico, descrevo detalhes do acordo entre administradores religiosos espíritas e profissionais de saúde durante a implementação de um projeto que incluía especificamente assistência espiritual. Um caso de cura aparece como bem simbólico e sobre ele concorreram duas versões explicativas sobre a abrupta recuperação do paciente assistido durante meses na UTI por caquexia: a versão religiosa, que entendeu a reabilitação como cura espiritual, e a versão médica, que compreendeu o restabelecimento do paciente como resultado das atividades e gerência médica.

Dialética da pratica e ação sem prática

O conceito de prática recobriria o de sistema de ação, não fosse a existência de sistemas de ação sem prática. Resta que uma prática é um sistema de ação. Como conseqüência, suposta a reciprocação de sistema com teoria e uma atenta inspeção nos termos da proposição, há equivalência semântica entre prática teóricae sistema de ação prático. Num e noutro caso, a contradição interna aos pares de conceitos se resolve dialeticamente. Graças à dialética, são fundidos numa unidade de sentido, síntese de tensões opostas. Daí a proposta de uma dialética da prática global, conjuntamente abstrata e histórica. Destotalizada ou à margem dessa dialética, pode ser destacada a ação sem prática, exemplificada no drama. Dramática é precisamente uma ação que não é prática. O tempo e o lugar da prática são a história e o mundo do homem; o tempo e o lugar do drama são a ficção cultural e a substância simbólica. Mimese da prática, o drama, reproduz, não os traços do modelo, mas a sua produção, tornando-se por sua vez modelo do modelo. Mimese não é cópia, é forma autônoma de eficiência, paradoxalmente sem prática mas especular.

Lógica fuzzy na avaliação da fertilidade do solo e produtividade do café conilon

The objective of this study was to analyze, using the geoestatistic and a system of classification fuzzy, the fertility of an experimental area with base in chemical attributes of the soil and its relationship with the productivity of the conilon coffee. The study was accomplished in the experimental farm of the INCAPER - ES. The soil samples were collected in the depth of 0 - 0.2 m, being analyzed the attributes: matches, potassium, calcium and magnesium, aluminum, sum of bases, cation exchange capacity (pH 7), and saturation percentage. The data were submitted to a descriptive, exploratory, and geostatistical analysis. A system of fuzzy classification was applied using the attributes described to infer about the fertility of the soil and its relationship with the productivity of the culture. The fertility possibility presented positive spatial relationship with the productivity of the culture, with higher values of this where the possibility of fertile soil is superior.

Aplicación de la lógica económica al financiamiento de la enseñanza: la experiencia de Chile con el subsidio por estudiante

Incluye Bibliografía

Los jóvenes y la odisea del empleo: capital social y violencia simbólica en el mercado de trabajo

Incluye Bibliografía

Tras Babel: identidad, pertenencia y cosmopolitismo de la diferencia

Incluye Bibliografía

Lógica y paradoja: libre comercio, migración limitada. Memorias del Taller sobre Migración Internacional y Procesos de Integración y Cooperación Regional

Incluye Bibliografía