Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-11T08:51:47Z (GMT). No. of bitstreams: 1 Gorsky_Samir_M.pdf: 690814 bytes, checksum: 2435beecaa8f0656155bf7b65f58df5b (MD5) Previous issue date: 2008 / Resumo: No século XX tivemos um considerável avanço sobre o entendimento formal do significado das modalidades. Os trabalhos de Jónsson, McKinsey e Tarski na década de quarenta permitiram a construção dos resultados de completude algébrica para os sistemas modais. Estes resultados, porém, não receberam a devida atenção. Na década de cinqüenta, Kripke propôs uma semântica interessante para estes sistemas. Tal semântica, hoje conhecida como semântica de Kripke ou semântica dos mundos possíveis, causou um grande impacto no âmbito da filosofia analítica. Os artigos escritos por Lemmon na década de 60 têm por objetivo apresentar uma síntese destas duas semânticas. Um interessante resultado mostrado nestes artigos c que a completude semântica pode ser deduzida de resultados algébricos por meio de um teorema central. Um dos resultados mais surpreendente e interessante do trabalho do Lemmon é o teorema da representação. Esse teorema de representação para a lógica modal tem como conseqüência a conexão entre o ponto de vista algébrico e o ponto de vista da semântica dos mundos possíveis (ou semântica de Kripke). O objetivo inicial do presente trabalho era estender este mesmo resultado algébrico para os sistemas da classe "Gmnpq" proposta por Lemmon e Scott nas "Lemmon notes". Argumentaremos que as semânticas algébricas para as lógicas modais podem servir de base para respostas às diversas críticas direcionadas ao desenvolvimento da lógica modal. Mostraremos, por fim, como que a semântica algébrica, sendo uma semântica que não usa o conceito de mundos possíveis, pode ser considerada útil por defensores do antirealismo modal / Abstract: In XX century we had a considerable advance on the understanding of the formal meaning of modalities. The Jonsson, McKinsey and Tarski works in fourties enabled the construction of the results of algebraic completeness for the modal systems. In fifties Kripkc proposed a interesting semantic for these systems. Such semantics, today known as possible world's semantics, or Kripke's semantics, caused a great impact in the context of analytical philosophy. Articles written by Lemmon in the decade of 60 are supposed to present a synthesis of these two semantics, the algebraic semantic and the possible world's semantic. One interesting result shown in these articles is that the semantic completeness can be inferred from algebraic results through a central theorem. One of the most surprising and interesting results in the paper of Leuunon is the theorem or representation for modal algebras. This theorem of representation for the modal algebra is as a result the connection between the point of view and algebraic point of view of the semantics of possible worlds (or Kripkc's semantics). The initial objective of the present work was to extend this same result for algebraic systems of Class "Gmnpq" proposed by Lemmon and Scott in the "Lemmon notes". We argue that the algebraic semantic for modal logic can serve as a basis for answers to the various criticisms directed to the development of modal logic. We'll show, finally, that the algebraic semantics, as a semantics that does not use the concept of possible worlds, may be deemed useful by supporters of modal ant i realism / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-11T17:55:59Z (GMT). No. of bitstreams: 1 Gomes_FabricioVasconcelos_M.pdf: 656938 bytes, checksum: 1e98ca2830957c3cb09e2f3bd7d4ad28 (MD5) Previous issue date: 2008 / Resumo: Muito se fala na qualidade que possuiriam certas sentenças judiciais de serem "lógicas" em algum sentido. O presente trabalho tem por objetivo esclarecer e propor um possível sentido para esta qualidade quando referente a sentenças judiciais, e, secundariamente, analisar se, segundo o sentido adotado, poderiam realmente algumas sentenças judiciais serem lógicas, ou mesmo se todas o seriam. Para tanto, o trabalho parte da análise e adoção de uma particular proposta de demarcação da Lógica, qual seja, aquela que se dá pelo critério da formalidade. A adoção desta proposta traz consigo, além de uma grande quantidade de ferramentas analíticas fornecidas pela Lógica como assim concebida, o condão de mostrar que qualquer consideração sobre a relação entre Lógica e Direito _e profundamente determinada pela maneira como se concebe e se demarca o objeto do estudo lógico, constatação esta que tem sua importância enlevada quando tomamos em conta o fato de que um posicionamento consciente e claro ante tal demarcação frequentemente é omitido nos estudos de lógica jurídica no Brasil. / Abstract: Much is said about a character that certain judicial decisions supposedly have, that of being "logical", in some sense. This work have as a goal to make clear and to propose a suitable meaning for this characther when it refers to judicial decisions, and, secondarily, to analyze if, acording to the meaning here adopted, some judicial decisions really could be thought of as being logical, or even if all of them could be so. To reach this goal, this work starts with the analysis and adoption of a particular proposal on the demarcation of Logic, the demarcation by the formality criterion. The adoption of this proposal brings on, besides the great amount of analitycal tools supplied by Logic so conceived, the advantage of showing that any consideration about the relation between Logic and Law is deeply determined by the way that is conceived the object of logical study. This remark gains importance when we consider the fact that a clear and conscient positioning about the cited concept of Logic seldomly is omited on the studies pertaining to the field of Law 's Logic in Brazil. / Mestrado / Mestre em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-12T08:48:41Z (GMT). No. of bitstreams: 1 Suguitani_LeandroOliva_M.pdf: 498724 bytes, checksum: 92a1cd68fc996cc91200b7596bd9188e (MD5) Previous issue date: 2008 / Resumo: Em 1975, Alfred Tarski, um dos maiores lógicos contemporâneos, visitou o Instituto de Matemática, Estatística e Ciência da Computação (IMECC) da Unicamp. Nessa oportunidade, foi organizado um evento, o Simpósio de Lógica Matemática, para recebê-lo. Tarski apresentou então sua axiomatização para o cálculo de relações, conhecida como álgebra de relações (RA). A RA, como teoria formal desenvolvida por Tarski, foi apresentada em duas conferências, que foram pioneiramente gravadas em fita de vídeo e atualmente fazem parte do acervo dos Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp. Neste trabalho, apresentamos uma transcrição das conferências de Tarski e examinamos o seu conteúdo, inserindo-o no contexto histórico do desenvolvimento da teoria do cálculo de relações, cujo início remonta à alguns trabalhos de De Morgan, Peirce e Schröder. Tendo em vista que a origem dessa teoria já foi devidamente abordada, concentrar-nos-emos mais no conteúdo das conferências de Tarski proferidas no Brasil, sobre RA, dando especial atenção aos problemas deixados em aberto nessa ocasião, e no recente desenvolvimento de sua teoria. / Abstract: In 1975, Alfred Tarski visited the Instituto de Matemática, Estatástica e Ciência da Computação (IMECC) at Unicamp, Brazil. In that ocasion, an event was organized to welcome him, the Simpósio de Lógica Matemática. Tarski's talking was about his axiomatization on the calculus of relations, which in that time was already known as Relation Algebra (RA). In Brazil, the formal theory of RA developed by Tarski was introduced to his audience in two lectures, which were taped and nowadays belongs to the historical files of Arquivos Hist'oricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) at Unicamp. Our work aims to bring Tarski's conferences for public access through our transcription of them, and besides that, it is also our aim to analize Tarski's lectures and put it into the historical context of the development of RA, which origin goes back to some works of De Morgan, Peirce and Schröder. Our focus is on the content of the conferences, specially on the open problems left by Tarski and on the recent development of his theory. / Mestrado / Mestre em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T18:02:38Z (GMT). No. of bitstreams: 1 Cunha_DeniseMariaMaldonadoda_M.pdf: 630817 bytes, checksum: b79c7cd74fd041ea0461293543078db2 (MD5) Previous issue date: 2003 / Mestrado

Orientador: Marcos Lutz Muller / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-07T22:50:44Z (GMT). No. of bitstreams: 1 Silva_MarciaZebinaAraujoda_D.pdf: 1959658 bytes, checksum: efff3fd419d03e8a0755e4aa836671f5 (MD5) Previous issue date: 2006 / Resumo: O trabalho é uma análise do conceito de teleologia na Ciência da Lógica de Hegel, com o intuito de esclarecer as diferenciações entre teleologia externa e interna em sua correlação com o espírito, ou seja, esclarecer o percurso teleológico da Lógica Subjetiva até a Idéia Absoluta. O conceito de vida, a finalidade interna, está presente na Ciência da Lógica como idéia lógica da vida, que é a idéia imediata. O acabamento da vida lógica é a emergência da vida do espírito, enquanto idéia lógica do espírito, que é exposta na Idéia do Conhecer, o momento intermediário da idéia. O fio condutor da análise, portanto, é o duplo movimento teleológico, externo e interno, que culmina com a Idéia Absoluta, o pensamento de pensamento, cuja matriz estrutural é a idéia lógica da vida / Abstract: This thesis comprises an analysis of the concept of teleology in the Hegel¿s Science of the Logic, intended as a clarification of the differentiations between external and internal teleology in its correlation with the spirit, that is, to clarify the teleological path from the Subjective Logic all the way to the Absolute Idea. The concept of life, of internal intention, is present in the Science of the Logic as logical idea of life, which is the immediate idea. The terminus of the logical life is the emergence of the life of the mind, as a logical idea of the mind, which is presented in the Idea of Knowing, the intermediate moment of the idea. Thus, the conducting thread of analysis is the double teleological movement, external and internal, which culminates with the Absolute Idea, the thought of 'thought¿, whose structural matrix is the logical idea of the life / Doutorado / Historia da Filosofia Contemporanea / Doutor em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-06T09:39:40Z (GMT). No. of bitstreams: 1 Agudelo_JuanCarlosAgudelo_M.pdf: 2515941 bytes, checksum: 58c117425f8731bb67cf3fc0e1181ad4 (MD5) Previous issue date: 2006 / Resumo: As diferentes interpretações da mecânica quântica levanta sérios problemas filosóficos a respeito da natureza do mundo físico e do estatuto das teorias físicas. Tais interpretações desempenham um papel importante na compreensão dos modelos de computação quântica, e por sua vez os modelos de computação quântica abrem a possibilidade de se confrontar as teses filosóficas que se atrevem a responder a tais problemas. Apesar das relevantes e surpreendentes promessas de uso pragmático e tecnológico da computação quântica, não é por essa vereda que caminha este trabalho: o que aqui se oferece é um novo paradigma de computação (um modelo de computação baseado no paradigma paraconsistente), e se propõe uma nova interpretação da computação quântica através desse novo paradigma, dessa forma colaborando simultaneamente na discussão filosófica a respeito da noção de computabilidade e da mecânica quântica. O presente trabalho introduz a definição do que será chamado de modelo de máquinas de Turing paraconsistentes (MTPs). Tal modelo de computação é uma generalização do modelo clássico de máquinas de Turing. No modelo de máquinas de Turing paraconsistentes, diferentemente do modelo clássico, permite-se a execução de múltiplas instruções de mancha simultânea, dando lugar a multiplicidade de símbolos em diferentes casas da fita, multiplicidade de estados e multiplicidade dc posições da máquina. Considerando que tal multiplicidade de configurações, embora essencial nas MTPs pode ser interpretado como incoerências com respeito às máquinas de Turing clássicas, permite-se acrescentar condições de consistência e inconsistência na execução das instruções nas MTPs. o que servirá então para controlar o estado dc incoerência do sistema. Depois de apresentar o modelo de MTPs, são descritos os modelo de máquinas de Turing quânticas (MTQs) e o modelo dc circuitos quânticos (CQs), ambos introduzidos inicialmente por David Dcutsch. os quais são, respectivamente, generalizações do modelo de máquinas dc Turing clássicas e de circuitos boolcanos clássicos usando as leis da mecânica quântica. Finalmente, estabelecem-se relações entre o modelo de MTPs e os modelos de computação quântica, simulando algoritmos quânticos simples (um CQ que soluciona o chamado problema de Dcutsch e um CQ que soluciona o chamado problema de Deutsch-Josza) e mostrando que o paralelismo quântico, uma característica essencial da computação quântica., pode em alguns casos ser simulado por meio de MTPs. Dessa forma, apesar de o particular modelo de MTPs aqui apresentado ter algumas restrições na simulação de certas características da computação quântica, abre-se a possibilidade de se definir outros modelos de MTPs de maneira a simular tais características. Em resumo, o presente trabalho, na medida cm que oferece um novo paradigma de computação (a saber, a computação paraconsistente) e uma nova interpretação dos modelos de computação quântica (a saber, a interpretação da computação quântica através da computação paraconsistente) contribui para a discussão filosófica a respeito da interpretação dos modelos de computação quântica, e possivelmente da interpretação da própria mecânica quântica. Contudo, não menos importante é o fato de que, apesar de o presente trabalho não pretender se dedicar a questões puramente técnicas da computabilidade, ele de fato abre um imenso campo de investigação a respeito da computação relativizada à lógica e suas implicações - no caso presente, relativizada à lógica paraconsistente / Abstract: The interpretations of quantum mechanics open serious philosophical questions about the nature of the physical world and about the status of physical theories. Such interpretations play an important role in the understanding of models of quantum computing, and models of quantum computing, by their turn, open possibilities to confront and test philosophical theses that dare to address such problems. Although the promising pragmatic and technological applications of quantum computing, this work goes in another way: what is here offered is a new paradigm of computation based upon the pa-raconsistency paradigm, and a new interpretation of quantum computing through this model, in this way simultaneously collaborating in the philosophical discussion about the concepts of computability and of quantum mechanics. This work introduces the definition of what will be called the model of paraconsistent Turing machines (PTMs). Such computational model is a generalization of the classical model of Turing machines. In the PTMs model, differently from the classical Turing machines model, simultaneous execution of multiple instructions is allowed, giving rise to a multiplicity of symbols on different cells of the tape, multiplicity of machine states and multiplicity of machine positions. Such multiplicity of configurations, though essential in the PTMs. can be seen as incoherencies with respect to classical Turing machines: to compensate this, the PTMs permit to operate with consistency and inconsistency conditions to control the global state of incoherence of the system. After introducing the PTMs, the model of quantum Turing machines (QTMs) and the model of quantum circuits (QCs) arc presented. This models arc due to David Dcutsch and arc. respectively, generalizations of the model of classical Turing machines and the model of classical boolean circuits, using the laws of quantum mechanics. Finally, relations between the model of PTMs and models of quantum computing arc established, which permits to simulate simple quantum algorithms (a QC to solve the so called Dcutsch problem and a QC to solve the so called Dcutsch-Jozsa. problem) by PTMs. It is also shown that quantum parallelism, an essential characteristic of quantum computation, may be simulated in some cases by PTMs. Although the particular model of PTMs here presented has some restrictions in the capacity to simulate certain quantum computing characteristics, our work opens the possibility to define other PTM models which could simulate such characteristics. To sum up, the present work, while offering a new paradigm of computation (namely, parconsistent computation) and a new interpretation of quantum computing (namely, interpretation of quantum computation by means of paraconsistent computation) contributes to the philosophical discussion about the interpretation of quantum computation and of the quantum mechanics itself. However, not less important is the fact that, besides its lack of explicit intention towards tccnical questions of computability theory, opens a new line of research about the possibilities of logic-relativized computation and its implications- in the present case, relativized to paraconsistent logics / Mestrado / Logica / Mestre em Filosofia

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-07T00:21:55Z (GMT). No. of bitstreams: 1 Sanz_WagnerdeCampos_D.pdf: 2570437 bytes, checksum: 15352759879927665653f4fc165c3703 (MD5) Previous issue date: 2006 / Resumo: O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenção, em primeiro lugar, sobre a negação e, depois, como conseqüência das propostas para a negação, sobre a constante de absurdo. Nosso ponto de partida é, na verdade, um problema de natureza conceitual. Questionaremos a correção e a adequação da análise da negação e do absurdo atualmente predominante no meio-ambiente de dedução natural de estilo gentzeniano. O questionamento dessas análises adota como ponto focal o conceito de hipótese. O conceito de hipótese é uma noção central para os sistemas de dedução natural e a nossa proposta de análise desse conceito servirá de esteio para a formulação das propostas elucidatórias para a negação e o absurdo dentro dos sistemas de dedução natural / Abstract: The purpose of this thesis is to present an elucidation of negation and absurd for intuitionist and classical logics in the range of natural deduction systems. Our study could be seen as a development of a proposal presented by Russell over a hundred years ago, which he presumably abandoned later on. First, we will focus on negation and then on the absurd constant, as a consequence of the claims we are making for negation. As a matter of fact, our starting point is a problem of a conceptual nature. We will question the correctness and the adequacy of the analysis of negation and absurd, prevailing nowadays in the Gentzen-style natural deduction circle. The concept of hypothesis is the focus point in questioning these analyses. The concept of hypothesis is a central notion for natural deduction systems and the purpose of our analysis of this concept is to support the formulation of elucidative propositions for negation and absurd in natural deduction systems / Doutorado / Doutor em Filosofia

Orientador : Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencia Humanas / Made available in DSpace on 2018-08-03T23:35:45Z (GMT). No. of bitstreams: 1 Carvalho_TadeuFernandesde_D.pdf: 5853507 bytes, checksum: 96ccd702fdeba40a1a0098acc9416bf8 (MD5) Previous issue date: 2004 / Resumo: O objetivo deste trabalho é desenvolver alguns principios básicos de um Cálculo Diferencw Paraconsistente. Como elementos motivadores para isso, apresentamos, na Introdução, alguns dados sobre o desenvolVÚI1ento do cálculo diferencial, desde suas origens ao advento da anãlise não-standard, bem como relativos à história da lógica e à da teoria de conjuntos, focalizando os sistemas lógicos paraconsistentes e as teorias paraconsistentes de conjuntos. Apresentamos, no Capítulo 1, propriedades básicas das hierarquias dos sistemas eu, Cn' e Cns, I ;S; n ;S; m, de da Costa, destacando o sistema CIs, e a teoria paraconsistente de conjuntos CHUI> de da Costa, respectivamente a lógica e a teoria de conjuntos subjacentes ao cálculo paraconsistente pretendido. No Capítulo 2 apresentamos algumas propriedades clássicas do cãlculo e das entidades infinitesimais, e esboçamos um cãlculo diferencial paraconsistente, à ia da Costa. Finalmente, no Capítulo 3 descrevemos algumas propriedades básicas de superestruturas, e introduzimos o conceito de superestrutura paraconsistente, para obter um Teorema de Transferência, com o qual encerramos o presente trabalho / Abstract: The aim ofthis work is to develop some basic principies ofa Paraconsistent Differential Calculus. We present at the ntroduction as motivation for this intent some notes about the history of differential ca1culus, from its birth to non-standard analysis's arrival, followed by some notes about the history of logic and set theory, focusing paraconsistent 10gica1 systems and paraconsistent set theories, introduced by Newton éameiro Monso da Costa. We present at Chapter 1 some basic properties of da Costa's paraconsistent logics hierarchies eu, Cn * and Cn-, 1 ;S; n;S; m, detaching CI=, and da Costa's paraconsistent system CHU!> once these are the intended Paraconsistent Calculus's logic and set theory. In Chapter 2 we present some classic properties of the differential calculus and infinitesimal entities, and outline a paraconsistent differential ca1culus a Ia da Costa. In Chapter 3 we describe basic properties on superstructures, and introduce paraconsistent superstructures, in order to obtain a Transfer Theorem, with which we end this work / Doutorado / Doutor em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T03:51:10Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_D.pdf: 2474337 bytes, checksum: 7ed081ca3994305f5b416383e9264734 (MD5) Previous issue date: 2004 / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Arley Ramos Moreno / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-05T19:25:38Z (GMT). No. of bitstreams: 1 Peres_CarolinaViolante_M.pdf: 883162 bytes, checksum: 581c21be5ea6bfce9beb704f48cd469b (MD5) Previous issue date: 2006 / Resumo: Este trabalho é uma tentativa de mostrar que Wittgenstein, no Tractatus, endossa um misticismo estrito senso, ou seja, que ele entende o Místico, em última instância, de modo monista, como substância una da realidade. No Tractatus Wittgenstein considerava que o indizível, e portanto, o Místico, só poderia ser delimitado a partir do interior do dizível. Assim, só a compreensão correta dos limites do mundo e da linguagem que o expressa poderia revelar o aspecto místico da realidade. A estrutura da linguagem e do mundo que ela afigura seria como uma escada e o Místico seria a verdade encontrada por aquele que conseguisse escalar os degraus dessa escada, passando através dela, por ela e para além dela (6.54). Procuraremos, neste trabalho, reconstituir os degraus que Wittgenstein teria galgado, partindo do interior da estrutura da linguagem e do mundo, de modo a atingir a verdade mais elevada sobre a realidade, que seria o Místico / Abstract: This work attempts to show that, in the Tractatus, Wittgenstein assumes a stricto sensu mysticism, i.e., that he understands the Mystic, in the final analysis, in a monist manner or as the one single substance of reality. In the Tractatus, Wittgenstein considers that the unsayable, and therefore the Mystic, could only be delimited starting from the interior of the sayable. Thus, only the correct understanding of the limits of the world and of the language that expresses it could reveal the mystic aspect of reality. The structure of language and of the world that it depicts would be like a ladder and the Mystic would be the truth encountered by whoever succeeds in climbing its steps, thus passing through them, on them, over them (6.54). In this work, we seek to retrace the steps that Wittgenstein would have climbed, starting from the interior of the structure of language and of the world, to reach the highest truth about reality, which would be the Mystic / Mestrado / Mestre em Filosofia