Em um sentindo prático, pelo exame de todos os textos escritos que conheço contendo amostras de raciocínio, parece-me haver uma única lógica, a qual é a lógica intuicionista, no sentido de que, por trás da descrição de todas as teorias matemáticas e sistemas lógicos que conheço, há uma única lógica que é utilizada a nivel metateórico ou metamatemático. A parte da lógica intuicionista que é a mais usada é a lógica clássica.
As demais lógicas parecem, neste sentido, ser apenas especializações desta única lógica. Não conheço um exemplo sequer em que uma lógica distinta da lógica intuicionista seja usada para dar suporte metateórico a uma dada teoria matemática ou sistema lógico. Neste sentido, nunca observei que alguma lógica paraconsistente, paracompleta não intuicionista, relevante, não monotônica, modal, etc., seja usada como suporte para uma dada teoria. Permanece em aberto a questão a respeito da existência de uma única grande lógica, onde entendo por grande lógica um sistema lógico contendo um sistema completo de fundamentação da matemática, tal como uma teoria dos conjuntos ou uma teoria das categorias. Acredito que um bom candidato é um sistema oriundo de Quine. A este respeito, vejam Elementary Set Theory with a Universal Set, de M. Randall Holmes, em http://math.boisestate.edu/~holmes/holmes/head.pdf. a) Arthur Buchsbaum De: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] Em nome de Ricardo Pereira Tassinari Enviada em: quarta-feira, 1 de outubro de 2008 02:10 Para: Lógica-L Assunto: [Logica-l] (Com) Lógica Olá a todos. Aproveitando a onda dos temas polêmicos (e ainda não falando de futebol), gostaria de perguntar: alguém da lista acha que existe uma única lógica, ou melhor, uma única forma correta de pensar? Abraços. Ricardo. -- Dr. Ricardo Pereira Tassinari - Departamento de Filosofia UNESP - Faculdade de Filosofia e Ciências - Marília Homepage: http://www.marilia.unesp.br/ricardotassinari
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
