Orientador: Hércules de Araújo Feitosa / Banca: Marcelo Reicher Soares / Banca: Ana Cláudia de Jesus Golzio / Resumo: O professor Newton C. A. da Costa, notável lógico brasileiro, e colaboradores introduziram a noção de quase-verdade no contexto das ciências empíricas, onde há incompletude do conhecimento. Tal abordagem é considerada uma generalização para contextos parciais da proposta de formalização da verdade introduzida por Alfred Tarski. Inspirado nessa noção de quase-verdade, Silvestrini (2011) introduziu uma de nição de quase-verdade através da satisfação pragmática e, no mesmo trabalho apresentou, num sistema axiomático, uma lógica paraconsistente e trivalente, subjacente a essa noção, a qual denominou por Lógica da Verdade Pragmática (LPT- Logic of Pragmatic Truth ). Posteriormente, Feitosa e Silvestrini (2016) apresentaram algumas alterações no conjunto de axiomas de LPT e deram uma demonstração de adequação segundo a semântica matricial da lógica da verdade pragmática. Hoje, sistemas dedutivos alternativos ao axiomático têm sido de grande interesse para a área da teoria da prova e computabilidade, pois esses, em sua maioria, são métodos mais intuitivos. Alguns são caracterizados como algorítmicos, o que possibilita uma fácil implementação do método em computadores. Dentre esses sistemas de provas, destacamos o método dedutivo dos tableaux analíticos, que foi introduzido de uma forma bastante elegante por Smullyan (1968). Neste trabalho, introduzimos um sistema de tableaux analíticos para a Lógica da Verdade Pragmática e veri camos que todos os resultados dedutivos do sistema axio... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Professor Newton C. A. da Costa, notable Brazilian logician, and collaborators introduced the notion of quasi-truth in the context of the empirical sciences, where there is incompleteness of knowledge. Such an approach is considered a generalization of Tarski's proposal for partial contexts. Inspired by this notion of quasi-truth, Silvestrini (2011) introduced a de nition of quasi-truth through pragmatic satisfaction and, in the same work, presented, in an axiomatic system, a paraconsistent and trivalent logic, underlying this notion, which he called 'Logic of Pragmatic Truth (LPT)'. Later, Feitosa and Silvestrini (2016) presented some changes in the set of axioms of LPT and gave a proof of adequacy according to the trivalent matrix semantics of LPT. Nowadays, alternative axiomatic deductive systems have been of great interest to proof theory and computability, because these are in general intuitive methods. Some of them are characterized as algorithmic, which allows an easy implementation in computers. Among these systems of proof, we highlight the deductive method of analytic tableaux, which was introduced in an elegant way by Smullyan (1968). In this work, we introduce an analytic tableau system for the Logic of Pragmatic Truth and we verify that the results we can develop in the axiomatic system of the LPT coincide with the deductions in this analytic system of tableaux. / Mestre

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias humanas / Made available in DSpace on 2018-07-23T16:07:20Z (GMT). No. of bitstreams: 1 Queiroz_GiovannidaSilvade_D.pdf: 792790 bytes, checksum: dc1138d936a6cc842a387bd0ad8fe3fa (MD5) Previous issue date: 1998 / Doutorado

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: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-13T04:53:14Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_M.pdf: 601027 bytes, checksum: 5828adda31c6102b730941a14056d7d9 (MD5) Previous issue date: 2009 / Resumo: Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital. / Abstract: This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations. / 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: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T04:24:47Z (GMT). No. of bitstreams: 1 Testa_RafaelRodrigues_M.pdf: 526495 bytes, checksum: 51a1bb2b8ec08b5fab8947cdac7f3ae4 (MD5) Previous issue date: 2008 / Resumo: Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, o que evita a inconsistência e permite o pleno cumprimento do sistema. Justificativas filosóficas são fornecidas as ferramentas lógicas, bem como as suas implicações. / Abstract: The main purpouse of this dissertation is the proposal of a solution to some paradoxes related to deontic logic presented in the literature, also known as deontic dilemmas - situations in which two conflicting obligations are present in the same normative system. Such situations, when formalized (in SDL - standard deontic logic - or in other related logic), lead to inconsistency. Our proposal is based on preference relations that generate a tool of choice between the two conflicting normative solutions, which avoids the inconsistency and allows the full implementation of the system. Philosophical justifications are given for the logical tools as well as for their implications. / Mestrado / Filosofia / Mestre em Filosofia

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: 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: 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