Escolar Documentos
Profissional Documentos
Cultura Documentos
Lógica Paraconsistente.
Foi criada por um lógico chamado Newton da Costa (por volta de 1964).
É uma lógica dentro da qual se pode inserir contradição, sem que se comprometa a
lógica.
Na lógica clássica, na qual operamos normalmente, diante de uma contradição, se
perde a capacidade de se avaliar algo como racional.
Num cálculo lógico clássico, por meio de hipóteses contraditórias se pode provar
qualquer coisa que se queira. A tese é a de que do falso tudo pode surgir.
No sentido filosófico, se se insere hipóteses contraditórias, a teoria vai por água
abaixo, pois não se sabe mais distinguir o que é falso e o que é verdadeiro.
O átomo de Bohr era uma entidade teórica contraditória, por exemplo, em que só se
podia fazer uma ciência de maneira intuitiva, em que não se podia usar uma base
axiomática, a não ser que se usasse uma lógica paraconsistente.
Para esse professor, é possível construir uma ontologia ou metafísica a partir de uma
base puramente lógica.
O livro Tópicos em Ontologia Analítica.
Metafísica.
SEgundo a metafísica aristotélica, a metafísica seria a ciência do ser enquanto ser.
De modo mais claro, a metafísica oferece as leis fundamentais daquilo que chamamos
de realidade.
Se sou um físico, os meus experimentos se darão de acordo com leis metafísicas; na
história, a mesma coisa; e além, em qualquer atividade intelectual humana.
A tese que o Décio Krause endossa é que a melhor expressão dessas leis fundamentais
seria na lógica.
Galileu Galileu em O Ensaiador, diz que a essência de toda a realidade está escrita em
caracteres matemáticos.