Les études rattachées à cette thématique concernent la logique entendue de trois manières : d’abord, comme discipline s’occupant des concepts les plus généraux sous-entendus par toute connaissance ; ensuite, la logique conçue comme branche des mathématiques, discipline s’occupant des théories mathématiques formelles y compris celles liées à l’informatique ; enfin, la logique philosophique, intégrant les études sur les logiques non classiques appliquées à l’intelligence artificielle.