Prezada Maria Francisca Nao parece que o conceito de prova tive uma grande evolucao ate o nascimento da teoria da prova. Alem disso, hoje nas ciencias e mesmo na matematica pessoas tratam antes de tudo de sistema fatico, nao deduzindo coisas a partir de axiomas. Para muita gente o interesso e a possibilidade de axiomatizar nao estao muito claro: a teoria dos numeros funcionou 2000 anos sem ser axiomatizada e continua a funcionar com sistema fatico, nao parece que o Andre Weil tarabalhou usando os axiomas de Peano, nem o Andrew Wiles.
Infelizemente os grandes projetos axiomaticos foram deixados de lado. Estamos longe do tempo onde Suppes organizou um grande congresso sobre axiomatizacao em Berkeley em 1957: L. Henkin, P. Suppes, & A. Tarski (Eds.), The Axiomatic Method with Special Reference to Geometry and Physics. Proceedings of an international symposium held at the University of California, Berkeley, December 16, 1957 - January 4, 1958 Do outro lado, o direito parece uma das ciencias mais facil axiomatizar. A dificuldade e qual sistemo logico usar exatamente, nao basta acrescentar modalidades deonticas, um problemo fundamental e mais liga a transposicao da linguagem ordinaria e/ou juridica num sistemo propositicional e/ou de primeira ordem qualquer que seja. Um abraço, Jean-Yves _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
