sciences formelles
- Domaine
-
- philosophiethéorie de la connaissance
- Dernière mise à jour
Définition :
Ensemble de sciences purement abstraites et déductives qui reposent sur le calcul et le raisonnement.
Note :
Les mathématiques, la logique et l'informatique sont des sciences formelles. Elles visent à démontrer leur objet à partir d'un ensemble d'axiomes, de formules, de théorèmes, sans besoin de confrontation à la réalité physique au moyen de l'expérimentation et de la mesure par des instruments.
Termes privilégiés :
- sciences formelles n. f. pl.
- sciences exactes n. f. pl.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- exact sciences
- formal sciences