João, acho que o Titulo de seu e-mail não é bem adequado aos princípios da lógica paraconsistente, pois todos sabemos o que é um e-mail (pelas características da definição deste) e o que deixa de sê-lo. Acho que um melhor exemplo desta lógica é dada pela seguinte frase: "Esta frase é falsa" Pois , sendo ela falsa é verdadeira e uma vez verdadeira é falsa.....um paradoxo!
Roberto > Date: Wed, 31 Aug 2011 23:47:01 -0300 > From: [email protected] > To: [email protected] > Subject: [Logica-l] isto não é um email > > Por que preferir a incompletude à inconsistência? > > * * * > > This is not a carrot: Paraconsistent mathematics > by Maarten McKubre-Jordens > August 24, 2011 > > Paraconsistent mathematics is a type of mathematics in which > contradictions may be true. In such a system it is perfectly possible > for a statement A and its negation not A to both be true. How can this > be, and be coherent? What does it all mean? And why should we think > mathematics might actually be paraconsistent? We'll look at the last > question first starting with a quick trip into mathematical history. > > http://plus.maths.org/content/not-carrot > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
