Como veremos em breve, este artigo mostrará que a lógica clássica carece da precisão necessária, obrigando-nos a aprimorá-la com outros tipos de linguagens lógicas.