Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)

AUTOR(ES)

Tomás Andrés Barrero Guzman

DATA DE PUBLICAÇÃO

2004

RESUMO

O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry. Para o fragmento classico, estuda-se o metodo construtivo de completude proposto por Leon Henkin. Investigam-se as razoes pelas quais este metodo nao pode ser estendido para fragmentos nao-classicos que conseguem evitar a ocorrencia da objeção de Haskel Curry como, por exemplo, os das logicas n-valentes de Jan Lukasiewicz e os (por nos denominados) intuicionistas de Wilhelm Ackermann, quer pelas características da implicação, quer pela presença de um tipo de argumento infinito. O estudo conjunto do metodo de Henkin e do fenomeno da trivialidade positiva permite estabelecer um processo de decidibilidade da logica positiva classica atraves de um sistema de tablos que utiliza somente recursos metalinguísticos positivos, e propor uma rediscussão a respeito do papel da negação em logica atraves do conceito de paratrivialidade. Nesse contexto discutimos, do ponto de vista conceitual, a relação da logica positiva com o infinito, as possibilidades de se obter uma logica de primeira ordem completa sem negação e o vínculo filosófico entre verdade e significado.

ASSUNTO(S)

lógica paradoxo filosofia positive logic positive paradoxes positive triviality positive tableaux paratriviality constructive completeness

Documentos Relacionados

• Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
• A negação lógica e a lógica do sujeito
• O eu e o espelho (do cinema) : ficção e realidade
• A cotonicultura do Vale do Yuyu, no sudeste bahiano: problemas e potencialidade-resultados de pesquisa 81/82.
• Hannah Arendt : a estética e a política (do juízo estético ao juízo político)