Julio C escreveu: > Com o risco de deixar muita coisa fora, > minha definição é mais ou menos assim: > Lógica é o conjunto de regras que gera a estrutura semântica e as leis de > inferência da sua própria meta-linguagem de apresentação. > Em outras palavras, se meu sistema que apresenta uma lógica A, necessitar > ser apresentado através de uma lógica B, a lógica A apenas *encapsula* as > regras da lógica B em um novo arranjo sintático-semântico e, assim, em > última análise, depõe a favor de B, não de A.
A favor de quem _depõem_ as chamadas "lógica clássica proposicional" e "lógica clássica de primeira ordem"? Certamente nenhuma das duas serviria como metalinguagem de apresentação para si próprias... JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
