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

A partir de los Estudios Culturales Latinoamericanos, la siguiente investigación propone un abordaje que considera la migración de los bolivianos en São Paulo como un proceso social denso, complejo, donde varios aspectos económicos como subjetivos se contradicen pero a la vez se complementan, reinventando la estructura social del país de origen. La lógica de la contradicción complementación, que subyace como estrategia de interpretación en esta disertación, es la que definimos como lógica ch´ixi, siguiendo a la socióloga e historiadora aymara, Silvia Rivera Cusicanqui, teórica crítica de la subalternidad latinoamericana. El análisis del proceso migratorio boliviano a partir de lo ch´ixi posibilitó una interpretación diferente a la racionalidad dicotómica occidental o a las representaciones mediáticas miserabilistas y estigmatizantes. Este concepto fue el hilo conductor que posibilitó comprender la reinvención de las estructuras organizativas de los inmigrantes bolivianos como su abigarramiento social. Para los objetivos trazados usamos recursos metodológicos cualitativos de la etnografía como de la sociología de la imagen y la historia de vida de miembros de una comunidad tipo de inmigrantes bolivianos / Based on Latin American Cultural Studies, the following research proposes an approach that considers the migration of Bolivians in Sao Paulo as a dense, complex social process, where several economic as well as subjective aspects contradict but at the same time complement each other, reinventing the social structure of the country of origin. The logic of contradiction - complementation, which underlies as a strategy of interpretation in this dissertation, is what we define as ch\'ixi logic, following the Aymara sociologist and historian, Silvia Rivera Cusicanqui, a critical theoretician of Latin American subalternity. The analysis of the Bolivian migratory process throught the concept of ch\'ixi allowed an interpretation different from the western dichotomous rationality or the miserabilistic and stigmatizing media representations. This concept was the guiding thread that made it possible to understand the reinvention of the organizational structures of Bolivian immigrants as their social variegation. For the objectives outlined, we used qualitative methodological resources from ethnography as of the sociology of the image and the life history of members of a typical community of Bolivian immigrants

Orientador: Walter Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T05:55:31Z (GMT). No. of bitstreams: 1 Podiacki_Rodrigo_M.pdf: 538726 bytes, checksum: 3a51529177d89ce92122bde746a321c3 (MD5) Previous issue date: 2008 / Resumo: Esta dissertação tem como objetivo desenvolver uma semântica correta e completa para uma classe de lógicas de primeira ordem conhecidas como Lógicas da Inconsistência Formal (LIFs). Após uma elucidação geral sobre semânticas paraconsistentes e de primeira ordem, uma LIF particular, chamada QmbC, será caracterizada axiomaticamente. Em seguida será construída uma semÂntica que se demonstrará correta e completa para a LIF em questão. Por fim, uma série de LIFs com propriedades sintáticas interessantes serão caracterizadas axiomaticamente, e será visto como a semântica construída para QmbC pode ser estendida para todas essas lógicas. / Abstract: This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be constructed. Finally, a variety of LFIs having nice syntactic properties will be axiomatically defined, and it will be shown how the semantics proposed for QmbC can be extended for all these logics. / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T19:23:49Z (GMT). No. of bitstreams: 1 Pimenta_OlavoCalabria_M.pdf: 8184899 bytes, checksum: 73889509bbd7aa624843c4a04003deab (MD5) Previous issue date: 2003 / Resumo: Neste trabalho identifiquei os elementos mais importantes envolvidos na argumentação de Kant na sua Analítica Transcendental, isto é, por um lado, as representações intuitivas (sensações, intuições empíricas, intuições puras e aparecimentos) tratadas na Estética Transcendental e, por outro, tanto as representações discursivas (conceitos) como as operações (associadas a unidades, regras e julgamentos) tratadas na sua Lógica Transcendental. Em relação a cada um destes elementos, faço um confronto entre trechos de diversas obras de Kant onde eles são explicitados, buscando identificar, nesta multiplicidade de descrições, informações complementares e/ou possíveis incoerências, na intenção de compreender cada um deles de maneira clara e precisa. Finalmente, exponho como Kant opera com tais elementos para resolver seu problema fundamental relacionado à possibilidade dos juízos sintéticos, inicialmente no Esquematismo dos conceitos e, depois, nas Proposições Fundamentais do entendimento puro / Abstract: In this work I have identified the most important elements in Kant' s argumentation in his Transcendental Analytic, that is, on one side, the intuitive representations (sensations, empirical intuitions, pure intuitions and appearances) covered in his Transcendental Aesthetic, and, on the other side, as much the discursive representations (concepts) as the operations (associated to unity, mIes andjudgments) treated in his Transcendental Logic. In relation to each of theses elements, I have made a confrontation between parts of Kant's manifold works where they are explained, searching to identify, in that multiplicity of descriptions, informations and/or possible incoherencies, aimed to comprehend each one of them in a clear and precise way. Finally, I exposed how Kant operates with these elements to solve his fundamental problem relatively to the possibility of synthetic judgments, first in his Schematism of the Conceptions and, afier, in his Principies of pure understanding / Mestrado / Mestre em Filosofia

Orientador : Marcos Lutz Muller / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T00:28:46Z (GMT). No. of bitstreams: 1 Martin_LuizFernandoBarrere_M.pdf: 6793827 bytes, checksum: 227d071a95c410121e46850e8488f5d7 (MD5) Previous issue date: 2004 / Resumo: Trata-se de considerar o tema do relacionamento do ceticismo com a filosofia de hegeliana. Este tema é tratado de modo mais extenso e profundo no artigo "O relacionamento do ceticismo com a filosofia" ¿¿ que se encontra no Jornal Crítico de Filosofia. O mais interessante a analisar nesse relacionamento é o aproveitamento que Hegel faz do ceticismo em sua filosofia, ao incorporá-lo à mesma, como seu lado negativo. É por meio desse lado negativo-cético que se fará a passagem para o lado positivo-racional da filosofia. Outro ponto interessante a ser também analisado no artigo é o modo como Hegel procura escapar à alternativa, ou ceticismo ou dogmatismo. Além do artigo já citado, serão utilizados outros textos de Hegel, do período 1801-1802, que são importantes não apenas no que concerne ao tema da dissertação, mas também para a compreensão das circunstâncias que levaram o filófoso à elaboração do artigo em questão / Mestrado / Filosofia / Mestre em Filosofia

Orientadores: Walter Alexandre Carnielli, Carlos M. C. L. Caleiro / Texto em ingles e portugues / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Tese (doutorado) - Universidade Tecnica de Lisboa, Instituto Superior Tecnico / Made available in DSpace on 2018-08-04T03:00:36Z (GMT). No. of bitstreams: 1 Almeida_JoaoMarcosde_D.pdf: 4760856 bytes, checksum: c6233b2352045368e0a3c7de2738d321 (MD5) Previous issue date: 2005 / Resumo: Segundo a pressuposição de consistência clássica, as contradições têm um cará[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocínio sensato pode então ter lugar. Uma lógica é paraconsistente se ela rejeita uma tal pressuposição, e aceita ao invés que algumas teorias inconsistentes conquanto não-triviais façam perfeito sentido. A? Lógicas da Inconsistência Formal, LIFs, formam uma classe de lógicas paraconsistentes particularmente expressivas nas quais a noção meta-teónca de consistência pode ser internalizada ao nível da linguagem obje[c]to. Como consequência, as LIFs são capazes de recapturar o raciocínio consistente pelo acréscimo de assunções de consistência apropriadas. Assim, por exemplo, enquanto regras clássicas tais como o silogismo disjuntivo (de A e {não-,4)-ou-13, infira B) estão fadadas a falhar numa lógica paraconsistente (pois A e (nao-A) poderiam ambas ser verdadeiras para algum A, independentemente de B), elas podem ser recuperadas por uma LIF se o conjunto das premissas for ampliado pela presunção de que estamos raciocinando em um ambiente consistente (neste caso, pelo acréscimo de (consistente-.A) como uma hipótese adicional da regra). A presente monografia introduz as LIFs e apresenta diversas ilustrações destas lógicas e de suas propriedades, mostrando que tais lógicas constituem com efeito a maior parte dos sistemas paraconsistentes da literatura. Diversas formas de se efe[c]tuar a recaptura do raciocínio consistente dentro de tais sistemas inconsistentes são também ilustradas Em cada caso, interpretações em termos de semânticas polivalentes, de traduções possíveis ou modais são fornecidas, e os problemas relacionados à provisão de contrapartidas algébricas para tais lógicas são examinados. Uma abordagem formal abstra[cjta é proposta para todas as definições relacionadas e uma extensa investigação é feita sobre os princípios lógicos e as propriedades positivas e negativas da negação. / Abstract: According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to recapture consistent reasoning by the addition of appropriate consistency assumptions. So, for instance, while classical rules such as disjunctive syllogism (from A and (not-A)-or-B, infer B) are bound to fail in a paraconsistent logic (because A and (not-.4) could both be true for some A, independently of B), they can be recovered by an LFI if the set of premises is enlarged by the presumption that we are reasoning in a consistent environment (in this case, by the addition of (consistent-/!) as an extra hypothesis of the rule). The present monograph introduces the LFIs and provides several illustrations of them and of their properties, showing that such logics constitute in fact the majority of interesting paraconsistent systems from the literature. Several ways of performing the recapture of consistent reasoning inside such inconsistent systems are also illustrated. In each case, interpretations in terms of many-valued, possible-translations, or modal semantics are provided, and the problems related to providing algebraic counterparts to such logics are surveyed. A formal abstract approach is proposed to all related definitions and an extended investigation is carried out into the logical principles and the positive and negative properties of negation. / Doutorado / Filosofia / Doutor em Filosofia e Matemática

[pt] Nessa dissertação é desenvolvido um modelo de previsão de curto prazo para cargas horárias empregando informações climáticas. Tal modelo é montado para a companhia de eletricidade LIGHT. O modelo proposto combina diferentes metodologias, são elas: Redes Neurais, Métodos Estatísticos e Lógica Nebulosa. Primeiramente, emprega-se o Mapa Auto-Organizável de Kohonen para identificar as curvas típicas de carga que são incluídas em um modelo de previsão estatística. Com intuito de melhorar o desempenho do modelo em termos do erro de previsão é adicionado, através de Lógica Nebulosa, o efeito da temperatura na carga. Por fim, é montado um procedimento com alguns conceitos de Lógica Nebulosa para identificar o tipo de curva de carga do dia a ser previsto. / [en] In the dissertation a new model to short-term forecasting of hourly loads using weather information is developed. This model was developed for the electricity distributing utility LIGHT and it combines different methodologies, namely: Neural Networks, Statistical Methods and Fuzzy Logic. First, the Kohonen Self-Organizing Map makes the identification of the load curves profiles and these are included in the statistical model. In order to improve the performance of the model in terms of forecasting error, the effect of temperature on the load is inserted by means of Fuzzy Logic. Finally, a procedure with some concepts of Fuzzy Logic was established to identify the type of curve of the day to be forecasted.

[pt] Este trabalho aborda o desenvolvimento de um ambiente gráfico, para simulação, de maneira simples, de um sistema de controle nebuloso. Este ambiente possibilita a introdução e alteração dos diversos parâmetros do controlador nebuloso e do sistema controlado, tais como equação da planta, conjuntos nebulosos, variáveis nebulosas, conjuntos de regras, etc. embora já existam atualmente ferramentas deste tipo, estas estão geralmente atreladas a controladores comerciais. O simulador desenvolvido visa oferecer uma ferramenta para uso também acadêmico, onde se possa ter uma noção melhor do funcionamento da técnica de controle nebuloso, aliada a uma facilidade de implementação e manipulação. São apresentados também alguns resultados de simulações feitas para comprovar o funcionamento do simulador. / [en] In this work a graphical environment for the simulation of a fuzzy control system is developed. In this environment, fuzzy controller and process parameters, such as plant equation, definitions of fuzzy sets, fuzzy variables, set of rules, etc., can be easily entered and changed. Althougth similar tools already exist, these are generaly linked to commercial controllers. The simulator developed in this work aims to provide a tool for academic use too, enabling the user to understand fuzzy control techniques. There are also shown results from experiments carried out in order to check and validate the simulator.

[pt] Esta dissertação apresenta uma integração entre a programação funcional e a programação em lógica, obtida pela definição e implementação da Linguagem LispLog. Nesta nova linguagem, o resultado de uma resolução pode ser utilizado como argumento de uma função (pelo operador metalisp) e o resultado da avaliação de uma função pode ser ligado a uma variável lógica (pelo operador avalia). A construção desta linguagem foi realizada a partir da simulação, em microcomputador similar ao IBM-PC, de uma máquina com arquitetura de pilhas, chamada Máquina LispLog, e de seu compilador. A utilização desta linguagem é possível através do Sistema LispLog, que fornece um ambiente de programação orientado por menus. / [en] This dissertation shows an integration between the function programming and logic programming, achieved through LispLog Language’s definition and implementation. In this new language the resultant of a resolution may be used as an argument of a function (through metalisp operator) and the result of a function’s avaliation may be linked to a logic variable (through avalia operator). The LispLog Language was constructed by a simulation of stack architecture machine, named LispLog Machine, and its compiler, in a microcomputer similar similar to IBM-PC. The LispLog System provides a programming environment oriented by menus, wich makes possible the use of this language

[pt] Dedução Natural para a lógica intuicionista tem sido relacionada à Teoria das Categorias através do que agora é conhecido por Lógica Categórica. Essa relação é fortemente baseada no isomorfismo de Curry-Howard entre Dedução Natural e (lambda)-Cálculo Tipado. Esta dissertação descreve alguns aspectos dessa relação com o objetivo de propor uma visão 2-categórica da Lógica Categórica. Mostramos que mesmo numa visão 2-cateórica algumas desvantagens conhecidas na Teoria das Categorias continuam valendo. Concluímos essa dissertação discutindo as vantagens de uma visão 2-categórica a partir de premissas mais fracas. / [en] Natural Deduction for intuitionistic logic has been related to Category Theory by what now is known as Categorical Logic. This relationship is strongly based on the Curry-Howard Isomorphism between Natural Deduction and typed (lambda)-Calculus. This dissertation describes some aspects of these relationship with the aim of proposing a 2-categorical view of categorical logic. We show that even under this 2-categorical view some of the drawbacks already known in ordinary Category Theory remain holding. We conclude this dissertation discussing the advantages of 2-categorical view under some weaker assumptions.