Se rendre à un colloque coûte cher (inscription + train + hôtel... bon, comme c'est la crise, on économise en évitant de manger - les philosophes ne sont-ils pas de purs esprits). Du coup, une astuce pour économiser est de partager une chambre d'hôtel avec un camarade se rendant au même colloque (ce qui permet d'avoir de quoi s'acheter un sandwich !) Devant se rendre en Juin à Rennes pour un colloque où je compte aussi me rendre, c'est donc ce que J.R. me proposa (J.R. préférant certainement garder l'anonymat, je donne uniquement ses initiales et j'évite de préciser qu'il fait partie de la liste des collaborateurs de ce blog).

Problème : pendant toute la conversation téléphonique, nous avons fait comme si le colloque avait lieu à Nantes. Nos erreurs successives se renforçant mutuellement, nous ressortons de cette discussion avec la conviction que le colloque à lieu à Nantes, et non pas à Rennes.

C'est à J.R. de réserver l'hôtel. Pour cela, il se sert de la liste fournie par les organisateurs du colloque, qu'il pense être une lsite d'hôtel nantais. Il téléphone et réserve l'hôtel sans problème.

J.R. entretient donc deux croyances :

1) Le colloque a lieu à Nantes,

2) Il a réservé un hôtel à Nantes,

Ce qui l'amène à penser que :

3) Il a réservé un hôtel dans la ville du colloque.

C'est bien sûr vrai. J.R a donc une croyance vraie (3) et justifiée (par 1 et 2). Peut-on dire qu'à ce moment donné (avant le moment où il réalise que le colloque a lieu à Rennes et pas à Nantes), l'impitoyable J.R. SAIT qu'il a réservé un hôtel dans la ville du colloque ?