Imprimir

LÓGICA PARACONSISTENTE

LÓGICA PARACONSISTENTE

Uma lógica paraconsistente é uma lógica onde o princípio da contradição não é correto, ou seja, em tal lógica pode ocorrer de tanto uma sentença como a sua negação serem ambas verdadeiras. Em tais sistemas a existência de sentenças contraditórias não implica na trivialidade dos mesmos.

Uma das aplicações desse tipo de lógica é o estudo da semântica, especialmente em se tratando dos paradoxos. Por exemplo, considere a afirmação "o homem é cego, mas vê". Pelo princípio da Lógica Clássica, o indivíduo que vê, "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.

INTERESSANTE ISSO NÃO!!!

Isto é um mundo quântico, a lógica sem lógica.

Grande braço a todos!!!

Nelson Costa