Ruth Barcan Marcus
Pas vraiment le temps de bloguer mais Ruth Barcan Marcus est décédée hier. C’était l’une des pionnières de la logique modale, ayant créé la logique modale quantifiée et anticipé les travaux de Kripke sur les noms propres. Je me suis toujours demandé si elle n’aurait pas été une super star à la Kripke si elle avait été un homme plutôt qu’une femme. Un jour j’écrirais un post sur elle (à moins que Phersv ne s’en charge!).
Mise à jour de 21h45: Comme prévu, Phersv s’en est chargé et de fort belle manière!
Les lecteurs qui ont cliqué ont dû être surpris de tomber uniquement sur des posts sur des bd.
C’est dommage, il y eut une époque lointaine (il y a douze ans) où je connaissais bien la polémique entre elle et les Kripkéens mais à présent je n’aurais plus grand chose à dire hélas.
Mais je vais me sentir obligé, maintenant, de crainte de paraître sexiste.