Anti-Exceptionalism About Logic and the Regress Problem

Les règles du jeu : Pourquoi la logique pourrait être piégée dans une boucle

Imaginez que vous essayiez de construire le livre de règles ultime pour un jeu. Vous voulez que les règles soient parfaites, équitables et incontestables. Dans le monde de la science, nous déterminons habituellement les meilleures règles en observant le jeu en cours, en testant différents livres de règles et en voyant lequel explique le mieux l'action. C'est ainsi que nous choisissons entre les théories en physique ou en biologie. Mais il existe un recoin spécial de la science appelé la logique. Pendant longtemps, on a pensé que la logique était différente de tout le reste. On croyait que la logique était l'« arbitre » qui ne commettait jamais d'erreurs, l'ensemble des règles qui existait avant même que le jeu ne commence, et le seul moyen de prouver que toute autre règle était correcte.

Cependant, un groupe de penseurs a commencé à dire : « Attendez un instant. » Ils soutiennent que la logique est comme n'importe quelle autre science. Ils appellent cela l'Anti-Exceptionnalisme. Leur idée est que les règles logiques ne sont pas parfaites ou immuables ; ce sont simplement des théories que nous utilisons pour donner du sens au raisonnement, et nous devrions choisir la meilleure en utilisant les mêmes outils que pour tout le reste : observer les preuves, garder les choses simples et voir ce qui fonctionne le mieux. C'est ce qu'on appelle l'Abduction (ou « inférence à la meilleure explication »). C'est comme être un détective : vous examinez les indices et devinez quelle histoire les unit tous de la manière la plus cohérente.

Mais voici le piège : pour décider quelle théorie logique est la meilleure histoire de détective, vous devez utiliser la logique elle-même pour vérifier les indices. Si deux détectives (deux théories logiques différentes) ne sont pas d'accord sur une règle de base, comment décider qui a raison sans supposer déjà que l'un d'eux a raison ? Cet article explore si cette idée « Anti-Exceptionnaliste » peut réellement résoudre le problème du choix entre différentes logiques, ou si elle reste coincée dans une boucle où l'on a besoin d'une règle pour choisir la règle, et d'une autre règle pour choisir cette règle, indéfiniment.

---

Le dilemme du détective : Quand les règles s'affrontent

Cet article, écrit par Yi Ding, s'attaque à un problème complexe auquel est confrontée la vision « Anti-Exceptionnaliste » de la logique. L'auteur soutient que, bien que l'idée de traiter la logique comme une science normale soit séduisante, elle se heurte à un mur massif lorsque deux théories logiques sont fondamentalement en désaccord. L'article suggère que la méthode utilisée pour choisir entre ces théories — le « travail de détective » de l'abduction — reste bloquée dans une boucle infinie, semblable à un célèbre puzzle philosophique appelé le « Problème du Critère ».

La mise en place : La logique comme science
L'article commence par expliquer la vision Anti-Exceptionnaliste. Imaginez que la logique ne soit pas un ensemble sacré et immuable de lois inscrites dans les étoiles. Imaginez plutôt qu'elle soit une boîte à outils. Nous avons différents outils (différentes théories logiques) comme la Logique Classique (le type standard) et la Logique Intuitionniste (un type plus strict qui n'accepte pas certains raccourcis). Les Anti-Exceptionnalistes disent que nous devrions choisir le meilleur outil en fonction de Critères Abductifs :

1. Simplicité : Quel outil est le plus facile à utiliser ?
2. Force : Quel outil explique le plus de choses ?
3. Adéquation : Quel outil correspond aux données (comme la façon dont les gens raisonnent réellement ou le fonctionnement des mathématiques) ?

L'objectif est d'être neutre, comme un juge qui ne prend pas parti avant d'avoir entendu les preuves.

Le piège : Des indices imprégnés de théorie
L'article soutient que ce « juge neutre » n'existe pas réellement. Voici pourquoi : l'« évidence » que vous utilisez pour juger les outils est elle-même façonnée par l'outil que vous tenez en main.

Imaginez un Logicien Classique et un Logicien Intuitionniste en train de se disputer.

• Le Logicien Classique dit : « Mon outil est plus simple car il a moins de règles. »
• L'Intuitionniste répond : « Non, mon outil est plus simple car il ne suppose pas l'existence de choses que nous ne pouvons pas prouver. »

Qui a raison ? L'article affirme que cela dépend de ce que vous valorisez. Mais voici le point crucial : ce qui compte comme « simple » ou « fort » dépend de la logique dans laquelle vous croyez déjà. Le Logicien Classique voit le refus de l'Intuitionniste d'accepter une certaine règle comme une faiblesse ; l'Intuitionniste voit cela comme une force. Les « indices » (les données) sont « imprégnés de théorie » (theory-laden), ce qui signifie qu'ils sont colorés par la théorie elle-même. Vous ne pouvez pas utiliser les indices pour choisir la théorie parce que les indices ont déjà été choisis par la théorie.

La boucle infinie : Le problème de la méta-logique
Cela mène à la conclusion principale de l'article : un Problème de Régression.
Pour décider entre la Logique A et la Logique B, vous avez besoin d'une « Méta-Logique » (une logique de niveau supérieur) pour évaluer les arguments.

• Si vous utilisez la Logique A comme Méta-Logique, vous supposez simplement que la Logique A est correcte pour prouver que la Logique A est correcte. C'est un raisonnement circulaire.
• Si vous utilisez la Logique B, vous supposez la direction opposée.
• Ainsi, vous avez besoin d'une Logique C pour choisir entre A et B. Mais alors, comment choisir la Logique C ? Vous avez besoin d'une Logique D. Puis d'une Logique E.

L'article montre que cela se poursuit indéfiniment. Vous êtes coincé dans une boucle où vous avez besoin d'une règle pour choisir la règle, et d'une autre règle pour choisir cette règle, sans point de départ.

Pourquoi les solutions habituelles ne fonctionnent pas
L'auteur teste quatre manières dont les gens tentent habituellement d'échapper à cette boucle et démontre pourquoi elles échouent pour la logique :

1. Partir de faits spécifiques (Particularisme) : Dans d'autres domaines, vous pourriez dire : « Je sais que j'ai deux mains, donc construisons une règle à partir de cela. » Mais en logique, les « faits » (comme « cet argument est valide ») sont précisément ce sur quoi les deux camps sont en désaccord. Vous ne pouvez pas partir d'un fait si les deux logiciens ne s'entendent pas sur ce qu'est un fait.
2. Partir d'une méthode (Méthodisme) : Vous pourriez dire : « Utilisons simplement la méthode de l'Abduction. » Mais l'article soutient que l'utilisation de la méthode d'Abduction nécessite de la logique. Si vous n'avez pas de logique pour faire fonctionner la méthode, la méthode ne peut pas démarrer.
3. L'abandon (Scepticisme) : Vous pourriez dire : « D'accord, nous ne pouvons pas savoir quelle logique est la bonne. » Mais si nous ne pouvons pas savoir, alors le conseil même des Anti-Exceptionnalistes (« utilisez l'abduction pour choisir ») est également non prouvé.
4. L'échappatoire du « Terrain Commun » : Peut-être que les deux camps s'accordent sur certaines règles de base (comme « si A et B, alors A ») et peuvent utiliser cela comme un point de départ neutre ? L'article dit que non. Même ces règles de base sont contestées par d'autres types de logiciens (comme les Logiciens de la Pertinence), et le « terrain commun » n'est pas assez solide pour porter le poids de la preuve de théories complexes.

La conclusion : Une limite modeste
L'article ne dit pas que l'Anti-Exceptionnalisme est faux. Il ne dit pas que la logique n'est pas révisable. Il suggère plutôt que la vision Anti-Exceptionnaliste possède un angle mort structurel spécifique.

L'auteur conclut que, bien que nous puissions traiter la logique comme une science de nombreuses façons, nous ne pouvons pas utiliser une méthode abductive « neutre » pour résoudre les désaccords fondamentaux entre les logiques. La méthode de « l'inférence à la meilleure explication » ne peut pas sortir de la boîte pour choisir la boîte. L'article suggère que si nous voulons choisir entre ces différences logiques profondes, nous devrons peut-être nous appuyer sur des objectifs ou des valeurs philosophiques plus larges, plutôt que sur une liste de contrôle purement scientifique et neutre.

En bref, l'article conclut que le rêve Anti-Exceptionnaliste d'une manière parfaitement neutre et scientifique de choisir entre toutes les logiques se heurte à un mur. Le « détective » a besoin d'une loupe pour trouver les indices, mais la loupe est elle-même l'une des choses qui sont en cours d'investigation. La boucle est réelle, et l'article soutient que les sorties habituelles de cette boucle ne fonctionnent pas pour la logique.