Polinomization of logics : problems and perspectives / Polinomização de logicas : problemas e perspectivas

AUTOR(ES)
DATA DE PUBLICAÇÃO

2009

RESUMO

A obra de George Boole, pedra fundamental da lógica contemporânea, não separa métodos de análise matemática, de métodos lógicos propriamente ditos. Se, por um lado, a falta de fronteiras metodológicas nítidas tem-lhe valido azedas críticas, por outro lado fazem da obra de Boole uma verdadeira síntese do pensamento formal, herdada de Aristóteles, Leibniz, Newton e dos analistas a partir do século XVII, como Taylor, MacLaurin e Lagrange. O que foi chamado em [12] de polinomizar é precisamente a tentativa de reavaliar os métodos oriundos de Boole e Leibniz, que permitem representar a semântica e a sintaxe de diversos sistemas lógicos pela manipulação algébrica. Tirando partido de resultados combinatórios elementares, é possível tratar todas as lógicas multivalentes verofuncionais com base em manipulação polinomial; não somente estas, mas também lógicas não-verofuncionais, e ainda fragmentos da lógica de primeira ordem, que formalizam a teoria clássica de silogismos de Aristóteles. Este trabalho pretende esclarecer tais questões de forma mais abrangente, e investigar a possibilidade de estender o tratamento da polinomização a outras lógicas. São obtidos alguns resultados positivos, como novas demonstrações de teoremas conhecidos, mas também negativos, que mostram as limitações do método. Investiga-se também a relação da polinomização de lógicas com outros tratamentos conhecidos, como paraconsistentização, temporalização, algebrização etc

ASSUNTO(S)

logic algebra logica algebra polynomials polinomios

ACESSO AO ARTIGO

Documentos Relacionados