Akademik

• 1945; de formaliser, probablt d'apr. l'angl. formalization

n. f. Didac. Opération qui consiste à formaliser, à mettre sous forme de signes logiques ou mathématiques rigoureusement définis (une axiomatique, un énoncé, etc.).

⇒FORMALISATION, subst. fém.

[Correspond à formaliser²] 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. XX^e s., 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., 1960 p. 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. :[]. Étymol. et Hist. 1945 (MERLEAU-PONTY, loc. cit.). Dér. de formaliser²; suff. -(a)tion. Fréq. abs. littér. :13.

formalisation [fɔʀmalizɑsjɔ̃] n. f.