O presente trabalho, inserido no campo da psicologia moral, buscou entender a funcionalidade da organização do pensamento de jovens diante de suas projeções sobre o futuro. O objetivo central da presente investigação foi compreender como se dão os processos de integração e regulação de valores e sentimentos que subjazem a elaboração de projetos de vida na juventude. Para tanto, esteve fundamentado em três eixos teóricos: conceitos de integração e regulação morais, embasados na perspectiva da psicologia que alia a moralidade ao self; projeto de vida na juventude; Teoria dos Modelos Organizadores do Pensamento. Para o desenvolvimento da pesquisa, elaboramos dois instrumentos: o primeiro, com questões referentes ao projeto de vida dos jovens; o segundo, um conflito moral que envolvia tal temática vivenciada por um personagem fictício. Responderam a esses questionários, de forma aberta, escrita e individual, 200 jovens estudantes de escolas públicas pertencentes a cada uma das regiões brasileiras. A análise dos dados advindos dos dois instrumentos pautouse nos referencias teóricos da Teoria dos Modelos Organizadores do Pensamento. A partir da leitura das respostas de cada participante, verificamos os elementos abstraídos e retidos como significativos, seus significados e as relações e/ou implicações entre eles, chegando à extração dos modelos organizadores diante de cada instrumento. Com base nessas análises, foi possível verificar que os contextos e o tipo de solicitação de organização do pensamento circunscrevem conteúdos importantes para os processos de integração e regulação de valores e sentimentos. Percebeu-se que, embora esses processos estejam fortemente influenciados por tais conteúdos, ocorrem de forma intimamente associada à forma como cada sujeito tece relações a seu respeito, a partir dos complexos de valores, sentimentos e significados mobilizados. Constatou-se, assim, que, diante de cada situação apresentada, existe um continuum entre os processos de integração e regulação de valores e sentimentos, constituídos pelas características constantes na identidade moral de cada sujeito e pela flexibilidade imposta pela sua representação dos conteúdos do meio. Dessa forma, evidenciou-se que os projetos de vida são passíveis de transformação, ao mesmo tempo em que são constituídos e constituem aspectos importantes do sistema moral dos jovens. Ao final, considerando-se tais descobertas, tecemos algumas implicações educacionais da presente investigação. / This work, in the field of moral psychology, sought to understand the functionality of the youth organization of thought belong to their projections on the future. The central objective of this research was to understand how the processes of integration and regulation of feelings and values occur, underling the development of projects of life in youth. This way, three themes support our research: concepts of integration and moral regulation, based on psychological perspective that combines morality to self; life project in youth; Theory of Organizing Models of Thought. To the development of this research, there are two instruments: issues relating to young peoples design of life and a moral conflict involving a life project experienced by a fictional character. 200 students, from public schools belonging to each Brazilian regions, answered to these questionnaires, by open questions, and individual writing. The data analysis obtained from the two instruments was based on the referrals of Theory of Organizing Models of Thought. In the answers of each participant we could notice the abstracted elements, its meanings and the relation/ implication among them, leading to the extraction of organizing models from each instrument. With these analyzes, we found that contexts and the type of request point to important content about values and feelings integration and regulation processes. One can conclude that although these processes are heavily influenced by such content, they occur intimately associated with how each one establishes relationships between itself, from the mobilized complex of values, feelings and meanings. We found that facing different situations, there is a continuum between the processes of values and feelings integration and regulation, consisting of characteristics from moral identity and the flexibility required by context contents representation. Thus, it became clear that life projects are subject to change at the same time that are shown as important aspects of young peoples moral system. At the end, considering these findings, we weave some education implications of this research.

O presente estudo teve como objetivo geral investigar os processos psíquicos subjacentes aos projetos de vida dos jovens e sua dimensão afetiva, com foco no sentimento de felicidade. A relevância do tema se deve ao fato de que os jovens elaboram seus projetos de vida orientados por valores que lhes são centrais e nos quais estão envolvidas projeções afetivas. O trabalho pautou-se pela concepção da indissociabilidade entre os aspectos cognitivos e afetivos no funcionamento do psiquismo. Analisaram-se as possíveis relações entre os projetos de vida construídos pelos jovens e o sentimento de felicidade a eles relacionados. Essas duas dimensões foram contempladas na análise dos dados empíricos, tendo como subsídio teóricometodológico a Teoria dos Modelos Organizadores do Pensamento, elaborada por Moreno, Sastre, Bovet e Leal. Para o plano de investigação, foi aplicado um questionário online a jovens estudantes do ensino médio de escolas públicas das cinco regiões brasileiras. A análise dos dados compreendeu algumas etapas orientadas pelos objetivos da pesquisa e organizadas de forma a estabelecer um continuum entre si. Quatro categorias de análise orientaram à reflexão sobre as possíveis formas de elaboração mental envolvidas no processo de formulação das justificativas às respostas, pelos entrevistados. Os modelos organizadores do pensamento foram construídos a partir do estudo sobre a organização do raciocínio dos jovens, ao abstraírem elementos, atribuírem-lhes significados e estabelecerem as relações e implicações entre eles. As formulações expressaram diferentes compreensões a respeito dos projetos de vida dos jovens, desde os modelos organizadores que imprimem uma forma natural sobre o modo de viver a vida até os modelos em que os jovens realizam suas projeções com aparente cuidado em relação ao outro. A análise dos modelos organizadores levou a perceber a predominância de uma carga afetiva positiva vinculada aos projetos de vida dos jovens. Observa-se a importância desta investigação a partir de seus resultados sobre projetos de vida com foco no sentimento de felicidade, que apontaram para perspectivas diversas no que se refere à articulação entre valores e sentimentos construída pelos jovens em seus projetos de vida, desde a não vinculação de tais relações até o entendimento de que esses conceitos se complementam. / The present study had as general objective to investigate the psychic processes underlying the life projects of young people and their affective dimension, focusing on the feeling of happiness. The relevance of the theme lies in the fact that young people elaborate their life projects oriented by values that are central to them and in which affective projections are involved. The works basis is the conception of the inseparability between the cognitive and affective aspects in the functioning of the psyche. Possible relations among the life projects of young people and the feeling of happiness related to them were analyzed. These two dimensions were contemplated in the analysis of empirical data, having as theoretical and methodological support the Theory of Thought-Organizing Models, elaborated by Moreno, Sastre, Bovet and Leal. For the research plan, an online questionnaire was applied to young high school students from public schools in the five Brazilian regions. The data analysis comprised some steps guided by the research objectives and organized in order to establish a continuum among them. Four categories of analysis guided the reflection on the possible forms of mental elaboration involved in the process of formulating the justifications for the answers, by the interviewees. The so-called thought-organizing models were made from the study of the organization of young people\'s reasoning, by abstracting elements, assigning meanings to them, and establishing their relationships and implications. The formulations expressed different understandings about the life projects of the youth, from the organizing models that gave a natural way of living the life to the models in which the young people made their projections with apparent care for the other. The analysis of the organizing models led us to perceive the predominance of a positive affective charge linked to the life projects of the youth. It is observed the importance of this research from its results on life projects focused on the feeling of happiness, which pointed to different perspectives regarding the articulation between values and feelings built by the youth in their life projects, from the nonlinking of such relationships to the understanding that these concepts complement each other.

O presente estudo teve como objetivo geral investigar os processos psíquicos subjacentes aos projetos de vida dos jovens e sua dimensão afetiva, com foco no sentimento de felicidade. A relevância do tema se deve ao fato de que os jovens elaboram seus projetos de vida orientados por valores que lhes são centrais e nos quais estão envolvidas projeções afetivas. O trabalho pautou-se pela concepção da indissociabilidade entre os aspectos cognitivos e afetivos no funcionamento do psiquismo. Analisaram-se as possíveis relações entre os projetos de vida construídos pelos jovens e o sentimento de felicidade a eles relacionados. Essas duas dimensões foram contempladas na análise dos dados empíricos, tendo como subsídio teóricometodológico a Teoria dos Modelos Organizadores do Pensamento, elaborada por Moreno, Sastre, Bovet e Leal. Para o plano de investigação, foi aplicado um questionário online a jovens estudantes do ensino médio de escolas públicas das cinco regiões brasileiras. A análise dos dados compreendeu algumas etapas orientadas pelos objetivos da pesquisa e organizadas de forma a estabelecer um continuum entre si. Quatro categorias de análise orientaram à reflexão sobre as possíveis formas de elaboração mental envolvidas no processo de formulação das justificativas às respostas, pelos entrevistados. Os modelos organizadores do pensamento foram construídos a partir do estudo sobre a organização do raciocínio dos jovens, ao abstraírem elementos, atribuírem-lhes significados e estabelecerem as relações e implicações entre eles. As formulações expressaram diferentes compreensões a respeito dos projetos de vida dos jovens, desde os modelos organizadores que imprimem uma forma natural sobre o modo de viver a vida até os modelos em que os jovens realizam suas projeções com aparente cuidado em relação ao outro. A análise dos modelos organizadores levou a perceber a predominância de uma carga afetiva positiva vinculada aos projetos de vida dos jovens. Observa-se a importância desta investigação a partir de seus resultados sobre projetos de vida com foco no sentimento de felicidade, que apontaram para perspectivas diversas no que se refere à articulação entre valores e sentimentos construída pelos jovens em seus projetos de vida, desde a não vinculação de tais relações até o entendimento de que esses conceitos se complementam. / The present study had as general objective to investigate the psychic processes underlying the life projects of young people and their affective dimension, focusing on the feeling of happiness. The relevance of the theme lies in the fact that young people elaborate their life projects oriented by values that are central to them and in which affective projections are involved. The works basis is the conception of the inseparability between the cognitive and affective aspects in the functioning of the psyche. Possible relations among the life projects of young people and the feeling of happiness related to them were analyzed. These two dimensions were contemplated in the analysis of empirical data, having as theoretical and methodological support the Theory of Thought-Organizing Models, elaborated by Moreno, Sastre, Bovet and Leal. For the research plan, an online questionnaire was applied to young high school students from public schools in the five Brazilian regions. The data analysis comprised some steps guided by the research objectives and organized in order to establish a continuum among them. Four categories of analysis guided the reflection on the possible forms of mental elaboration involved in the process of formulating the justifications for the answers, by the interviewees. The so-called thought-organizing models were made from the study of the organization of young people\'s reasoning, by abstracting elements, assigning meanings to them, and establishing their relationships and implications. The formulations expressed different understandings about the life projects of the youth, from the organizing models that gave a natural way of living the life to the models in which the young people made their projections with apparent care for the other. The analysis of the organizing models led us to perceive the predominance of a positive affective charge linked to the life projects of the youth. It is observed the importance of this research from its results on life projects focused on the feeling of happiness, which pointed to different perspectives regarding the articulation between values and feelings built by the youth in their life projects, from the nonlinking of such relationships to the understanding that these concepts complement each other.

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T22:46:52Z (GMT). No. of bitstreams: 1 Freire_RodrigodeAlvarenga_D.pdf: 761227 bytes, checksum: 3b1a0de92aa93b50f2bfc602bf6173bc (MD5) Previous issue date: 2009 / Resumo: Esta Tese tem como objetivo elucidar, ao menos parcialmente, a questão do significado da Teoria de Modelos para uma reflexão sobre o conhecimento matemático no século XX. Para isso, vamos buscar, primeiramente, alcançar uma compreensão da própria reflexão sobre o conhecimento matemático, que será denominada de Fundamentos do Pensamento Matemático no século XX, e da própria relevância fundacional. Em seguida, analisaremos, dentro do contexto fundacional estabelecido, o papel da Teoria de Modelos e da sua interação com a Álgebra, em geral, e, finalmente, empreenderemos um estudo de caso específico. Nesse estudo de caso mostraremos que a Teoria de Galois pode ser vista como um conteúdo lógico, e buscaremos compreender o significado fundacional desse enquadramento modelo-teórico para uma parte da Álgebra clássica. / Abstract: The aim of the present Thesis is to bring some light to the question about the status and relevance of Model Theory to a reflection about the mathematical knowledge in the twentieth century. To pursue this target, we will, first of all, try to reach a comprehension of the reflection about the mathematical knowledge, itself, what will be designated as Foundations of Mathematical Thought in the twentieth century, and of the foundational relevance, itself. In the sequel, we will provide an analysis, of the role of Model Theory and its interaction with Algebra, in general, within the established foundational setting and, finally, we will discuss a specific study case. In this study case we will show that Galois Theory can be seen as a logical content, and we will try to understand the foundational meaning of this model-theoretic framework for some part of classical Algebra. / Doutorado / Logica / Doutor em Filosofia

Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa. / The main focus of this dissertation lies in establishing some general sufficient conditions for an expansion of the real ordered field by functions with domains Rn to be model complete and o-minimal. We approach this subject from the point of view of the o-minimal weak structures, by following the work of Charbonnel and Wilkie. Furthermore, when considering additional conditions, we are able to obtain the following generalization of a Gabrielovs result: an expansion of the real ordered field by restricted smooth functions, which is polynomially bounded and closed under partial differentiation, is model complete.

Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa. / The main focus of this dissertation lies in establishing some general sufficient conditions for an expansion of the real ordered field by functions with domains Rn to be model complete and o-minimal. We approach this subject from the point of view of the o-minimal weak structures, by following the work of Charbonnel and Wilkie. Furthermore, when considering additional conditions, we are able to obtain the following generalization of a Gabrielovs result: an expansion of the real ordered field by restricted smooth functions, which is polynomially bounded and closed under partial differentiation, is model complete.

ARRUDA, Alexandre Matos. Um sistema infinitário para a lógica de menor ponto fixo. 2007. 91 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Departamento de Computação, Fortaleza-CE, 2007. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-20T15:28:27Z No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-20T15:29:23Z (GMT) No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5) / Made available in DSpace on 2016-05-20T15:29:23Z (GMT). No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5) Previous issue date: 2007 / The notion of the least fixed-point of an operator is widely applied in computer science as, for instance, in the context of query languages for relational databases. Some extensions of FOL with _xed-point operators on finite structures, as the least fixed-point logic (LFP), were proposed to deal with problem problems related to the expressivity of FOL. LFP captures the complexity class PTIME over the class of _nite ordered structures. The descriptive characterization of computational classes is a central issue within _nite model theory (FMT). Trakhtenbrot's theorem, considered the starting point of FMT, states that validity over finite models is not recursively enumerable, that is, completeness fails over finite models. This result is based on an underlying assumption that any deductive system is of finite nature. However, we can relax such assumption as done in the scope of proof theory for arithmetic. Proof theory has roots in the Hilbert's programme. Proof theoretical consequences are, for instance, related to normalization theorems, consistency, decidability, and complexity results. The proof theory for arithmetic is also motivated by Godel incompleteness theorems. It aims to o_er an example of a true mathematically meaningful principle not derivable in first-order arithmetic. One way of presenting this proof is based on a definition of a proof system with an infinitary rule, the w-rule, that establishes the consistency of first-order arithmetic through a proof-theoretical perspective. Motivated by this proof, here we will propose an in_nitary proof system for LFP that will allow us to investigate proof theoretical properties. With such in_nitary deductive system, we aim to present a proof theory for a logic traditionally defined within the scope of FMT. It opens up an alternative way of proving results already obtained within FMT and also new results through a proof theoretical perspective. Moreover, we will propose a normalization procedure with some restrictions on the rules, such this deductive system can be used in a theorem prover to compute queries on relational databases. / A noção de menor ponto-fixo de um operador é amplamente aplicada na ciência da computação como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensões da Lógica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lógica de menor ponto-fixo (LFP)2, foram propostas para lidar com problemas relacionados á expressividade de FOL. A LFP captura as classes de complexidade PTIME sobre a classe das estruturas finitas ordenadas. A caracterização descritiva de classes computacionais é uma abordagem central em Teoria do Modelos Finitos (FMT)3. O teorema de Trakhtenbrot, considerado o ponto de partida para FMT, estabelece que a validade sobre modelos finitos não é recursivamente enumerável, isto é, a completude falha sobre modelos finitos. Este resultado é baseado na hipótese de que qualquer sistema dedutivo é de natureza finita. Entretanto, nos podemos relaxar tal hipótese como foi feito no escopo da teoria da prova para aritmética. A teoria da prova tem raízes no programa de Hilbert. Conseqüências teóricas da noção de prova são, por exemplo, relacionadas a teoremas de normalização, consistência, decidibilidade, e resultados de complexidade. A teoria da prova para aritmética também é motivada pelos teoremas de incompletude de Gödel, cujo alvo foi fornecer um exemplo de um princípio matemático verdadeiro e significativo que não é derivável na aritmética de primeira-ordem. Um meio de apresentar esta prova é baseado na definição de um sistema de prova com uma regra infinitária, a w-rule, que estabiliza a consistência da aritmética de primeira-ordem através de uma perspectiva de teoria da prova. Motivados por esta prova, iremos propor aqui um sistema infinitário de prova para LFP que nos permitirá investigar propriedades em teoria da prova. Com tal sistema dedutivo infinito, pretendemos apresentar uma teoria da prova para uma lógica tradicionalmente definida no escopo de FMT. Permanece aberto um caminho alternativo de provar resultados já obtidos com FMT e também novos resultados do ponto de vista da teoria da prova. Além disso, iremos propor um procedimento de normalização com restrições para este sistema dedutivo, que pode ser usado em um provador de teoremas para computar consultas em banco de dados relacionais

Esta dissertação tem por objetivo reconstruir os modelos cognitivo-culturais que estruturam a categoria conceitual RELIGIÃO, com base nos discursos dos/sobre os imigrantes das antigas colônias italianas na região Nordeste do estado do Rio Grande do Sul, relativamente ao modo como esses experienciavam a religiosidade. Isso se dá a partir de uma análise semântica dos enunciados presentes, por exemplo, em textos de natureza antropológica, historiográfica; relatos de memórias, cartas e diários. As fontes desses discursos são documental-bibliográficas e cobrem o período de 1875 à década de 1950. O corpus é constituído de 138 segmentos discursivos, organizados de acordo com cinco categorias diferentes de fontes. A investigação situa-se no campo da Semântica Cognitiva, orientada pela Teoria dos Modelos Cognitivos Idealizados (TMCI), proposta por Lakoff e seus colaboradores. Esse trabalho se justifica uma vez ainda não existirem estudos empíricos sobre a religião em uma cultura ou subcultura sob o viés da Semântica Cognitiva, garantindo seu caráter inédito. Essa teoria permite avaliar como uma categoria conceitual se estrutura e evolui em uma cultura. A análise empreendida dá-se dentro da esfera da Religião Católica, uma vez ser esta a religião predominante na cultura em questão. O método utilizado é o hipotético-dedutivo, a partir do qual se constrói a estrutura radial preliminar da categoria, com base numa análise inspecional do corpus inicial. Tem-se por hipóteses que: (1) a categoria tem uma estrutura proposicional radial, cujo submodelo prototípico é RITUAIS; (2) a categoria RELIGIÃO estrutura-se basicamente por radialidade, tendo como eixo-de-raio DEUS, com centro prototípico em PAI; (3) estruturas metafóricas e metonímicas organizam extensões ou projeções a partir desses raios; (4) tipos de estruturas proposicionais, como o modelo proposicional script, organizam elementos constitutivos da estrutura radial. O Sistema da Metáfora Moral é aplicado como um modelo organizador dessa estrutura. A análise do corpus selecionado confirma as hipóteses inicialmente levantadas. O submodelo RITUAIS é confirmado como o que prototipicamente representa a categoria. Outra hipótese confirmada é a da influência do modelo proposicional script, como parte integrante do modelo RITUAIS. A estrutura radial hipotética preliminar, ao final das análises, é ajustada aos achados da pesquisa. Esta investigação não visa levantar concepções de religião, mas investigar a estrutura semântico-conceitual de RELIGIÃO por meio da codificação explícita revelada em expressões lingüísticas ou em inferências a partir delas, por meio de modelos metafóricos, metonímicos e proposicionais. / Submitted by Marcelo Teixeira (mvteixeira@ucs.br) on 2014-05-19T17:24:04Z No. of bitstreams: 1 Dissertacao Carina Granzotto.pdf: 2486643 bytes, checksum: dddee18ae2237d598ee4373580a51283 (MD5) / Made available in DSpace on 2014-05-19T17:24:04Z (GMT). No. of bitstreams: 1 Dissertacao Carina Granzotto.pdf: 2486643 bytes, checksum: dddee18ae2237d598ee4373580a51283 (MD5) / This dissertation has the goal of reconstructing the cognitive cultural models that made up the conceptual category RELIGION, with a basis on the discourse of/about immigrants from the Old Italian colonies from the northern region of Rio Grande do Sul, in relation to how they experienced religiosity. This is done through a semantic analysis of the expressions used, for instance, in the texts of anthropologic and historiographic nature; reports of memories, letters, and diaries. The sources of this discourse are documented bibliographies that cover the period from 1875 to the decade of 1950. The corpus of this work is made up of 138 segments, organized accordingly into five categories with different sources. The investigation centers on the field of Cognitive Semantic, oriented by the Theory of Idealized Cognitive Models (TICM), proposed by Lakoff and his colleagues. This study justifies itself and guarantees its unprecedented nature since there has not yet been empirical studies done about religion in a culture or sub culture. The theory presented allows the evaluation of how a conceptual category structures itself and evolves in a culture. The analysis takes place inside the sphere of Catholic Religion, since this is the religion that predominates the culture in question. The method utilized is the hypothetic-deductive, from which the preliminary radial structure of the category is built, with a basis on the inspectional analysis of the initial corpus. The hypotheses is that: (1) the category has a structure that is propositional radial, in which the prototypical sub-models are RITUALS; (2) the category RELIGION has a radial structure having GOD as a radial axis and FATHER as the prototypical center; (3) metaphoric and metonymic structures organize extensions or projections from these rays; (4) the types of propositional structures, like the propositional model script, organize elements that make up the radial structure. The Moral Metaphor System is applied as a model that organizes this structure. The analyses of the selected corpus confirm the initial hypotheses suggested. The sub model RITUALS is confirmed as the one which prototypically represents the category. The other hypotheses confirmed concerns the influence of the propositional model script as the integral part of the RITUALS model. The preliminary hypothetic radial structure, at the end of the analyses, is adjusted to the findings of the research. This investigation does not aim to bring up conceptions of religion but rather to investigate the semantic-conceptual structure of RELIGION through the explicit codification reveled in linguistic expressions or in inferences from them, as well as through metaphoric, metonymic, and propositional models.

Esta dissertação tem por objetivo reconstruir os modelos cognitivo-culturais que estruturam a categoria conceitual RELIGIÃO, com base nos discursos dos/sobre os imigrantes das antigas colônias italianas na região Nordeste do estado do Rio Grande do Sul, relativamente ao modo como esses experienciavam a religiosidade. Isso se dá a partir de uma análise semântica dos enunciados presentes, por exemplo, em textos de natureza antropológica, historiográfica; relatos de memórias, cartas e diários. As fontes desses discursos são documental-bibliográficas e cobrem o período de 1875 à década de 1950. O corpus é constituído de 138 segmentos discursivos, organizados de acordo com cinco categorias diferentes de fontes. A investigação situa-se no campo da Semântica Cognitiva, orientada pela Teoria dos Modelos Cognitivos Idealizados (TMCI), proposta por Lakoff e seus colaboradores. Esse trabalho se justifica uma vez ainda não existirem estudos empíricos sobre a religião em uma cultura ou subcultura sob o viés da Semântica Cognitiva, garantindo seu caráter inédito. Essa teoria permite avaliar como uma categoria conceitual se estrutura e evolui em uma cultura. A análise empreendida dá-se dentro da esfera da Religião Católica, uma vez ser esta a religião predominante na cultura em questão. O método utilizado é o hipotético-dedutivo, a partir do qual se constrói a estrutura radial preliminar da categoria, com base numa análise inspecional do corpus inicial. Tem-se por hipóteses que: (1) a categoria tem uma estrutura proposicional radial, cujo submodelo prototípico é RITUAIS; (2) a categoria RELIGIÃO estrutura-se basicamente por radialidade, tendo como eixo-de-raio DEUS, com centro prototípico em PAI; (3) estruturas metafóricas e metonímicas organizam extensões ou projeções a partir desses raios; (4) tipos de estruturas proposicionais, como o modelo proposicional script, organizam elementos constitutivos da estrutura radial. O Sistema da Metáfora Moral é aplicado como um modelo organizador dessa estrutura. A análise do corpus selecionado confirma as hipóteses inicialmente levantadas. O submodelo RITUAIS é confirmado como o que prototipicamente representa a categoria. Outra hipótese confirmada é a da influência do modelo proposicional script, como parte integrante do modelo RITUAIS. A estrutura radial hipotética preliminar, ao final das análises, é ajustada aos achados da pesquisa. Esta investigação não visa levantar concepções de religião, mas investigar a estrutura semântico-conceitual de RELIGIÃO por meio da codificação explícita revelada em expressões lingüísticas ou em inferências a partir delas, por meio de modelos metafóricos, metonímicos e proposicionais. / This dissertation has the goal of reconstructing the cognitive cultural models that made up the conceptual category RELIGION, with a basis on the discourse of/about immigrants from the Old Italian colonies from the northern region of Rio Grande do Sul, in relation to how they experienced religiosity. This is done through a semantic analysis of the expressions used, for instance, in the texts of anthropologic and historiographic nature; reports of memories, letters, and diaries. The sources of this discourse are documented bibliographies that cover the period from 1875 to the decade of 1950. The corpus of this work is made up of 138 segments, organized accordingly into five categories with different sources. The investigation centers on the field of Cognitive Semantic, oriented by the Theory of Idealized Cognitive Models (TICM), proposed by Lakoff and his colleagues. This study justifies itself and guarantees its unprecedented nature since there has not yet been empirical studies done about religion in a culture or sub culture. The theory presented allows the evaluation of how a conceptual category structures itself and evolves in a culture. The analysis takes place inside the sphere of Catholic Religion, since this is the religion that predominates the culture in question. The method utilized is the hypothetic-deductive, from which the preliminary radial structure of the category is built, with a basis on the inspectional analysis of the initial corpus. The hypotheses is that: (1) the category has a structure that is propositional radial, in which the prototypical sub-models are RITUALS; (2) the category RELIGION has a radial structure having GOD as a radial axis and FATHER as the prototypical center; (3) metaphoric and metonymic structures organize extensions or projections from these rays; (4) the types of propositional structures, like the propositional model script, organize elements that make up the radial structure. The Moral Metaphor System is applied as a model that organizes this structure. The analyses of the selected corpus confirm the initial hypotheses suggested. The sub model RITUALS is confirmed as the one which prototypically represents the category. The other hypotheses confirmed concerns the influence of the propositional model script as the integral part of the RITUALS model. The preliminary hypothetic radial structure, at the end of the analyses, is adjusted to the findings of the research. This investigation does not aim to bring up conceptions of religion but rather to investigate the semantic-conceptual structure of RELIGION through the explicit codification reveled in linguistic expressions or in inferences from them, as well as through metaphoric, metonymic, and propositional models.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para lidar com problemas relacionados à expressividade de FOL. A LFP captura as classes de complexidade PTIME sobre a classe das estruturas finitas ordenadas. A caracterizaÃÃo descritiva de classes computacionais à uma abordagem central em Teoria do Modelos Finitos (FMT)3. O teorema de Trakhtenbrot, considerado o ponto de partida para FMT, estabelece que a validade sobre modelos finitos nÃo à recursivamente enumerÃvel, isto Ã, a completude falha sobre modelos finitos. Este resultado à baseado na hipÃtese de que qualquer sistema dedutivo à de natureza finita. Entretanto, nos podemos relaxar tal hipÃtese como foi feito no escopo da teoria da prova para aritmÃtica. A teoria da prova tem raÃzes no programa de Hilbert. ConseqÃÃncias teÃricas da noÃÃo de prova sÃo, por exemplo, relacionadas a teoremas de normalizaÃÃo, consistÃncia, decidibilidade, e resultados de complexidade. A teoria da prova para aritmÃtica tambÃm à motivada pelos teoremas de incompletude de GÃdel, cujo alvo foi fornecer um exemplo de um princÃpio matemÃtico verdadeiro e significativo que nÃo à derivÃvel na aritmÃtica de primeira-ordem. Um meio de apresentar esta prova à baseado na definiÃÃo de um sistema de prova com uma regra infinitÃria, a w-rule, que estabiliza a consistÃncia da aritmÃtica de primeira-ordem atravÃs de uma perspectiva de teoria da prova. Motivados por esta prova, iremos propor aqui um sistema infinitÃrio de prova para LFP que nos permitirà investigar propriedades em teoria da prova. Com tal sistema dedutivo infinito, pretendemos apresentar uma teoria da prova para uma lÃgica tradicionalmente definida no escopo de FMT. Permanece aberto um caminho alternativo de provar resultados jà obtidos com FMT e tambÃm novos resultados do ponto de vista da teoria da prova. AlÃm disso, iremos propor um procedimento de normalizaÃÃo com restriÃÃes para este sistema dedutivo, que pode ser usado em um provador de teoremas para computar consultas em banco de dados relacionais / The notion of the least fixed-point of an operator is widely applied in computer science as, for instance, in the context of query languages for relational databases. Some extensions of FOL with _xed-point operators on finite structures, as the least fixed-point logic (LFP), were proposed to deal with problem problems related to the expressivity of FOL. LFP captures the complexity class PTIME over the class of _nite ordered structures. The descriptive characterization of computational classes is a central issue within _nite model theory (FMT). Trakhtenbrot's theorem, considered the starting point of FMT, states that validity over finite models is not recursively enumerable, that is, completeness fails over finite models. This result is based on an underlying assumption that any deductive system is of finite nature. However, we can relax such assumption as done in the scope of proof theory for arithmetic. Proof theory has roots in the Hilbert's programme. Proof theoretical consequences are, for instance, related to normalization theorems, consistency, decidability, and complexity results. The proof theory for arithmetic is also motivated by Godel incompleteness theorems. It aims to o_er an example of a true mathematically meaningful principle not derivable in first-order arithmetic. One way of presenting this proof is based on a definition of a proof system with an infinitary rule, the w-rule, that establishes the consistency of first-order arithmetic through a proof-theoretical perspective. Motivated by this proof, here we will propose an in_nitary proof system for LFP that will allow us to investigate proof theoretical properties. With such in_nitary deductive system, we aim to present a proof theory for a logic traditionally defined within the scope of FMT. It opens up an alternative way of proving results already obtained within FMT and also new results through a proof theoretical perspective. Moreover, we will propose a normalization procedure with some restrictions on the rules, such this deductive system can be used in a theorem prover to compute queries on relational databases.