Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-11-09T19:27:14Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2019-01-25T17:02:05Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) / Made available in DSpace on 2019-01-25T17:02:05Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Arthur Freitas Ramos.pdf: 743456 bytes, checksum: cb16d9c33d78bebe371f455a60b25b34 (MD5) Previous issue date: 2015-07-25 / CAPES / O presente trabalho tem como objetivo o estudo de uma entidade computacional conhecida como caminhos computacionais. Proposta originalmente por QUEIROZ; OLIVEIRA (2011) como ’sequências de reescritas’, a ideia é que os caminhos computacionais funcionam como os termos do tipo identidade da Teoria dos Tipos de Martin-Löf’. Esse trabalho expande essa ideia, mostrando uma formalização completa do tipo identidade a partir dos caminhos computacionais. É mostrado que os caminhos computacionais tornam o tipo identidade uma entidade muito mais intuitiva e simples, quando comparado com a abordagem tradicional. Um outro foco desse trabalho é o estudo das propriedades matemáticas dos caminhos computacionais. Em particular, o interesse é em explorar a relação entre os caminhos e a teoria das categorias. Especificamente, é provado que os caminhos computacionais são capazes de induzir uma estrutura algébrica conhecida como grupóide. Esse resultado está de acordo com os resultados obtidos por HOFMANN; STREICHER (1994), que mostram que a abordagem tradicional do tipo identidade induzem um modelo de grupóide. / The current work aims to study a computational entity known as computational paths. Originally proposed by QUEIROZ; OLIVEIRA (2011) as ’sequence of rewrites’, the idea is that computational paths are terms of Martin-Löf’s identity type. This work expands this idea, showing a complete formalization of the identity type using computational paths. It is shown that computational paths makes the identity type a much simpler and more intuitive entity, when compared to the tradional approach. Another focus of this work is the study of the mathematical properties of computational paths. In particular, the main aim is the relation between computational paths and category theory. Specifically, this work shows that computational paths are capable of inducing an algebraic structure known as groupoid. This results is on a par with the one obtained by HOFMANN; STREICHER (1994), which shows that the traditional approach of the identity type also induces a grupoid model.

Neste trabalho investigamos alguns aspectos da Lógica de Segunda Ordem, dividindo o tema em três capítulos. No primeiro capítulo discorremos sobre os conceitos básicos desta Lógica, tais como conjunto de fórmulas, sistemas dedutivos e semânticas. Fazemos também um contraste com a Lógica de Primeira Ordem, que é mais conhecida, para se ter uma espécie de modelo do qual estamos nos diferenciando. Provamos o teorema da completude para a Lógica de Segunda Ordem, devido a L. Henkin em Henkin (1950). No segundo capítulo nós procuramos entender o que acontece com a semântica da teoria de conjuntos ZF C (que é de primeira ordem) se adicionarmos alguns axiomas de segunda ordem, criando uma teoria que chamamos de ZF 2 . Mostramos um teorema devido a Zermelo (Zermelo (1930)) que diz que os modelos desta teoria são essencialmente os mesmos. Tam- bém procuramos investigar a questão da Hipótese do Contínuo com relação à de um metódo de forcing para esta teoria, mostramos que a HC ZF 2 e, através continua sem resposta. No terceiro capítulo, escrevemos sobre três temas diferentes: o primeiro é sobre a relação que existe entre a propriedade da completude, da compacidade e a semântica de Henkin. O teorema de Lindström, que provamos nesta seção, diz essencialmente que não podemos ter completude e compacidade para a Lógica de Segunda Ordem ao menos que usemos esta semântica. Na segunda seção, investigamos o número de Hanf da Lógica de Segunda Ordem com a semântica Padrão e, na terceira seção, mostramos que é possível fazer uma redução das Lógicas de ordem superior à segunda e que o conjunto das fórmulas válidas da Lógica de Segunda Ordem não é denível na estrutura dos números naturais. / In this work we investigate some aspects of Second-Order Logic, splitting the theme in three chapters. In the rst one, we discuss the basic concepts of that Logic, such as set of formulas, deductive systems and semantics. We also make a contrast with First-Order Logic, which is better know, in order to have some kind of model from wich we are dierentiating. We prove the theorem of the completeness for the Second-Order Logic, due to L. Henkin in Henkin (1950). In the second chapter we try to understand what happens with the semantics of the ZF C set theory (which is a First-Order theory) if we add some Second-Order axioms, creating a theory that we call ZF 2 . We prove a theorem due to Zermelo (Zermelo (1930)) which says that the models of this theory are essentially the same. We also investigate the question of the Continuum Hypothesis in relation to theory, we show that the HC ZF 2 and, through a method of forcing for that still has no answer. In the third chapter, we write about three dierent themes: the rst is about the relation that exists between the property of completeness, of compactness and the Henkin semantics. The Lindström\'s theorem, which we prove in this section, says essentially that we can\'t have the completeness and the compactness for the Secon-Order Logic without Henkin semantics. In the second section, we investigate the Hanf Number of Second-Order Logic and, in the third section, we show that it is possible to make a reduction of Logics of order higher than the second to the second and that the set of the Second-Order valid formulas is not denable in the structure of the natural numbers.

Made available in DSpace on 2014-07-29T15:06:26Z (GMT). No. of bitstreams: 1 Dissertacao Mestrado Hiury Correia.pdf: 634437 bytes, checksum: cf6fd2233508dfe9b0a574d4f162b2ba (MD5) Previous issue date: 2010-11-20 / Our dissertation s theme is the Idea that, buried in Frege s unfriendly Logical notation, one finds the notion of abstraction as a key ingredient of his Begriffsschrift. This runs contrary to the ordinary appraisal, such as the one found in Van Heijenoort s introduction to that article. It runs also contrary to Frege s refusal of the possibility of referring to unsaturated entities. Still, we argue that the notion seems to be part both of Frege s philosophical positions such as the idea of quantification as second order predication and of Frege s logical practices. / O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contraria, também, a rejeição de Frege à possibilidade de se referir a entidades insaturadas. Argumentamos que a noção de abstração aparece tanto como parte das posições filosóficas de Frege como, por exemplo, a idéia de que a quantificação é uma predicação de segunda ordem como, também, de sua prática lógica.

Esta dissertação estabelece a incompletude de um sistema formal cujas únicas constantes não-lógicas são 0 e s (respectivamente, o número natural 0 e a função sucessor segundo a interpretação standard), fundamentando-se, para tanto, em um teorema cuja prova necessita essencialmente da maquinária lógica de segunda-ordem e que foi designado de Teorema das Definições Recursivas. / We establish here the incompleteness of the formal system S2 for arithmetic_a formal system whose signature is {0, s}_by means of the Theorem of the Definition by Recursion (TDR). However, unlike the standard proofs of incompleteness, the proof of TDR, by virtue of restricted signature, uses essentially the power of second-order logic.

Esta dissertação estabelece a incompletude de um sistema formal cujas únicas constantes não-lógicas são 0 e s (respectivamente, o número natural 0 e a função sucessor segundo a interpretação standard), fundamentando-se, para tanto, em um teorema cuja prova necessita essencialmente da maquinária lógica de segunda-ordem e que foi designado de Teorema das Definições Recursivas. / We establish here the incompleteness of the formal system S2 for arithmetic_a formal system whose signature is {0, s}_by means of the Theorem of the Definition by Recursion (TDR). However, unlike the standard proofs of incompleteness, the proof of TDR, by virtue of restricted signature, uses essentially the power of second-order logic.

Made available in DSpace on 2016-04-28T20:39:14Z (GMT). No. of bitstreams: 1 Dissertacao Marcia Baptista.pdf: 284158 bytes, checksum: d96d3ce5b650000348cc060b3a0f671d (MD5) Previous issue date: 2006-05-26 / This study seeks to explore the use of Carl Gustav Jung s theory of psychological types as an important diagnostical tool, providing guidelines to child treatment as well as to the orientation of the child s family and the professionals envolved. Researches already conducted into the adult world have come to corroborate the relevance of the use of both the four functions and the two attitudes described by Jung s theory for a better understanding of people s lives and conducts. This work aims at evaluating the importance of Jung s four functions and two attitudes in the process of forming and structuring the conscience throughout the first childhood, using Junguian typology as a means to understand the psychological dynamics of the child in general. The results of our research reveal that these psychological attitudes and functions play a fundamental role in the development of the child s ego and that Junguian typology is a system that allows for the understanding of the clinic data related to the early years of human life as well as for an accurate psychodiagnosis of the child patient; moreover, it may work as a tool for the understanding of family dynamics, propitiating communication and respect towards each member s individuality / Este estudo visa explorar o uso da teoria dos tipos psicológicos desenvolvida por Carl Gustav Jung dentro da prática clínica infantil como instrumento diagnóstico, fornecendo dados norteadores para intervenção no trabalho com crianças e também na orientação à família e profissionais envolvidos. As pesquisas realizadas pelos analistas no universo adulto confirmam a importância da utilização das quatro funções e das duas atitudes no repertório de condutas dos indivíduos. Este trabalho teve como objetivo avaliar a importância das quatro funções e das duas atitudes no processo de formação e estruturação da consciência durante a primeira infância e utilizar o referencial teórico da teoria tipológica junguiana como instrumento de compreensão da dinâmica psicológica de uma criança. Os resultados revelaram que as atitudes e funções psicológicas desempenham papel fundamental no desenvolvimento do ego na infância e que a tipologia junguiana é um sistema que permite a compreensão do material clínico de um psicodiagnóstico nos primeiros anos de vida, bem como um instrumento norteador para compreensão da dinâmica familiar podendo facilitar a comunicação e o respeito à individualidade de cada membro da família

O presente trabalho tem por objeto a análise da influência do psiquismo do juiz no modo como preside o processo estilo de colheita de dados e relacionamento com os demais sujeitos (partes e advogados, principalmente) e produz suas decisões. Há, portanto, uma interface entre Direito e Psicologia, tomando-se como paradigma a teoria dos tipos psicológicos de Carl Gustav Jung e seguidores, com os acréscimos que lhe foram feitos por Isabel Briggs Myers e Katharine Cook Briggs. Para fins de contraste, a teoria de Jung é confrontada com a tipologia psicanalítica de Freud. No âmbito jurídico, especial atenção é dada à relação das funções pensamento e sentimento com o senso de justiça, sugerindo se que a teoria tridimensional do Direito, de Miguel Reale, seja a expressão jurídica do uso equilibrado das funções perceptivas e judicativas. Esta a primeira parte do trabalho. Na segunda, são analisados tipologicamente seis magistrados do Tribunal de Justiça do Estado de São Paulo, tomando-se por base sua atuação profissional, conforme por eles expressa em entrevista. A entrevista foi feita a partir de um questionário padrão, de modo a estabelecer paralelos discursivos e daí colher semelhanças e diferenças, analisadas à luz do tipo psicológico aferido. Para aferição do tipo psicológico de cada entrevistado, além da análise do conteúdo de sua fala, foi aplicado um segundo questionário, de natureza específica. A título de conclusão, verificou-se haver grande consistência no postulado de que existe correlação entre o tipo de personalidade do magistrado e o resultado de seu trabalho. Isso abre grandes perspectivas seja de estudo-aprendizado na área, seja de aperfeiçoamento profissional e pessoal destes agentes, cuja atividade é tão vital para o processo de produção de justiça no caso concreto. / This paper is aimed at analyzing the influence of the judges psyche as s/he presides over the process the way s/he collects data and relates with the other parties (to the lawsuit and attorneys, mainly) and makes his/her decisions. There is therefore an interface between Law and Psychology, since we have selected as a paradigm the theory of psychological types of Carl Gustav Jung and his followers, with the additions made by Isabel Briggs Myers and Katharine Cook Briggs. For contrasting purposes, Jung\'s theory is compared with Freud\'s psychoanalytical typology. From a legal perspective, special attention is given to the correlation between thought and feeling functions and the «sense of fairness», and it is suggested that Miguel Reales three-dimensional theory of Law be the legal expression of the balanced use of perceptive and judicative functions. This is the first part of the paper. In the second, six judges of the São Paulo State Court are typologically analyzed, based on their professional activities, as stated by them during an interview. The interview was based on a standard questionnaire so as to draw discursive parallels and be able to collect similarities and differences in the light of the psychological type assessed. To assess the psychological type of each interviewee, in addition to analyzing their speech content, a second questionnaire, of a specific nature, was applied. In conclusion, the assumption that there is a correlation between a judges type of personality and the result of his/her work has proven to be greatly consistent. This could bring great prospects, both in area studies and learning and the personal and professional improvement of these agents, whose activity is so vital to the actual process of administering justice.

O presente trabalho tem por objeto a análise da influência do psiquismo do juiz no modo como preside o processo estilo de colheita de dados e relacionamento com os demais sujeitos (partes e advogados, principalmente) e produz suas decisões. Há, portanto, uma interface entre Direito e Psicologia, tomando-se como paradigma a teoria dos tipos psicológicos de Carl Gustav Jung e seguidores, com os acréscimos que lhe foram feitos por Isabel Briggs Myers e Katharine Cook Briggs. Para fins de contraste, a teoria de Jung é confrontada com a tipologia psicanalítica de Freud. No âmbito jurídico, especial atenção é dada à relação das funções pensamento e sentimento com o senso de justiça, sugerindo se que a teoria tridimensional do Direito, de Miguel Reale, seja a expressão jurídica do uso equilibrado das funções perceptivas e judicativas. Esta a primeira parte do trabalho. Na segunda, são analisados tipologicamente seis magistrados do Tribunal de Justiça do Estado de São Paulo, tomando-se por base sua atuação profissional, conforme por eles expressa em entrevista. A entrevista foi feita a partir de um questionário padrão, de modo a estabelecer paralelos discursivos e daí colher semelhanças e diferenças, analisadas à luz do tipo psicológico aferido. Para aferição do tipo psicológico de cada entrevistado, além da análise do conteúdo de sua fala, foi aplicado um segundo questionário, de natureza específica. A título de conclusão, verificou-se haver grande consistência no postulado de que existe correlação entre o tipo de personalidade do magistrado e o resultado de seu trabalho. Isso abre grandes perspectivas seja de estudo-aprendizado na área, seja de aperfeiçoamento profissional e pessoal destes agentes, cuja atividade é tão vital para o processo de produção de justiça no caso concreto. / This paper is aimed at analyzing the influence of the judges psyche as s/he presides over the process the way s/he collects data and relates with the other parties (to the lawsuit and attorneys, mainly) and makes his/her decisions. There is therefore an interface between Law and Psychology, since we have selected as a paradigm the theory of psychological types of Carl Gustav Jung and his followers, with the additions made by Isabel Briggs Myers and Katharine Cook Briggs. For contrasting purposes, Jung\'s theory is compared with Freud\'s psychoanalytical typology. From a legal perspective, special attention is given to the correlation between thought and feeling functions and the «sense of fairness», and it is suggested that Miguel Reales three-dimensional theory of Law be the legal expression of the balanced use of perceptive and judicative functions. This is the first part of the paper. In the second, six judges of the São Paulo State Court are typologically analyzed, based on their professional activities, as stated by them during an interview. The interview was based on a standard questionnaire so as to draw discursive parallels and be able to collect similarities and differences in the light of the psychological type assessed. To assess the psychological type of each interviewee, in addition to analyzing their speech content, a second questionnaire, of a specific nature, was applied. In conclusion, the assumption that there is a correlation between a judges type of personality and the result of his/her work has proven to be greatly consistent. This could bring great prospects, both in area studies and learning and the personal and professional improvement of these agents, whose activity is so vital to the actual process of administering justice.

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / No romance A defesa Lujin, de Vladimir Nabokov, publicado em russo em 1930, o texto procura levar o leitor a adotar processos mentais similares ao de um jogador de xadrez e de um esquizofrênico, características do personagem-título do romance. Delineiam-se as expectativas e circunstâncias de um ser de papel que se vê jogando um xadrez em que também é peça e traçam-se paralelos com as expectativas e circunstâncias do leitor perante esse texto literário. O prefácio de Nabokov à edição em inglês de 1964 é tomado como indício de um leitor e um autor implícitos que ele procura moldar. Para análise dos elementos textuais e níveis de abstração mental envolvidos, recorre-se à estética da recepção de Wolfgang Iser e a diversas ideias do psiquiatra e etnólogo Gregory Bateson, entre elas o conceito de duplo vínculo, com atenção às distinções entre mapa/território e play/game. Um duplo duplo vínculo é perpetrado na interação leitor-texto: 1) o leitor é convidado a sentir empatia pela situação do personagem Lujin e a considerá-lo lúcido e louco ao mesmo tempo; e 2) o leitor é colocado como uma instância pseudo-transcendental incapaz de comunicação com a instância inferior (Lujin), gerando uma angústia diretamente relacionável ao seu envolvimento com a ficção, replicando de certa forma a loucura de Lujin. A sinestesia do personagem Lujin é identificada como um dos elementos do texto capaz de recriar a experiência de jogar xadrez até para quem não aprecia o jogo. Analisa-se a conexão entre a esquizofrenia ficcional do personagem Lujin e a visão batesoniana do alcoolismo / In Vladimir Nabokovs novel, The Luzhin Defense, published in Russian in 1930, the text beckons the reader on to adopt mental processes similar to a chess players and a schizophrenic persons both traits of the novels title character. This character sees himself both as player and piece of an ongoing game of chess; his expectations and predicaments are traced in parallel to the readers own as he or she navigates the text. Nabokovs preface to the 1964 English edition is taken as an indication that he tries to shape both an implicit reader and an implicit author. In order to analyze the elements of the text and degrees of mental abstraction involved in this, we refer to Wolfgang Isers reader-response theory and also many of psychiatrist and ethnologist Gregory Batesons ideas, such as the double bind, with special regard to map vs. territory and play vs. game distinctions. A double double bind is built within the reader-text interplay as follows: 1) the reader is invited to feel empathy for Luzhins predicament and to regard him at once as sane and insane; and 2) the reader is posited as a pseudo-transcendental instance unable to communicate with his nether instance (Luzhin) in such a way that it brews a feeling of anxiety directly relatable to his or her engagement in the work of fiction, reproducing, in a way, Luzhins madness. Luzhins synesthesia is identified as one of the text elements with the ability to recreate the chess-playing experience even to readers who are not fond of the game. The connection between Luzhins fictional schizophrenia and Batesons views on alcoholism is analyzed

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / No romance A defesa Lujin, de Vladimir Nabokov, publicado em russo em 1930, o texto procura levar o leitor a adotar processos mentais similares ao de um jogador de xadrez e de um esquizofrênico, características do personagem-título do romance. Delineiam-se as expectativas e circunstâncias de um ser de papel que se vê jogando um xadrez em que também é peça e traçam-se paralelos com as expectativas e circunstâncias do leitor perante esse texto literário. O prefácio de Nabokov à edição em inglês de 1964 é tomado como indício de um leitor e um autor implícitos que ele procura moldar. Para análise dos elementos textuais e níveis de abstração mental envolvidos, recorre-se à estética da recepção de Wolfgang Iser e a diversas ideias do psiquiatra e etnólogo Gregory Bateson, entre elas o conceito de duplo vínculo, com atenção às distinções entre mapa/território e play/game. Um duplo duplo vínculo é perpetrado na interação leitor-texto: 1) o leitor é convidado a sentir empatia pela situação do personagem Lujin e a considerá-lo lúcido e louco ao mesmo tempo; e 2) o leitor é colocado como uma instância pseudo-transcendental incapaz de comunicação com a instância inferior (Lujin), gerando uma angústia diretamente relacionável ao seu envolvimento com a ficção, replicando de certa forma a loucura de Lujin. A sinestesia do personagem Lujin é identificada como um dos elementos do texto capaz de recriar a experiência de jogar xadrez até para quem não aprecia o jogo. Analisa-se a conexão entre a esquizofrenia ficcional do personagem Lujin e a visão batesoniana do alcoolismo / In Vladimir Nabokovs novel, The Luzhin Defense, published in Russian in 1930, the text beckons the reader on to adopt mental processes similar to a chess players and a schizophrenic persons both traits of the novels title character. This character sees himself both as player and piece of an ongoing game of chess; his expectations and predicaments are traced in parallel to the readers own as he or she navigates the text. Nabokovs preface to the 1964 English edition is taken as an indication that he tries to shape both an implicit reader and an implicit author. In order to analyze the elements of the text and degrees of mental abstraction involved in this, we refer to Wolfgang Isers reader-response theory and also many of psychiatrist and ethnologist Gregory Batesons ideas, such as the double bind, with special regard to map vs. territory and play vs. game distinctions. A double double bind is built within the reader-text interplay as follows: 1) the reader is invited to feel empathy for Luzhins predicament and to regard him at once as sane and insane; and 2) the reader is posited as a pseudo-transcendental instance unable to communicate with his nether instance (Luzhin) in such a way that it brews a feeling of anxiety directly relatable to his or her engagement in the work of fiction, reproducing, in a way, Luzhins madness. Luzhins synesthesia is identified as one of the text elements with the ability to recreate the chess-playing experience even to readers who are not fond of the game. The connection between Luzhins fictional schizophrenia and Batesons views on alcoholism is analyzed