Sobre a lógica

Oi, galera! Alguns autores dividem a lógica matemática em:

- LÓGICA INDUTIVA: útil no estudo da teoria da probabilidade

- LÓGICA DEDUTIVA: que pode ser dividida em:
· LÓGICA CLÁSSICA: Considerada como o coração da lógica dedutiva, que chamamos de Cálculo de Predicados de Primeira Ordem com ou sem igualdade e de alguns de seus subsistemas.
Três Princípios regem a Lógica Clássica: da IDENTIDADE, da CONTRADIÇÃO e do TERCEIRO EXCLUÍDO.

· LÓGICAS COMPLEMENTARES DA CLÁSSICA: Complementam de algum modo a lógica clássica estendendo o seu domínio. Exemplos: lógicas modal , deôntica, epistêmica , etc.

· LÓGICAS NÃO - CLÁSSICAS: Assim caracterizadas por derrogarem algum ou alguns dos princípios da lógica clássica. Exemplos: paracompletas e intuicionistas (derrogam o princípio do terceiro excluído); paraconsistentes (derrogam o princípio da contradição); não-aléticas (derrogam o terceiro excluído e o da contradição); não-reflexivas (derrogam o princípio da identidade); probabilísticas, polivalentes, fuzzy-logic, etc...

Para refletir: "É impossível escravizar mental ou socialmente um povo que lê a Bíblia. Os princípios são os fundamentos da liberdade humana." (Dorace Greeley)