FICHE LE CONCEPT SCIENTIFIQUE DE MODLE 1

QUEST-CE QUUN MODLE ? Le modle na pas le sens dune puret formelle & abstraite (cf. Intelligible platonicien ) mais celui dune construction tablie en relation des observations , dune part, et en relation une thorie formelle , dautre part. Il permet non seulement de dcrire des vnements mais den donner une interprtation physique. hors systme (rel ou concret) modle systme formel noncs 2nd noncs 1ers thormes drivables

ne sont que des variations sur un thme qui nest pas donn , qui ne figure pas parmi les variations, en sorte que chaque variation ne peut tre en soi rien doriginal mais seulement une image qui se prend pour son modle LE CONCEPT SCIENTIFIQUE DE MODLE Le mot modle figure dans la science o il reprsente llment conceptuel dune cohrence syntaxique . Dans la logique mathmatique (la thorie des modles) on a plusieurs thormes : 1. Une thorie est cohrente si et seulement si elle a un modle Thorme de Gdel-Henkin. 2. Une thorie formelle qui admet un modle infini admet ncessairement un modle dnombrable Thorme de Lwenheim-Skolem . Le mot modle dans ces noncs mathmatiques a-t-il le mme sens que dans lacception usuelle ou des sciences humaines ? On peut noter quil sagit chaque fois d un modle et non pas du modle. Le concept de modle permet ici de penser le rapport entre un systme formel et son dehors. Le dehors dun systme formel peut parfaitement tre un autre systme qui va alors lui servir de mise lpreuve (par ex. larithmtique qui a t axiomatise par Peano). Le problme est de pouvoir dcider du rapport entre science formelle et science empirique , mais il permet aussi de mieux tablir la diffrence entre le concept philosophique et le concept scientifique. dehors concret systme formel noncs 2nd STRUCTURE noncs 1er thormes (drivables) axiomes (non drivables)

rgle syntaxe { dmonstration (dduction) axiomes non drivables

Alain Badiou (Le concept de modle ) prsente 2 usages et 2 dfinitions du mot modle . > 1 Le modle est une unit qui dcrit lactivit de la science et il sagit alors dun discours sur la science : nonc idologique (opinion) > 2. Il est un concept scientifique qui vaut en logique mathmatique : nonc de la science elle-mme. Il est clair que lorsquon lutilise en dehors de la science, ou bien sur la science ellemme pour la dcrire de lextrieur, on ne peut plus tre dans la science mais seulement dans lidologie = lopinion. Quand la 2 dfinition sert de support la premire, on a un recouvrement de la science. On croit tre dans la science, mais on est soit dans la catgorie philosophique de modle, soit dans lidologie ou lopinion. Lusage pistmologique ou idologique du concept de modle a ainsi comme rsultat : deffacer la ralit de la science entendue comme criture de la production de la connaissance ; de brouiller la distinction entre lcriture proprement dite (construction mathmatique du donn) et la production technologique de ce donn. Autrement dit, on brouille la entre la reprsentation symbolique et la mise en uvre des modles que lon dcrit dans le rel (quil soit naturel ou pas), cad hors du systme formel . Plus prcisment, il prsente sa thse en opposant science & idologie. Les sciences forment un ensemble discret de diffrences articules, et les idologies une combinaison continue de variations. La mtaphore musicale permet de ressortir lenjeu. Musicalement, la rptition du thme reste inaperue, aveugle, non rflchie. Cest pourquoi ces discours idologiques

rgle syntaxe{dmonstration (dduction)

quelle condition une structure dcouverte/observe est-elle un modle pour le systme formel ? Il faut distinguer entre deux domaines : 1 Le systme formel est une criture dont les rgles sont explicites . partir dun ensemble daxiomes (noncs 1ers) on drive des thormes (noncs seconds) selon des rgles de dduction (syntaxe). Il convient de noter plusieurs contraintes logiques :

2 - LE CONCEPT DE MODLE

Si tous les noncs taient des thormes, il ny aurait pas daxiome et les rgles de dduction ne seraient rien. Sans rgles de dduction, les thormes ne seraient mme pas des thormes mais seulement des noncs dsordonns, volants, sans fondement , comme ceux de lopinion (= variations musicales). On demande alors quil existe au moins un nonc qui ne soit pas drivable partir des axiomes . Cest la proprit de consistance du systme. Cette contrainte exprime une norme syntaxique : la ncessit dune drivation partir dun nonc 1er qui nest pas lui-mme drivable (= laxiome ). Or, la recherche de tels noncs nest pas tout--fait scientifique mais philosophique, car elle ne saurait disposer dj dune syntaxe. La logique ne fonde pas la logique (rgression linfini) et il est ncessaire alors de partir dune situation dialectique (culturelle). Il y a des valeurs, des prfrences , des intuitions, des hypothses, etc. qui sont juges meilleures (cf. Kuhn). Elle doit rechercher le drivable et cest ainsi quelle rentre en contradiction puisquelle doit disposer dj du nondrivable . Cette recherche ne peut pas se faire ex datis (donnes empiriques ) mais seulement ex principiis. Ce moment philosophique est ensuite ramen la pure position dun axiome do lon part ex datis. Une fois le systme install, une fois que lon a tri les deux types dnoncs (1ers et 2ds) et constitu le groupe de base , la recherche de modles devient possible : la science peut alors devenir exprimentale . Une structure est modle pour un systme formel si tous les axiomes de ce systme (et non pas les thormes) sont valides pour la structure. 2 Le domaine dinterprtation est un modle pour le systme formel. tout nonc vrai du modle correspondra une formule drivable du systme (un thorme). Dans ce cas le systme est dit complet pour ce modle . Il ne manquera aucun lment qui, du dehors, ne trouvera son image dans le systme formel. Il est donc clair que lusage du concept scientifique de modle est linverse de celui que lon pratique ailleurs, et qui remonte la dfinition de Platon. Il appelle en effet paradeigma les ides qui reprsentent, au fond, la ralit du rel [en Grec, cest le modle au sens de plan darchitecte , modle de peintre , et par extension lexemple imiter. Paradeiknumi, cest montrer ct, mettre en regard, en parallle, do lide de comparer, et aussi dattribuer.] Dans les sciences humaines, cest le formel qui est le modle relativement un donn empirique. En science cest le donn qui est modle de lartifice syntaxique. Il ny a jamais confusion entre les structures observes dans le dehors concret , tous les

modles possibles, et le systme formel. Pas plus quil ny en a entre les axiomes et les thormes pour le systme formel. Cest la recherche dune identit de syntaxe qui caractrise la modlisation et non pas seulement une formalisation. La condition dun tel tri dans les noncs, selon une rgle formule, est la condition de clture du systme : sa forme acheve. Le systme formel ne svanouit donc pas dans labstrait quand il sagit dun modle rellement observ. Quelle est donc la porte exacte du concept scientifique de modle pour pouvoir tre export ailleurs ? La dmonstration mathmatique sprouve dans lexplicite rgl des marques. Lcriture reprsente en mathmatique le moment de la vrification , rsume Alain Badiou. La structure reprsente (et non pas observe empiriquement ) doit tre crite pour devenir un systme formel . Le moment de la syntaxe (le lien dmonstratif et dductif) est une criture qui met le regard en place en rpartissant les noncs premiers et seconds. Il ne sagit pas dune syntaxe qui passe entre le systme formel et son dehors, entre ce qui serait le discours (les mots) et ce qui serait le rel (les choses).