Orientador : Oswaldo Porchat Pereira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-17T00:26:12Z (GMT). No. of bitstreams: 1 Mortari_CezarAugusto_M.pdf: 13571312 bytes, checksum: 1729cb947a4afd9ba1b9b6f25d023029 (MD5) Previous issue date: 1982 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência

Orientador: Antonio Mario Antunes Sette / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-18T18:08:20Z (GMT). No. of bitstreams: 1 CifuentesVasquez_JoseCarlos_D.pdf: 2524797 bytes, checksum: 075a51ffdfe3d4f0012c2817c3615fd6 (MD5) Previous issue date: 1993 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Matemática

Orientador: Andres Raggio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T02:47:32Z (GMT). No. of bitstreams: 1 Centenaro_IralinoFidencio_M.pdf: 1220197 bytes, checksum: eac1b52a24281e9708380f3d735c2f8b (MD5) Previous issue date: 1977 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

¿Cuántos cabellos debe perder alguien para ser calvo? Ensáyese cualquier respuesta y, gracias al principio de inducción matemática, seremos objeto de una inmediata y legítima objeción. Revelamos, sin embargo, una manifiesta competencia pragmática en el reconocimiento de individuos calvos. No sabemos qué condiciones se debe satisfacer para ser calvo, pero sabemos quiénes son calvos y quiénes no. Estamos frente al fenómeno de la vaguedad y éste permea nuestro lenguaje. No se trata únicamente de propiedades ordinarias como la de ser calvo, está en juego también la precisión de conceptos empleados por el derecho y las ciencias empíricas. Lo que debe decidirse es si la imprecisión de la que adolecen ciertos conceptos es algo que les es intrínseco: ¿son o no irreversiblemente difusos? Es posible que, desde un punto de vista despreocupado y escéptico, muchos se pregunten qué importa que ciertas expresiones carezcan de precisión. No obstante los conceptos vagos y las paradojas sorites a las que estos dan lugar, el lenguaje permite que nos comuniquemos y entender lo que otros quieren decir. ¿Por qué, entonces, ver en ello un problema y tomar como objeto de estudio a la vaguedad? Ésta parece no tener nada de malo, al menos, no revela ninguna consecuencia perniciosa. Es un hecho: el lenguaje funciona. Repárese, sin embargo, en algo sumamente inquietante. Comunicarnos y entender las cosas por medio de conceptos vagos muestra que la relación de coherencia y de precisión en un lenguaje es deficiente y a la vez cuestiona la idea de que podemos representar la realidad con coherencia. Habrá quienes digan que sólo hace falta el sentido común para tener un buen guía cuando se requiera utilizar expresiones vagas. Esta posición no termina de satisfacernos. Pues es legítimo preguntar si el sentido común es útil en la medida en que tratamos de obtener una comprensión más clara de lo que es la vaguedad y la forma de hacer frente a expresiones que nos resulten vagas (o imprecisas). Dicho en otras palabras: el sentido común me puede ayudar a emplear expresiones vagas, pero no me brinda una noción de vaguedad. La vaguedad no sólo es crucial para nuestra comprensión de la forma en que representamos la realidad, sino también de lo que es la realidad, independientemente de nuestras formas de representarla. Es más, la vaguedad no es un tema que atañe sólo a los conceptos del lenguaje natural. En efecto, si uno quiere entender o generar un lenguaje, la clave está en comprender y llegar a dar respuesta a qué es la vaguedad. Sin duda, su estudio es importante. Ha originado el desarrollo de numerosas lógicas no clásicas y es uno de los temas centrales en la filosofía analítica contemporánea en sus diferentes áreas, como filosofía del lenguaje, filosofía de la lógica y teoría del conocimiento. El estudio de la vaguedad es, además, de carácter multidisciplinario. En él intervienen disciplinas como la matemática, la pragmática, la lingüística y el derecho, entre otras. La vaguedad es un fenómeno latente tanto en los conceptos ordinarios y científicos. Es decir, vemos a la vaguedad como un problema perenne en el lenguaje, de modo que, como lo diría Russell (1923), “todo concepto es vago en un grado del que no somos conscientes hasta que intentamos precisarlo.” (p. 87) ¿Cómo dar una respuesta satisfactoria al problema de la vaguedad? ¿La vaguedad es un problema que debe ser abordado y desarrollado por la lógica o es un problema que debe abordarse desde una perspectiva epistémica? Analizaré ambos enfoques, tanto la teoría lógica de la vaguedad como la teoría epistémica de la vaguedad. Mi objeto es determinar cuál es el mejor planteamiento. Parto de la hipótesis de que la vaguedad es un problema lógico y considero que, hacia el final del trabajo, esto se ve corroborado. / Tesis

The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as knowledge and belief). Although S5 can be axiomatized by some simple rules, this logic shows some puzzling properties. For example, an interpolation result holds for the propositional version, but this same result fails when we add first-order quantifiers to this logic. In this dissertation, we study the failure of the Definability and Interpolation Theorems for first-order S5. At the same time, we combine the results of justification logic and we investigate the quantified justification counterpart of S5 (first-order JT45). In this way we explore the relationship between justification logic and modal logic to see if justification logic can contribute to the literature concerning the restoration of the Interpolation Theorem. / A lógica modal S5 nos oferece um ferramental técnico para analizar algumas noções filosóficas centrais (por exemplo, necessidade metafísica e certos conceitos epistemológicos como conhecimento e crença). Apesar de ser axiomatizada por princípios simples, esta lógica apresenta algumas propriedades peculiares. Uma das mais notórias é a seguinte: podemos provar o Teorema da Interpolação para a versão proposicional, mas esse mesmo teorema não pode ser provado quando adicionamos quantificadores de primeira ordem a essa lógica. Nesta dissertação vamos estudar a falha dos Teoremas da Definibilidade e da Interpolação para a versão quantificada de S5. Ao mesmo tempo, vamos combinar os resultados da lógica da justificação e investigar a contraparte da versão quantificada de S5 na lógica da justificação (a lógica chamada JT45 de primeira ordem). Desse modo, vamos explorar a relação entre lógica modal e lógica da justificação para ver se a lógica da justificação pode contribuir para a restauração do Teorema da Interpolação.

The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as knowledge and belief). Although S5 can be axiomatized by some simple rules, this logic shows some puzzling properties. For example, an interpolation result holds for the propositional version, but this same result fails when we add first-order quantifiers to this logic. In this dissertation, we study the failure of the Definability and Interpolation Theorems for first-order S5. At the same time, we combine the results of justification logic and we investigate the quantified justification counterpart of S5 (first-order JT45). In this way we explore the relationship between justification logic and modal logic to see if justification logic can contribute to the literature concerning the restoration of the Interpolation Theorem. / A lógica modal S5 nos oferece um ferramental técnico para analizar algumas noções filosóficas centrais (por exemplo, necessidade metafísica e certos conceitos epistemológicos como conhecimento e crença). Apesar de ser axiomatizada por princípios simples, esta lógica apresenta algumas propriedades peculiares. Uma das mais notórias é a seguinte: podemos provar o Teorema da Interpolação para a versão proposicional, mas esse mesmo teorema não pode ser provado quando adicionamos quantificadores de primeira ordem a essa lógica. Nesta dissertação vamos estudar a falha dos Teoremas da Definibilidade e da Interpolação para a versão quantificada de S5. Ao mesmo tempo, vamos combinar os resultados da lógica da justificação e investigar a contraparte da versão quantificada de S5 na lógica da justificação (a lógica chamada JT45 de primeira ordem). Desse modo, vamos explorar a relação entre lógica modal e lógica da justificação para ver se a lógica da justificação pode contribuir para a restauração do Teorema da Interpolação.

Orientador : Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-28T18:03:20Z (GMT). No. of bitstreams: 1 Fernandez_VictorLeandro_M.pdf: 540368 bytes, checksum: 0818913d30776ed86715893fde72c2df (MD5) Previous issue date: 2001 / Mestrado

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-26T05:10:17Z (GMT). No. of bitstreams: 1 Cholodovskis_AnaFlaviadeFaria_M.pdf: 14177739 bytes, checksum: 714f42d947721ac9da9a5d1e34cd497e (MD5) Previous issue date: 2014 / Resumo: Existem diversas razões para justificar o desenvolvimento de lógicas não-clássicas tais como a expressividade destas linguagens e como elas poderiam ajudar a formalizar o pensamento humano. Neste sentido, as lógicas não-monotônicas foram desenvolvidas em prol de formalizar raciocínios cotidianos baseados na premissa de que nós deveríamos ser capazes de retratar conclusões previamente obtidas quando confrontadas com novas informações. Algumas lógicas não-monotônicas utilizam a noção de pensamento default para formalizar raciocínios cotidianos. Por outro lado, as lógicas paraconsistentes são aquelas lógicas que estudam teorias não-explosivas e foram desenvolvidas em prol de lidar com contradições. Sobre as lógicas paraconsistentes, existe uma classe de sistemas que se mostram realmente interessantes, particularmente: as Lógicas de Inconsistência Formal (LIFs). LIFs são um tipo especial de lógicas paraconsistentes que são gentilmente explosivas e internalizam o conceito de consistência no nível da linguagem-objeto utilizando o operador de consistência ? . A questão inicial Poderia a Paraconsistência substituir a Não-Monotonicidade? nos guiou à formalização de uma pergunta mais específica, entretanto, mais intrigante: É possível desenvolver uma lógica não-monotônica gentilmente explosiva?. No intuito de buscar responder a essa questão, é importante investigar conceitual e filosoficamente a relevância e as problemáticas de se desenvolver tal lógica. Este trabalho visa justificar a importância de uma lógica não-monotônica paraconsistente baseada nas Lógicas de Inconsistência Formal a partir de uma análise intuitiva dos conceitos e das noções envolvidas em tais sistemas formais considerando, ainda, abordagens possíveis a partir das chamadas Lógicas Adaptativas de Inconsistência e das Lógicas Moduladas / Abstract: There are many reasons to justify the development of non-classical logics such as the expressivity of those languages and how they could help to formulate human reasoning. In that sense, nonmonotonic logics were developed in order to formalize everyday reasoning based on the premise that we should be able to retract conclusions previously obtained in face of new information. Some nonmonotonic logics uses the notion of default reasoning to formalize everyday reasoning. On the other hand, paraconsistent logics are those logics that studies non-explosive theories and were developed in order to deal with contradictions. About paraconsistent logics, there is a class of systems that has shown to be really interesting, particularly: the Logics of Formal Inconsistency [LFIs]. LFIs are a special kind of paraconsistent logics that are gently explosive and internalize the concept of consistency at the object-language level using the consistency operator ?. The initial question Can Paraconsistency replace Nonmonotonicity? guided us to the formulation of a more specific yet intriguing question: Is it possible to develop a gently explosive nonmonotonic logic?. In order to answer that question, it is important to investigate both conceptual and philosophical relevance and problems of developing such logic. This work intends to justify the importance of a non-monotonic paraconsistent logic based on Logics of Formal Inconsistency from an intuitive analysis of concepts and notions involved in such formal systems, also considering possible approaches from the so called Adaptive Logics of Inconsistency an Modulated Logics / Mestrado / Filosofia / Mestra em Filosofia

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-20T11:11:02Z (GMT). No. of bitstreams: 1 Corbalan_MariaInes_M.pdf: 1281325 bytes, checksum: e3827248da48b3c7e6a632848660be7e (MD5) Previous issue date: 2012 / Resumo: O presente trabalho tem como objetivo principal definir o conceito de Conectivo de Restauração Local. Revemos diversos sistemas lógicos conhecidos na literatura sob o ângulo do novo conceito introduzido...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The present work aims principally to de.ne the concept of Local Restoration Connective. We review known systems of logic from the point of view of such new concept...Note: The complete abstract is available with the full electronic document / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Ayda Ignez Arruda / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T20:57:07Z (GMT). No. of bitstreams: 1 Fonte_ReginaA.Munhozda_M.pdf: 2322039 bytes, checksum: 402dee9941834de89623cc8ef1db4a4f (MD5) Previous issue date: 1983 / Resumo: N.A. Vasiliev é atualmente considerado o primeiro precursor moderno das idéias que, nos últimos 60 anos, possibilitaram a construção das chamadas lógicas não clássicas. Até bem pouco tempo, no entanto, seu trabalho permaneceu desconhecido, e a divulgação de suas idéias deve-se inicialmente a V.A. Smirnov, 1962, (vide [16]) e G. Kline, 1965, (vide [9]). Mas foi através do trabalho de A.I. Arruda (vide [1] , [2] e [3] ) que as idéias do filosofo russo foram devidamente interpretadas e formalizadas de modo a serem reconhecidas como precursoras das lógicas paraconsistentes é polivalentes. São conhecidos, da obra lógica de Vasiliev, três artigos, escritos no período de 1910-1912 (vide [17], [18] e [19] } e dois abstract ; um deles do mesmo período e o outro de 1925. (vide [20] e [21]) . Nesta dissertação abordaremos apenas os três artigos citados, em sua tradução para o português feita por Edmundo Braga. Este trabalho está dividido em três capítulos. No primeiro capitulo apresentamos um resumo crítico dos três artigos citados, abordando principalmente as idéias relevantes para o estudo que faremos no capitulo III. No segundo capítulo damos um tratamento formal à silogística contraditória apresentada em [18]. Iniciamos com um resumo critico da descrição dada por Vasiliev a esta silogística, e em seguida propomos uma axiomática para a mesma, nos moldes daquela proposta por Lukasiewicz em [11], para a silogística aristotélica. O terceiro capitulo está dividido em duas secções principais: Vasiliev como precursor da lógica paraconsistente, e Vasiliev como precursor da lógica polivalente. Esse capítulo se baseia essencialmente nos artigos [4] e [5] de A.I. Arruda. Existem ainda alguns pontos interessantes nos artigos de Vasiliev que não foram abordados neste trabalho, como por exemplo: 1) Uma análise da lógica dos conceitos (apresentada em [17]), que a interprete como uma lógica modal com operadores de necessidade, impossibilidade e contingência. Para tanto, teria mos que construir inicialmente a silogística modal correspondente, cujos juízos seriam classificados, segundo a quantidade, apenas em universais, e segundo a qualidade em: "é necessário que S seja P" (juízo afirmativo), "é impossível que S seja P" (juízo negativo) e "é contingente que S seja P" (juízo acidental). Todavia os três juízos qualitativamente distintos teriam que ser independentes devido a lei de Quarto-Excluído (vide secção 1.1.3). 2) Um estudo das lógicas da similaridade e da diferença (apresentada em [18]). Estas lógicas são muito semelhantes às lógicas das negações relativas e absoluta (vide secção 3.1.4), podendo ser interpretadas como lógicas polivalentes onde se admite um valor de verdade "falso", um valor de verdade "absolutamente verdadeiro" e vários valores de verdade "relativamente verdadeiro" / Abstract: Not informed / Mestrado / Logica e Epistemologia / Mestre em Lógica e Filosofia da Ciência