Comme nous le verrons bientôt, cet article montrera que la logique classique manque de la précision nécessaire, nous obligeant à l'enrichir avec d'autres types de langages logiques