Lógicas não-clássicas ou heterodoxas
A lógica trata, entre outras coisas, das inferências válidas, ou seja, das inferências cujas conclusões têm que ser verdadeiras, caso as premissas o sejam. Tanto as premissas como as conclusões de uma inferência devem estar formuladas em uma linguagem