Socrate est humain. Tous les humains sont mortels. Donc Socrate est mortel. Logique? Non, bon sens n'est pas logique.  L’évidence n’est pas plus une preuve en logique qu’elle n’en est une en droit ; il nous faut une règle. Voire plusieurs. Dans le cas de Socrate, on pourra faire appel à la règle d'élimination du quantificateur universel et au modus ponens avant de conclure que Socrate est mortel et qu’il peut donc en toute légalité prendre sa ciguë comme l’en ont aimablement prié les autorités. Tout ça pour ça me direz-vous. Sans doute. Mais ce formalisme, ce rigorisme, ce sens du détail, sont tout ce qui sépare les maths d’un vague agrégat de croyances et de raisonnements approximatifs. (Lire l'article)

Il existe une catégorie essentielle de secrets pour chacun de nous : ceux qui nous permettent de prouver notre identité sur Internet – mots de passe, codes confidentiels, réponses à des questions secrètes. Si nous laissons échapper ces secrets, alors n’importe qui peut se faire passer pour nous. Il existe des recommandations de bon sens : utiliser des mots de passe complexes, jamais deux fois le même, ne jamais les confier à un tiers, utiliser un “coffre-fort à mots de passe”. Force est de reconnaître que nous n’appliquons que rarement ces recommandations, dont certaines sont d’ailleurs contre-productives. Parlons-en un peu. (Lire l'article)