Police de caractères:

Surligner les objets textuels
Colorer les objets :
 
 
 
 
 
 

Entrez une forme
options d'affichagecatégorie :
* Dans l'article "FORMALISER2,, verbe trans."
FORMALISER2, verbe trans.
Réduire un système de connaissances à ses caractères formels. Il est possible de formaliser un ensemble économique formé de zones ou sous-ensembles très différents (Perroux, Écon. XXes.,1964, p. 113):
1. ... nos informations sur les règles de mariage des Timbira, et sur la façon dont elles s'intègrent dans une structure sociale particulièrement difficile, sont trop fragmentaires et équivoques pour permettre de les formaliser. Lévi-Strauss, Anthropol. struct.,1958, p. 171.
− LOG., LING. et MATH. Donner, au cours de l'analyse, une forme logique aux éléments d'un problème, abstraction faite de la matière ou du contenu. Naturellement rien n'empêche maintenant de prendre à son tour la métalangue qui se superpose au calcul formel comme objet d'étude, d'en formuler la syntaxe, puis d'organiser celle-ci en une théorie déductive, qu'on pourra axiomatiser, symboliser, formaliser (R. Blanché, L'Axiomatique,Paris, P.U.F., 1959, p. 66):
2. Comment résoudre les polysémies? Et pour cela, comment formaliser le contexte? Quelles unités de contexte choisir (et dans quels cas) pour y vérifier la présence ou l'absence des paramètres permettant de traduire de telle ou telle manière? Coyaud, Introd. lang. docum.,1966, p. 124.
REM. 1.
Formalisable, adj.Qui peut être formalisé. Nos trois modèles : winnebago, indonésien et bororo sont formalisables dans (...) trois diagrammes (...) qui sont de même famille et dont chacun illustre toutes les propriétés du système correspondant (Lévi-Strauss,Anthropol. struct.,, 1958,p. 171).Le contexte du Coran est mal connu, et peu formalisable (Coyaud, Introd. lang. docum.,1966p. 28).
2.
Formalisant, ante, part. prés. et adj.,log. et épistémologie. Qui conduit à la formalisation. (Dict. xxes.). Qu'il soit nécessaire de procéder à une formalisation logistique pour toute discussion un peu plus précise, autrement dit que les analyses directes doivent être complétées par les analyses formalisantes en toute recherche épistémologique poussée, c'est ce qui est aujourd'hui reconnu par la grande majorité des spécialistes (Log. et connaissance sc.,1969, p. 82, [Encyclop. de la Pléiade]).
3.
Formalisé, ée, part. passé et adj.Qui est formalisé. Système formalisé. L'expression formalisée et quantitative des changements de structures (Perroux, Écon. XXes.,1964p. 646).Spéc., log. (ling. et math.). Logique, mathématique formalisée. Ils [les formalistes] estiment qu'un langage formalisé a rempli sa tâche lorsqu'il peut transcrire les raisonnements mathématiques sous une forme dépourvue d'ambiguïté, servir ainsi de véhicule à la pensée mathématique (Bourbaki, Hist. math.,1960, p. 49).Dans le premier projet de formalisation de la grammaire de N. Chomsky, la centralité de la syntaxe était un postulat essentiel : la composante centrale de la grammaire était une syntaxe, entièrement formalisée (Ling.1972).V. axiomatique ex. 6.
Prononc. et Orth. : [fɔ ʀmalize], (il) formalise [fɔ ʀmali:z]. Ds Ac. dep. 1694. Étymol. et Hist. 1949 (J. Vuillemin, Être et trav., 1949, p. 47 : encore faut-il prendre garde et ne point formaliser l'intuition, la substantialiser dans un en-soi immuable). Dér. sav. au moyen du suff. -iser*, du lat. formalis, v. formel. Fréq. abs. littér. : 48. Bbg. Quem. DDL t. 3.