<p dir="ltr"><strong>DOSSIER : QUANTIFICATION ET QUANTITE</strong></p>
<p dir="ltr"><em>François Lepage est professeur honoraire, spécialiste de logique et épistémologie au département de philosophie de l’université de Montréal. Il est l’auteur d’Éléments de logique contemporaine aux Presses Universitaires de Montréal (2011) et de Logique partielle et savoir publié chez Bellarmin Vrin (2006).</em></p>
<p dir="ltr"><strong>SOMMAIRE</strong></p>
<p><strong>1. Motivation</strong></p>
<p><strong>2. Le concept de préférence et sa formalisation</strong></p>
<p><strong>3. Le concept d’utilité attendue et sa formalisation</strong></p>
<p><strong>4. Questions, problèmes et remarques</strong></p>
<p><strong>5. Contre-exemples</strong></p>
<p><strong>5.1 Le paradoxe d’Allais</strong></p>
<p><strong>5.2 Violation de la transitivité des préférences</strong></p>
<p><strong>5.3 La complétude est-elle crédible ?</strong></p>
<p><strong>6. Faut-il mettre les théories normatives à la poubelle ?</strong></p>
<h1 dir="ltr" id="heading1">1. Motivation</h1>
<p class="texte" dir="ltr">« On peut faire dire n’importe quoi aux statistiques. » Combien de fois n’avons-nous pas entendu, sous une forme ou une autre, cette affirmation péremptoire qui exprime une méfiance profonde envers la mathématisation, voire la simple formalisation, des lois des sciences humaines. Il est difficile de prêter un sens univoque à une telle formule mais je pointerais vers une explication du genre suivant. À partir du moment où on attache des valeurs numériques à des variables en sciences humaines, on glisse vers une forme de positivisme et nos théories deviennent des caricatures naïves des phénomènes complexes dont elles sont censées rendre compte.</p>
<p class="texte" dir="ltr">À l’extrême opposé, se trouve un postulat épistémologique radical : les régularités empiriques observables en sciences humaines doivent pouvoir être représentées par des lois formelles et, si possible, numériques sous peine soit de perdre leur caractère scientifique et d’être carrément incompréhensibles, soit de retomber dans la psychologie populaire illustrée par ces nombreux ouvrages de croissance personnelle.</p>
<p class="texte" dir="ltr">Dans les pages qui suivent, je propose d’étudier un cas simple de formalisation et de représentation numérique, celui des échelles de préférence et de choix rationnel et d’en faire un examen critique.</p>
<p class="texte" dir="ltr">Je ne suis ni un spécialiste des sciences humaines ni un spécialiste des mathématiques de la prise de décision. On ne trouvera dans cette intervention aucune contribution originale. Je travaille en logique philosophique et j’ose seulement penser qu’un regard ni de trop près ni de trop loin peut apporter matière à réflexion. Ce texte comporte deux parties. La première est une présentation semi formelle de l’axiomatisation des notions de préférences et de l’utilité attendue des actes d’un agent supposé être rationnel. La seconde est une analyse critique de cette axiomatisation et de ses limites.</p>
<h1 dir="ltr" id="heading2">2. Le concept de préférence et sa formalisation</h1>
<p class="texte" dir="ltr">Un des concepts clés que nous utilisons dans nos tentatives de description du comportement rationnel est celui de <em>préférence</em>. On peut considérer ce concept comme primitif tout comme on peut le considérer comme une abstraction dérivant de l’observation empirique du comportement des agents. Ma chatte gratte à la porte menant au jardin. Je lui ouvre et je la vois hésiter. Il pleut et la température est de deux degrés. Elle fait volte-face et retourne se coucher sur son fauteuil habituel. Elle préfère l’option de rester à l’intérieur à celle de sortir. Notre compréhension des comportements des agents contrairement à ceux des non-agents fait appel à ce concept. Nous ne dirions pas que l’allumette que j’ai frottée préfère s’enflammer ou encore que le caillou qui m’échappe des mains préfère tomber. Le concept de préférence est une relation entre options qui s’offrent à des agents « rationnels ».</p>
<p class="texte" dir="ltr">Il y a plusieurs façons plus ou moins équivalentes de formaliser la relation de préférence. Nous commencerons avec l’une des plus simples qui permet quand même de présenter des problèmes philosophiquement pertinents. La notion d’agent est primitive : un agent peut être un animal, un être humain, une collectivité, un ordinateur, etc. On se donne un ensemble d’options. Le statut ontologique de ces options ne fait pas l’unanimité et, pour certains, ce sont des lots, quelquefois des montants d’argent. La majorité des exemples que l’on retrouve dans les manuels de théorie de la décision, de la théorie des jeux, etc., sont des exemples monétaires. On ne peut s’empêcher de penser qu’il y a là une source de la méfiance envers les échelles de préférence quantifiées : cette approche monétaire connote l’idée que tout se vend et tout s’achète…</p>
<p class="texte" dir="ltr">Pour de nombreux philosophes, il est plus pratique de considérer les options comme des propositions, en fait, les propositions affirmant que l’agent obtient tel ou tel lot, et c’est ce que nous ferons ici. Nous nous autoriserons quand même, par souci de simplicité, à parler de lots. Pour les besoins de ce texte, nous supposerons que les propositions de base sont en nombre fini. À chaque agent est associée une relation entre les lots : la relation de préférence faible : <em>A</em><span style="font-family:'Cambria Math',serif;">≿</span><em>B</em> qui se lit l’agent préfère faiblement <em>A</em> à <em>B</em>. Le mot « faible » est utilisé parce que nous voulons pouvoir définir l’indifférence : <em>A</em><span style="font-family:Symbol,serif;"></span><em>B</em> qui se lit l’agent est indifférent entre <em>A</em> et <em>B</em> et se définit par <em>A</em><span style="font-family:'Cambria Math',serif;">≿</span><em>B</em> et <em>B</em><span style="font-family:'Cambria Math',serif;">≿</span><em>A</em>. On a, bien sûr, <em>A</em><span style="font-family:Symbol,serif;"></span><em>A</em> et la relation d’indifférence tout comme celle de préférence faible sont réflexives.</p>
<p class="texte" dir="ltr" style="margin-left:0.0in; margin-right:0.0in; text-indent:0.0in;">La plupart des auteurs, comme Luce et Raiffa (1985), prennent le concept de préférence faible comme primitif.</p>
<p class="texte" dir="ltr" style="margin-left:0.0in; margin-right:0.0in; text-indent:0.0in;">Nous allons maintenant nous intéresser à une propriété sensiblement plus problématique, la <em>transitivité</em> des préférences faibles :</p>
<p class="texte" dir="ltr"><span style="font-family:Cambria,serif;"><em>A</em></span><span style="font-family:'Cambria Math',serif;"> ≿ </span><em>B</em> et (<em>B</em><span style="font-family:'Cambria Math',serif;"> ≿ </span><em>C</em>), alors (<em>A</em><span style="font-family:'Cambria Math',serif;"> ≿ </span><em>C</em>).</p>
<p class="texte" dir="ltr">Par exemple, vous préférez « utiliser votre vélo pour aller au travail » à « prendre le métro pour aller au travail » et vous préférez « prendre le métro pour aller au travail » à « prendre votre auto pour aller au travail ». Donc, vous préférez « utiliser votre vélo pour aller au travail » à « prendre votre auto pour aller au travail ».</p>
<p class="texte" dir="ltr">Cette propriété, nous le verrons plus loin, est empiriquement contestable.</p>
<p class="texte" dir="ltr">Enfin, une troisième propriété que nous retiendrons est la complétude : pour tout <em>A</em>, <em>B</em>, <em>A</em><span style="font-family:'Cambria Math',serif;">≿</span><em>B</em>ou <em>B</em><span style="font-family:'Cambria Math',serif;">≿</span><em>A</em>, qui est également problématique<a class="footnotecall" href="#ftn1" id="bodyftn1">1</a>. En effet, cette propriété présuppose que toutes les options possibles sont comparables.</p>
<p class="texte" dir="ltr">En théorie des ensembles « <span style="font-family:'Cambria Math',serif;">≿</span> », telle qu’axiomatisée ici, est un préordre total. L’intuition naïve associée à la relation de préférence faible et à celle d’indifférence est celle d’une valeur <em>subjective</em> plus ou moins grande que l’agent attache aux options. C’est presque un pléonasme d’affirmer que si l’agent préfère <em>A</em> à <em>B</em>, c’est qu’il accorde une <em>plus grande</em> valeur à <em>A</em> qu’à <em>B</em>. Il est tentant de représenter la valeur de chacune des options par un nombre : à chaque option <em>A</em><em><sub>i</sub></em> est attaché un nombre réel <em>U</em>(<em>A</em><em><sub>i</sub></em>) qu’on appelle l’utilité de cette option. On a</p>
<p class="texte" dir="ltr"><span style="font-family:Cambria,serif;"><em>A</em></span><span style="font-family:'Cambria Math',serif;"><em>≿</em></span><em> B </em>ssi <em>U</em>(<em>A</em>)≥<em>U</em>(<em>B</em>).</p>
<p class="texte" dir="ltr">C’est ce qu’on appelle la <em>représentation ordinale des préférences</em>. Ici, le terme fondamental est <em>ordinale</em>. Les valeurs numériques n’ont de signification que par l’ordre. Par exemple si on a</p>
<p class="texte" dir="ltr"><span style="font-family:Cambria,serif;">A </span><span style="font-family:'Cambria Math',serif;"><em>≻ </em></span><em>B </em><span style="font-family:'Cambria Math',serif;">≻</span><em>C </em>et <em>U</em>(<em>A</em>) = 4,<em>U(B) </em>= 2 et <em>U</em>(<em>C</em>) = 1</p>
<p class="texte" dir="ltr">on ne peut pas conclure que la préférence de l’agent pour <em>B</em> est deux fois moindre que sa préférence pour <em>A</em> et que sa préférence pour <em>C</em> est deux fois plus petite que sa préférence pour <em>B</em> : l’attribution de valeurs numériques ne fait que respecter l’ordre et les valeurs cardinales n’ont aucun sens.</p>
<h1 dir="ltr" id="heading3">3. Le concept d’utilité attendue et sa formalisation</h1>
<p class="texte" dir="ltr">Dans nos conceptions préthéoriques d’agents rationnels, ceux-ci ne sont pas uniquement des porteurs de préférences, ce sont des êtres susceptibles d’agir, de produire des actes qui auront des conséquences qui dépendent de l’état du monde. La question qui se pose est, comme pour les préférences, celle de formaliser et d’axiomatiser le concept d’acte. Dans un contexte de certitude, c’est-à-dire où l’agent a une connaissance certaine (ou presque) de l’état du monde, il accomplit l’acte qui maximise, qui rendra vraie la proposition qui a la plus grande préférence. Exemple, vous êtes au Caire un premier juillet, il fait 40 °C et un soleil radieux. Vous avez le choix entre prendre votre parapluie ou le laisser à l’hôtel. Vous promener sous un soleil plombant avec un parapluie n’est pas une perspective très alléchante. Même scène, mais cette fois-ci à Londres un quinze novembre. Dans ce cas, vous pesez le pour et le contre en consultant les prédictions météorologiques. Comme l’a si bien dit Pascal « L'incertitude de gagner est proportionnée à la certitude de ce qu'on hasarde selon la proportion des hasards de gain et de perte. » C’est cette intuition que nous allons maintenant formaliser. </p>
<p class="texte" dir="ltr">Outre la notion de préférence, il faut formaliser et axiomatiser les relations entre les états du monde et les actes. L’ensemble des états du monde est un ensemble de propositions décrivant des états de choses sur lesquels l’agent n’a aucune influence. Les propositions exprimant des lois de la physique, celles exprimant des faits empiriques, comme la température actuelle à Bruxelles, le fait qu’il pleuve ou non à Londres en ce moment, bref des propositions qui expriment des données sur lesquelles nous ne pouvons agir.</p>
<p class="texte" dir="ltr">L’ensembledes actes est aussi un ensemble de propositions, l’ensemble des propositions que l’agent croit pouvoir rendre vraies. Par exemple, l’agent prend son parapluie, l’agent se rend à la plage, l’agent achète des actions de Monsanto, l’agent claque des doigts pour éteindre le soleil. À chaque acte <em>X</em> est associée une conséquence qui dépend de l’état du monde. La connaissance de l’état du monde est cependant habituellement incertaine comme dans l’exemple de Londres ci-dessus : l’agent se demande s’il est dans un monde où il va pleuvoir ou bien s’il est dans un monde où il ne pleuvra pas. Prendre son parapluie dans un monde où il pleuvra n’a pas la même conséquence que prendre son parapluie dans un monde où il ne pleuvra pas, d’où la nécessité d’utiliser des <em>probabilités subjectives</em>.</p>
<p class="texte" dir="ltr">On définit alors l’utilité attendue d’un acte <em>X</em> de la manière suivante :</p>
<p class="texte" dir="ltr"><em>UA</em>(<em>X</em>)<span style="font-family:Cambria,serif;"> =</span> Pr<em><sub>x</sub></em>(<em>A</em><em><sub>1</sub></em>)<em>U</em>(<em>A</em><em><sub>1</sub></em>)+ ... +Pr<em><sub>x</sub></em>(<em>A</em><em><sub>n</sub></em>)<em>U</em>(<em>A</em><em><sub>n</sub></em>)</p>
<p class="texte" dir="ltr">où Pr<em><sub>x</sub></em>(<em>A</em><em><sub>i</sub></em>) est la probabilité de l’option<em> A</em><em><sub>i</sub></em> si l’agent accomplit l’acte <em>X</em>. Cette formule est la traduction numérique de l’intuition pascalienne : l’utilité attendue d’un acte potentiel <em>X</em> est la somme pondérée des utilités des conséquences, les coefficients de pondération étant les probabilités que chaque conséquence se produise si l’acte est accompli (la somme des probabilités est, bien sûr, de 1. Un exemple extrêmement banal est celui de l’achat d’un billet de loto. Supposons que les seules utilités soient les montants d’argent (nous verrons plus loin que cette hypothèse est presque toujours simplificatrice). L’utilité attendue de l’achat d’un billet de loto est</p>
<p class="texte" dir="ltr"><em>UA</em>(<em>X</em>) = Pr<em><sub>x</sub></em>(le billet est gagnant) x (le montant gagnant – le prix du billet) + Pr<em><sub>x</sub></em>(le billet est perdant) x (– le prix du billet)</p>
<p class="texte" dir="ltr">Cette notion d’utilité d’un acte souffre d’un défaut : les valeurs <em>U</em>(<em>A</em><em><sub>i</sub></em>) n’ont, en général, qu’une signification ordinale. Dans l’exemple du billet de loto, on suppose que les valeurs ordinales et cardinales coïncident, un million d’euros valant un million de fois la valeur d’un euro.</p>
<p class="texte" dir="ltr">Prenons, encore une fois, l’exemple du parapluie et supposons que les préférences de l’agent sont représentées par la matrice suivante :</p>
<table cellspacing="0" dir="ltr" id="Tableau17Ctable" style="margin-left:-0.075in;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;border-collapse:separate;border-spacing:0pt">
<tbody>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top"> </td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr"><em>p</em></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr">non <em>p</em></p>
</td>
</tr>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top">
<p class="texte" dir="ltr"><em>X</em></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr"><em>V</em><sub>1</sub></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr"><em>V</em><sub>2</sub></p>
</td>
</tr>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top">
<p class="texte" dir="ltr">non X</p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr"><em>V</em><sub>3</sub></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr"><em>V</em><sub>4</sub></p>
</td>
</tr>
</tbody>
</table>
<p class="texte" dir="ltr">Avec <em>V</em><sub>1</sub> l’agent prend son parapluie et il pleut, <em>V</em><sub>2</sub> l’agent prend son parapluie et il ne pleut pas, etc. Supposons que l’ordre des préférences de l’agent soit<em> V</em><sub>1</sub><span style="font-family:'Cambria Math',serif;"><em> ≿ </em></span><em>V</em><sub>4</sub><span style="font-family:'Cambria Math',serif;"><em> ≿ </em></span><em>V</em><sub>2</sub><span style="font-family:'Cambria Math',serif;">≿</span><em>V</em><sub>3</sub> et que la probabilité qu’il pleuve soit de 0,4 et donc que celle qu’il ne pleuve pas soit de 0,6. Les deux matrices d’utilité suivante respectent l’ordre des préférences de l’agent :</p>
<table cellspacing="0" dir="ltr" id="Tableau27Ctable" style="margin-left:-0.075in;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;border-collapse:separate;border-spacing:0pt">
<tbody>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top"> </td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr"><em>p</em></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr">non <em>p</em></p>
</td>
</tr>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top">
<p class="texte" dir="ltr"><em> X</em></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr">5</p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr">-5</p>
</td>
</tr>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top">
<p class="texte" dir="ltr">non <em>X</em></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr">-6</p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr">4</p>
</td>
</tr>
</tbody>
</table>
<p class="texte" dir="ltr" style="margin-left:0.0in; margin-right:0.0in; text-indent:0.0in; font-family:Cambria,serif;">­</p>
<table cellspacing="0" dir="ltr" id="Tableau37Ctable" style="margin-left:-0.075in;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;border-collapse:separate;border-spacing:0pt">
<tbody>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top"> </td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr"><em>p</em></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr">non <em>p</em></p>
</td>
</tr>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top">
<p class="texte" dir="ltr"><em> X</em></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr">5</p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr">-2</p>
</td>
</tr>
<tr>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:none;border-right:none;vertical-align:top">
<p class="texte" dir="ltr">non <em>X</em></p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:none;vertical-align:top">
<p class="texte" dir="ltr">-4</p>
</td>
<td style="margin-left:0mm;margin-right:0mm;margin-top:0mm;margin-bottom:0mm;padding-top:0in;padding-bottom:0in;padding-left:0.075in;padding-right:0.075in;border-top:none;border-bottom:0.0007in solid #000000;border-left:0.0007in solid #000000;border-right:0.0007in solid #000000;vertical-align:top">
<p class="texte" dir="ltr">2</p>
</td>
</tr>
</tbody>
</table>
<p class="texte" dir="ltr" style="margin-left:0.0in; margin-right:0.0in; text-indent:0.0in; font-family:Cambria,serif;">­</p>
<p class="texte" dir="ltr">La première nous donne les utilités attendues</p>
<p class="texte" dir="ltr"><em>UA</em><sub>1</sub>(<em>X</em>) = (5x0,4)+(–2x0,6) = 0,8 et <em>UA</em><sub>1</sub>(non <em>X</em>) = (–4x0,4) + (2x0,6) = 0,4</p>
<p class="texte" dir="ltr">alors que la seconde nous donne</p>
<p class="texte" dir="ltr"><em>UA</em><sub>2</sub>(<em>X</em>) = (5x0,4)+(–5x0,6) = –1 et <em>UA</em><sub>2</sub>(non X) = (–6x0,4)+(4x0,6) = 0.</p>
<p class="texte" dir="ltr">Bien que les deux matrices d’utilité soient compatibles avec les préférences de l’agent, les utilités attendues sont incompatibles : on a <em>UA</em><sub>1</sub>(<em>X</em>) > <em>UA</em><sub>1</sub>(non <em>X</em>) et <em>UA</em><sub>1</sub>(<em>X</em>) < <em>UA</em><sub>1</sub>(non <em>X</em>). Nous devons donc conclure que la donnée d’une fonction d’utilité définie à partir d’une relation de préférence plus la donnée d’une fonction de probabilité sur les états du monde ne permettent pas, en général, de définir l’utilité attendue d’un acte.</p>
<p class="texte" dir="ltr">La question est de savoir s’il est possible de définir une notion d’utilité attendue qui ait une valeur cardinale fiable. La réponse est oui et l’une des façons d’y parvenir est d’introduire la notion de <em>loterie</em> comme l’ont fait von Neumann et Morgensten (1944).</p>
<p class="texte" dir="ltr">Une loterie est simplement une liste de probabilités <em>L</em> = [<em>p</em><sub>1</sub>;<em>p</em><sub>2</sub>;...;<em>p</em><sub>n</sub>]où chaque <em>p</em><em><sub>i </sub></em>est la probabilité de l’option <em>A</em><em><sub>i</sub></em>. La relation de préférence primitive associée à l’agent n’est plus entre les options mais entre les loteries.</p>
<p class="texte" dir="ltr">Tout comme nous avons eu besoin d’axiomes pour caractériser les propriétés des préférences entre les options, nous avons besoin d’axiomes pour caractériser les préférences entre les loteries.</p>
<p class="texte" dir="ltr">(1’) <em>Complétude</em> : Si <em>L</em> et <em>L</em>’ sont deux loteries, alors <em>L</em><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>' ou <em>L</em>' <span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>.</p>
<p class="texte" dir="ltr">D’un point de vue méthodologique, les agents ont des préférences sur <em>toutes</em> les loteries et sont donc en mesure d’exprimer leur préférence entre n’importe quelle paire.</p>
<p class="texte" dir="ltr">(2’) <em>Transitivité</em> : Si <em>L</em><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>' et <em>L</em>' <span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>'' alors <em>L</em>' <span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>".</p>
<p class="texte" dir="ltr">Les deux autres axiomes sont un peu plus techniques. On suppose d’abord que les loteries sont elles-mêmes des options et qu’elles ont une probabilité. Cela permet de définir les loteries composées.</p>
<p class="texte" dir="ltr">Prenons le cas simple de deux loteries, <em>L </em>= [<em>p</em><sub>1</sub>;(1– <em>p</em><sub>1</sub>)] et <img src="docannexe/image/3717/img-1.png" style="width:1.1772inch;height:0.2709inch;margin-left:0.0in;margin-right:0.0in;margin-top:0mm;margin-bottom:0mm;padding-top:0.0602in;padding-bottom:0.0602in;padding-left:0.1102in;padding-right:0.1102in;border:none" />, <em>L</em> ayant la probabilité <em>x</em> et <em>L</em>' ayant la probabilité (1 – <em>x</em>). La loterie composée sera notée <em>xL</em> + (1–<em>x</em>)<em>L</em>'=<img src="docannexe/image/3717/img-2.png" style="width:2.0937inch;height:0.2709inch;margin-left:0.0in;margin-right:0.0in;margin-top:0mm;margin-bottom:0mm;padding-top:0.0602in;padding-bottom:0.0602in;padding-left:0.1102in;padding-right:0.1102in;border:none" />. Nous arrivons ainsi au troisième axiome :</p>
<p class="texte" dir="ltr"><a id="Image27Cgraphics"></a>(3’) <em>Continuité</em> : Soit trois loteries telles que <em>L</em><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>' <span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>''. Il existe alors un nombre réel <em>x</em><span style="font-family:'Cambria Math',serif;">∈</span> [0,1] tel que <em>L</em>'~(<em>xL</em> + (1–<em>x</em>) <em>L</em>'').</p>
<p class="texte" dir="ltr">Voici un exemple très simple.</p>
<p class="texte" dir="ltr">Un agent reçoit un héritage de trois cent mille euros. Il réfléchit à l’usage qu’il pourrait faire de cette somme. Il envisage alors trois possibilités. La première est l’achat d’un (modeste) appartement au centre ville, ce qui le rapprocherait de son lieu de travail. Fini les mornes trains de banlieue. La seconde est l’achat d’une maison de campagne, vieux rêve qui deviendrait réalité. Enfin la troisième, est tout simplement d’investir dans un fonds de placement à faible risque dont les intérêts annuels suffiraient à payer son loyer. Remarquons que si la valeur monétaire de chacun des lots est la même, trois cent mille euros, l’utilité de chacun de ces lots peut varier selon la subjectivité de l’agent. Supposons que, après mûre réflexion, l’agent préfère l’option <em>A </em>« achat d’un appartement » à l’option <em>M </em>« achat d’une maison de campagne « elle même préférée à l’option <em>P </em>« fonds de placement ».</p>
<p class="texte" dir="ltr">Soit <em>L</em><em><sub>A</sub></em>, <em>L</em><em><sub>M</sub></em> et <em>L</em><em><sub>P</sub></em>les loteries élémentaires qui donnent respectivement avec certitude chacun des lots. Nous avons donc <em>L</em><em><sub>A</sub></em><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em><em><sub>M</sub></em><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em><em><sub>P</sub></em>. L’axiome de continuité implique qu’il existe une probabilité <em>x</em> telle que <em>L</em><em><sub>P</sub></em><span style="font-family:Symbol,serif;"></span> (<em>xL</em><em><sub>V</sub></em> + (1–<em>x</em>) <em>L</em><em><sub>C</sub></em>). Autrement dit, l’agent est indifférent entre l’achat d’une maison de campagne et un ticket de loterie qui lui donnera un appartement avec la probabilité <em>x</em> ou un fonds de placement avec la probabilité (1–<em>x</em>).</p>
<p class="texte" dir="ltr">Enfin, le quatrième axiome s’énonce ainsi si une loterie est préférée à une autre, aucune composition avec une troisième ne renversera cette préférence.</p>
<p class="texte" dir="ltr">(4’) Indépendance : pour tout <em>x</em> différent de 0 et plus petit ou égal à 1 et pour toutes loteries <em>L</em>,<em>L</em>' et <em>L</em>'', <em>L</em><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>' si, et seulement si, (<em>xL</em> + (1–<em>x</em>)<em>L</em>") <span style="font-family:'Cambria Math',serif;">≿</span> (<em>xL</em>'+(1–<em>x</em>)<em>L</em>").</p>
<p class="texte" dir="ltr">Nous arrivons ainsi au terme de notre présentation formelle :</p>
<p class="texte" dir="ltr">Théorème de représentation de l’utilité attendue (von Neumann et Morgenstern).</p>
<p class="texte" dir="ltr">Si les préférences sur les loteries d’un agent satisfont (1’)-(4’), alors il est possible de définir une fonction d’utilité <em>UA</em><a class="footnotecall" href="#ftn2" id="bodyftn2">2</a>telle que</p>
<p class="texte" dir="ltr"><em>L</em><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em>' si, et seulement si, <em>UA</em>(<em>L</em>) ≥ <em>UA</em>(<em>L</em>')<a class="footnotecall" href="#ftn3" id="bodyftn3">3</a>.</p>
<h1 dir="ltr" id="heading4">4. Questions, problèmes et remarques</h1>
<p class="texte" dir="ltr">On peut schématiser la démarche exposée ci-dessus comme comportant trois phases.</p>
<p class="texte" dir="ltr">(a) La première phase est l’identification des notions préthéoriques que l’on prête aux agents « rationnels » : préférences sur des « lots », probabilités subjectives ou croyances attribuées par les agents aux états possibles du monde, possibilité d’actions volontaires visant à obtenir le meilleur lot, etc.</p>
<p class="texte" dir="ltr">(b) La seconde phase est la formalisation par abstraction et l’axiomatisation de ces différentes notions. L’exemple le plus simple est celui de préférence. La notion préthéorique de préférence suggère d’elle-même l’existence d’une certaine <em>relation d’ordre</em> sur un ensemble de lots. Ici, nous avons une relation d’ordre très simple, celle qu’on appelle un <em>préordre total</em>.</p>
<p class="texte" dir="ltr">(c) La troisième phase est celle de la démonstration de l’existence d’un <em>théorème de représentation</em>, c’est-à-dire la démonstration de l’existence d’une fonction numérique qui assigne une valeur à chaque lot de sorte que l’ordre de préférence entre les loteries est le même que l’ordre numérique entre les utilités attendues de ces mêmes loteries : la délibération rationnelle d’accomplir tel ou tel acte est ramenée à une simple comparaison entre nombres réels calculés par l’utilité attendue des loteries primitives, elles-mêmes entièrement déterminées par l’ordre ordinal des préférences sur les loteries.</p>
<p class="texte" dir="ltr">Une première remarque s’impose. Le passage de (b) à (c) semble immunisé contre toute critique. La construction ne fait intervenir que des mathématiques banales au dessus de tout soupçon. S’il n’est pas possible d’établir un théorème de représentation, comme ce fut le cas plus haut en axiomatisant la relation de préférence uniquement sur les lots, c’est que l’axiomatisation n’est pas assez développée ou n’est tout simplement pas adéquate.</p>
<p class="texte" dir="ltr">On ne saurait en dire autant du passage de (a) à (b). Par exemple, que la relation d’indifférence soit réflexive est difficilement contestable, mais qu’en est-il de l’hypothèse que la préférence faible soit une relation totale ? Il semble probable que ce soit un choix méthodologique. Enfin, concernant la transitivité, on a des exemples empiriques qui montrent que certains agents ne la respectent pas.</p>
<p class="texte" dir="ltr">Ceci nous amène à la question du statut des théories axiomatisées de l’utilité attendue. Considéré comme une « explication » à la Carnap, c’est-à-dire comme une substitution de concepts purement formels explicites à des notions vagues, le point de vue ne peut être que <em>normatif</em>. Cette situation est similaire à celle du statut de la notion d’ensemble. On connaît le sort qu’a subi la théorie naïve des ensembles après la découverte du fameux paradoxe de Russell. On croyait que l’on pouvait « rassembler » n’importe quoi : une pomme, la lune, le concept d’étoile, etc. Aujourd’hui, si on pose la question de la nature des ensembles, on se verra probablement répondre que ce sont les objets de base de n’importe quelle structure mathématique qui est un modèle de la théorie axiomatique de Zermelo-Frankel (par exemple). La théorie axiomatisée de l’utilité attendue dans le cadre de l’explication de l’action rationnelle est une explication de ce que c’est que de prendre une décision rationnelle. Si le processus qu’utilise un agent pour prendre une décision est en violation plus ou moins flagrante avec les axiomes, ce n’est pas une décision rationnelle, point final.</p>
<p class="texte" dir="ltr">Si un agent utilise une théorie naïve des ensembles usant du principe que toute propriété détermine un ensemble, il risque de rencontrer une contradiction.</p>
<p class="texte" dir="ltr">Si un agent utilise une théorie de la décision qui ne respecte pas les axiomes de l’utilité attendue, il risque d’avoir de mauvaises surprises (nous verrons plus loin des exemples de mauvaises surprises).</p>
<p class="texte" dir="ltr">À cette approche, s’opposent les théories <em>descriptives</em> : la théorie de la décision rationnelle doit décrire comment les agents prennent réellement leurs décisions, ce à quoi nous ferons allusion plus loin.</p>
<h1 dir="ltr" id="heading5">5. Contre-exemples</h1>
<h2 dir="ltr" id="heading6">5.1 Le paradoxe d’Allais</h2>
<p class="texte" dir="ltr">Historiquement, le plus bel exemple de comportement irrationnel (au sens de la théorie normative), est le paradoxe d’Allais. Il s’agit d’un exemple concret où certains agents violent plus ou moins consciemment l’axiome d’indépendance.</p>
<p class="texte" dir="ltr">On présente aux agents successivement deux paires de loteries, <em>L</em><sub>1</sub>,<em>L</em><sub>2</sub> et <em>L</em><sub>3</sub>,<em>L</em><sub>4</sub>, avec les lots <em>A</em><sub>1</sub> = 500 millions d’euros, <em>A</em><sub>2</sub> = 100 millions d’euros et <em>A</em><sub>3</sub> = 0 euro.</p>
<p class="texte" dir="ltr">La première paire est :</p>
<p class="texte" dir="ltr"><em>L</em><sub>1</sub> = [0;1;0].</p>
<p class="texte" dir="ltr"><em>L</em><sub>2</sub> = [0,1;0,89;0,01].</p>
<p class="texte" dir="ltr">La seconde paire est :</p>
<p class="texte" dir="ltr"><em>L</em><sub>3</sub> = [0;0,11;0,89].</p>
<p class="texte" dir="ltr"><em>L</em><sub>4</sub> = [0,1;0;0,9].</p>
<p class="texte" dir="ltr"><em>L</em><sub>1</sub> est une loterie qui donne de façon certaine cent millions d’euros à l’agent puisque la probabilité d’obtenir cinq cent millions tout comme de ne rien obtenir est nulle.</p>
<p class="texte" dir="ltr"><em>L</em><sub>2</sub> est une loterie qui donne cinq cents millions avec une probabilité de 0,1, cent millions d’euros avec une probabilité de 0,89 rien du tout avec une probabilité nulle.</p>
<p class="texte" dir="ltr"><em>L</em><sub>3</sub> est une loterie qui donne cinq cents millions avec une probabilité nulle, cent millions d’euros avec une probabilité de 0,11 rien du tout avec une probabilité 0,89.</p>
<p class="texte" dir="ltr"><em>L</em><sub>3</sub> est une loterie qui donne cinq cents millions avec une probabilité de 0,1, cent millions d’euros avec une probabilité nulle et rien du tout avec une probabilité 0,9.</p>
<p class="texte" dir="ltr">Les expériences empiriques montrent que de nombreux agents préfèrent<em> L</em><sub>1</sub> à<em> L</em><sub>2</sub> et <em>L</em><sub>4</sub> à<em> L</em><sub>3</sub>. Les explications qu’ils fournissent suivent généralement les lignes suivantes. <em>L</em><sub>1</sub> est préférée à<em> L</em><sub>2</sub> car avoir 100 millions d’euros de façon certaine est préférable à une loterie qui peut rapporter 500 millions d’euros mais avec laquelle on a une chance sur cent de ne rien avoir. <em>L</em><sub>4</sub> est préférée à <em>L</em><sub>3</sub> parce que les probabilités d’avoir zéro euro sont presque les mêmes et donc les probabilités de gagner sont presque les mêmes mais dans<em> L</em><sub>4</sub> le montant est cinq fois plus élevé. Cette explication est relativement naturelle mais est incompatible avec la théorie de l’utilité attendue.</p>
<p class="texte" dir="ltr">Remarquons d’abord que cette incompatibilité n’a rien à voir avec les valeurs des gains. Soit <em>u</em><sub>1</sub>,<em>u</em><sub>2</sub> et <em>u</em><sub>3</sub> les utilités respectives d’obtenir 500 millions d’euros, 100 millions d’euros et zéro euro. On ne fait aucune hypothèse sur ces utilités : <em>u</em><sub>1</sub>,<em>u</em><sub>2</sub> et <em>u</em><sub>3</sub>peuvent prendre n’importe quelle valeur numérique. Les utilités attendues des quatre loteries sont les suivantes :</p>
<p class="texte" dir="ltr"><em>UA</em>(<em>L</em><sub>1</sub>) = <em>u</em><sub>2</sub></p>
<p class="texte" dir="ltr"><em>UA</em>(<em>L</em><sub>2</sub>) = 0,1<em>u</em><sub>1</sub> + 0,89<em>u</em><sub>2</sub> + 0,01<em>u</em><sub>3</sub></p>
<p class="texte" dir="ltr"><em>UA</em>(<em>L</em><sub>3</sub>) = 0,11<em>u</em><sub>2</sub> + 0,89<em>u</em><sub>3</sub></p>
<p class="texte" dir="ltr"><em>UA</em>(<em>L</em><sub>4</sub>) = 0,1<em>u</em><sub>1</sub> + 0,9<em>u</em><sub>3</sub></p>
<p class="texte" dir="ltr">Un calcul élémentaire nous donne :</p>
<p class="texte" dir="ltr"><em>UA</em>(<em>L</em><sub>1</sub>) > <em>UA</em>(<em>L</em><sub>2</sub>) si, et seulement si, <em>u</em><sub>2</sub> > 0,1<em>u</em><sub>1</sub> + 0,89<em>u</em><sub>2</sub> + 0,01<em>u</em><sub>3</sub> si, et seulement si, 0,11<em>u</em><sub>2</sub> > 0,1<em>u</em><sub>1</sub> + 0,01<em>u</em><sub>3</sub></p>
<p class="texte" dir="ltr">et</p>
<p class="texte" dir="ltr"><em>UA</em>(<em>L</em><sub>4</sub>) > <em>UA</em>(<em>L</em><sub>3</sub>) si, et seulement si<em>UA</em>(<em>L</em><sub>4</sub>) = 0,1<em>u</em><sub>1</sub> + 0,9<em>u</em><sub>3</sub> > 0,11<em>u</em><sub>2</sub> + 0,89<em>u</em><sub>3</sub> si, et seulement si <span style="font-family:Cambria,serif;">0,1</span><em>u</em><sub>1</sub> + 0,01<em>u</em><sub>3</sub> > 0,11<em>u</em><sub>2</sub></p>
<p class="texte" dir="ltr">ce qui est une contradiction flagrante quelles que soient les valeurs de <em>u</em><sub>1</sub>,<em>u</em><sub>2</sub> et <em>u</em><sub>3</sub>. Cette contradiction ne dépend donc aucunement de l’ordre entre les utilités <em>u</em><sub>1</sub>,<em>u</em><sub>2</sub> et <em>u</em><sub>3</sub> : la contradiction provient d’une violation de l’axiome d’indépendance.</p>
<p class="texte" dir="ltr">Bref, quelle que soit l’attitude d’un agent vis à vis de l’argent, s’il viole</p>
<p class="texte" dir="ltr"><em>L</em><sub>1</sub><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em><sub>2</sub> si, et seulement si, <em>L</em><sub>3</sub><span style="font-family:'Cambria Math',serif;">≿</span><em>L</em><sub>4</sub></p>
<p class="texte" dir="ltr">il ne maximise pas une fonction d’utilité telle que définie plus haut.</p>
<p class="texte" dir="ltr">Le problème provient du fait que la théorie de l’utilité attendue ne prend pas en compte la sensibilité des agents envers le risque. Le paradoxe d’Allais est un cas particulier où une des loteries rapporte un lot de façon certaine ce qui, pour de nombreux agents, constitue un « plus » indépendant de l’utilité attendue.</p>
<h2 dir="ltr" id="heading7">5.2 Violation de la transitivité des préférences</h2>
<p class="texte" dir="ltr">Voici un exemple empirique de violation de la transitivité des préférences dû à Tversky (1969). L’expérience fut menée à l’Université de Harvard sur un groupe d’étudiants à propos des préférences associées ente deux loteries. On considère les cinq loteries suivantes :</p>
<p class="texte" dir="ltr"><img src="docannexe/image/3717/img-3.png" style="width:6.5291inch;height:1.961inch;margin-left:0.0in;margin-right:0.0in;margin-top:0mm;margin-bottom:0mm;padding-top:0.0602in;padding-bottom:0.0602in;padding-left:0.1102in;padding-right:0.1102in;border:none" /></p>
<p class="texte" dir="ltr"><a id="Image37Cgraphics"></a>Les probabilités n’étaient pas données sous forme numérique mais sous forme de portion de « tarte » pour éviter que les étudiants fassent un calcul. On demandait aux étudiants de donner leurs préférences entre deux loteries.</p>
<p class="texte" dir="ltr">Les résultats on montré que, pour des loteries adjacentes, la préférence allait à celle qui avait le gain potentiel le plus élevé, les probabilités étant perçues comme passablement équivalentes. On avait donc généralement <em>L</em><sub>i</sub><span style="font-family:'Cambria Math',serif;">≻</span><em> L</em><sub>i+1</sub>. Lorsque les probabilités étaient passablement différentes, le gain le plus probable était le facteur dominant du choix. On se retrouve donc avec une structure de préférence telle que <em>L</em><sub>1</sub><span style="font-family:'Cambria Math',serif;">≻</span><em> L</em><sub>2</sub>,...,<em>L</em><sub>4</sub><span style="font-family:'Cambria Math',serif;">≻</span><em> L</em><sub>5</sub><em>,L</em><sub>5</sub><span style="font-family:'Cambria Math',serif;">≻</span><em> L</em><sub>1</sub>. Cette circularité est en violation flagrante avec la transitivité des préférences.</p>
<h2 dir="ltr" id="heading8">5.3 La complétude est-elle crédible ?</h2>
<p class="texte" dir="ltr">Y a-t-il des lots tellement détestés qu’un agent ne peut les comparer ? Supposons que vous êtes très allergique au poisson, que sa consommation peut vous être mortelle. Vous êtes au restaurant et, au menu, il y a du poulet, du bœuf, du lieu et du grondin. Préférez-vous le lieu au grondin, le grondin au lieu ou êtes-vous indifférent ? Vous ne préférez ni le lieu au grondin ni le grondin au lieu. Doit-on conclure que vous êtes indifférent ? Supposons que oui. Supposons également que vous êtes un grand amateur de bourgogne blanc. Dans ce cas, vous préférez le grondin avec un Pouilly-Fuissé au lieu avec de l’eau du robinet. Cela semble tout à fait invraisemblable.</p>
<p class="texte" dir="ltr">Un agent rationnel est-il prêt à acheter une loterie dans laquelle un des lots est sa propre mort ou celle d’un être cher ? La réponse qui nous vient à l’esprit est non. Pourtant, nous sommes presque tous prêts, dans certaines circonstances, à acheter pour 900 euros un ticket de loterie [<em>p</em>;(1–<em>p</em>)] avec <em>A</em><sub>1</sub> = un aller-retour Paris-New York et <em>A</em><sub>2</sub> = l’avion se crashe avec <em>p</em> = 0,9999917.Cette probabilité est farfelue, je l’ai trouvée en tapant « probabilité qu’un avion s’écrase » sur un moteur de recherche ! Est-ce le nombre de crashs par vol ? Par heures de vol ? Y a-t-il une pondération par compagnie ? Tout ce dont nous avons besoin pour la crédibilité de cet exemple est que la probabilité subjective d’un crash mortel soit très petite par rapport à celle de faire une traversée de l’Atlantique, certes désagréable, mais sécuritaire. La morale de l’histoire demeure la même quelle que soit la probabilité qu’un avion s’écrase, pourvu qu’elle soit faible. Tous ceux qui prennent l’avion achètent un ticket semblable.</p>
<h1 dir="ltr" id="heading9">6. Faut-il mettre les théories normatives à la poubelle ?</h1>
<p class="texte" dir="ltr">Les théories normatives échouent à rendre compte des comportements par ailleurs perçus comme rationnels. N’est-ce pas ce que font les gens qui mettent leur pécule à la Caisse d’épargne plutôt que de se doter d’un portefeuille d’actions qui, sur trente ans, rapportera <em>presque</em> certainement au moins 10 fois plus. Mais lorsque le Krach arrivera, ils auront le sourire aux lèvres.</p>
<p class="texte" dir="ltr">La théorie normative qu’est celle de l’utilité attendue a au moins une fonction sur laquelle tout le monde s’accordera, celle de montrer ses limites. Si les agents ne maximisent pas une fonction d’utilité attendue et que leur comportement est quand même perçu comme rationnel - ces agents ne font pas n’importe quoi -, qu’est-ce qu’ils font ? Ils font ce qu’ils croient être dans leur meilleur intérêt<a class="footnotecall" href="#ftn4" id="bodyftn4">4</a>, ce qu’ils croient être la <em>meilleure chose</em> à faire. Bref, ils maximisent une certaine fonction qui n’est pas une fonction d’utilité telle que définie ci-dessus. Entre maximiser une fonction et agir de façon aléatoire, il ne semble pas y avoir beaucoup d’espace. Et puis, sans la théorie de l’utilité attendue, il n’y aurait jamais eu le paradoxe d’Allais. Sans le paradoxe d’Allais, les travaux de Kahneman et Tversky (1979) sur la théorie des prospects n’auraient jamais vu le jour.</p>
<p class="texte" dir="ltr">Revenons maintenant sur la transitivité. Dans l’exemple ci-dessus, l’hypothèse est que les montants d’argent sont exactement corrélés à leur utilité : <em>U</em>(<em>x</em>$) ≥ <em>U</em>(<em>y</em>$) ssi <em>x</em> ≥ <em>y</em>. Le bris de transitivité ne peut provenir que d’un problème de probabilité. Remarquons que ce n’est pas sur l’incapacité, pour l’agent, d’évaluer avec précision la valeur numérique que représente la portion de tarte, que repose le problème.</p>
<p class="texte" dir="ltr">Supposons que nous ayons la suite suivante : <em>p</em><sub>1</sub><em>u</em><sub>1</sub> > <em>p</em><sub>2</sub><em>u</em><sub>2</sub>, <em>p</em><sub>2</sub><em>u</em><sub>2</sub> > <em>p</em><sub>3</sub><em>u</em><sub>3</sub> et <em>p</em><sub>3</sub><em>u</em><sub>3</sub> > <em>p</em><sub>1</sub><em>u</em><sub>1</sub>. La fonction de croyance d’un agent qui, comme les étudiants de Harvard, adhère à cette suite de choix ne peut pas être une fonction de probabilité. Et si la fonction de croyance d’un agent n’est pas une fonction de probabilité, on peut lui monter une loterie qu’il trouvera acceptable à un certain coût, mais qui lui sera défavorable quel que soit l’état du monde. (Voir Skyrms (1986)). C’est ce qu’on appelle un <em>dutchbook</em>. Pour pouvoir monter un dutchbook, il faut cependant que le comportement de l’agent obéisse aux axiomes gouvernant les préférences et l’utilité attendue et nous avons vu que c’est, pour le moins, une hypothèse très contestable et, dans de nombreuses situations réelles et non du genre « expérience de pensée », falsifiée.</p>
<p class="texte" dir="ltr">Que conclure ? Les concepts à l’œuvre dans la description des activités des agents « rationnels » sont d’une grande complexité. L’adoption de positions intransigeantes et dogmatiques n’est pas une façon de faire avancer l’analyse philosophique de cette question centrale. Oui, les théories normatives ont de sévères limites. Les comportements des agents les falsifient régulièrement. Elles nous apprennent cependant beaucoup de choses. Les rejeter du revers de la main ne nous fait pas avancer dans la compréhension du comportement humain. Soyons pragmatiques, voire opportunistes. Tâtons de toutes les approches. Comme m’a dit un ami haïtien, « Catholique le matin, évangéliste l’après-midi et, le soir, tous au vaudou ». Un être rationnel ne prend pas de risque !</p>
<p class="notebaspage" dir="ltr"><a class="FootnoteSymbol" href="#bodyftn1" id="ftn1">1</a> Nous ne retenons que ces trois propriétés très simples mais suffisantes pour illustrer notre analyse. Pour une présentation de différentes axiomatisations des préférences, voir Bouyssou <em>et. al.</em></p>
<p class="notebaspage" dir="ltr"><a class="FootnoteSymbol" href="#bodyftn2" id="ftn2">2</a> Le théorème de représentation ne détermine pas une utilité attendue unique mais une classe de fonctions obtenues les unes à partir des autres par une transformation linéaire comme on obtient les degrés Fahrenheit à partir des degrés Celsius.</p>
<p class="notebaspage" dir="ltr"><a class="FootnoteSymbol" href="#bodyftn3" id="ftn3">3</a> Pour une approche simple de la démonstration purement mathématique, voir <span style="background-color:#ffffff;">Shih En Lu dans la bibliographie. </span></p>
<p class="notebaspage" dir="ltr"><a class="FootnoteSymbol" href="#bodyftn4" id="ftn4">4</a> Il faut être prudent avec la notion d’intérêt qui a presque toujours une connotation égoïste. Le meilleur intérêt d’un agent n’est pas toujours, presque jamais, égoïste ou pire, monétaire. Les zadistes de Notre-Dame-des-Landes avaient un intérêt qui n’était pas monétaire contrairement à leurs adversaires. Leur comportement maximise une fonction que nous sommes bien incapables de décrire en termes numériques. Il y a aussi les gestes altruistes. Qu’est-ce que je maximise lorsque je décide de donner deux euros à une sdf, que je ne reverrai plus jamais, à la sortie du métro ?</p>
<p class="bibliographie" dir="ltr">Bouyssou Denis et Philippe Vincke, Relations binaires et modélisation des préférences. (Révisé janvier 2003). 2005. <hal-00004103> </hal-00004103></p>
<p class="bibliographie" dir="ltr">Briggs, R. A., Normative Theories of Rational Choice: Expected Utility, <em>The Stanford Encyclopedia of Philosophy </em>(Spring 2017 Edition), Edward N. Zalta (ed.), <a href="https://plato.stanford.edu/archives/spr2017/entries/rationality-normative-utility/">https://plato.stanford.edu/archives/spr2017/entries/rationality-normative-utility/</a></p>
<p class="bibliographie" dir="ltr">Luce R. Duncan et Howard Raiffa, <em>Games and Decisions</em>, Dover, New York, 1985.</p>
<p class="bibliographie" dir="ltr">Kahneman Daniel et Amos Tversky, Prospect theory: An analysis of decision under risk », 47, dans <em>Decision, Probability, and Utility</em>, Peter Gärdenfors and Nils-Eric Sahlin (dir.),1988, 183-214.</p>
<p class="bibliographie" dir="ltr">Von Neumann John et Oskar Morgenstern, <em>Theory of Games and Economic Behavior,</em> Princeton University Press, Princeton, 1944.</p>
<p class="bibliographie" dir="ltr">Savage J. Leonard, <em>The Foundations of Statistics</em>, Dover, New York, 1972.</p>
<p class="bibliographie" dir="ltr">Shih En Lu, www.sfu.ca/~shihenl/.../3p%20Expected%20Utility%20Theory.pdf</p>
<p class="bibliographie" dir="ltr">Skyrms Brian, <em>Choice & Chance</em>, Wadsworth Publishing Company, Belmont California, 1986.</p>
<p class="bibliographie" dir="ltr">Tversky Amos, Intransitivity of preferences. <em>Psychological Review</em>, 76, 1969, 31-48.</p>