[pt] QUANTIFICAÇÃO IRRESTRITA E GENERALIDADE ABSOLUTA: A QUESTÃO DA POSSIBILIDADE DE UMA TEORIA SOBRE TUDO TESE

• Ano de defesa: 2015
• Autor(a) principal: ANDRE NASCIMENTO PONTES
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: MAXWELL
• Palavras-chave em Português: [pt] LOGICA; [pt] EXTENSIBILIDADE INDEFINIDA; [pt] GENERALIDADE ABSOLUTA; [pt] QUANTIFICACAO; [en] LOGIC; [en] INDEFINITE EXTENSIBILITY; [en] ABSOLUTE GENERALITY; [en] QUANTIFICATION
• Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=25287&idi=1; https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=25287&idi=2; http://doi.org/10.17771/PUCRio.acad.25287

[pt] A presente tese tem como objetivo desenvolver uma discussão acerca das condições de possibilidade da quantificação irrestrita e existência da generalidade absoluta. O trabalho é dividido em quatro etapas. No primeiro capítulo, realizo, no âmbito da teoria dos modelos e teoria dos conjuntos, uma revisão do que chamo de semântica padrão dos quantificadores. A ideia básica é mostrar como, em tal semântica, quantificações estão associadas a domínios entendidos como conjuntos. Ao longo da tese, ficará patente que a semântica padrão impõe obstáculos intransponíveis ao tratamento formal de quantificações irrestritas. No segundo capítulo, apresento uma seleção do que considero os argumentos mais relevantes contra quantificações irrestritas e nossa capacidade de lidar formalmente com o que chamamos de generalidade absoluta. Alguns desses argumentos estão baseados em resultados tais como os paradoxos que Russell e Cantor derivaram na teoria dos conjuntos. No terceiro capítulo, apresento, de modo análogo, uma lista de argumentos agrupados em linhas de estratégias para reabilitar a quantificação irrestrita contra seus críticos. Além disso, desenvolvo uma discussão sobre os aspectos metafísicos do debate sobre o discurso a respeito da generalidade absoluta e sua correlação com argumentos por regresso ao infinito. Por fim, no quarto e último capítulo, desenvolvo um esboço geral de uma proposta alternativa de tratamento da quantificação irrestrita que apele para uma teoria paraconsistente dos conjuntos. Nela, as contradições obtidas na semântica padrão podem ser admitidas controladamente possibilitando assim a obtenção de domínios absolutos para quantificações. Essa proposta envolve a defesa de um sistema formal que seja inconsistente, porém dedutivamente não trivial. Em linhas gerais, o presente trabalho está pautado no seguinte conjunto de teses: (i) existe uma estreita correlação entre os obstáculos impostos pela semântica padrão às quantificações irrestritas e a estrutura de argumentos por regresso ao infinito; (ii) a existência de uma generalidade absoluta é um fenômeno que se impõe às nossas mais intuitivas concepções de realidade e, portanto, não devemos descredenciar o discurso sobre tal generalidade em virtude de limitações de nossas linguagens formais; (iii) nós devemos escolher entre assumir a lógica clássica e abdicar do discurso sobre a generalidade absoluta ou manter nossa intuição mais básica descrita em (ii) e abrir espaço para um tratamento não clássico da questão; finalmente, (iv) minha sugestão no presente trabalho é que temos boas razões para nos aventurar nas paisagens descritas pelos sistemas não clássicos.