CNRS
Suivez-nous sur

Rechercher





Accueil > Recherche > Axe 1 : Histoire et philosophie des sciences

Thème 4 : Logique et fondements des mathématiques et de l’informatique

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.