• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 90
  • 5
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 96
  • 59
  • 22
  • 22
  • 17
  • 17
  • 10
  • 8
  • 8
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Paraconsistencia, modalidades e cognoscibilidade

Leite, Alexandre Fernandes Batista Costa 28 April 2003 (has links)
Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T15:50:26Z (GMT). No. of bitstreams: 1 Leite_AlexandreFernandesBatistaCosta_M.pdf: 4047695 bytes, checksum: e6bef39861f93f6478b59af9d4c2b6ec (MD5) Previous issue date: 2003 / Resumo: Este texto tem por objetivo o estudo sintático e semântico das lógicas da inconsistência formal (LFIs), as quais são lógicas paraconsistentes que permitem o uso de operadores para formalizar as noções de consistência e inconsistência. Além das LFls, são estudadas as lógicas modais normais, as quais possuem operadores para formalizar as noções modais de necessidade, possibilidade e conhecimento. Para estas, mostramos como construir o vários sistemas modais disponíveis na literatura, bem como interpretá-Ios diante da semântica usual de mundos possíveis. A partir dos estudos acima, apresentamos uma lógica que é, ao mesmo tempo, paraconsistente e modal chamada CiT. Investigamos algumas propriedades da lógica, como por exemplo, a completude. Tallógíca foi utilizada para evitar o paradoxo da cognoscibílidade, o qual ocorre em lógicas modais com base na lógica clássica / Abstract: This text has the purpose of studying the syntatical and semantical status of logics of formal inconsistency (LFls), which are paraconsistent logícs with linguistic operators to formalize the notions of consistency and inconsistency: It also investigates normal modallogics, whích have operators to formalize the modal concepts of necessity, possibility and knowledge. For these logics, we show how to construct modal systems, as wel1 how to interpret them using possible-world semantics. Given the two studies above, the main purpose of this dissertation is to show a modal paraconsistent logic called CiTo We investigate some properties of this logic, for example, completeness. The logic is used to avoid a trouble with usual modal reasoning based on classicallogíc: the knowability paradoxo / Mestrado / Mestre em Filosofia
12

Sibila : poética em paradoxo / Sibila : poetics in paradox

Castro, Dayan de, 1985- 12 April 2014 (has links)
Orientador: Luise Weiss / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-26T13:13:53Z (GMT). No. of bitstreams: 1 Castro_Dayande_M.pdf: 254244803 bytes, checksum: 290efbe27bd577bebcb934caa43871e2 (MD5) Previous issue date: 2014 / Resumo: O presente volume é um indagar descritivo de imagens em processo. Expõe um amalgama de referências teórico-práticas que influenciaram o caminho na produção das imagens. Estão aqui as partes fundamentais dessa busca, inquietações que relacionam-se com o contemporâneo, a fotografia e o retrato. Fundamentalmente um caminho, um paradoxo / Abstract: The purpose of this volume is a descriptive inquiring of images in progress. It exposes an amalgam of theoretical and practical issues that influenced the way the images were developed. The key parts of this quest are here along with concerns that relate to the contemporary, photography and portrait. Fundamentally a path, a paradox / Mestrado
13

Da possibilidade do habitar: o corpo como morada. Corporeidade e formas subjetivas contemporâneas / Embodiement and subjective contemporary forms

Mourão, Maíra Mamud Godoi 11 May 2012 (has links)
Este trabalho tem como objetivo investigar e discutir, a partir da Psicanálise, os fundamentos da constituição da corporeidade. Além disso, pretende-se enfatizar o paradoxo como sua característica marcante: ela é psíquica e somática, intrapsíquica e intersubjetiva. É feita uma analogia entre a corporeidade e a figura de uma casa, ressaltando, novamente o elemento paradoxal: a casa é espaço de recolhimento e, simultaneamente, de abertura ao outro, ao mundo. O processo de personalização, descrito por Donald Winnicott, será aqui concebido como o paradigma da constituição da corporeidade, representado pela imagem do bebê no colo da mãe: sustentado no cuidado dela, o bebê pode elaborar imaginativamente o corpo e suas funções. O resultado disto é o sentimento de habitar o próprio corpo, marcado pela presença do outro. De acordo com Winnicott, a personalização não é algo dado, mas uma conquista do desenvolvimento emocional primitivo. Se este processo não se der de maneira satisfatória, haverá um prejuízo em relação ao estabelecimento da morada no corpo e também na relação do indivíduo com o mundo. A complementaridade fundamental entre o indivíduo e seu meio será ampliada da relação entre mãe e bebê para a relação entre indivíduo e cultura, a fim de examinar certos aspectos do contexto sócio-político na atualidade articulando-os às suas implicações no âmbito dos processos de subjetivação / The aim of this study is to investigate and discuss, from a psychoanalytical perspective, the fundamentals of the constitution of embodiement. Moreover, it intends to emphasize paradox as its hallmark: it is both psychic and somatic, intrapsychic and intersubjective. The study makes an analogy between embodiement and home, emphasizing again the paradoxical aspect: home is at the same time a place of refuge and of opening to others, to the world. The personalization process, described by Donald Winnicott, is understood here as a paradigm of the constitution of embodiement, represented by the image of a baby in its mothers lap: sustained in her care, the baby may imaginatively develop the body and its functions. The result is the feeling of inhabiting the body, marked by the presence of another. According to Winnicott, personalization is not a given, but an achievement of the primitive emocional development. If this process does not occur satisfactorily, there will be a loss in establishing the inhabiting of the body and also in the individuals relationship with the world. This study will expand the fundamental complementarity between the individual and their environment from the mother-baby relationship, to the relationship between the individual and their culture, in order to examine certain aspects of the current socio-political context, articulating them to their implications in view of subjectivation processes
14

Os paradoxos do desamparo: uma leitura de Perto do coração selvagem de Clarice Lispector / The paradoxes of helplessness: a reading of Perto do Coração Selvagem by Clarice Lispector

Sanches, Elisabete Ferraz 22 March 2012 (has links)
O presente estudo objetiva uma leitura da obra Perto do coração selvagem, de Clarice Lispector, a partir do percurso da protagonista Joana para desentranhar a análise em direção ao estilo da autora. No primeiro plano, vislumbra-se o desamparo humano sendo revelado na história da personagem; no segundo, o drama clariceano em relação ao desamparo da linguagem/escrita. Solidão, liberdade, felicidade e desamparo definem o que se poderia chamar de tom da obra, construindo uma trama por vezes paradoxal e conflitosa. A leitura será norteada, para tanto, pela noção de desamparo sistematizada pela psicanálise. / This paper aims at a reading of the work Perto do coração selvagem of Clarice Lispector, from the journey of protagonist Joan, to unravel the analysis toward the style of the author. In the foreground, we conjecture about human helplessness being revealed in the story of the character, in the background, the clariceano drama in relation to the language/writing helplessness. Loneliness, freedom, happiness and helplessness define what might be called \"tone\" of the work, building a story thats sometimes paradoxical and conflicting. The reading will be guided, for that, by the notion of helplessness systematized by psychoanalysis.
15

Crescimento econÃmico, estoque de capital acumulado e paradoxo da abundÃncia na Ãfrica Subsaariana

Danilson Mascarenhas Varela 05 January 2017 (has links)
La problÃmatique de cette recherche Ãmerge de deux questions rÃcurrentes sur la croissance Ãconomique rÃelle per capita et les rÃserves de capital accumulà dans les pays dâAfrique subsaharienne riches en ressources naturelles, à savoir : (1) pourquoi les pays qui possÃdent de trÃs grandes rÃserves de pÃtrole, minerais, diamants et autres pierres prÃcieuses tendent-ils à avoir une faible croissance Ãconomique rÃelle per capita ? (2) dans quels Ãtats seraient la consommation et les rÃserves de capital accumulà si tous les revenus sur les ressources naturelles Ãtaient investis dans du capital reproductible ? La tendance à la croissance Ãconomique inexpressive des pays riches en matiÃres premiÃres est appelÃe dans la littÃrature Ãconomique ÂmalÃdiction des ressources  ou le Paradoxe de lâAbondance. Ceci Ãtant, cette recherche se propose dâexaminer lâHypothÃse du Paradoxe de lâAbondance dans les pays de lâAfrique subsaharienne et discuter des indicateurs de croissance rÃelle per capita et de lâÃpargne Nette AjustÃe. Les tests empiriques, obtenus à partir de la mise en application de la rÃgle de Hartwick et du modÃle de threshold pour les donnÃes de panel, font rÃfÃrence à la pÃriode allant de 1970 à 2014, et viennent valider la majorità des suppositions de lâHypothÃse du paradoxe, cependant, certaines suppositions sont invalidÃes statistiquement parlant. Les rÃsultats montrent Ãgalement une perspective lÃgÃrement diffÃrente pour lâHypothÃse du Paradoxe de lâAbondance : lâimpact des ressources naturelles sur la croissance Ãconomique dÃpend en partie des cycles Ãconomiques des prix des commodities. Il a Ãtà constatÃ, en outre, que les pays oà lâabondance des ressources impacte nÃgativement sur la croissance Ãconomique sont ceux qui ont nÃgligà le dÃveloppement humain (Ãducation), lâinvestissement en capital fixe et ces pays qui prÃsentent un solde nÃgatif dâÃpargne Nette AjustÃe. Les rÃsultats rÃvÃlent dâailleurs quâil y a peu dâÃvidence statistique sur le fait que la dÃpendance aux ressources naturelles contribue à la faible croissance rÃelle per capita. Dans le but de rÃpondre à la seconde problÃmatique de la recherche, a Ãtà calculà le stock de capital accumulà hypothÃtique des pays de lâAfrique Subsaharienne dÃpendants des ressources naturelles, en faisant usage de la RÃgle de Hartwick, afin de savoir quel serait le capital accumulà de ces pays dans le cas oà ils investissaient tous les revenus provenant de lâexportation des ressources naturelles dans le capital reproductible. Les rÃsultats empiriques montrent que la grande majorità des pays analysÃs auraient triplà leurs rÃserves de capital sâils avaient suivi la rÃgle de Hartwick. Mots clÃs : Ressources Naturelles, Paradoxe de lâAbondance, treshold, Ãpargne / A problemÃtica desta pesquisa emergiu de dois questionamentos recorrentes sobre crescimento econÃmico real per capita e estoque de capital acumulado nos paÃses da Ãfrica Subsaariana ricos em recursos naturais, a saber: (1) por que paÃses que tem elevadÃssimas reservas de petrÃleo, minÃrios, diamantes e demais pedras preciosas tendem a ter um crescimento econÃmico real per capita baixo? (2) como seria o consumo e o stock de capital acumulado, se toda a renda de recursos naturais fosse investida em capital reprodutÃvel? A tendÃncia de crescimento econÃmico inexpressivo dos paÃses ricos em matÃria-prima, à denominada na literatura econÃmica por âmaldiÃÃo de recursosâ ou Paradoxo da AbundÃncia. Sendo assim, esta pesquisa testa a HipÃtese do Paradoxo da AbundÃncia nos paÃses da Ãfrica subsaariana e discorre sobre indicadores de crescimento real per capita e PoupanÃa LÃquida Ajustada. Os testes empÃricos, obtidos por meio da aplicaÃÃo da regra de Hartwick e do modelo de threshold para dados em painel, sÃo referentes ao perÃodo de 1970 a 2014, e embasam (validam) a maioria dos pressupostos da hipÃtese do paradoxo, entretanto alguns pressupostos da pesquisa nÃo tiveram validaÃÃo estatÃstica. Os resultados apontam tambÃm uma perspectiva um pouco diferente para HipÃtese do Paradoxo da AbundÃncia: o impacto dos recursos naturais no crescimento econÃmico depende em parte dos ciclos econÃmicos das commodities. Contatou-se, outrossim, que paÃses em que a abundÃncia de recursos impacta negativamente no crescimento econÃmico sÃo aqueles que negligenciaram o desenvolvimento humano (educaÃÃo), investimento em capital fixo e os que apresentam um saldo negativo de PoupanÃa LÃquida Ajustada. Ademais, os resultados revelam que hà pouca evidÃncia estatÃstica de que a dependÃncia de recursos naturais por si sà contribua para o baixo crescimento real per capita. Visando a responder a segunda problemÃtica da pesquisa, calculou-se o stock de capital acumulado hipotÃtico para os paÃses da Ãfrica Subsaariana dependentes de recursos naturais, por meio da utilizaÃÃo da Regra de Hartwick para a sustentabilidade, a fim de saber qual seria o capital acumulado desses paÃses caso tivessem investido toda a renda proveniente de exportaÃÃo de recursos naturais em capital reprodutÃvel. Os resultados empÃricos apontam que a grande maioria dos paÃses analisados teriam triplicado seu estoque de capital caso tivessem seguido a regra de Hartwick.
16

Normatividade e factualidade

Martins, Volnei Ramos 26 March 2013 (has links)
Resumo: Saul Kripke, a partir dos textos tardios de Wittgenstein, propôs um paradoxo em tor-no da noção de seguir regras que tem como consequência a impossibilidade não apenas do significado linguístico, mas também de todo tipo de representação con-ceitual. Esta dissertação apresenta um entendimento do argumento de Kripke e uma tentativa de refutação do mesmo. Na parte construtiva é feito um esforço para expli-car como que o argumento é construído de um modo que a conclusão flui das pre-missas a partir da mera necessidade conceitual envolvida nas noções de significado e normatividade. É dada uma atenção especial para o uso que Kripke faz da chama "lei de Hume" de acordo com a qual a partir de proposições que descrevem fatos não é possível derivar logicamente proposições normativas. A parte destrutiva da dissertação visa mostrar que há uma possibilidade negligenciada por Kripke que po-de estabelecer a ponte entre os fatos e a normatividade: a teoria ideacional do signi-ficado. Para mostrar isso é esclarecido o significado do termo 'ideia' e explicado co-mo que, ao se assumir a acepção correta da expressão, é possível estabelecer a conexão entre fato e normatividade necessária, de acordo com Kripke, para uma so-lução direta ao paradoxo.
17

Desenvolvimento da Ideia de Sensibilidade em Diderot : o Sonho de d'Alembert e o Paradoxo sobre o Comediante

Camargo, David Ferreira 25 February 2016 (has links)
Submitted by Izabel Franco (izabel-franco@ufscar.br) on 2016-10-10T18:02:31Z No. of bitstreams: 1 DissDFC.pdf: 1112503 bytes, checksum: 92c1a0f1759ffa1e43b99dd9a62e0798 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-21T12:00:54Z (GMT) No. of bitstreams: 1 DissDFC.pdf: 1112503 bytes, checksum: 92c1a0f1759ffa1e43b99dd9a62e0798 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-21T12:01:01Z (GMT) No. of bitstreams: 1 DissDFC.pdf: 1112503 bytes, checksum: 92c1a0f1759ffa1e43b99dd9a62e0798 (MD5) / Made available in DSpace on 2016-10-21T12:01:08Z (GMT). No. of bitstreams: 1 DissDFC.pdf: 1112503 bytes, checksum: 92c1a0f1759ffa1e43b99dd9a62e0798 (MD5) Previous issue date: 2016-02-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
18

O paradoxo da análise: uma abordagem epistemológica

Rosa, Luis Fernando Munaretti da January 2010 (has links)
Made available in DSpace on 2013-08-07T18:55:19Z (GMT). No. of bitstreams: 1 000425456-Texto+Completo-0.pdf: 446354 bytes, checksum: 2d09b14e1d3c6c348b8f3e0a98f21992 (MD5) Previous issue date: 2010 / There are at least two forms of the paradox of analysis. One of these puzzling situations occurs in a non-intensional context, the other in a intensional context, that of the predicate ‘… analyzes…’. However, these paradoxical situations both arise due to two supposed necessary conditions for analysis: the condition saying that analysans and analysandum are the same concept, and the condition saying that the analysans shows how the analysandum is constituted. In this text, I demonstrate the two paradoxes of analysis, showing its premises and its inferential steps. Strategies of solution are proposed according to the demonstration. Among these strategies, stands out one that can solve both puzzling situations at once: that one that says it is not necessary for analysandum and analysans to be the same concept. Other proposals are also evaluated, as the strategy of denying the salva significatione substitution principle between synonymous expressions, or still the strategy of defining the informativeness property as a property relativized to cognitive agent’s knowledge. Arguments are offered to some of these proposals rejection. Some epistemic justification remarks are presented, which can indicate the non-identity between the analysandum concept and the analysans concept. Then, an epistemic distinction is proposed for the concepts identity conditions. / Há pelo menos duas formas de paradoxo da análise. Uma situação paradoxal ocorre em contexto não-intensional e a outra ocorre no contexto intensional do predicado ‘.. analisa.. ’. No entanto, as duas situações paradoxais surgem devido a duas condições que se tomam como necessárias para a análise: a condição de que analysans e analysandum sejam o mesmo conceito e a condição de que o analysans informa como o analysandum está constituído. Neste trabalho, demonstro os dois paradoxos, mostrando as suas premissas e seus passos inferenciais. Estratégias de solução ao paradoxo são propostas conforme a demonstração. Dentre estas estratégias, se destaca uma que pode resolver as duas situações paradoxais de uma só vez: aquela em que se afirma que não é necessário que analysandum e analysans sejam o mesmo conceito. Outras propostas são ainda avaliadas, como a estratégia de negar o princípio de substituição salva significatione entre expressões sinônimas, ou ainda a estratégia de definir a propriedade da informatividade como uma propriedade relativizada ao conhecimento de agentes epistêmicos. Argumentos são oferecidos para a rejeição de algumas destas propostas. São construídas algumas observações sobre justificação epistêmica que apontam para a não identidade entre os conceitos analysandum e analysans. Assim, uma discriminação epistêmica é proposta para as condições de identidade entre conceitos.
19

O contextualismo na epistemologia contemporânea

Rodrigues, Tiegüe Vieira January 2011 (has links)
Made available in DSpace on 2013-08-07T18:55:49Z (GMT). No. of bitstreams: 1 000433233-Texto+Completo-0.pdf: 659866 bytes, checksum: 4bbf5863f2d564ebda30451c88fae886 (MD5) Previous issue date: 2011 / This essay is on Contextualism in Epistemology. More precisely, it is on the semantic thesis in which knowledge attributions of instances ot the form ‘S knows that P’ are context-sensitive. Contextualism has been extensively debated over the past thirty years dealing with central issues in contemporary epistemology. According to the proponents of this theory it offers the best explanation to some key problems in epistemology such as: the problem raised by skeptical paradoxes; preserves our ordinary claims and attributions of knowledge; preserves important logical principles, e. g., the principle of deductive closure. We will present three distinct approaches to contextualism - proposed by Stewart Cohen, Keith DeRose and David Lewis - examining the singularities and implications of each one. We will also examine some signiticant objections to the contextualist thesis, which seek to emphasize the major problems for this theory. However, we do not intend to offer a definitive answer, neither for nor against Contextualism. Therefore, our thesis proposal is that, despite all objections, the contextualist account is far from being refuted, showing us the possibility and need for further investigation. Finally, we originally present a version of the preface paradox that we believe is suitable for a contextualist resolution. / O presente ensaio trata do Contextualismo em Epistemologia. Mais precisamente, ele trata sobre a tese semântica segundo a qual atribuições de conhecimento de instâncias da forma ‗S sabe que P‘ são contextualmente sensíveis. O Contextualismo, ao longo dos últimos trinta anos, tem sido extensivamente debatido, pois versa sobre temas centrais presentes na discussão em Epistemologia contemporânea. Segundo os proponentes dessa teoria, ela é a que melhor responde a importantes questões epistemológicas, tais como: o problema gerado por paradoxos céticos; preserva nossas alegações e atribuições ordinárias de conhecimento; preserva importantes princípios lógicos como, e. g., o princípio de fechamento dedutivo. Apresentaremos três abordagens distintas para o contextualismo – propostas por Stewart Cohen, Keith DeRose e David Lewis – examinando as particularidades e implicações de cada uma dela. Examinaremos também algumas objeções relevantes à tese contextualista, que procuram salientar importantes dificuldades para tal teoria. Contudo, não pretendemos oferecer uma resposta definitiva, nem a favor e nem contrária ao Contextualismo. Por conta disso, a tese proposta será de que, apesar das objeções, o Contextualismo não é refutado mostrando, assim, a possibilidade e necessidade de se continuar a investigação. Por fim, apresentaremos uma versão original do paradoxo do prefácio que acreditamos ser passível de resolução através da aplicação da tese contextualista.
20

Uma análise de auto-referência baseada em fluxos semânticos

da Silva Aguiar, Sergio 31 January 2008 (has links)
Made available in DSpace on 2014-06-12T15:51:05Z (GMT). No. of bitstreams: 2 arquivo1994_1.pdf: 1208830 bytes, checksum: 32c7ea2d84b4aa7902debd9b73581d77 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / O objetivo principal desse trabalho é apresentar uma teoria de ‡uxos (streams em inglês), que são pares ordenados possivelmente aninhados, capaz de anal- isar sentenças (proposições) em geral, incluindo aquelas que apresentam auto- referência. Desejamos que uma teoria geral, como a teoria dos conjuntos, possa fundamentá-las. Entretanto, teorias clássicas de conjuntos como a ZFC controlam auto-referência por meio de um axioma - O Axioma da Fundação. Por esse motivo fundamentamos nossa semântica numa teoria mais abrangente desenvolvida por Honsell e Forti (1983) e aperfeiçoada por Peter Aczel (1988) - A Teoria dos Hiper- conjuntos. Na perspectiva dos hiperconjuntos, estruturas com auto-referência (circularidade) são admitidas sem problemas. Como desejamos analisar sentenças, isto é, interpretá-las num certo mundo e avaliá-las, uma das principais preocupações são os critérios …losó…cos do que en- tendemos como verdade. Por isso, começamos em nosso primeiro capítulo, fazendo um apanhado geral das teorias …losó…cas da verdade. A…m de compararmos o poder de interpretação de teorias clássicas com teo- rias mais modernas como a dos hiperconjuntos, apresentamos, ainda que muito resumidamente, os principais aspectos da teoria dos conjuntos (ZFC) e em seguida falamos sobre hiperconjuntos, bissimulação e ‡uxos, cuja compreensão é essencial para a semântica da linguagem em nossa abordagem. Com essas noções em mãos, entendemos que podemos analisar proposições tidas como paradoxais. O principal representante dos paradoxos com auto- referência é o assim chamado Paradoxo do Mentiroso: “Esta sentença é falsa”. Al- gumas linguagens foram desenvolvidas objetivando dar uma semântica adequada ao paradoxo, mas cadas uma delas apresentaram problemas e sofreram críticas por apresentarem pontos fracos sob alguns aspectos tidos como essenciais. Então, apresentamos algumas abordagens, concebidas para minimizar esses problemas: as abordagens de Bertrand Russel, Tarski, Kripke, Barwise & Etchemendy e de A. N. Prior. A nossa abordagem baseou-se principalmente numa a…rmação de Prior que "toda sentença pode ser entendida como uma a…rmação de verdade sobre ela mesma". Entretanto, apresenta também aspectos semelhantes às linguagens de- senvolvidas por Tarski (metalinguagens), Kripke (apelo semântico) e Barwise & Etchemendy (semântica situacional). Desenvolvemos uma linguagem que pode acomodar sentenças em geral, inclusive as que apresentam auto-referência. Al- guns problemas apresentados em abordagens multivaloradas foram resolvidos, pois o nosso sistema não apresenta mais do que dois valores para avaliação. Problemas de linguagens puramente sintáticas também foram sanados, pois a nossa estru- tura não é baseada apenas em aspectos sintáticos e possui ponto …xo. Com isso acreditamos que, sem perdermos intuição, ganhamos poder de interpretação. Acreditamos também que uma prova pode ser interpretada como sendo um ‡uxo semântico, pois é nada mais que uma seqüência de proposições adequada- mente encadeadas. Sendo assim, no último capítulo falamos sobre provas diretas e provas por absurdo. Um resultado interessante é que a interpretação de provas por absurdo dá origem a um objeto potencialmente in…nito bissimilar à sentença do Mentiroso

Page generated in 0.0418 seconds