× Annonce

Chers usagers du portail lexical du CNRTL,

Après vingt ans de bons et loyaux services, la version actuelle du portail sera prochainement remplacée par une nouvelle version au 1er juillet 2026. Cette nouvelle version apporte une refonte complète de l'interface adaptée à tous les supports (ordinateurs, tablettes, smartphones) et inclut également de nouvelles ressources.

Vous pouvez d'ores et déjà vous familiariser avec la nouvelle version ici : Portail lexical

En vous remerciant,

L'équipe du CNRTL
Police de caractères:

Surligner les objets textuels
Colorer les objets :
 
 
 
 
 
 

Entrez une forme
options d'affichagecatégorie :
FORMALISATION, subst. fém.
[Correspond à formaliser2] Action de formaliser; résultat de cette action. L'attitude du savant se conforme, pour la conceptualisation et la formalisation, à la réorientation de l'expérience économique des sociétés globales (Univers écon. et soc.,1960, p. 6-4).Les analyses de la concurrence pure et parfaite sont un excellent exemple de la formalisation théorique du capitalisme des petites unités (Perroux, Écon. XXes.,1964, p. 98):
1. ... que la formalisation soit toujours rétrospective, cela prouve qu'elle n'est jamais complète qu'en apparence et que la pensée formelle vit de la pensée intuitive. Merleau-Ponty, Phénoménol. perception,1945, p. 441.
− LOG., LING. et MATH. [On ne peut] dissocier l'histoire de la théorie des ensembles et de la formalisation des mathématiques de celle de la « logique mathématique » (Bourbaki, Hist. math.,1960p. 9).V. axiomatique ex. 3 et 6, axiomatisation ex. 2 :
2. Par sa formalisation poussée, la logique propositionnelle qu'elle aborde, l'étude des fonctions sémantiques et syntaxiques des signes, etc., elle [la logique médiévale] annonce certains développements récents de la logistique. A. Virieux-Reymond, La Log. formelle,Paris, P.U.F., 1965, p. 37.
Prononc. : [fɔ ʀmalizasjɔ ̃]. Étymol. et Hist. 1945 (Merleau-Ponty, loc. cit.). Dér. de formaliser2*; suff. -(a)tion*. Fréq. abs. littér. : 13.