En outre, la logique moderne offre la possibilité d'une quantification multiple (pour tous individus x et y) et alternée (pour tout individu x, il existe un individu y tel que, pour tout z…), très importante pour la formalisation des mathématiques et néanmoins ignorée par la logique traditionnelle.
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
KURT Gödel, l'un des plus brillants esprits de notre siècle, est mort dernièrement à Princeton (New-Jersey).
Ses découvertes en ont fait le père de la logique mathématique moderne aussi bien que l'innovateur de la pensée abstraite la plus élaborée.