A system of formal logic ...

Mode of access: Internet.

Lógica formal y argumentación

Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

Lógica formal y argumentación

Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

Lógica formal y argumentación

Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

Evidências do cuidado de enfermagem para o conforto/bem-estar dos clientes com dermatoses imunobolhosas: ensaio clínico

O contato com pessoas acometidas por dermatoses imunobolhosas (DI) é impactante devido ao visível sofrimento causado pelo desconforto/mal-estar e comprometimento da autoimagem. Trata-se de um grupo de doenças de evolução crônica cuja manifestação primária e fundamental consiste no desenvolvimento de bolhas e menos frequentemente de vesículas na pele e/ou mucosas. O desafio de cuidar desta clientela justifica-se pelo caráter desfigurante e desconfortante, complexidade e vulnerabilidade a complicações, dentre as quais infecções e infestações, principalmente no ambiente hospitalar, fato agravado pelas drogas imunossupressoras utilizadas para o tratamento. Neste contexto, sobreleva-se a necessidade de ampliação do cuidado de enfermagem, sem limitar-se ao cumprimento das prescrições dos demais profissionais de saúde, objetivando atender às necessidades desta clientela e contemplá-la em todas as suas dimensões. Assim, este estudo teve como objetivo geral: propor uma Tecnologia de Cuidados de Enfermagem ao Cliente com Dermatoses Imunobolhosas (TCECDI) que reconheça padrões de conforto/bem-estar do cliente hospitalizado, antes e após a sua aplicação. A necessidade de trabalhar com dados imprecisos como a subjetividade do conforto/bem-estar, e com um grupo de doenças de incomum acometimento às pessoas, despertou o interesse pela lógica fuzzy, uma teoria que auxilia na compreensão dos conceitos que extrapolam as barreiras da lógica formal, permitindo estabelecer diferentes graus de pertinência dos atributos julgados relevantes, representando uma ferramenta que pode capturar informações subjetivas convertendo-as em valores de pertinência. Os atributos estabelecidos para avaliação do conforto nos três momentos foram: dor, mobilidade, padrão de sono, exposição do corpo e das lesões, conhecimento sobre a doença e autocuidado. Trata-se de um estudo quase experimental, interinstitucional, realizado no período de junho de 2012 a abril de 2013, em unidades de internação especializadas em dermatologia localizadas no Rio de Janeiro e no Mato Grosso do Sul. O delineamento alternativo para o ensaio clínico utilizado foi destinado a um único grupo não randomizado do tipo série temporal. As aferições foram realizadas antes (T0), 24 horas após (T1) e uma semana após (T2) o recebimento da intervenção. Como inexiste grupo controle, em cada sujeito considerou-se o seu próprio controle. Baseando-se nas classificações advindas da lógica fuzzy, na definição de conforto e nos três sentidos técnicos preconizados por Kolcaba: alívio, calma e transcendência,constatou-se a redução significativa no padrão de desconforto. Assim, pode-se afirmar que a implementação da TCECDI interferiu de forma expressiva e positiva nas necessidades de conforto dos sujeitos do estudo. Ao privilegiar a autonomia do enfermeiro e o seu saber específico, esta pesquisa contribuiu para a enfermagem como profissão, preenchendo lacunas nesta área do conhecimento, possibilitando o ensino qualificado, além de estimular entre os profissionais de saúde a reflexão, compreensão e desenvolvimento de outras pesquisas sobre a prática do cuidado em saúde, principalmente em dermatologia.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

A construção da imagem operária: uma nova dimensão da análise do trabalho

A tentativa de buscar uma nova dimensão para o desempenho satisfatório das atividades humanas em situações de trabalho resume o objetivo primeiro desse estudo. A proposta básica consiste em que as ações humanas podem ser programadas mentalmente antes de serem objetivamente executadas e que essa programação se verifica a partir de e em função de imagens. O conceito de imagem operatória como o processo psicológico capaz de permitir aprioristicamente a simulação imagina da dessas realizações assume, assim, importância vital para essa dissertação. Da percepção de que toda e qualquer atividade se desenvolve num espaço de localização e movimentação corporal próprio de cada sujeito e da necessidade de se encontrar um referencial teórico que melhor situasse o constructo citado, chegou-se a inclusão dos termos espaço pessoal e esquema corporal como susceptíveis de explicitarem a relação proposta. Estabelecido o triângulo conceitual explicativo, capaz de elucidar algumas questões relativas ao binômio homem-trabalho, partiu-se para o levantamento e discussão de algumas das variáveis possivelmente envolvidas na construção da imagem operatória. Como parte final, algumas implicações lógico-formais, são levantadas, considerando-se os conceitos envolvidos a partir de uma perspectiva, que mais se aproxime de um caráter global.

Um estudo sobre as origens da Lógica Matemáitca

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

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

Fuzzy distributed artificial intelligence systems

In this paper, we introduce a DAI approach called hereinafter Fuzzy Distributed Artificial Intelligence (FDAI). Through the use of fuzzy logic, we have been able to develop mechanisms that we feel may effectively improve current DAI systems, giving much more flexibility and providing the subsidies which a formal theory can bring. The appropriateness of the FDAI approach is explored in an important application, a fuzzy distributed traffic-light control system, where we have been able to aggregate and study several issues concerned with fuzzy and distributed artificial intelligence. We also present a number of current research directions necessary to develop the FDAI approach more fully.

Common architecture for discrete wavelet transform analysis and synthesis with sequential and constant processing elements

This paper adresses the problem on processing biological data such as cardiac beats, audio and ultrasonic range, calculating wavelet coefficients in real time, with processor clock running at frequency of present ASIC's and FPGA. The Paralell Filter Architecture for DWT has been improved, calculating wavelet coefficients in real time with hardware reduced to 60%. The new architecture, which also processes IDWT, is implemented with the Radix-2 or the Booth-Wallace Constant multipliers. Including series memory register banks, one integrated circuit Signal Analyzer, ultrasonic range, is presented.

Fundamentos teóricos da atividade de estudo como modelo didático para o ensino das disciplinas científicas

Pós-graduação em Educação para a Ciência - FC

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained