AccueilSocrate

Étiquette : Socrate

On aura ta peau, Socrate !

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)