Sistemas Lógicos Não Aléticos: uma introdução ás Lógicas Paraconsistentes e Paracompletas

Teorias não aléticas são aquelas cujo cálculo lógico subjacente comporta, simultaneamente, a negação da vali-dade irrestrita do Princípio de Não Contradição e a negação da validade irrestrita do Princípio do Terceiro Excluído.
Os sistemas lógicos não aléticos encontram contato histórico com as abordagens de teorias inconsistentes não triviais. Forma possível de situá-los historicamente, por-tanto, é relacioná-los à história de tais abordagens.