FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / O objetivo deste trabalho à apresentar a unidade entre sujeito e objeto, enquanto totalidade, na âPequena LÃgicaâ de Hegel. Para tanto, tomou-se como primeira reflexÃo a IntroduÃÃo da Fenomenologia do EspÃrito, por ser a obra onde Hegel inicia o estudo sobre o tema aqui evidenciado. Nesta obra, Hegel tece uma crÃtica à tradiÃÃo filosÃfica que trata o sujeito separado do objeto, ambos sem nenhuma relaÃÃo. Por isso, apresenta a consciÃncia comum em seus momentos de apreensÃo da realidade, negando e superando cada um deles para revelar a verdade do saber. O saber do objeto que Ã, à o saber da consciÃncia mesma, e agora à a demonstraÃÃo da unidade entre sujeito e objeto. TambÃm serviram de referÃncia os momentos que Hegel expÃe na Doutrina do Ser, da EssÃncia e do Conceito, na EnciclopÃdia das CiÃncias FilosÃficas, em seu volume I. Hegel mostra, em cada seÃÃo desta obra, que o ser traÃa um percurso que tem inÃcio com a imediatez, em que ele, com o nada, mantÃm identidade na diferenÃa, passando para os momentos do ser-aà e do ser-para-si. Na essÃncia, essa relaÃÃo aparece enquanto identidade do uno com o mÃltiplo, enquanto efetividade. No conceito, o ser se manifesta enquanto conceito mesmo, como totalidade objetiva, e cada momento do ser aparece em sua autodiferenciaÃÃo do universal. O fio condutor de todo o itinerÃrio do ser se dà na contradiÃÃo, suprassumindo-se cada momento por outro, de maneira dialÃtica. Nessa suprassunÃÃo, a totalidade se apresenta enquanto manifestaÃÃo de suas partes, e estas sendo a realidade de toda a totalidade. Trata-se de uma totalidade viva, onde a existÃncia e o seu funcionamento nÃo podem ser produzidos por qualquer coisa que nÃo pelo seu funcionamento mesmo. E isso se dà na unidade entre sujeito e objeto, em que o objeto nÃo se explica por si mesmo, mas pelo sujeito que o apreende. E o apreender deste à sempre o apreender de algo. Assim, se dà a dialÃtica enquanto totalidade da unidade ou unidade totalizada. / The objective of this work is to present the unit between subject and object, while totality, in the Small Logic of Hegel. For in such a way, the Introduction of the Phenomenology of Mind was overcome as first reflection, for being the workmanship where Hegel initiates the study on the subject evidenced here. In this workmanship, Hegel weaves critical to the philosophical tradition that deals with the separate subject and object, both without no relation. Therefore, he presents the common conscience at its moments of apprehension of the reality, denying and surpassing each one of them to disclose the truth of knowing. Knowing of the object that is, is to know of the same conscience, now it is the demonstration of the unit between subject and object. Equally it served of reference the moments that Hegel displays in the Doctrine of the Being, the Essence and the Concept, in the Encyclopedia of Philosophical Sciences. Hegel shows, in each section of this workmanship, that the being traces a passage that has beginning with the immediate, where the being, with the nothing, keeps identity in the difference, passing to the moments of being-there and be-for-itself. In the essence, this relation appears while identity of I join it with many, while effectiveness. In the concept, the manifest being if while same concept, as objective totality, and each moment of the being appears in its self-differenciation of the universal one. The conducting wire of all the itinerary of the being if gives in the contradiction, over-admintting itself each moment for another one, in way dialectic. In this over-admintation, the totality if presents while manifestation of its parts, and these, being the reality of all the totality. One is about an alive totality, where the existence and its functioning cannot be produced by any thing that not he himself. E this if gives in the unit between subject and object, where the object is not justified by itself, but for the citizen that apprehends it. E apprehending of this is always to apprehend of something. Thus, if it gives the dialectic, while totality of the unit, or totalized unit.

nÃo hà / A filosofia de Eric Weil apresenta uma estrutura sistemÃtica cuja interpretaÃÃo dos componentes nÃo à facilmente concebÃvel. O tÃtulo âFilosofia e histÃria no pensamento de Eric Weilâ propÃe uma leitura abrangente do sistema weiliano visando sua compreensÃo atravÃs de um elemento que atravessa toda a sua obra: a histÃria. Nossa hipÃtese fundamental à a de que se encontra subjacente, em Weil, uma forma original de pensar a histÃria, que, mesmo sem constituir uma âfilosofia particularâ, à uma princÃpio hermenÃutico para a interpretaÃÃo do seu pensamento. A nosso ver, o tema ainda nÃo encontrou o aprofundamento merecido entre os que se dispuseram a pensar a filosofia weiliana tanto pela forma como normalmente se pÃe a questÃo da relaÃÃo entre a filosofia e a histÃria ou como um tema tangente na obra ou como uma marca do seu âhegelianismoâ. Mostramos que a questÃo da histÃria à tomada numa perspectiva filosÃfica original por se distanciar tanto da âinspiraÃÃoâ hegeliana como do pensamento heideggeriano; e fundamental, porque o pensamento de Weil nÃo pode ser compreendido sem referÃncia à reflexÃo sobre a histÃria e sobre o homem que por ela se interessa. Nossa tese se desenvolve a partir da tarefa que demanda tanto a apresentaÃÃo dos problemas inerentes ao projeto de uma filosofia da histÃria, como a determinaÃÃo do fio condutor que aponta para a sua unidade interna e para a sua articulaÃÃo com o restante do sistema. Portanto, a cada novo passo retoma-se a hipÃtese de que a reflexÃo sobre a histÃria serve de chave hermenÃutica legÃtima da obra weiliana. Uma primeira exigÃncia tem carÃter histÃrico-expositivo: elencar os textos que abordam as questÃes prÃprias do pensamento sobre a histÃria. Deve-se tambÃm ler sistematicamente o conjunto dos textos e da sua relaÃÃo com o sistema da filosofia articulado na LÃgica da filosofia, assumindo a ideia de sistema como pedra de toque da validade de qualquer interpretaÃÃo. NÃo se trata, portanto, de recortar o corpus weiliano em vista da indicaÃÃo dos lugares em que a questÃo aparece, mas de reconstruir a unidade entre as diferentes partes da sua obra. Nossa investigaÃÃo toma a obra de Weil concentrando-nos sobre a histÃria na sua dimensÃo lÃgico-filosÃfica sem prescindir daquela histÃrico-polÃtica. Trata-se, entÃo, de uma perspectiva lÃgico-argumentativa que tenta compreender uma filosofia que se pretende dialÃtica e crÃtica. Para tanto, dividimos o trabalho em quatro capÃtulos. O primeiro aborda a metafilosofia no pensamento weiliano a partir da sua inspiraÃÃo kantiana. Nossa hipÃtese fundamental à o retorno à afirmaÃÃo do kantismo de Weil, kantismo retomado por um filÃsofo que leu e compreendeu Hegel. Partimos da definiÃÃo da filosofia como ato humano prÃprio de quem escolheu, livremente, compreender o mundo numa busca de sentido entendida como atividade eminentemente cientÃfica e comunicÃvel, e, acima de tudo, essencialmente histÃrica. O segundo, insere Eric Weil na esteira dos filÃsofos que pensam a histÃria, sempre segundo a inspiraÃÃo kantiana, o que implica associÃ-lo à tradiÃÃo de uma âcrÃtica da razÃo histÃricaâ que parte de Dilthey e se prolonga atà Weber e Aron. O terceiro leva as condiÃÃes dos discursos sobre o sentido da histÃria ao sistema das categorias discursivas. Dito de outro modo, seguimos a sucessÃo categorial da LÃgica da filosofia. De um lado, discernimos os motivos que impedem um discurso histÃrico da Verdade ao Eu, e de outro, acompanhamos o desenvolvimento dos discursos fundantes de uma compreensÃo da histÃria da categoria Deus atà a Sabedoria. O Ãltimo constitui uma segunda parte do trabalho e retoma a tarefa anunciada como a recuperaÃÃo da funÃÃo social do filÃsofo, a partir da leitura weiliana da RevoluÃÃo francesa.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento à parcial, a LÃgica de Primeira Ordem nÃo à suciente. LÃgicas nÃo-monotÃnicas tÃm sido propostas para melhor lidar com o raciocÃnio prÃtico. Uma formalizaÃÃo do raciocÃnio nÃo-monotÃnico bem-sucedida à a LÃgica Default de Reiter que estende a LÃgica de Primeira Ordem com regras default. Infelizmente, a LÃgica Default à indecidÃvel. Nesta dissertaÃÃo, propomos uma LÃgica de DescriÃÃo Default expressiva o suciente para formalizar o raciocÃnio prÃtico sobre bases de conhecimento. Ela tem como base monotÃnica a LÃgica de DescriÃÃo ALC. Adicionamos algumas restriÃÃes à aplicaÃÃo dos defaults a m de obter propriedades interessantes, tais como a coerÃncia e a eliminaÃÃo de extensÃes anÃmalas. Apresentamos os principais algoritmos usados para construir uma extensÃo com um passo-a-passo e suas anÃlise de complexidade. / Knowledge formalization and reasoning automatization are central within Articial Intelligence. First Order Logic has been traditionally used for such purposes. However, it is better suited to deal with complete knowledge in ideal circumstances. In real situations, in which the knowledge is partial, First Order Logic is not sucient. Nonmonotonic logics have been proposed to better cope with practical reasoning. A successful formalization of nonmonotonic reasoning is the Reiter's default logic which extends classical logic with default rules. Unfortunately, default logic is undecidable. In this work, we propose a description default logic expressible enough to formalize practical reasoning in knowledge bases. It has as its monotonic basis the ALC Description Logic. We add some restrictions to the application of defaults in order to obtain nice properties such as coherence and the elimination of anomalous extensions. We present the main algorithms used to build an extension with a step by step complexity analysis.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / nÃo hà / A presente dissertaÃÃo envolve um dos temas mais relevantes na Ãrea educacional: a avaliaÃÃo da aprendizagem. De tudo o que sobre ela se discute atualmente, hà algo que està sempre em evidÃncia: a proposta de cunho predominantemente qualitativo que se defende para o processo de avaliaÃÃo. Nesse sentido, buscou-se compreender o seu significado a partir da visÃo das professoras do Ensino Fundamental de uma escola da rede municipal de Fortaleza, a fim de ser evidenciado o sentido da avaliaÃÃo dado pelas professoras, bem como as dificuldades que encontram durante o processo avaliativo. Para a interpretaÃÃo das falas dos sujeitos, utilizou-se a teoria hermenÃutica na versÃo contemporÃnea de Martin Heidegger e Hans-Georg Gadamer. Entretanto, a pesquisa nÃo teve intenÃÃes de se limitar à simples identificaÃÃo e descriÃÃo do sentido da avaliaÃÃo, pretendeu, sobretudo, desenvolver um aplicativo baseado em lÃgica fuzzy, levando em consideraÃÃo as informaÃÃes obtidas atravÃs do instrumental metodolÃgico aplicado. O software desenvolvido tem como principal objetivo apoiar as professoras durante a tarefa de avaliar seus alunos, sobretudo, no que diz respeito à fase de notaÃÃo numÃrica. A lÃgica fuzzy se aplica coerentemente nessa situaÃÃo, uma vez que tem o poder de manipular dados qualitativos que, para efeito deste estudo, sÃo os conceitos, e convertÃ-los em quantitativos, ou seja, as notas numÃricas. A versÃo preliminar do software foi testada pela pesquisadora atravÃs de um estudo comparativo entre os conceitos mÃdios e notas inferidas pelas professoras durante avaliaÃÃes reais e os conceitos mÃdios e notas geradas pelo sistema fuzzy. Os resultados mostraram um grau de confiabilidade do sistema em torno de 93%. Isso demonstra que esta poderà ser uma Ãtil ferramenta no cotidiano de professores durante a difÃcil tarefa de avaliar seus alunos. / This study involves one of the most important themes in the educational field: the learning assessment. From everything that is discussed about it, there is something that is always in evidence: the qualitative proposal that is recommended to the assessment process. So, the aim of this study was to comprehend its meaning from the vision of the elementary school teachers from one municipal school of Fortaleza, in order to be defined the meaning the teachers give to it, as well as the difficulties found during the assessment process. The interpretation of the teachersâ speeches was done by using the hermeneutic theory in the modern version of Martin Heidegger and Hans-Georg Gadamer. Therefore, this study was not limited to identify and describe the assessment meaning, it intended to develop a software based in the fuzzy sets theory, considering the information obtained from the application of the methodological instruments. The software intends to support the teachers during the assessment process, specially in the numerical grades conversion. The fuzzy logic has a coherent application in this situation because it has the power of manipulate qualitative data which are, in this study, the concepts, into quantitative data, the numerical grades. The software preliminary version was tested by the author through a comparative study between the concepts and numerical grades given by the teachers and the ones given by the fuzzy system. The results showed a confidence degree of 93%. It demonstrates that it might be a useful instrument to teachers during the hard work of evaluating their students.

nÃo hà / Um grave problema presente quando aplicamos semÃntica composicional, que atribui simples valores de verdade a frases, à que quando essas seqÃÃncias estÃo presentes em alguns contextos especÃficos, a substituiÃÃo de certas expressÃes com a mesma referÃncia pode cambiar o valor de verdade da frase maior ou entÃo impedir que inferÃncias vÃlidas sejam realizadas. Por exemplo, da afirmaÃÃo "Pedro acredita que Alexandre o Grande foi aluno de AristÃteles", nÃo se pode inferir corretamente neste contexto de crenÃa que a substituiÃÃo de "Alexandre o grande" por "o vencedor da batalha de Arbela" seja vÃlida porque eventualmente Pedro pode nÃo saber que "Alexandre o Grande à o vencedor da batalha de Arbela" e por isso a verdade das premissas nÃo garante a verdade da conclusÃo: "Pedro acredita que o vencedor da batalha de Arbela foi aluno de AristÃteles". A conclusÃo nÃo se segue pois ela nÃo depende da relaÃÃo de identidade efetiva entre âAlexandre o Grandeâ e âO vencedor da Arbelaâ, e sim depende, de maneira contingente, do conjunto de crenÃas de Pedro; ou ainda, segundo Frege, depende do sentido que Pedro associa a descriÃÃo âAlexandre o Grandeâ. Em contextos intensionais a verdade da conclusÃo (apÃs substituiÃÃo) depende de uma maneira especÃfica da maneira de conceber o nome em questÃo, por isso a substituiÃÃo entre nomes cujo referente à o mesmo, mas que diferem em sentido, nÃo funciona em todos os casos. O fato à que Frege nunca estabeleceu critÃrios de identidade para o sentido (Sinn), apenas reservou-se a declarar simplesmente que o sentido à o "modo de apresentaÃÃo" da referÃncia. Pretendemos apresentar critÃrios de identidade para o sentido em geral, e em contextos intensionais, em particular. Os sucessores de Frege, dentre eles o lÃgico Alonzo Church e o filÃsofo Rudolf Carnap foram os primeiros a estabelecer que duas expressÃes tÃm o mesmo sentido se e somente se sÃo sinonimamente isomorfas e intensionalmente isomorfas, respectivamente. Tais critÃrios devem ser entendidos à luz dos pressupostos lÃgicos de Church em sua LÃgica do Sentido e da DenotaÃÃo (LSD) e das idÃias de Carnap â muitas delas constituintes do programa filosÃfico do Positivismo lÃgico, em seu livro Meaning and Necessity. Mais recentemente, Pavel Tichà estabeleceu de maneira mais exata o que à o sentido e sua identidade atravÃs do Procedural isomorphism o qual constitui um dos fundamentos da LÃgica Intensional Transparente (TIL). / A feature of the distinction between extensionalism and intensionalism, which has been widely taken as a criterion to separate the two positions, is that within an extensionalist logic, substitution is possible salva veritate (that is, without thereby changing the truth-value of the statement concerned) with respect to identical instances of some basic logical form â and in an intensionalist logic it is not. The different logical forms with respect to which such substitution might take place accounts for some of the variety of different extensionalisms on offer in the current philosophical landscape. So our starting-point is Fregeâs puzzle. This question is frequently accepted as one of the foundations of modern semantics. To explain why a true sentence of the form âa = bâ can be informative, unlike a sentence of the form âa = aâ, Frege introduced an entity standing between an expression and the object denoted (bezeichnet) by the expression. He named this entity Sinn (sense) and explained the informative character of the true âa=bâ-shaped sentences by saying that âaâ and âbâ denote one and the same object but differ in expressing (ausdrÃcken) distinct senses. The problem, though, is that Frege never defined sense. The conception of senses as procedures that is developed here has much in common with a number of other accounts that represent meanings, also, as structured objects of various kinds, though not necessarily as procedures. In the modern literature, this idea goes back to Rudolph Carnapâs (1947) notion of intensional isomorphism. Church in (1954) constructs an example of expressions that are intensionally isomorphic according to Carnapâs definition (i.e., expressions that share the same structure and whose parts are necessarily equivalent), but which fail to satisfy the principle of substitutability. The problem Church tackled is made possible by Carnapâs principle of tolerance (which itself is plausible). We are free to introduce into a language syntactically simple expressions which denote the same intension in different ways and thus fail to be synonymous. TichÃâs objectualist take on âoperation-processesâ may be seen in part as linguistic structures transposed into an objectual key; operations, procedures, structures are not fundamentally and inherently syntactic items, but fully-fledged, non-linguistic entities, namely, constructions.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Este trabalho teve como objetivos montar e instalar sistemas de irrigaÃÃo com diferentes nÃveis de automaÃÃo: automÃtico inteligente, automÃtico por temporizador e nÃo automÃtico. Foi conduzido um experimento na Ãrea experimental do LaboratÃrio de HidrÃulica e IrrigaÃÃo da Universidade Federal do CearÃ, em Fortaleza, CE, no perÃodo de outubro de 2004 a janeiro de 2005. Esses trÃs sistemas foram distribuÃdos em um delineamento estatÃstico em blocos casualizados. O delineamento constou de 6 blocos e trÃs tratamentos distribuÃdos em 18 parcelas experimentais medindo 4m de largura e 12m de comprimento, ocupando uma Ãrea total de 1600m2. A montagem foi dividida em duas fases, a primeira fase consistiu na montagem dos sistemas eletrÃnico e elÃtrico composto por sensores de umidade (blocos de resistÃncia), sensores de temperatura (termopares), datalogger, multiplexador, placa digital de E/S padrÃo ISA, placa condicionadora de relÃs, temporizador, contactores, relÃs, chave de partida, cabeamento, aterramento e a segunda dos sistemas hidrÃulico e de irrigaÃÃo composto de bombas, tubulaÃÃes, reservatÃrios, manÃmetros, hidrÃmetros, venturis, tomadas de pressÃo e conexÃes; todos os sistemas preconizados foram montados e instalado no campo. / This work had as objectives to set up and to install overhead irrigations with different automation levels: automatic intelligent, automatic for temporizador and no automatic. An experiment was driven in the experimental area of the Laboratory of Hydraulics and Irrigation of the Federal University of CearÃ, in Fortaleza, CE, in the period of October of 2004 to January of 2005. Those three systems were distributed in a statistical delineamento in blocks casualizados. The delineamento consisted of 6 blocks and three treatments distributed in 18 experimental portions measuring 4m of width and 12m of length, occupying a total area of 1600m2. The assembly was divided in two phases, the first phase consisted of the assembly of the electronic and electric systems composed for sensor of humidity (resistance blocks), sensor of temperature (termopares), datalogger, multiplexador, digital plate of E/S pattern ISA, conditioning plate of relÃs, temporizador, contactores, relÃs, departure key, cabeamento, aterramento and Monday of the waterworks and of irrigation composed of bombs, piping, reservoirs, manÃmetros, hydrometers, venturis, pressure sockets and connections; all of the extolled systems were mounted and installed in the field.

A tomada de decisÃo à um processo cognitivo que conduz à seleÃÃo de um plano de escolha dentre vÃrios. Este pode ser concebido atravÃs do juÃzo de um ou vÃrios indivÃduos, os quais serÃo definidos como agentes. O trabalho em questÃo terà como cerne ambientes onde grupo de indivÃduos atuam simultaneamente influenciando uns aos outros, ou seja, iremos trabalhar com sistemas multiagentes. Dentre a classe de problemas envolvidos pela tomada de decisÃo, destacam-se os Problemas de DecisÃo MulticritÃrio. Estes sÃo uma variaÃÃo dos Problemas de DecisÃo usuais onde a correta tomada de decisÃo se processa atravÃs da apreciaÃÃo de vÃrios critÃrios, os quais sÃo utilizados para descrever o objeto/fato a ser decidido. Para que seja possÃvel a tomada de decisÃo, se faz necessÃrio uma estratÃgia que analise o problema em questÃo, de modo a determinar as alternativas sobre as quais o tomador de decisÃo deverà escolher, avalie cada critÃrio que compÃe a alternativa, diante dos possÃveis valores que estes podem assumir, para, assim, realizar a tomada de decisÃo. Dentre as diversas estratÃgias utilizadas para resolver este tipo de problemas, destacam-se aquelas que usam a LÃgica MatemÃtica como tÃcnica de modelagem e soluÃÃo. Amplamente estudada por pesquisadores vinculados à InteligÃncia Artificial, a LÃgica MatemÃtica utiliza-se de conceitos especÃficos de sua sintaxe e semÃntica para modelar ambientes complexos e estabelecer por mÃtodos especÃficos a tomada de decisÃo. Dentre as abordagens relevantes vinculadas à LÃgica MatemÃtica, destacam-s aquelas que empregam a LÃgica de Primeira Ordem. Inspirado nas LÃgica de PreferÃncias clÃssicas, este trabalho propÃe a LÃgica de Primeira Ordem para problemas de DecisÃo com AgregaÃÃo de PreferÃncias FODPA. Esta à capaz de modelar e resolver Problemas de DecisÃo MulticritÃrio em ambientes multiagentes atravÃs de tÃcnicas relacionadas Ãs LÃgicas com AgregaÃÃo de PreferÃncias e à LÃgica de Primeira Ordem. / Decision making is a cognitive procedure that lead to selection of a plan of choice among several. This can be designed through the judgment of one or more individuals, who are defined as agents. The work in question will have as core environments where several individuals act simultaneously, that is, we will work with multi-agent systems. Among the problems involved by the decision making processes, stand out the Multicriteria Decision Problems. These are a variation of the usual Decision Problems where the correct decision-making processes through the assessment of various criteria, which are used to describe the object / fact to be decided. To be able the correct decision making, a strategy is necessery to analyze the problem, determine the alternatives on which the decision maker must choose, evaluate each criterion that compose an alternative towards the possible values that each criterion can assume, thus, take the decision. Among the several strategies used to solve such problems, stand out those that use the Mathematical Logic as modeling and solution techniques. Extensively studied by researchers in Artificial Intelligence, the Mathematical Logic uses specific concepts of its syntax and semantics to model complex environments and establish decision-making. Inspired by the Classical Preferences Logics, this work aims to propose the First Order Logic for Decison problems with Preference Aggregation {FODPA}. This is able to model and solve Multicriteria Decisiom Problems in multi-agent environments by techniques related to Preferences Logics and the First Order Logic.

nÃo hà / A lÃgica default foi introduzida para manipular raciocÃnio com conhecimento incompleto e tornou-se o principal paradigma para a formalizaÃÃo do raciocÃnio nÃo monotÃnico. Muitas variaÃÃes foram propostas com o objetivo de solucionar algumas limitaÃÃes do formalismo ou para proporem diferentes intuiÃÃes sobre o papel das informaÃÃes inconlusivas. PorÃm, algumas das principais caracterÃsticas foram mantidas: a informaÃÃo inconclusiva à representada por regras default, objetivam o cÃlculo de extensÃes e, para isso, utilizam uma caracterizaÃÃo atravÃs de operadores de ponto fixo. NÃs propomos uma nova abordagem para o raciocÃnio nÃo monotÃnico. Nesta dissertaÃÃo, apresentamos a LÃgica Defeasible com Prioridade Ãs ExceÃÃes. As principais vantagens desta proposta sÃo a nÃo utilizaÃÃo de pontos fixos para definiÃÃo das expansÃes (nosso correspondente de extensÃes) e a propriedade de prioridade Ãs exceÃÃes que nÃo permite que uma proposiÃÃo inconclusiva interfira na derivaÃÃo de sua exceÃÃo. AlÃm disso, apresentamos uma nova maneira de definir as extensÃes da lÃgica default e de duas das suas principais variantes a lÃgica default justificada e a lÃgica default com restriÃÃes. / Default logic was introduced to manipulate reasoning with incomplete information and became the main paradigm to formalize nonmonotonic reasoning. Many variations have been proposed with the objective to solve some limitations of the formalism or to consider different intuitions on the role of inconclusive information. However, some of the main characteristics had been kept: inconclusive information is represented as default rules, objectifies the calculation of extensions and, because this, they use characterizations through fixed-point operators. We consider a new approach for nonmonotonic reasoning. In this dissertation, we present the Defeasible Logic with Exception-First. The main advantages of this approach are: it does not use fixed-points operators to define expansions (our correspondent of extensions) and exception-first property that does not allow that a inconclusive proposition intervenes with the derivation of its exception. Moreover, we present a new way to define the extensions of default logic and two of its main variants, justified default logic and constrained default logic.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. à tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, à apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à LÃgica moderna, e nela sÃo representadas as definiÃÃes bÃsicas de Frege a respeito da noÃÃo de nÃmero. Posteriormente, à apresentado um resumo de questÃes importantes em fundamentos da MatemÃtica durante as primeiras trÃs dÃcadas do sÃculo XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, sÃo apresentados, em linhas gerais, os teoremas de incompletude de GÃdel e o conceito de computabilidade de Turing, que apresentaram respostas precisas Ãs duas mais importantes questÃes do programa de Hilbert, a saber, uma prova direta de consistÃncia para a AritmÃtica e o problema da decisÃo, respectivamente. / This work is a study about the origins of Mathematical Logic and the limits of its applicability to the formal development of Mathematics. Firstly, Dedekindâs arithmetical theory is presented, which was the first theory to provide a precise definition for natural numbers and to demonstrate relying on it all facts commonly known about them. Peanoâs axiomatization for Arithmetic is also presented, which in a sense simplified Dedekindâs theory. Then, Fregeâs Begriffsschrift is presented, the formal language from which modern Logic originated, and in it are represented Fregeâs basic definitions concerning the notion of number. Afterwards, a summary of important topics on the foundations of Mathematics from the first three decades of the twentieth century is presented, beginning with the paradoxes in Set Theory and ending with Hilbertâs formalist doctrine. At last, are presented, in general terms, GÃdelâs incompleteness. theorems and Turingâs computability concept, which provided precise answers to the two most important points in Hilbertâs program, to wit, a direct proof of consistency for Arithmetic and the decision problem, respectively. Keywords: 1. Mathematical Logic 2. Foundations of Mathematics 3. GÃdelâs incompleteness theorems

FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / Dentro dos estudos de histÃria e cultura africana e afrodescendente a presente dissertaÃÃo faz uma inserÃÃo inovadora dentro da tradiÃÃo do IfÃ. O Ifà à um corpo literÃrio e filosÃfico, que descende de uma divindade entre dois mundos entendidos como o fÃsico e o espiritual. As sistematizaÃÃes das representaÃÃes do Ifà trabalham as questÃes sobre Ãlgebra binÃria e a organizaÃÃo dos significados do Ifà foi o objetivo da pesquisa idealizada. A importÃncia deste tema està em examinar conhecimentos especÃficos de uma cultura e tradiÃÃo que tem como processo educativo a oralidade e a preservaÃÃo da cultura interdisciplinar. Adicionamos à nossa proposta o exame sistemÃtico dos conceitos e proposiÃÃes de vida que abrange desenvolver a coletividade e individualidade, no aprender e entender atravÃs do exercÃcio das virtudes filosÃficas, especÃficas do pensar yorubÃ, partindo da concepÃÃo da natureza e da genealogia divina da criaÃÃo dentro da tradiÃÃo africana herdada do Antigo Egito. Ifà à pluralidade cultural que pode ser ciÃncia, religiÃo e sociabilidade. AlÃm do que jà foi explanado, trazemos para este corpo de trabalho a geometria, estÃtica e medicina dentro do aspecto inter-relacional, a fim de mostrar como acontece a absorÃÃo de conhecimentos. Pretendemos ficar distantes da base teÃrica universalista e eurocentrista buscando o aprofundamento da filosofia africana e a interdisciplinaridade para contemplar os aspectos culturais e Ãtnico-brasileiros bem como estar de acordo com a Lei n 10.639/03. Assim, com base na oralidade presente nas religiÃes de matriz africana e, atravÃs do corpo literÃrio do IfÃ, embarcaremos na complexidade da razÃo e da lÃgica metafÃsica e atemporal para entendermos a cogniÃÃo no aspecto da cosmovisÃo institutiva de valores e princÃpios. / Within the history of studies and African culture and afrodescendencia this dissertation is an innovative integration within the Ifa tradition. Ifa is a literary and philosophical body, which descends from a deity between two worlds understood as the physical and the spiritual. The systematization of Ifa representations work questions on binary algebra and organization of Ifa meanings was the purpose of the idealized research. The importance of this issue is to examine specific knowledge of a culture and tradition that has the educational process orality and the preservation of interdisciplinary culture. We add our proposal for the systematic examination of the concepts and propositions of life that includes developing the collectivity and individuality in learning and understanding through the exercise of philosophical virtues, specific thinking Yoruba, starting from the design of nature and divine genealogy of creation within the African tradition inherited from Ancient Egypt. Ifa is cultural diversity that can be science, religion and sociability. We bring to this body of work beyond what has already been explained geometry, aesthetics and medicine within the inter-relational aspect to show as is the absorption of knowledge. We intend to stay away from the universalistic, Eurocentric theoretical basis seeking the deepening of African philosophy and interdisciplinarity to contemplate the cultural and ethnic-Brazilian aspects as well as being in accordance with Law No. 10,639 / 03. Thus, based on orality present in religions of African origin, and through the literary body of IfÃ, embark on the complexity of reason and metaphysics and timeless logic to understand cognition in the aspect of institutiva worldview values and principles.