Paraconsistentização de lógicas (2019)
- Authors:
- Autor USP: DIAS, DIOGO HENRIQUE BISPO - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Assunto: LÓGICA
- Keywords: Inconsistência; Inconsistency; Logical monism; Logical pluralism; Lógicas paraconsistentes; Paraconsistent logics; Paraconsistentização; Paraconsistentization; Pluralismo lógico
- Agências de fomento:
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 24.01.2019
-
ABNT
DIAS, Diogo Henrique Bispo. Paraconsistentização de lógicas. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/. Acesso em: 19 abr. 2024. -
APA
Dias, D. H. B. (2019). Paraconsistentização de lógicas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/ -
NLM
Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/ -
Vancouver
Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
