UMA CLASSIFICAÇÃO DA LÓGICA
Alguns autores dividem o estudo da Lógica em:
LÓGICA INDUTIVA: útil no estudo da teoria da probabilidade (não será abordada neste roteiro).
e
LÓGICA DEDUTIVA: que pode ser dividida em :
·
LÓGICA CLÁSSICA- Considerada como o
núcleo da lógica dedutiva. É o que chamamos hoje de CÁLCULO
DE PREDICADOS DE 1a ORDEM com ou sem igualdade e de
alguns de seus subsistemas.
Três Princípios (entre outros) regem a Lógica Clássica: da IDENTIDADE,
da CONTRADIÇÃO e do TERCEIRO
EXCLUÍDO os quais serão abordados mais adiante.
· 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...