Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T18:45:14Z (GMT). No. of bitstreams: 1 Testa_RafaelRodrigues_D.pdf: 1707390 bytes, checksum: 77a5315394cfd4052cf1fe8733d0559c (MD5) Previous issue date: 2014 / Resumo: A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário / Abstract: Belief Revision studies how rational agents change their beliefs when they receive new information. The AGM system, most influential work in this area of study investigated by Alchourrón, Gärdenfos and Makinson, postulates rationality criteria for different types of belief change and provides explicit constructions for them - the equivalence between the postulates and operations is called representation theorem. Recent studies show how the AGM paradigm can be compliant with different non-classical logics, which is called the AGM-compliance - this is the case of the paraconsistent logics family we analyze in this thesis, the Logics of Formal Inconsistency (LFIs). Despite the AGM-compliance, when a new logic is taken into account its underlying rationality must be understood and its language should be used. In that way new constructions are proposed, which actually captures the intuition of LFIs - what we call the AGMo system. Thus, we provide a new interpretation for these logics, more in line with formal epistemology. In an alternative approach, by considering the AGM-compliance, we show how the AGM results can be directly applied to LFIs -- resulting the AGMp system. In both approaches, we prove the corresponding representation theorems where needed / Doutorado / Filosofia / Doutor 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-19T13:14:11Z (GMT). No. of bitstreams: 1 Oliveira_AntonioMarmodaCunha_M.pdf: 7643012 bytes, checksum: 1904b2b114fcf86253069cc0fe63eedb (MD5) Previous issue date: 2011 / Resumo: Neste trabalho investigaremos, do ponto de vista da lógica e da filosofia, os fenômenos pragmáticos conhecidos como pressuposição e implicatura, relacionando-os a traços mais gerais da racionalidade humana, como economia e consistência, e ao pluralismo da lógica atual, incluindo alguns tópicos de contenda entre a tradição clássica e as propostas alternativas recentes. Grice articulou uma análise destes fenômenos assentes em princípios para a conversação ou interação entre entes racionais e cooperativos. Divergimos da tradição griceana, postulando que as implicaturas são processadas por "clivagem de informações", ou por verificação de outros critérios lógicos, ao invés da mera exploração de máximas. Partindo de conceitos precisamente definidos, como pressuposição e implicatura, é possível construir um arcabouço lógico, a denominar sistemas pressuposicionais, que estendem outros sistemas lógicos (como, por exemplo, o cálculo proposicional) e cujos resultados exporemos / Abstract: In this work we shall, from the logical and philosophical standpoint, investigate two pragmatic phenomena known as presupposition and implicature, associating them to more general features of human rationality, such as economy and consistency, and to the current logical pluralism, including some controversies between the classical tradition and more recent alternative approaches. Grice has articulated an analysis of such phenomena based on principles governing conversation or interaction between cooperative and rational beings. We dissent from the gricean tradition, and proposing that implicatures are processed by the 'sieving of information', rather than by the mere exploitation of maxims. By providing precise definitions to the concepts of presupposition and implicature, it is possible to build a logical framework, to be called presuppositional systems, which either extend or generalise other logical systems (such as the propositional calculus, for instance), the results of which we shall present hereinafter / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T19:40:31Z (GMT). No. of bitstreams: 1 Hifume_Carlos_M.pdf: 426389 bytes, checksum: 487e63a8f673121cd57152f9b71a1d61 (MD5) Previous issue date: 2003 / Resumo: Alfred Tarski, ao apresentar sua concepção semântica de verdade - uma definição para linguagens formalizadas -, buscou capturar as intenções presentes na concepção clássica de verdade de Aristóteles - esta, uma concepção de verdade correspondencial. De forma semelhante, Mikenberg, da Costa & Chuaqui apresentam uma concepção formal de verdade pragmática - a quase-verdade -, baseados nas intenções presentes nas teorias de verdade de pragmatistas tais como C.S. Peirce, William James e John Dewey. A concepção de quase-verdade vale-se de um tipo de estrutura matemática denominada estrutura parcial. Apresentamos o sistema lógico modal QT - um tipo de lógica de Ja'skowski - , associado à lógica QV (S5Q=). QT constitui uma formalização adequada à noção de quase-verdade. Definimos uma semântica de modelos de Kripke para QT. São apresentados e demonstrados os principais metateoremas do sistema associado QT/QV. Definimos a noção de conseqüência sintática pragmática, introduzimos os conectivos pragmáticos e demonstramos que QT constitui uma lógica paraconsistente. Demonstramos a corretude e completude de QT, simplificando a demonstração valendo-nos dos metateoremas de QT/QV apresentados anteriormente / Abstract: Alfred Tarki, in presenting his semantical conception of truth - a definition for formalized languages -, captured Aristotle¿s classical conception of truth - this one, a correspondencial truth conception. Mikenberg, da Costa and Chuaqui, introduced a formal conception of pragmatic truth - da Costa¿s quasi-truth -, based on the theories of truth of some pragmatists, such as C.S. Peirce, William James and John Dewey. The conception of quasi-truth is based on a kind of mathematical structure named, by da Costa, partial structure. We present the modal logical system QT - a kind of Ja'skowski¿s discussive logic -, associated to the logic QV (S5Q=). The logic QT constitutes an adequate formalization for the notion of quasi-truth. We introduce a Kripke model semantics for QT. We prove some metatheorems relative to the associated systems QT and QV. We define the notion of pragmatic sintactical consequence, present the pragmatic connectives and prove that QT is a paraconsistent logic. By using the mentioned metatheorems, we obtain a simplified proof of soundness and completeness of QT / Mestrado / Filosofia / Mestre 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: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-09-11T21:14:41Z (GMT). No. of bitstreams: 1 Bueno-Soler_Juliana_D.pdf: 1230879 bytes, checksum: c04ce9e8061c154854f6283749f9c12b (MD5) Previous issue date: 2009 / Resumo: O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou eliminar a negação tem um alto preço: métodos tradicionais em lógica podem deixar de ser válidos e certos resultados, como teoremas de completude para sistemas lógicos, podem ser derrogados. Do ponto de vista formal, a questão central que investigamos aqui e até que ponto tais métodos podem ser restabelecidos. Com tal finalidade, iniciamos nosso estudo a partir do que denominamos sistemas anódicos" (sem negação) e, a posteriori, introduzimos gradativamente o elemento catódico" (negações, com diversas gradações e diferentes características) nos sistemas modais por meio de combinações com certas lógicas paraconsistentes, as chamadas lógicas da inconsistência formal (LFIs). Todos os sistemas tratados são semanticamente caracterizados por semânticas de mundos possíveis; resultados de incompletude são também obtidos e discutidos. Obtemos ainda semânticas modais de traduções possíveis para diversos desses sistemas. Avançamos na direção das multimodalidades, investigando os assim chamados sistemas multimodais anódicos e catódicos. Finalmente, procuramos avaliar criticamente o alcance e o interesse dos resultados obtidos na direção da racionalidade sensível à negação. / Abstract: The present work aims to investigate the role of negations in the scope of modalities and in the reasoning expressed by modalities. The investigation starts from what we call anodic" systems (without any form of negation) and gradually reaches the cathodic" elements, where negations are introduced by means of combining modal logics with certain paraconsistent logics known as logics of formal inconsistency (LFIs). We obtain completeness results for all treated systems, and also show that certain incompleteness results can be obtained. The class of the investigated systems includes all normal modal logics that are extended by means of the schema Gk;l;m;n due to E. J. Lemmon and D. Scott combined with LFIs. We also tackle the question of obtaining modal possible-translations semantics for these systems. Analogous results are analyzed in the scope of multimodalities, where anodic as much as cathodic logics are studied. Finally, we advance a critical evaluation of the reach and scope of all the results obtained to what concerns expressibility of reasoning considered to be sensible to negation. We also critically assess the obtained results in contrast with problems of rationality that are sensible to negation. / Doutorado / Doutor em Filosofia

O presente trabalho tem como objeto de estudo o primeiro e único livro publicado por Wittgensein, seu Tractatus Logico-Philosophicus. Nosso tópico consiste nas dificuldades envolvidas em uma de suas teses mais centrais: a tese segundo a qual toda e qualquer proposição pode ser expressa em termos da aplicação de um operador de verdade primitivo de negação conjunta a proposições elementares. Dentre os problemas exegéticos envolvidos com o aforismo 6 e seu lugar na lógica do Tractatus, nos interessa tratar de dois grupos de questões sucitados na literatura secundária. O primeiro diz respeito à capacidade expressiva da notação do Tractatus, isto é, se podemos expressar, como afirma Wittgenstein, através da forma geral [ p, , N( )], toda função de verdade de proposições elementares apenas com “aplicações sucessivas do operador N” (5.32). O segundo grupo de questões diz respeito à possibilidade de conciliar a tese de 6 e 5.32 com o famoso resultado de que não pode haver um procediemento de decisão para todo o cálculo de predicados. No primeiro capítulo argumentaremos que a lógica do Tractatus é, em princípio, capaz de expressar qualquer proposição do cálculo de predicados de primeira ordem que contém quantificação (simples e múltipla) como resultado de um número finito de aplicações sucessivas do operador N. Defenderemos essa posição com base em uma sugestão de complemento notacional de Peter Geach que será defendida a partir de uma leitura da noção de generalidade do Tractatus, levando em conta dificuldades sucitadas contra essa posição por alguns comentadores, especialmente Robert Fogelin. No segundo capítulo argumentaremos, em um primeiro momento, que apesar de Wittgenstein estar comprometido com a decidibilidade da lógica no Tractatus, a tese de 6 e 5.32 é independente do cálculo de predicados ser decidível ou não.Em um segundo momento será argumentado (seguindo ideias sugeridas por Roger White e Michael Potter) que é uma possibilidade bastante plausível que o compromisso de Wittgenstein com a decidibilidade da lógica se fundamenta nas seguintes teses tractarianas: a)A proposição mostra seu sentido. b) O sentido de uma proposição consiste em suas condições de verdade. c) A proposição descreve a realidade completamente. Assim, mostraremos que a tese tractariana de que deve haver um procedimento de decisão para toda lógica pode estar fundamentada na concepção tractariana da compreensão do sentido proposicional.

O presente trabalho tem como objeto de estudo o primeiro e único livro publicado por Wittgensein, seu Tractatus Logico-Philosophicus. Nosso tópico consiste nas dificuldades envolvidas em uma de suas teses mais centrais: a tese segundo a qual toda e qualquer proposição pode ser expressa em termos da aplicação de um operador de verdade primitivo de negação conjunta a proposições elementares. Dentre os problemas exegéticos envolvidos com o aforismo 6 e seu lugar na lógica do Tractatus, nos interessa tratar de dois grupos de questões sucitados na literatura secundária. O primeiro diz respeito à capacidade expressiva da notação do Tractatus, isto é, se podemos expressar, como afirma Wittgenstein, através da forma geral [ p, , N( )], toda função de verdade de proposições elementares apenas com “aplicações sucessivas do operador N” (5.32). O segundo grupo de questões diz respeito à possibilidade de conciliar a tese de 6 e 5.32 com o famoso resultado de que não pode haver um procediemento de decisão para todo o cálculo de predicados. No primeiro capítulo argumentaremos que a lógica do Tractatus é, em princípio, capaz de expressar qualquer proposição do cálculo de predicados de primeira ordem que contém quantificação (simples e múltipla) como resultado de um número finito de aplicações sucessivas do operador N. Defenderemos essa posição com base em uma sugestão de complemento notacional de Peter Geach que será defendida a partir de uma leitura da noção de generalidade do Tractatus, levando em conta dificuldades sucitadas contra essa posição por alguns comentadores, especialmente Robert Fogelin. No segundo capítulo argumentaremos, em um primeiro momento, que apesar de Wittgenstein estar comprometido com a decidibilidade da lógica no Tractatus, a tese de 6 e 5.32 é independente do cálculo de predicados ser decidível ou não.Em um segundo momento será argumentado (seguindo ideias sugeridas por Roger White e Michael Potter) que é uma possibilidade bastante plausível que o compromisso de Wittgenstein com a decidibilidade da lógica se fundamenta nas seguintes teses tractarianas: a)A proposição mostra seu sentido. b) O sentido de uma proposição consiste em suas condições de verdade. c) A proposição descreve a realidade completamente. Assim, mostraremos que a tese tractariana de que deve haver um procedimento de decisão para toda lógica pode estar fundamentada na concepção tractariana da compreensão do sentido proposicional.

O presente trabalho tem como objeto de estudo o primeiro e único livro publicado por Wittgensein, seu Tractatus Logico-Philosophicus. Nosso tópico consiste nas dificuldades envolvidas em uma de suas teses mais centrais: a tese segundo a qual toda e qualquer proposição pode ser expressa em termos da aplicação de um operador de verdade primitivo de negação conjunta a proposições elementares. Dentre os problemas exegéticos envolvidos com o aforismo 6 e seu lugar na lógica do Tractatus, nos interessa tratar de dois grupos de questões sucitados na literatura secundária. O primeiro diz respeito à capacidade expressiva da notação do Tractatus, isto é, se podemos expressar, como afirma Wittgenstein, através da forma geral [ p, , N( )], toda função de verdade de proposições elementares apenas com “aplicações sucessivas do operador N” (5.32). O segundo grupo de questões diz respeito à possibilidade de conciliar a tese de 6 e 5.32 com o famoso resultado de que não pode haver um procediemento de decisão para todo o cálculo de predicados. No primeiro capítulo argumentaremos que a lógica do Tractatus é, em princípio, capaz de expressar qualquer proposição do cálculo de predicados de primeira ordem que contém quantificação (simples e múltipla) como resultado de um número finito de aplicações sucessivas do operador N. Defenderemos essa posição com base em uma sugestão de complemento notacional de Peter Geach que será defendida a partir de uma leitura da noção de generalidade do Tractatus, levando em conta dificuldades sucitadas contra essa posição por alguns comentadores, especialmente Robert Fogelin. No segundo capítulo argumentaremos, em um primeiro momento, que apesar de Wittgenstein estar comprometido com a decidibilidade da lógica no Tractatus, a tese de 6 e 5.32 é independente do cálculo de predicados ser decidível ou não.Em um segundo momento será argumentado (seguindo ideias sugeridas por Roger White e Michael Potter) que é uma possibilidade bastante plausível que o compromisso de Wittgenstein com a decidibilidade da lógica se fundamenta nas seguintes teses tractarianas: a)A proposição mostra seu sentido. b) O sentido de uma proposição consiste em suas condições de verdade. c) A proposição descreve a realidade completamente. Assim, mostraremos que a tese tractariana de que deve haver um procedimento de decisão para toda lógica pode estar fundamentada na concepção tractariana da compreensão do sentido proposicional.

A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-17T03:29:03Z (GMT). No. of bitstreams: 1 Rodrigues_TarcisioGenaro_M.pdf: 1141020 bytes, checksum: 59bb8a3ae7377c05cf6a8d8e6f7e45a5 (MD5) Previous issue date: 2010 / Resumo: A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta aproximação deu origem a uma extensa pesquisa com a intenção de definir sistemas de Programação Lógica paraconsistentes, isto é, sistemas nos quais seja possível manipular informação contraditória. Porém, todas as abordagens existentes carecem de uma fundamentação lógica claramente definida, como a encontrada na programação lógica clássica. A questão básica é saber quais são as lógicas paraconsistentes subjacentes a estas abordagens. A presente dissertação tem como objetivo estabelecer uma fundamentação lógica e conceitual clara e sólida para o desenvolvimento de sistemas bem fundados de Programação Lógica Paraconsistente. Nesse sentido, este trabalho pode ser considerado como a primeira (e bem sucedida) etapa de um ambicioso programa de pesquisa. Uma das teses principais da presente dissertação é que as Lógicas da Inconsistência Formal (LFI's), que abrangem uma enorme família de lógicas paraconsistentes, proporcionam tal base lógica. Como primeiro passo rumo à definição de uma programação lógica genuinamente paraconsistente, demonstramos nesta dissertação uma versão simplificada do Teorema de Herbrand para uma LFI de primeira ordem. Tal teorema garante a existência, em princípio, de métodos de dedução automática para as lógicas (quantificadas) em que o teorema vale. Um pré-requisito fundamental para a definição da programação lógica é justamente a existência de métodos de dedução automática. Adicionalmente, para a demonstração do Teorema de Herbrand, são formuladas aqui duas LFI's quantificadas através de sequentes, e para uma delas demonstramos o teorema da eliminação do corte. Apresentamos também, como requisito indispensável para os resultados acima mencionados, uma nova prova de correção e completude para LFI's quantificadas na qual mostramos a necessidade de exigir o Lema da Substituição para a sua semântica / Abstract: Logic Programming arises from the interaction between Logic and the Foundations of Computer Science: first-order theories can be seen as computer programs. Logic Programming have been broadly used in some branches of Artificial Intelligence such as Knowledge Representation and Commonsense Reasoning. From this, a wide research activity has been developed in order to define paraconsistent Logic Programming systems, that is, systems in which it is possible to deal with contradictory information. However, no such existing approaches has a clear logical basis. The basic question is to know what are the paraconsistent logics underlying such approaches. The present dissertation aims to establish a clear and solid conceptual and logical basis for developing well-founded systems of Paraconsistent Logic Programming. In that sense, this text can be considered as the first (and successful) stage of an ambitious research programme. One of the main thesis of the present dissertation is that the Logics of Formal Inconsistency (LFI's), which encompasses a broad family of paraconsistent logics, provide such a logical basis. As a first step towards the definition of genuine paraconsistent logic programming we shown, in this dissertation, a simplified version of the Herbrand Theorem for a first-order LFI. Such theorem guarantees the existence, in principle, of automated deduction methods for the (quantified) logics in which the theorem holds, a fundamental prerequisite for the definition of logic programming over such logics. Additionally, in order to prove the Herbrand Theorem we introduce sequent calculi for two quantified LFI's, and cut-elimination is proved for one of the systems. We also present, as an indispensable requisite for the above mentioned results, a new proof of soundness and completeness for first-order LFI's in which we show the necessity of requiring the Substitution Lemma for the respective semantics / Mestrado / Filosofia / Mestre em Filosofia