Lógica Paraconsistente

Por exemplo, considere a afirmação: 

"o homem é cego, mas vê". Segundo a Lógica Clássica, o indivíduo que vê, um "não-cego", não pode ser cego; já na Lógica Paraconsistente, ele pode ser cego para ver algumas coisas, e não-cego para ver outras coisas.

"Lógica paraconsistente: É uma forma de lógica onde não existe o princípio da contradição. Nesse tipo de lógica, tanto as sentenças afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto. Uma das aplicações desse tipo de lógica é o estudo da semântica, especialmente em se tratando dos paradoxos. Um exemplo: "fulano é cego, mas vê". Pelo princípio da lógica clássica, o indivíduo que vê, um "não-cego", não pode ser cego. Na lógica paraconsistente, ele pode ser cego para ver algumas coisas, e não-cego para ver outras coisas." Fonte: http://www.enciclopedia.com.pt/articles.php?article_id=683 (acesso 9 de abril de 2012)