C'est toujours très bizarre de relire des débats qui datent à ce point^^. Ce forum n'était même pas encore né...
Ma position actuelle : la logique mathématique existe et est à mon avis sans faille. Que des paradoxes fassent tourner en rond notre esprit humain ( "cette phrase est un mensonge" ) ne signifie pas que les postulats de la logique sont faux (réponse que je trouve : cette phrase, exprimée en mots subjectifs, correspondrait en langage logique/mathématique à un événement impossible A=vrai ET A=faux. Donc cette phrase ne contient aucun résultat logique, elle fait simplement buguer notre cerveau comme une boucle inutile (par exemple : tant que A = 0 ou A=1 : si A=0, changer la valeur de A pour 1 ; si A=1, changer la valeur de A pour zéro) ferait buguer un programme sans jamais sortir de résultat. Les paradoxes (et les sophismes dont les faux syllogismes tels que "Socrate a des poils, les chiens ont des poils, donc Socrate est un chien) sont des difficultés pour l'esprit humain à reconnaître une boucle ou à traduire une information en langage logique pur afin de détecter l'erreur dans notre raisonnement instinctif.
La logique telle que nous l'utilisons au quotidien pour obtenir des résultats applicables à la réalité par des raisonnements est critiquable parce que le cerveau humain a tendance à la déformer ou à lui superposer l'intuition et l'instinct pour parvenir plus rapidement à un résultat. Mais ce n'est pas la logique elle même qui pose problème, c'est notre difficulté voire notre impossibilité à l'utiliser avec rigueur. Du coup vu que c'est un outil qu'on sait ml utiliser, ce n'est pas toujours le meilleur.
