• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Paraconsistentização de lógicas / Paraconsistentization of logics

Dias, Diogo Henrique Bispo 24 January 2019 (has links)
Esta tese tem como objetivo estudar a paraconsistentização de lógicas, que consiste em encontrar, para uma dada lógica, sua contraparte paraconsistente. A estratégia geral utilizada para tal tarefa é: ao encontrar premissas inconsistentes, faça inferências a partir de seus subconjuntos consistentes. Para isso, foram desenvolvidos dois métodos de paraconsistentização. O primeiro consiste na utilização do arcabouço teórico da Teoria de Categorias, enquanto que o segundo faz uso da teoria da prova e da noção de estruturas valorativas. Após a apresentação dos métodos, algumas propriedades formais de ambas as propostas foram investigadas. Em particular, provou-se que a paraconsistentização preserva correção e completude, isto é, se a lógica inicial for correta e completa, sua contraparte paraconsistente também o será. Também foram estabelecidas as condições suficientes que uma lógica deve satisfazer para poder ser paraconsistentizada. A partir destes resultados, os dois métodos propostos foram comparados com outras abordagens desenvolvidas para raciocinar a partir de conjuntos inconsistentes. Por fim, a tese analisa o debate entre pluralismo e monismo lógico investigando, especificamente, as contribuições da paraconsistentização para tal discussão. / This thesis aims to study the paraconsistentization of logics, which consists in finding, for a given logic, its paraconsistent counterpart. The general strategy used for this task is the following: when finding inconsistent premises, one must draw inferences from its consistent subsets. For this, two methods of paraconsistentization were developed. The first consists in using the framework of Category Theory, while the second one makes use of proof theory and the notion of valuation structure. After their presentation, some formal properties of both proposals were investigated. In particular, it was proved that paraconsistentization preserves soundness and completeness, that is, if the initial logic is sound and complete, its paraconsistent counterpart will also be. The sufficient conditions that a logic must satisfy in order for it to be paraconsistentized were also established. From these results, the two proposed methods were compared with other approaches developed to reason from inconsistent sets. Finally, the thesis analyses the debate between pluralism and logical monism investigating, specifically, the contributions of paraconsistentization to this discussion.
2

Lógicas paraconsistentes de um ponto de vista filosófico

Dias, Diogo Henrique Bispo 07 June 2013 (has links)
Made available in DSpace on 2016-04-27T17:27:04Z (GMT). No. of bitstreams: 1 Diogo Henrique Bispo Dias.pdf: 817652 bytes, checksum: a9c449589ddd37e8416ba66f62fb6285 (MD5) Previous issue date: 2013-06-07 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This master' s thesis comprehends the philosophical aspects of paraconsistent logic. It will analyze the history of the fundamental logical principles to this particular logic, namely: the law of non-contradiction and the principle of explosion, as well as the history of paraconsistency. Moreover, an interpretation of paraconsistency that defends the existence of true contradiction, known as dialetheism, will be discussed, as well as the criticism to' this position, and, in general, to paraconsistent logics. The philosophical character of this thesis does not mean that the text will be exempt from theorems, formulas, demonstrations and other formal questions. But this formal aspect will not be treated as a end in itself. The formalism will be used to present two proposicional paraconsistent systems, namely: paraclassicallogic and paraclassical logic with inclusion, and to compare them with classical logic. The theoretical framework built for such aim is philosophically relevant, for the discussion on central points in logic, such as the existence of logical laws, its a priori character, and even the very definition of logic. Finally, a method will be proposed in order to find, from a given logic, its paraconsistent version. Due to the multiplicity of paraconsistent systems,' I this study is important in order to explore the general features of paraconsistent logics, their specificities and, mainly, abstract methods for generation of paraconsisent logic / Este trabalho abordará os aspectos filosóficos das lógicas paraconsistentes. Analisaremos a história dos princípios lógicos fundamentais para esta lógica, a saber: a lei de não-contradição e o princípio de explosão, bem como a história do surgimento da paraconsistência. Ademais, discutiremos uma interpretação da paraconsistência que defende a existência de contradições verdadeiras, denominada dialeteismo, e as possíveis críticas ao dialeteismo e, de forma geral, às lógicas paraconsistentes. O caráter filosófico do trabalho não significa que o texto estará isento de teoremas, fórmulas, demonstrações e outras questões formais. Porém, este aspecto formal não será tratado como um fim em si mesmo. O formalismo será utilizado para apresentar dois sistemas proposicionais paraconsistentes - lógica para clássica e lógica para clássica com inclusão - e compará-los com a lógica proposicional clássica. O arcabouço teórico construído para tal fim é filosoficamente relevante para discutir questões centrais à lógica" como a existência de leis lógicas, seu caráter a priori e, até mesmo, a própria definição de lógica. Por fim, será apresentado um método para encontrar, a partir de uma lógica dada, sua versão paraconsistente. Face à multiplicidade, de sistemas lógicos paraconsistentes, este estudo é importante, pois permite explorar as possíveis características gerais das lógicas paraconsistentes, suas especificidades e, principalmente, métodos abstratos para gerar lógicas paraconsistentes

Page generated in 0.0937 seconds