> coloco aqui um trecho de uma entrevista informal do Dov Gabbay: > > ``I do not believe that there is a single logic, like classical logic.
I-am-a-logic-Gabbay toca num ponto importante, que é a debilidade expressiva das lógicas-objeto com as quais costumamos trabalhar para fazer o que *realmente* fazemos quando estamos argumentando ou demonstrando coisas. Tenho a impressão contudo que a pergunta inicial do Ricardo sobre a possível unicidade das lógica subentendia também (propositalmente ou não), a dificuldade da tarefa de escolher uma tal lógica que sirva também como meta-lógica ao estudarmos esta mesma lógica, uma espécie de lógica Global, privilegiada. Ou estou enganado? > PS: lista precisa ter lógica? Eu não leio todos os emails da lista... Arrá! Qual a sua lógica para escolher quais emails deve ler? ;-) ;-) JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
