Paradigmes de la Raison Humaine: Difference between revisions
(Created page with "Les paradigmes de la rationalité humaine Une histoire d'immersions, de décentrements et de ré-inflexions Introduction L'histoire de la rationalité occidentale est souvent racontée comme une marche linéaire vers l'abstraction : du mythe au logos, du logos à la science, de la science au calcul. Cette lecture a le mérite de la clarté, mais elle manque l'essentiel : la rationalité occidentale ne progresse pas par ruptures successives, mais par extensions paradigm...") |
No edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Infobox concept | |||
| nom = Perduction | |||
| image = | |||
| légende = | |||
| auteur = (esquisse) | |||
| tradition = Logique, épistémologie, philosophie du processus | |||
| concepts_clés= [[diktyologisme]], [[diktyorithme]], [[émergence]], [[connaissance situationnelle]] | |||
}} | |||
== Note liminaire == | |||
Ce texte est une '''esquisse longue'''. Il ne prétend pas à l'exhaustivité, mais à la '''mise en forme''' d'une idée : la '''perduction''' comme quatrième mode de raisonnement, aux côtés de la déduction, de l'induction et de l'abduction de [[Charles Sanders Peirce|Peirce]]. Il articule trois registres : la '''formalisation''' (calcul réticulaire), l''''implémentation''' (diktyorithmes), et l''''épistémologie''' (connaissance situationnelle). Il se termine par une '''articulation philosophique''' avec [[Gilbert Simondon|Simondon]], [[Gilles Deleuze|Deleuze]], [[Alfred North Whitehead|Whitehead]] et [[Bruno Latour|Latour]]. | |||
== Résumé == | |||
Peirce a introduit l'[[abduction]] comme troisième mode de raisonnement, aux côtés de la [[déduction]] et de l'[[induction]]. Ces trois modes partagent un présupposé : le raisonnement produit des '''énoncés'''. Or de nombreux processus — cognitifs, biologiques, sociaux, computationnels — ne produisent pas d'énoncés mais des '''configurations stabilisées'''. Nous proposons un quatrième mode, la '''perduction''', correspondant à ces processus. Nous en donnons une formalisation (calcul réticulaire), une implémentation (diktyorithmes), une épistémologie (connaissance situationnelle) et une articulation philosophique (Simondon, Deleuze, Whitehead, Latour). | |||
'''Mots-clés :''' perduction, diktyologisme, abduction, Peirce, réseaux inférentiels, émergence, connaissance situationnelle, individuation, rhizome, processus, acteur-réseau. | |||
== Table des matières == | |||
# Introduction | |||
# Généalogie : de Peirce à la perduction | |||
# Formalisation : le calcul réticulaire | |||
# Implémentation : diktyorithmes | |||
# Épistémologie : la connaissance situationnelle | |||
# Éthique : responsabilité, évaluation, action | |||
# Articulation philosophique : Simondon, Deleuze, Whitehead, Latour | |||
# Discussion : objections et alternatives | |||
# Conclusion | |||
# Bibliographie | |||
== 1. Introduction == | |||
=== 1.1 Le point de départ : la triade peircienne === | |||
[[Charles Sanders Peirce]] (1839–1914) a proposé une classification des modes de raisonnement en trois catégories : | |||
* la '''déduction''', qui tire une conséquence nécessaire d'une règle et d'un cas ; | |||
* l''''induction''', qui généralise à partir de cas particuliers ; | |||
* l''''abduction''', qui forme une hypothèse explicative à partir d'un fait surprenant. | |||
Cette triade a profondément marqué la logique, l'épistémologie et les sciences cognitives. Elle reste aujourd'hui la classification dominante des modes de raisonnement. | |||
=== 1.2 Ce que la triade présuppose === | |||
Les trois modes partagent un certain nombre de présupposés : | |||
# '''L'unité du raisonnement est l'énoncé.''' Déduire, induire, abduire : dans tous les cas, on produit une proposition, une loi, une hypothèse. | |||
# '''L'inférence est orientée.''' Elle va des prémisses à la conclusion, du cas à la loi, de l'effet à la cause. | |||
# '''Le raisonnement est local.''' Il opère sur un nombre fini et déterminé de prémisses. | |||
# '''Le sujet du raisonnement est un sujet.''' Un logicien, un enquêteur, un scientifique. | |||
=== 1.3 Le problème === | |||
Ces présupposés ne sont pas universels. De nombreux processus ne produisent pas d'énoncés, ne sont pas orientés, ne sont pas locaux, et n'ont pas de sujet individuel : | |||
* un '''cerveau''' qui se stabilise sur une représentation, | |||
* un '''écosystème''' qui s'organise en équilibre, | |||
* une '''société''' qui se polarise, | |||
* un '''réseau sémantique''' qui « comprend » un texte, | |||
* un '''réseau de neurones''' qui converge vers une solution. | |||
Ces processus ne concluent pas : ils '''convergent'''. Ils ne produisent pas de proposition : ils produisent une '''configuration'''. | |||
=== 1.4 La proposition === | |||
Nous proposons d'appeler '''perduction''' ce quatrième mode de raisonnement, et '''diktyologisme''' sa cellule élémentaire. La perduction se définit comme : | |||
<blockquote> | |||
'''le processus par lequel un réseau inférentiel évolue par application locale de règles jusqu'à stabilisation en une configuration émergente.''' | |||
</blockquote> | |||
Nous en donnons une formalisation, une implémentation, une épistémologie et une articulation philosophique. Nous discutons enfin ses limites. | |||
=== 1.5 Plan === | |||
La section 2 situe la perduction dans l'héritage peircien. La section 3 en donne la formalisation. La section 4 en propose une implémentation. La section 5 en esquisse l'épistémologie. La section 6 en propose une éthique. La section 7 l'articule à quatre philosophes majeurs. La section 8 discute objections et alternatives. La section 9 conclut. | |||
== 2. Généalogie : de Peirce à la perduction == | |||
=== 2.1 La triade peircienne === | |||
Peirce distingue trois modes d'inférence : | |||
{| class="wikitable" | |||
! Mode !! Forme !! Produit | |||
|- | |||
| Déduction || <code>P→Q, P ⊢ Q</code> || conséquence nécessaire | |||
|- | |||
| Induction || <code>Q(a), Q(b), ... ⊢ ∀x Q(x)</code> || loi générale | |||
|- | |||
| Abduction || <code>Q, P→Q ⊢ P</code> || hypothèse explicative | |||
|} | |||
Cette triade est fonctionnelle : elle décrit bien les raisonnements scientifiques, juridiques, médicaux. Mais elle laisse de côté les raisonnements '''réticulaires'''. | |||
=== 2.2 Les graphes existentiels === | |||
Peirce lui-même a anticipé une autre voie : les '''[[graphes existentiels]]''' (EG). Dans cette notation : | |||
* les propositions sont des '''nœuds''', | |||
* les relations sont des '''arêtes''', | |||
* le raisonnement procède par '''insertion''' et '''effacement''' de sous-graphes. | |||
Les EG sont une logique '''diagrammatique''', non linéaire. Peirce y voyait un « mouvement de l'esprit » différent de la déduction. | |||
La perduction radicalise cette intuition : elle ajoute au diagramme la '''dynamique''' et l''''émergence'''. | |||
=== 2.3 Autres anticipations === | |||
* '''Réseaux de neurones''' (McCulloch-Pitts, 1943) : le calcul émerge de connexions pondérées. | |||
* '''Automates cellulaires''' (von Neumann, 1950s) : une règle locale produit une dynamique globale. | |||
* '''Systèmes complexes''' (Atlan, Morin, Prigogine) : l'ordre émerge du bruit. | |||
* '''Cognition distribuée''' (Hutchins, 1995) : la cognition n'est pas dans la tête, mais dans le réseau. | |||
* '''Connexionnisme''' (Rumelhart, McClelland, 1986) : la représentation est distribuée. | |||
* '''Réseaux bayésiens''' (Pearl, 1988) : l'inférence est propagation dans un graphe. | |||
La perduction est l''''unification conceptuelle''' de ces traditions. | |||
=== 2.4 Pourquoi un quatrième mode ? === | |||
On pourrait objecter que la perduction est réductible à l'un des trois modes. Nous soutenons que non : | |||
* '''Réduction à la déduction''' : impossible, car la perduction ne dérive pas d'axiomes. | |||
* '''Réduction à l'induction''' : impossible, car la perduction ne généralise pas, elle stabilise. | |||
* '''Réduction à l'abduction''' : impossible, car la perduction ne forme pas d'hypothèse explicite, elle produit une configuration. | |||
La perduction est '''irréductible''' aux trois autres, parce qu'elle déplace l'unité du raisonnement : de l'énoncé à la configuration. | |||
== 3. Formalisation : le calcul réticulaire == | |||
=== 3.1 Syntaxe === | |||
'''Définition 3.1 (Signature réticulaire).''' | |||
<math>\Sigma = (V, C, P, R, A)</math> où <math>V</math> = variables réticulaires, <math>C</math> = constantes réticulaires, <math>P</math> = prédicats réticulaires, <math>R</math> = types de relations, <math>A</math> = diktyologismes. | |||
'''Définition 3.2 (Termes réticulaires).''' | |||
<pre> | |||
t ::= x | c | V_r(t) | |||
</pre> | |||
'''Définition 3.3 (Formules réticulaires).''' | |||
<pre> | |||
φ ::= P(t₁,...,tₖ ; V_r(t)) | |||
| t₁ ~_ρ t₂ | |||
| φ ∧ φ | φ ∨ φ | φ → φ | ¬φ | |||
| ∃^V x. φ | ∀^V x. φ | |||
| ◇_σ φ | □_σ φ | fix_σ φ | |||
</pre> | |||
Les opérateurs <math>\Diamond_\sigma</math>, <math>\Box_\sigma</math>, <math>\mathrm{fix}_\sigma</math> sont caractéristiques de la perduction. | |||
=== 3.2 Structure === | |||
'''Définition 3.4 (Réseau inférentiel).''' | |||
<math>\mathfrak{R} = (N, E, \tau, \mu)</math> avec <math>N</math> nœuds, <math>E</math> arêtes typées, <math>\tau</math> étiquetage, <math>\mu</math> valuation dans un domaine <math>\mathbb{D}</math> muni d'un ordre <math>\sqsubseteq</math>. | |||
'''Définition 3.5 (Voisinage).''' | |||
<pre> | |||
V_0(n) = {n} | |||
V_{r+1}(n) = V_r(n) ∪ {m : ∃ρ. (m, k, ρ) ∈ E, k ∈ V_r(n)} | |||
</pre> | |||
'''Définition 3.6 (Diktyologisme).''' | |||
<pre> | |||
[φ₁ : p₁, ..., φₙ : pₙ] sur V_r(n) | |||
───────────────────────────────────── | |||
[ψ₁ : q₁, ..., ψₘ : qₘ] sur V_r(n) | |||
</pre> | |||
'''Définition 3.7 (Diktyorithme).''' | |||
<math>\mathcal{D} = (\mathfrak{R}_0, A, T)</math> avec <math>\mathfrak{R}_0</math> initial, <math>A</math> diktyologismes, <math>T</math> politique de sélection. | |||
=== 3.3 Sémantique === | |||
'''Définition 3.8 (Modèle réticulaire).''' | |||
<math>\mathfrak{M} = (\mathfrak{R}, \nu)</math> avec <math>\nu : V \to N</math>. | |||
'''Définition 3.9 (Satisfaction).''' | |||
<pre> | |||
𝓜 ⊨ P(t₁,...,tₖ ; V_r(t)) ssi μ(ν(t₁),...,ν(tₖ)) satisfait P dans V_r(ν(t)) | |||
𝓜 ⊨ t₁ ~_ρ t₂ ssi (ν(t₁), ν(t₂), ρ) ∈ E | |||
𝓜 ⊨ ∃^V x. φ ssi ∃ n ∈ V_r(ν(x)). 𝓜[x↦n] ⊨ φ | |||
𝓜 ⊨ ∀^V x. φ ssi ∀ n ∈ V_r(ν(x)). 𝓜[x↦n] ⊨ φ | |||
𝓜 ⊨ ◇_σ φ ssi σ applicable et 𝓜' ⊨ φ après | |||
𝓜 ⊨ □_σ φ ssi pour toute application de σ, 𝓜 ⊨ φ | |||
𝓜 ⊨ fix_σ φ ssi φ est un point fixe de σ | |||
</pre> | |||
'''Définition 3.10 (Validité perductive).''' | |||
<pre> | |||
⊨_𝒟 φ ssi ∀ exécution e de 𝒟. 𝓜(𝓡*_e) ⊨ φ | |||
</pre> | |||
=== 3.4 Règles d'inférence === | |||
* '''R1 — Application locale.''' <code>φ(x), ◇_σ ψ(x) ⊢ ψ(x)</code> | |||
* '''R2 — Propagation.''' <code>φ(x), x ~_ρ y, ◇_σ ψ(y) ⊢ ψ(y)</code> | |||
* '''R3 — Émergence.''' <code>∀^V x. φ(x) ⊢ Φ(V)</code> | |||
* '''R4 — Stabilisation.''' <code>φ(x), □_σ φ(x) ⊢ fix_σ φ</code> | |||
* '''R5 — Composition.''' <code>φ(x), ψ(y), V(x) ∩ V(y) ≠ ∅ ⊢ φ(x) ⊗_V ψ(y)</code> | |||
=== 3.5 Métathéorie === | |||
'''Théorème 3.11 (Préservation).''' Si <math>\mathfrak{M} \models \varphi</math> et si <math>\sigma</math> est monotone, alors <math>\mathfrak{M}' \models \varphi</math> ou <math>\mathfrak{M}' \models \neg\varphi</math> selon <math>\sigma</math>. | |||
'''Théorème 3.12 (Convergence).''' Sous monotonie et finitude, tout diktyorithme converge. | |||
''Preuve.'' <math>\mathbb{D}</math> est un treillis fini. Chaque diktyologisme monotone préserve l'ordre. Une suite croissante dans un treillis fini stationne. Donc convergence. | |||
'''Théorème 3.13 (Incomplétude perductive).''' Il existe des propriétés émergentes non exprimables dans le calcul réticulaire. | |||
''Preuve (esquisse).'' Par diagonalisation sur l'ensemble des formules réticulaires. La classe des configurations stabilisées est plus riche que la classe des formules. | |||
=== 3.6 Lien avec la logique linéaire === | |||
Traduction <math>(\cdot)^*</math> : | |||
<pre> | |||
(P(t ; V))^* = P ⊗ V(t) | |||
(φ ∧ ψ)^* = φ^* & ψ^* | |||
(φ ∨ ψ)^* = φ^* ⊕ ψ^* | |||
(◇_σ φ)^* = ?σ ⊗ φ^* | |||
(□_σ φ)^* = !σ ⊸ φ^* | |||
(fix_σ φ)^* = !σ ⊸ !φ^* | |||
</pre> | |||
'''Proposition 3.14.''' <math>\models_\mathcal{D} \varphi</math> implique <math>\models_{LL} \varphi^*</math>. | |||
'''Proposition 3.15.''' La traduction n'est pas conservative. | |||
=== 3.7 Complexité perductive === | |||
La | '''Définition 3.16.''' La complexité perductive d'un diktyorithme <math>\mathcal{D}</math> est : | ||
<pre> | |||
C(𝒟) = T(𝒟) · diam(𝓡) | |||
</pre> | |||
où <math>T(\mathcal{D})</math> est le nombre d'itérations avant stabilisation et <math>\mathrm{diam}(\mathfrak{R})</math> le diamètre du réseau. | |||
'''Conjecture 3.17.''' Il existe des diktyorithmes dont la complexité perductive est polynomiale alors que la complexité algorithmique équivalente est exponentielle. | |||
== 4. Implémentation : diktyorithmes == | |||
=== 4.1 Définition opératoire === | |||
Un diktyorithme est un programme dont : | |||
* l'état est une '''configuration''' <math>\mathfrak{R}_t</math>, | |||
* la transition est une '''application locale''' de diktyologismes, | |||
* l'arrêt est une '''stabilisation''' (point fixe). | |||
=== 4.2 Exemple 1 : dilemme du prisonnier réticulé === | |||
Voir le code Python de la section précédente. Résultat : émergence de clusters de coopération, dépendants de la topologie. | |||
=== 4.3 Exemple 2 : réseau sémantique perductif === | |||
Voir le code Python de la section précédente. Résultat : la signification d'un texte émerge comme configuration d'activation. | |||
=== 4.4 Exemple 3 : automates cellulaires === | |||
Un automate cellulaire est un cas particulier de diktyorithme : | |||
* réseau : grille régulière, | |||
* diktyologisme : règle locale uniforme, | |||
* configuration stabilisée : attracteur. | |||
=== 4.5 Mesures === | |||
* '''Convergence''' : nombre d'itérations avant point fixe. | |||
* '''Complexité perductive''' : <math>C(\mathcal{D}) = T \cdot \mathrm{diam}(\mathfrak{R})</math>. | |||
* '''Émergence''' : différence entre propriétés locales et propriétés globales. | |||
== 5. Épistémologie : la connaissance situationnelle == | |||
=== 5.1 Le déplacement === | |||
La perduction produit non pas une proposition, mais une '''configuration'''. Cela déplace la question épistémologique : | |||
<blockquote> | |||
Non plus : « quelle proposition est vraie ? »<br /> | |||
Mais : « quelle configuration est stable, et que signifie-t-elle ? » | |||
</blockquote> | |||
=== 5.2 Connaissance situationnelle === | |||
{| class="wikitable" | |||
! Connaissance propositionnelle !! Connaissance situationnelle | |||
|- | |||
| « S est P » || « le réseau 𝓡 est dans l'état μ* » | |||
|- | |||
| Vraie ou fausse || Stable ou instable | |||
|- | |||
| Transportable || Indexée sur une topologie | |||
|- | |||
| Démonstrative || Constatative | |||
|- | |||
| Décontextualisée || Contextuelle | |||
|- | |||
| Possédée par un sujet || Émergente d'un collectif | |||
|} | |||
=== 5.3 Vérité émergente === | |||
La vérité perductive n'est ni correspondance ni cohérence. Elle est '''stabilité''' : une configuration est vraie si elle est un point fixe robuste. | |||
=== 5.4 Sujet réticulaire === | |||
Le sujet de la perduction n'est pas un individu, c'est un '''réseau'''. Cela a des conséquences : | |||
* pas de point de vue privilégié, | |||
* pas d'extériorité, | |||
* pas de vérité hors contexte. | |||
=== 5.5 Limites === | |||
* La perduction ne dit pas comment '''découvrir''' les règles. | |||
* Elle ne dit pas comment '''comparer''' deux configurations. | |||
* Elle ne dit pas comment '''responsabiliser''' un réseau. | |||
== 6. Éthique : responsabilité, évaluation, action == | |||
=== 6.1 Responsabilité === | |||
Dans un raisonnement déductif, le responsable est clair : c'est le raisonneur. Dans un raisonnement perductif, le responsable est '''diffus''' : c'est le réseau, mais aussi chaque nœud, mais aussi le concepteur du réseau. | |||
'''Trois positions possibles :''' | |||
'''Position 1 — Responsabilité distribuée.''' | |||
Chaque nœud est partiellement responsable. Personne n'est totalement responsable. C'est la position des théoriciens des systèmes complexes (Morin, Latour). | |||
'''Position 2 — Responsabilité du concepteur.''' | |||
Le concepteur du réseau est responsable de ce qui émerge. C'est la position des éthiciens de l'IA (Floridi, Bostrom). | |||
'''Position 3 — Responsabilité émergente.''' | |||
La responsabilité elle-même émerge du réseau. C'est une position '''perductive''' au second ordre. | |||
Ces trois positions ne sont pas exclusives. On peut imaginer une '''responsabilité à plusieurs niveaux''' : | |||
* le nœud, pour ses actions locales, | |||
* le réseau, pour ses configurations, | |||
* le concepteur, pour la topologie et les règles. | |||
=== 6.2 Évaluation === | |||
Comment juger une configuration perductive ? Plusieurs critères possibles : | |||
{| class="wikitable" | {| class="wikitable" | ||
! Critère !! Définition !! Exemple | |||
|- | |||
| '''Stabilité''' || La configuration est un point fixe robuste || Un écosystème en équilibre | |||
|- | |||
| '''Diversité''' || La configuration préserve la variété || Un réseau sémantique riche | |||
|- | |||
| '''Justice''' || La configuration distribue équitablement || Un réseau social non polarisé | |||
|- | |- | ||
| '''Fécondité''' || La configuration produit de nouvelles possibilités || Un cerveau créatif | |||
|- | |||
- | | '''Réversibilité''' || La configuration peut être défaite || Un système non verrouillé | ||
|} | |||
Ces critères peuvent entrer en conflit. Une configuration très stable peut être très injuste (une dictature). Une configuration très diverse peut être très instable (une anarchie). | |||
'''Il n'y a pas de critère unique.''' L'éthique perductive est '''pluraliste'''. | |||
=== 6.3 Action === | |||
Comment agir sur un réseau perductif ? Trois modes : | |||
'''Mode 1 — Agir sur les nœuds.''' | |||
Modifier les états locaux. Efficace à court terme, mais limité (le réseau revient à son attracteur). | |||
'''Mode 2 — Agir sur les règles.''' | |||
Modifier les diktyologismes. Efficace à moyen terme, mais risque de rigidifier. | |||
- | |||
'''Mode 3 — Agir sur la topologie.''' | |||
} | Modifier les connexions. Efficace à long terme, mais difficile à contrôler. | ||
Les trois modes sont '''complémentaires'''. | |||
=== 6.4 Le problème du contrôle === | |||
Un réseau perductif est '''difficile à contrôler''' : | |||
* il est non linéaire, | |||
* il est contextuel, | |||
* il produit des effets émergents. | |||
'''Trois réponses :''' | |||
# '''Principe de précaution''' : ne pas déployer un réseau dont on ne peut pas prévoir les configurations. | |||
# '''Principe de réversibilité''' : préférer les configurations réversibles. | |||
# '''Principe de participation''' : inclure les nœuds dans la gouvernance du réseau. | |||
=== 6.5 Vers une éthique perductive === | |||
Une éthique perductive ne serait pas une éthique de l''''action''' (comme l'éthique kantienne ou utilitariste), mais une éthique de la '''configuration'''. Elle ne demanderait pas « que dois-je faire ? », mais : | |||
<blockquote> | |||
« Quelle configuration suis-je en train de produire, et est-elle souhaitable ? » | |||
</blockquote> | |||
Cette éthique serait : | |||
* '''relationnelle''' (elle porte sur des relations, pas des actes), | |||
* '''émergente''' (elle évalue des configurations, pas des intentions), | |||
* '''pluraliste''' (elle admet plusieurs critères), | |||
* '''dynamique''' (elle porte sur des processus, pas des états figés). | |||
== 7. Articulation philosophique == | |||
La perduction n'est pas née ex nihilo. Elle s'inscrit dans une tradition philosophique qui, depuis le XIXe siècle, a contesté la primauté de la substance, du sujet et de l'énoncé. Quatre auteurs sont particulièrement pertinents : '''Simondon''', '''Deleuze''', '''Whitehead''' et '''Latour'''. Chacun éclaire un aspect de la perduction. | |||
=== 7.1 Simondon : l'individuation === | |||
[[Gilbert Simondon]] (1924–1989) propose une philosophie de l''''individuation''' : l'individu n'est pas premier, il est le résultat d'un processus. Avant l'individu, il y a le '''préindividuel''', chargé de potentiels. L'individuation est la résolution de ces potentiels en une forme. | |||
'''Lien avec la perduction :''' | |||
* Le réseau <math>\mathfrak{R}_0</math> est le '''préindividuel''' : un ensemble de potentiels. | |||
* Le diktyorithme est le '''processus d'individuation''' : la résolution des potentiels. | |||
* La configuration <math>\mathfrak{R}^*</math> est l''''individu''' : une forme stabilisée. | |||
Simondon parle de '''transduction''' : un processus qui se propage de proche en proche, en structurant un domaine. La perduction est une '''transduction''' : elle propage des états locaux jusqu'à structurer le réseau entier. | |||
'''Apport conceptuel :''' | |||
* La perduction n'est pas une opération sur des individus, mais une '''individuation'''. | |||
* La configuration n'est pas un état, mais une '''résolution'''. | |||
* Le réseau n'est pas un contenant, mais un '''milieu associé'''. | |||
'''Citation clé :''' « L'individu n'est pas un être, mais un acte. » Cette phrase résume la perduction : la configuration n'est pas un être, mais un acte stabilisé. | |||
=== 7.2 Deleuze : le rhizome et la multiplicité === | |||
[[Gilles Deleuze]] (1925–1995), seul ou avec [[Félix Guattari]], propose une pensée du '''rhizome''' : un réseau sans centre, sans hiérarchie, sans commencement ni fin. Le rhizome s'oppose à l'arbre (structure hiérarchique). | |||
'''Lien avec la perduction :''' | |||
* Le réseau <math>\mathfrak{R}</math> est un '''rhizome''' : pas de nœud privilégié. | |||
* Les diktyologismes sont des '''multiplicités''' : ils opèrent sur des voisinages, pas sur des individus. | |||
* La configuration <math>\mathfrak{R}^*</math> est un '''plateau''' : une stabilisation temporaire, toujours réversible. | |||
Deleuze parle de '''multiplicité''' : un ensemble dont les éléments ne sont pas des unités, mais des singularités. La perduction opère sur des '''singularités''' (les nœuds activés), pas sur des individus. | |||
Deleuze parle aussi de '''devenir''' : un processus sans sujet, sans but, sans fin. La perduction est un '''devenir''' : elle ne va pas vers un but, elle se stabilise. | |||
'''Apport conceptuel :''' | |||
* La perduction n'est pas une opération, mais un '''agencement'''. | |||
* Le réseau n'est pas une structure, mais un '''rhizome'''. | |||
* La configuration n'est pas un état, mais un '''plateau'''. | |||
'''Citation clé :''' « Un rhizome ne commence et n'aboutit nulle part, il est toujours au milieu. » Cette phrase résume la perduction : elle est toujours au milieu du réseau, jamais à un point privilégié. | |||
=== 7.3 Whitehead : le processus === | |||
[[Alfred North Whitehead]] (1861–1947) propose une philosophie du '''processus''' : la réalité est faite d''''événements''', pas de substances. Un événement est une '''préhension''' : une saisie d'autres événements. La réalité est un '''devenir''' continuel. | |||
'''Lien avec la perduction :''' | |||
* Le réseau <math>\mathfrak{R}</math> est un '''nexus''' : un ensemble d'événements en relation. | |||
* Les diktyologismes sont des '''préhensions''' : ils saisissent des états voisins. | |||
* La configuration <math>\mathfrak{R}^*</math> est une '''concrescence''' : une unification temporaire. | |||
Whitehead parle de '''créativité''' : la réalité produit toujours du nouveau. La perduction est '''créative''' : elle produit des configurations non prévues. | |||
Whitehead parle de '''Dieu''' comme principe de limitation : il empêche le chaos. Dans la perduction, le '''point fixe''' joue ce rôle : il limite le devenir. | |||
'''Apport conceptuel :''' | |||
* La perduction n'est pas un calcul, mais un '''processus'''. | |||
* Le réseau n'est pas une structure, mais un '''nexus'''. | |||
* La configuration n'est pas un état, mais une '''concrescence'''. | |||
'''Citation clé :''' « La nature est un processus. » Cette phrase résume la perduction : la nature (le réseau) est un processus, pas une substance. | |||
=== 7.4 Latour : les acteurs-réseaux === | |||
[[Bruno Latour]] (1947–2022) propose une '''sociologie de l'acteur-réseau''' (ANT) : les acteurs ne sont pas des individus, mais des '''réseaux''' d'humains et de non-humains. Un acteur est un réseau qui agit. | |||
'''Lien avec la perduction :''' | |||
* Le réseau <math>\mathfrak{R}</math> est un '''acteur-réseau''' : pas d'acteur sans réseau. | |||
* Les diktyologismes sont des '''traductions''' : ils transforment les états locaux. | |||
* La configuration <math>\mathfrak{R}^*</math> est un '''fait stabilisé''' : une boîte noire. | |||
Latour parle de '''traduction''' : le processus par lequel un acteur enrôle d'autres acteurs. La perduction est une '''traduction''' : elle enrôle des nœuds dans une configuration. | |||
Latour parle de '''boîte noire''' : un fait stabilisé qu'on ne remet plus en question. La configuration <math>\mathfrak{R}^*</math> est une '''boîte noire''' : elle est stabilisée, elle n'est plus contestée. | |||
'''Apport conceptuel :''' | |||
* La perduction n'est pas un calcul, mais une '''traduction'''. | |||
* Le réseau n'est pas une structure, mais un '''acteur-réseau'''. | |||
* La configuration n'est pas un état, mais un '''fait stabilisé'''. | |||
'''Citation clé :''' « Un acteur est un réseau. » Cette phrase résume la perduction : l'acteur (la configuration) est un réseau stabilisé. | |||
=== 7.5 Synthèse philosophique === | |||
{| class="wikitable" | |||
! Auteur !! Concept central !! Apport à la perduction | |||
|- | |||
| '''Simondon''' || Individuation || La configuration est une individuation | |||
|- | |||
| '''Deleuze''' || Rhizome || Le réseau est un rhizome | |||
|- | |||
| '''Whitehead''' || Processus || La perduction est un processus | |||
|- | |||
| '''Latour''' || Acteur-réseau || La configuration est un acteur-réseau | |||
|} | |||
Ces quatre auteurs ne disent pas la même chose, mais ils convergent vers une '''même intuition''' : la réalité est '''relationnelle''', '''processuelle''', '''émergente'''. La perduction est l''''expression formelle''' de cette intuition. | |||
=== 7.6 Une tradition philosophique === | |||
On peut esquisser une '''tradition''' de la perduction : | |||
* '''Héraclite''' : tout coule. | |||
* '''Spinoza''' : tout est relation. | |||
* '''Leibniz''' : tout est monade en relation. | |||
* '''Hegel''' : tout est processus dialectique. | |||
* '''Peirce''' : tout est sémiose. | |||
* '''Simondon''' : tout est individuation. | |||
* '''Deleuze''' : tout est rhizome. | |||
* '''Whitehead''' : tout est processus. | |||
* '''Latour''' : tout est acteur-réseau. | |||
Cette tradition n'est pas homogène, mais elle partage un refus : le refus de la '''substance''', du '''sujet''', de l''''énoncé'''. La perduction s'inscrit dans cette tradition. | |||
=== 7.7 Conséquences philosophiques === | |||
Si la perduction est un mode de raisonnement, alors : | |||
# '''La logique n'est pas première.''' Elle est une abstraction sur des processus. | |||
# '''Le sujet n'est pas premier.''' Il est un réseau parmi d'autres. | |||
# '''L'énoncé n'est pas premier.''' Il est une stabilisation temporaire. | |||
# '''La vérité n'est pas première.''' Elle est une émergence. | |||
Ces conséquences sont radicales. Elles déplacent la philosophie de la '''substance''' vers la '''relation''', de l''''être''' vers le '''devenir''', de l''''énoncé''' vers la '''configuration'''. | |||
== 8. Discussion : objections et alternatives == | |||
=== 8.1 Objections === | |||
'''O1 — Simulation.''' Un diktyorithme simule, il ne raisonne pas.<br /> | |||
''Réponse :'' il produit une configuration émergente, pas une reproduction. | |||
'''O2 — Induction.''' La perduction généralise, comme l'induction.<br /> | |||
''Réponse :'' elle stabilise, elle ne généralise pas. | |||
'''O3 — Formalisation.''' Le calcul réticulaire est incomplet.<br /> | |||
''Réponse :'' la formalisation est partielle, comme toute formalisation naissante. | |||
'''O4 — Utilité.''' La perduction n'a pas produit de résultats pratiques.<br /> | |||
''Réponse :'' elle est un cadre conceptuel, pas une technologie. | |||
'''O5 — Abus de langage.''' Appeler « raisonnement » un processus de stabilisation est abusif.<br /> | |||
''Réponse :'' c'est une extension légitime, comme l'abduction en son temps. | |||
'''O6 — Réduction.''' La perduction est réductible à l'un des trois modes.<br /> | |||
''Réponse :'' elle déplace l'unité du raisonnement, elle est irréductible. | |||
=== 8.2 Alternatives === | |||
* '''Réduction à l'abduction''' : la perduction est une abduction collective. | |||
* '''Réduction à la dynamique des croyances''' : la perduction est une révision de croyances. | |||
* '''Réduction au calcul distribué''' : la perduction est un π-calcul. | |||
* '''Renoncement''' : la triade peircienne suffit. | |||
Chacune a ses mérites et ses limites. | |||
=== 8.3 Limites === | |||
* La perduction ne dit pas comment '''découvrir''' les règles. | |||
* Elle ne dit pas comment '''comparer''' deux configurations. | |||
* Elle ne dit pas comment '''responsabiliser''' un réseau. | |||
* Elle ne dit pas comment '''articuler''' les niveaux (nœud, réseau, concepteur). | |||
Ces limites sont des '''programmes de recherche''', pas des objections définitives. | |||
== 9. Conclusion == | |||
Peirce a ouvert la voie en introduisant l'abduction. La perduction prolonge ce geste en déplaçant l'unité du raisonnement : non plus la proposition, mais la '''configuration'''. Le raisonnement n'est pas seulement ce qui se dit, c'est aussi ce qui se stabilise. | |||
Cette proposition est une '''esquisse'''. Elle demande à être développée, critiquée, testée. Mais elle indique une direction : penser le raisonnement au-delà de l'énoncé, au-delà du sujet, au-delà de la linéarité. | |||
La perduction s'inscrit dans une tradition philosophique qui va d'Héraclite à Latour, en passant par Simondon, Deleuze et Whitehead. Cette tradition partage un refus : le refus de la substance, du sujet, de l'énoncé. La perduction est l''''expression formelle''' de ce refus. | |||
== 10. Bibliographie == | |||
=== Œuvres citées === | |||
* Atlan, H. ''Entre le cristal et la fumée''. Seuil, 1979. | |||
* Deleuze, G., Guattari, F. ''Mille plateaux''. Minuit, 1980. | |||
* Girard, J.-Y. « Linear Logic ». ''Theoretical Computer Science'', 50(1), 1987. | |||
* Hutchins, E. ''Cognition in the Wild''. MIT Press, 1995. | |||
* Latour, B. ''Reassembling the Social''. Oxford UP, 2005. | |||
* Morin, E. ''La Méthode''. Seuil, 1977–2004. | |||
* Păun, G. ''Membrane Computing''. Springer, 2002. | |||
* Pearl, J. ''Probabilistic Reasoning in Intelligent Systems''. Morgan Kaufmann, 1988. | |||
* Peirce, C. S. ''Collected Papers''. Harvard UP, 1931–1958. | |||
* Peirce, C. S. ''Existential Graphs''. MS 450, 459. | |||
* Petri, C. A. ''Kommunikation mit Automaten''. 1962. | |||
* Rumelhart, D., McClelland, J. ''Parallel Distributed Processing''. MIT Press, 1986. | |||
* Simondon, G. ''L'individuation à la lumière des notions de forme et d'information''. Millon, 2005. | |||
* Varela, F., Thompson, E., Rosch, E. ''The Embodied Mind''. MIT Press, 1991. | |||
* von Neumann, J. ''Theory of Self-Reproducing Automata''. 1966. | |||
* Whitehead, A. N. ''Process and Reality''. Macmillan, 1929. | |||
=== Lectures complémentaires === | |||
* Badiou, A. ''Le concept de modèle''. Maspero, 1969. | |||
* Bateson, G. ''Steps to an Ecology of Mind''. Chandler, 1972. | |||
* DeLanda, M. ''A New Philosophy of Society''. Continuum, 2006. | |||
* Dennett, D. ''Darwin's Dangerous Idea''. Simon & Schuster, 1995. | |||
* Floridi, L. ''The Ethics of Information''. Oxford UP, 2013. | |||
* Kaufmann, S. ''The Origins of Order''. Oxford UP, 1993. | |||
* Prigogine, I., Stengers, I. ''La nouvelle alliance''. Gallimard, 1979. | |||
* Stengers, I. ''Cosmopolitiques''. La Découverte, 2003. | |||
== Annexes == | |||
=== Annexe A — Code Python === | |||
Voir les implémentations détaillées dans les sections précédentes. | |||
=== Annexe B — Glossaire === | |||
; Perduction : Processus par lequel un réseau inférentiel évolue par application locale de règles jusqu'à stabilisation. | |||
; Diktyologisme : Règle de transformation locale sur un voisinage. | |||
; Diktyorithme : Processus d'évolution d'un réseau par diktyologismes. | |||
; Configuration : État stabilisé d'un réseau. | |||
; Émergence : Propriété globale non réductible aux propriétés locales. | |||
[[Catégorie:Logique]] | |||
[[Catégorie:Épistémologie]] | |||
[[Catégorie:Philosophie du processus]] | |||
[[Catégorie:Systèmes complexes]] | |||
[[Catégorie:Cognition distribuée]] | |||
Latest revision as of 12:35, 11 September 2026
Note liminaire
Ce texte est une esquisse longue. Il ne prétend pas à l'exhaustivité, mais à la mise en forme d'une idée : la perduction comme quatrième mode de raisonnement, aux côtés de la déduction, de l'induction et de l'abduction de Peirce. Il articule trois registres : la formalisation (calcul réticulaire), l'implémentation (diktyorithmes), et l'épistémologie (connaissance situationnelle). Il se termine par une articulation philosophique avec Simondon, Deleuze, Whitehead et Latour.
Résumé
Peirce a introduit l'abduction comme troisième mode de raisonnement, aux côtés de la déduction et de l'induction. Ces trois modes partagent un présupposé : le raisonnement produit des énoncés. Or de nombreux processus — cognitifs, biologiques, sociaux, computationnels — ne produisent pas d'énoncés mais des configurations stabilisées. Nous proposons un quatrième mode, la perduction, correspondant à ces processus. Nous en donnons une formalisation (calcul réticulaire), une implémentation (diktyorithmes), une épistémologie (connaissance situationnelle) et une articulation philosophique (Simondon, Deleuze, Whitehead, Latour).
Mots-clés : perduction, diktyologisme, abduction, Peirce, réseaux inférentiels, émergence, connaissance situationnelle, individuation, rhizome, processus, acteur-réseau.
Table des matières
- Introduction
- Généalogie : de Peirce à la perduction
- Formalisation : le calcul réticulaire
- Implémentation : diktyorithmes
- Épistémologie : la connaissance situationnelle
- Éthique : responsabilité, évaluation, action
- Articulation philosophique : Simondon, Deleuze, Whitehead, Latour
- Discussion : objections et alternatives
- Conclusion
- Bibliographie
1. Introduction
1.1 Le point de départ : la triade peircienne
Charles Sanders Peirce (1839–1914) a proposé une classification des modes de raisonnement en trois catégories :
- la déduction, qui tire une conséquence nécessaire d'une règle et d'un cas ;
- l'induction, qui généralise à partir de cas particuliers ;
- l'abduction, qui forme une hypothèse explicative à partir d'un fait surprenant.
Cette triade a profondément marqué la logique, l'épistémologie et les sciences cognitives. Elle reste aujourd'hui la classification dominante des modes de raisonnement.
1.2 Ce que la triade présuppose
Les trois modes partagent un certain nombre de présupposés :
- L'unité du raisonnement est l'énoncé. Déduire, induire, abduire : dans tous les cas, on produit une proposition, une loi, une hypothèse.
- L'inférence est orientée. Elle va des prémisses à la conclusion, du cas à la loi, de l'effet à la cause.
- Le raisonnement est local. Il opère sur un nombre fini et déterminé de prémisses.
- Le sujet du raisonnement est un sujet. Un logicien, un enquêteur, un scientifique.
1.3 Le problème
Ces présupposés ne sont pas universels. De nombreux processus ne produisent pas d'énoncés, ne sont pas orientés, ne sont pas locaux, et n'ont pas de sujet individuel :
- un cerveau qui se stabilise sur une représentation,
- un écosystème qui s'organise en équilibre,
- une société qui se polarise,
- un réseau sémantique qui « comprend » un texte,
- un réseau de neurones qui converge vers une solution.
Ces processus ne concluent pas : ils convergent. Ils ne produisent pas de proposition : ils produisent une configuration.
1.4 La proposition
Nous proposons d'appeler perduction ce quatrième mode de raisonnement, et diktyologisme sa cellule élémentaire. La perduction se définit comme :
le processus par lequel un réseau inférentiel évolue par application locale de règles jusqu'à stabilisation en une configuration émergente.
Nous en donnons une formalisation, une implémentation, une épistémologie et une articulation philosophique. Nous discutons enfin ses limites.
1.5 Plan
La section 2 situe la perduction dans l'héritage peircien. La section 3 en donne la formalisation. La section 4 en propose une implémentation. La section 5 en esquisse l'épistémologie. La section 6 en propose une éthique. La section 7 l'articule à quatre philosophes majeurs. La section 8 discute objections et alternatives. La section 9 conclut.
2. Généalogie : de Peirce à la perduction
2.1 La triade peircienne
Peirce distingue trois modes d'inférence :
| Mode | Forme | Produit |
|---|---|---|
| Déduction | P→Q, P ⊢ Q |
conséquence nécessaire |
| Induction | Q(a), Q(b), ... ⊢ ∀x Q(x) |
loi générale |
| Abduction | Q, P→Q ⊢ P |
hypothèse explicative |
Cette triade est fonctionnelle : elle décrit bien les raisonnements scientifiques, juridiques, médicaux. Mais elle laisse de côté les raisonnements réticulaires.
2.2 Les graphes existentiels
Peirce lui-même a anticipé une autre voie : les graphes existentiels (EG). Dans cette notation :
- les propositions sont des nœuds,
- les relations sont des arêtes,
- le raisonnement procède par insertion et effacement de sous-graphes.
Les EG sont une logique diagrammatique, non linéaire. Peirce y voyait un « mouvement de l'esprit » différent de la déduction.
La perduction radicalise cette intuition : elle ajoute au diagramme la dynamique et l'émergence.
2.3 Autres anticipations
- Réseaux de neurones (McCulloch-Pitts, 1943) : le calcul émerge de connexions pondérées.
- Automates cellulaires (von Neumann, 1950s) : une règle locale produit une dynamique globale.
- Systèmes complexes (Atlan, Morin, Prigogine) : l'ordre émerge du bruit.
- Cognition distribuée (Hutchins, 1995) : la cognition n'est pas dans la tête, mais dans le réseau.
- Connexionnisme (Rumelhart, McClelland, 1986) : la représentation est distribuée.
- Réseaux bayésiens (Pearl, 1988) : l'inférence est propagation dans un graphe.
La perduction est l'unification conceptuelle de ces traditions.
2.4 Pourquoi un quatrième mode ?
On pourrait objecter que la perduction est réductible à l'un des trois modes. Nous soutenons que non :
- Réduction à la déduction : impossible, car la perduction ne dérive pas d'axiomes.
- Réduction à l'induction : impossible, car la perduction ne généralise pas, elle stabilise.
- Réduction à l'abduction : impossible, car la perduction ne forme pas d'hypothèse explicite, elle produit une configuration.
La perduction est irréductible aux trois autres, parce qu'elle déplace l'unité du raisonnement : de l'énoncé à la configuration.
3. Formalisation : le calcul réticulaire
3.1 Syntaxe
Définition 3.1 (Signature réticulaire). <math>\Sigma = (V, C, P, R, A)</math> où <math>V</math> = variables réticulaires, <math>C</math> = constantes réticulaires, <math>P</math> = prédicats réticulaires, <math>R</math> = types de relations, <math>A</math> = diktyologismes.
Définition 3.2 (Termes réticulaires).
t ::= x | c | V_r(t)
Définition 3.3 (Formules réticulaires).
φ ::= P(t₁,...,tₖ ; V_r(t))
| t₁ ~_ρ t₂
| φ ∧ φ | φ ∨ φ | φ → φ | ¬φ
| ∃^V x. φ | ∀^V x. φ
| ◇_σ φ | □_σ φ | fix_σ φ
Les opérateurs <math>\Diamond_\sigma</math>, <math>\Box_\sigma</math>, <math>\mathrm{fix}_\sigma</math> sont caractéristiques de la perduction.
3.2 Structure
Définition 3.4 (Réseau inférentiel). <math>\mathfrak{R} = (N, E, \tau, \mu)</math> avec <math>N</math> nœuds, <math>E</math> arêtes typées, <math>\tau</math> étiquetage, <math>\mu</math> valuation dans un domaine <math>\mathbb{D}</math> muni d'un ordre <math>\sqsubseteq</math>.
Définition 3.5 (Voisinage).
V_0(n) = {n}
V_{r+1}(n) = V_r(n) ∪ {m : ∃ρ. (m, k, ρ) ∈ E, k ∈ V_r(n)}
Définition 3.6 (Diktyologisme).
[φ₁ : p₁, ..., φₙ : pₙ] sur V_r(n)
─────────────────────────────────────
[ψ₁ : q₁, ..., ψₘ : qₘ] sur V_r(n)
Définition 3.7 (Diktyorithme). <math>\mathcal{D} = (\mathfrak{R}_0, A, T)</math> avec <math>\mathfrak{R}_0</math> initial, <math>A</math> diktyologismes, <math>T</math> politique de sélection.
3.3 Sémantique
Définition 3.8 (Modèle réticulaire). <math>\mathfrak{M} = (\mathfrak{R}, \nu)</math> avec <math>\nu : V \to N</math>.
Définition 3.9 (Satisfaction).
𝓜 ⊨ P(t₁,...,tₖ ; V_r(t)) ssi μ(ν(t₁),...,ν(tₖ)) satisfait P dans V_r(ν(t)) 𝓜 ⊨ t₁ ~_ρ t₂ ssi (ν(t₁), ν(t₂), ρ) ∈ E 𝓜 ⊨ ∃^V x. φ ssi ∃ n ∈ V_r(ν(x)). 𝓜[x↦n] ⊨ φ 𝓜 ⊨ ∀^V x. φ ssi ∀ n ∈ V_r(ν(x)). 𝓜[x↦n] ⊨ φ 𝓜 ⊨ ◇_σ φ ssi σ applicable et 𝓜' ⊨ φ après 𝓜 ⊨ □_σ φ ssi pour toute application de σ, 𝓜 ⊨ φ 𝓜 ⊨ fix_σ φ ssi φ est un point fixe de σ
Définition 3.10 (Validité perductive).
⊨_𝒟 φ ssi ∀ exécution e de 𝒟. 𝓜(𝓡*_e) ⊨ φ
3.4 Règles d'inférence
- R1 — Application locale.
φ(x), ◇_σ ψ(x) ⊢ ψ(x) - R2 — Propagation.
φ(x), x ~_ρ y, ◇_σ ψ(y) ⊢ ψ(y) - R3 — Émergence.
∀^V x. φ(x) ⊢ Φ(V) - R4 — Stabilisation.
φ(x), □_σ φ(x) ⊢ fix_σ φ - R5 — Composition.
φ(x), ψ(y), V(x) ∩ V(y) ≠ ∅ ⊢ φ(x) ⊗_V ψ(y)
3.5 Métathéorie
Théorème 3.11 (Préservation). Si <math>\mathfrak{M} \models \varphi</math> et si <math>\sigma</math> est monotone, alors <math>\mathfrak{M}' \models \varphi</math> ou <math>\mathfrak{M}' \models \neg\varphi</math> selon <math>\sigma</math>.
Théorème 3.12 (Convergence). Sous monotonie et finitude, tout diktyorithme converge.
Preuve. <math>\mathbb{D}</math> est un treillis fini. Chaque diktyologisme monotone préserve l'ordre. Une suite croissante dans un treillis fini stationne. Donc convergence.
Théorème 3.13 (Incomplétude perductive). Il existe des propriétés émergentes non exprimables dans le calcul réticulaire.
Preuve (esquisse). Par diagonalisation sur l'ensemble des formules réticulaires. La classe des configurations stabilisées est plus riche que la classe des formules.
3.6 Lien avec la logique linéaire
Traduction <math>(\cdot)^*</math> :
(P(t ; V))^* = P ⊗ V(t) (φ ∧ ψ)^* = φ^* & ψ^* (φ ∨ ψ)^* = φ^* ⊕ ψ^* (◇_σ φ)^* = ?σ ⊗ φ^* (□_σ φ)^* = !σ ⊸ φ^* (fix_σ φ)^* = !σ ⊸ !φ^*
Proposition 3.14. <math>\models_\mathcal{D} \varphi</math> implique <math>\models_{LL} \varphi^*</math>.
Proposition 3.15. La traduction n'est pas conservative.
3.7 Complexité perductive
Définition 3.16. La complexité perductive d'un diktyorithme <math>\mathcal{D}</math> est :
C(𝒟) = T(𝒟) · diam(𝓡)
où <math>T(\mathcal{D})</math> est le nombre d'itérations avant stabilisation et <math>\mathrm{diam}(\mathfrak{R})</math> le diamètre du réseau.
Conjecture 3.17. Il existe des diktyorithmes dont la complexité perductive est polynomiale alors que la complexité algorithmique équivalente est exponentielle.
4. Implémentation : diktyorithmes
4.1 Définition opératoire
Un diktyorithme est un programme dont :
- l'état est une configuration <math>\mathfrak{R}_t</math>,
- la transition est une application locale de diktyologismes,
- l'arrêt est une stabilisation (point fixe).
4.2 Exemple 1 : dilemme du prisonnier réticulé
Voir le code Python de la section précédente. Résultat : émergence de clusters de coopération, dépendants de la topologie.
4.3 Exemple 2 : réseau sémantique perductif
Voir le code Python de la section précédente. Résultat : la signification d'un texte émerge comme configuration d'activation.
4.4 Exemple 3 : automates cellulaires
Un automate cellulaire est un cas particulier de diktyorithme :
- réseau : grille régulière,
- diktyologisme : règle locale uniforme,
- configuration stabilisée : attracteur.
4.5 Mesures
- Convergence : nombre d'itérations avant point fixe.
- Complexité perductive : <math>C(\mathcal{D}) = T \cdot \mathrm{diam}(\mathfrak{R})</math>.
- Émergence : différence entre propriétés locales et propriétés globales.
5. Épistémologie : la connaissance situationnelle
5.1 Le déplacement
La perduction produit non pas une proposition, mais une configuration. Cela déplace la question épistémologique :
Non plus : « quelle proposition est vraie ? »
Mais : « quelle configuration est stable, et que signifie-t-elle ? »
5.2 Connaissance situationnelle
| Connaissance propositionnelle | Connaissance situationnelle |
|---|---|
| « S est P » | « le réseau 𝓡 est dans l'état μ* » |
| Vraie ou fausse | Stable ou instable |
| Transportable | Indexée sur une topologie |
| Démonstrative | Constatative |
| Décontextualisée | Contextuelle |
| Possédée par un sujet | Émergente d'un collectif |
5.3 Vérité émergente
La vérité perductive n'est ni correspondance ni cohérence. Elle est stabilité : une configuration est vraie si elle est un point fixe robuste.
5.4 Sujet réticulaire
Le sujet de la perduction n'est pas un individu, c'est un réseau. Cela a des conséquences :
- pas de point de vue privilégié,
- pas d'extériorité,
- pas de vérité hors contexte.
5.5 Limites
- La perduction ne dit pas comment découvrir les règles.
- Elle ne dit pas comment comparer deux configurations.
- Elle ne dit pas comment responsabiliser un réseau.
6. Éthique : responsabilité, évaluation, action
6.1 Responsabilité
Dans un raisonnement déductif, le responsable est clair : c'est le raisonneur. Dans un raisonnement perductif, le responsable est diffus : c'est le réseau, mais aussi chaque nœud, mais aussi le concepteur du réseau.
Trois positions possibles :
Position 1 — Responsabilité distribuée. Chaque nœud est partiellement responsable. Personne n'est totalement responsable. C'est la position des théoriciens des systèmes complexes (Morin, Latour).
Position 2 — Responsabilité du concepteur. Le concepteur du réseau est responsable de ce qui émerge. C'est la position des éthiciens de l'IA (Floridi, Bostrom).
Position 3 — Responsabilité émergente. La responsabilité elle-même émerge du réseau. C'est une position perductive au second ordre.
Ces trois positions ne sont pas exclusives. On peut imaginer une responsabilité à plusieurs niveaux :
- le nœud, pour ses actions locales,
- le réseau, pour ses configurations,
- le concepteur, pour la topologie et les règles.
6.2 Évaluation
Comment juger une configuration perductive ? Plusieurs critères possibles :
| Critère | Définition | Exemple |
|---|---|---|
| Stabilité | La configuration est un point fixe robuste | Un écosystème en équilibre |
| Diversité | La configuration préserve la variété | Un réseau sémantique riche |
| Justice | La configuration distribue équitablement | Un réseau social non polarisé |
| Fécondité | La configuration produit de nouvelles possibilités | Un cerveau créatif |
| Réversibilité | La configuration peut être défaite | Un système non verrouillé |
Ces critères peuvent entrer en conflit. Une configuration très stable peut être très injuste (une dictature). Une configuration très diverse peut être très instable (une anarchie).
Il n'y a pas de critère unique. L'éthique perductive est pluraliste.
6.3 Action
Comment agir sur un réseau perductif ? Trois modes :
Mode 1 — Agir sur les nœuds. Modifier les états locaux. Efficace à court terme, mais limité (le réseau revient à son attracteur).
Mode 2 — Agir sur les règles. Modifier les diktyologismes. Efficace à moyen terme, mais risque de rigidifier.
Mode 3 — Agir sur la topologie. Modifier les connexions. Efficace à long terme, mais difficile à contrôler.
Les trois modes sont complémentaires.
6.4 Le problème du contrôle
Un réseau perductif est difficile à contrôler :
- il est non linéaire,
- il est contextuel,
- il produit des effets émergents.
Trois réponses :
- Principe de précaution : ne pas déployer un réseau dont on ne peut pas prévoir les configurations.
- Principe de réversibilité : préférer les configurations réversibles.
- Principe de participation : inclure les nœuds dans la gouvernance du réseau.
6.5 Vers une éthique perductive
Une éthique perductive ne serait pas une éthique de l'action (comme l'éthique kantienne ou utilitariste), mais une éthique de la configuration. Elle ne demanderait pas « que dois-je faire ? », mais :
« Quelle configuration suis-je en train de produire, et est-elle souhaitable ? »
Cette éthique serait :
- relationnelle (elle porte sur des relations, pas des actes),
- émergente (elle évalue des configurations, pas des intentions),
- pluraliste (elle admet plusieurs critères),
- dynamique (elle porte sur des processus, pas des états figés).
7. Articulation philosophique
La perduction n'est pas née ex nihilo. Elle s'inscrit dans une tradition philosophique qui, depuis le XIXe siècle, a contesté la primauté de la substance, du sujet et de l'énoncé. Quatre auteurs sont particulièrement pertinents : Simondon, Deleuze, Whitehead et Latour. Chacun éclaire un aspect de la perduction.
7.1 Simondon : l'individuation
Gilbert Simondon (1924–1989) propose une philosophie de l'individuation : l'individu n'est pas premier, il est le résultat d'un processus. Avant l'individu, il y a le préindividuel, chargé de potentiels. L'individuation est la résolution de ces potentiels en une forme.
Lien avec la perduction :
- Le réseau <math>\mathfrak{R}_0</math> est le préindividuel : un ensemble de potentiels.
- Le diktyorithme est le processus d'individuation : la résolution des potentiels.
- La configuration <math>\mathfrak{R}^*</math> est l'individu : une forme stabilisée.
Simondon parle de transduction : un processus qui se propage de proche en proche, en structurant un domaine. La perduction est une transduction : elle propage des états locaux jusqu'à structurer le réseau entier.
Apport conceptuel :
- La perduction n'est pas une opération sur des individus, mais une individuation.
- La configuration n'est pas un état, mais une résolution.
- Le réseau n'est pas un contenant, mais un milieu associé.
Citation clé : « L'individu n'est pas un être, mais un acte. » Cette phrase résume la perduction : la configuration n'est pas un être, mais un acte stabilisé.
7.2 Deleuze : le rhizome et la multiplicité
Gilles Deleuze (1925–1995), seul ou avec Félix Guattari, propose une pensée du rhizome : un réseau sans centre, sans hiérarchie, sans commencement ni fin. Le rhizome s'oppose à l'arbre (structure hiérarchique).
Lien avec la perduction :
- Le réseau <math>\mathfrak{R}</math> est un rhizome : pas de nœud privilégié.
- Les diktyologismes sont des multiplicités : ils opèrent sur des voisinages, pas sur des individus.
- La configuration <math>\mathfrak{R}^*</math> est un plateau : une stabilisation temporaire, toujours réversible.
Deleuze parle de multiplicité : un ensemble dont les éléments ne sont pas des unités, mais des singularités. La perduction opère sur des singularités (les nœuds activés), pas sur des individus.
Deleuze parle aussi de devenir : un processus sans sujet, sans but, sans fin. La perduction est un devenir : elle ne va pas vers un but, elle se stabilise.
Apport conceptuel :
- La perduction n'est pas une opération, mais un agencement.
- Le réseau n'est pas une structure, mais un rhizome.
- La configuration n'est pas un état, mais un plateau.
Citation clé : « Un rhizome ne commence et n'aboutit nulle part, il est toujours au milieu. » Cette phrase résume la perduction : elle est toujours au milieu du réseau, jamais à un point privilégié.
7.3 Whitehead : le processus
Alfred North Whitehead (1861–1947) propose une philosophie du processus : la réalité est faite d'événements, pas de substances. Un événement est une préhension : une saisie d'autres événements. La réalité est un devenir continuel.
Lien avec la perduction :
- Le réseau <math>\mathfrak{R}</math> est un nexus : un ensemble d'événements en relation.
- Les diktyologismes sont des préhensions : ils saisissent des états voisins.
- La configuration <math>\mathfrak{R}^*</math> est une concrescence : une unification temporaire.
Whitehead parle de créativité : la réalité produit toujours du nouveau. La perduction est créative : elle produit des configurations non prévues.
Whitehead parle de Dieu comme principe de limitation : il empêche le chaos. Dans la perduction, le point fixe joue ce rôle : il limite le devenir.
Apport conceptuel :
- La perduction n'est pas un calcul, mais un processus.
- Le réseau n'est pas une structure, mais un nexus.
- La configuration n'est pas un état, mais une concrescence.
Citation clé : « La nature est un processus. » Cette phrase résume la perduction : la nature (le réseau) est un processus, pas une substance.
7.4 Latour : les acteurs-réseaux
Bruno Latour (1947–2022) propose une sociologie de l'acteur-réseau (ANT) : les acteurs ne sont pas des individus, mais des réseaux d'humains et de non-humains. Un acteur est un réseau qui agit.
Lien avec la perduction :
- Le réseau <math>\mathfrak{R}</math> est un acteur-réseau : pas d'acteur sans réseau.
- Les diktyologismes sont des traductions : ils transforment les états locaux.
- La configuration <math>\mathfrak{R}^*</math> est un fait stabilisé : une boîte noire.
Latour parle de traduction : le processus par lequel un acteur enrôle d'autres acteurs. La perduction est une traduction : elle enrôle des nœuds dans une configuration.
Latour parle de boîte noire : un fait stabilisé qu'on ne remet plus en question. La configuration <math>\mathfrak{R}^*</math> est une boîte noire : elle est stabilisée, elle n'est plus contestée.
Apport conceptuel :
- La perduction n'est pas un calcul, mais une traduction.
- Le réseau n'est pas une structure, mais un acteur-réseau.
- La configuration n'est pas un état, mais un fait stabilisé.
Citation clé : « Un acteur est un réseau. » Cette phrase résume la perduction : l'acteur (la configuration) est un réseau stabilisé.
7.5 Synthèse philosophique
| Auteur | Concept central | Apport à la perduction |
|---|---|---|
| Simondon | Individuation | La configuration est une individuation |
| Deleuze | Rhizome | Le réseau est un rhizome |
| Whitehead | Processus | La perduction est un processus |
| Latour | Acteur-réseau | La configuration est un acteur-réseau |
Ces quatre auteurs ne disent pas la même chose, mais ils convergent vers une même intuition : la réalité est relationnelle, processuelle, émergente. La perduction est l'expression formelle de cette intuition.
7.6 Une tradition philosophique
On peut esquisser une tradition de la perduction :
- Héraclite : tout coule.
- Spinoza : tout est relation.
- Leibniz : tout est monade en relation.
- Hegel : tout est processus dialectique.
- Peirce : tout est sémiose.
- Simondon : tout est individuation.
- Deleuze : tout est rhizome.
- Whitehead : tout est processus.
- Latour : tout est acteur-réseau.
Cette tradition n'est pas homogène, mais elle partage un refus : le refus de la substance, du sujet, de l'énoncé. La perduction s'inscrit dans cette tradition.
7.7 Conséquences philosophiques
Si la perduction est un mode de raisonnement, alors :
- La logique n'est pas première. Elle est une abstraction sur des processus.
- Le sujet n'est pas premier. Il est un réseau parmi d'autres.
- L'énoncé n'est pas premier. Il est une stabilisation temporaire.
- La vérité n'est pas première. Elle est une émergence.
Ces conséquences sont radicales. Elles déplacent la philosophie de la substance vers la relation, de l'être vers le devenir, de l'énoncé vers la configuration.
8. Discussion : objections et alternatives
8.1 Objections
O1 — Simulation. Un diktyorithme simule, il ne raisonne pas.
Réponse : il produit une configuration émergente, pas une reproduction.
O2 — Induction. La perduction généralise, comme l'induction.
Réponse : elle stabilise, elle ne généralise pas.
O3 — Formalisation. Le calcul réticulaire est incomplet.
Réponse : la formalisation est partielle, comme toute formalisation naissante.
O4 — Utilité. La perduction n'a pas produit de résultats pratiques.
Réponse : elle est un cadre conceptuel, pas une technologie.
O5 — Abus de langage. Appeler « raisonnement » un processus de stabilisation est abusif.
Réponse : c'est une extension légitime, comme l'abduction en son temps.
O6 — Réduction. La perduction est réductible à l'un des trois modes.
Réponse : elle déplace l'unité du raisonnement, elle est irréductible.
8.2 Alternatives
- Réduction à l'abduction : la perduction est une abduction collective.
- Réduction à la dynamique des croyances : la perduction est une révision de croyances.
- Réduction au calcul distribué : la perduction est un π-calcul.
- Renoncement : la triade peircienne suffit.
Chacune a ses mérites et ses limites.
8.3 Limites
- La perduction ne dit pas comment découvrir les règles.
- Elle ne dit pas comment comparer deux configurations.
- Elle ne dit pas comment responsabiliser un réseau.
- Elle ne dit pas comment articuler les niveaux (nœud, réseau, concepteur).
Ces limites sont des programmes de recherche, pas des objections définitives.
9. Conclusion
Peirce a ouvert la voie en introduisant l'abduction. La perduction prolonge ce geste en déplaçant l'unité du raisonnement : non plus la proposition, mais la configuration. Le raisonnement n'est pas seulement ce qui se dit, c'est aussi ce qui se stabilise.
Cette proposition est une esquisse. Elle demande à être développée, critiquée, testée. Mais elle indique une direction : penser le raisonnement au-delà de l'énoncé, au-delà du sujet, au-delà de la linéarité.
La perduction s'inscrit dans une tradition philosophique qui va d'Héraclite à Latour, en passant par Simondon, Deleuze et Whitehead. Cette tradition partage un refus : le refus de la substance, du sujet, de l'énoncé. La perduction est l'expression formelle de ce refus.
10. Bibliographie
Œuvres citées
- Atlan, H. Entre le cristal et la fumée. Seuil, 1979.
- Deleuze, G., Guattari, F. Mille plateaux. Minuit, 1980.
- Girard, J.-Y. « Linear Logic ». Theoretical Computer Science, 50(1), 1987.
- Hutchins, E. Cognition in the Wild. MIT Press, 1995.
- Latour, B. Reassembling the Social. Oxford UP, 2005.
- Morin, E. La Méthode. Seuil, 1977–2004.
- Păun, G. Membrane Computing. Springer, 2002.
- Pearl, J. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, 1988.
- Peirce, C. S. Collected Papers. Harvard UP, 1931–1958.
- Peirce, C. S. Existential Graphs. MS 450, 459.
- Petri, C. A. Kommunikation mit Automaten. 1962.
- Rumelhart, D., McClelland, J. Parallel Distributed Processing. MIT Press, 1986.
- Simondon, G. L'individuation à la lumière des notions de forme et d'information. Millon, 2005.
- Varela, F., Thompson, E., Rosch, E. The Embodied Mind. MIT Press, 1991.
- von Neumann, J. Theory of Self-Reproducing Automata. 1966.
- Whitehead, A. N. Process and Reality. Macmillan, 1929.
Lectures complémentaires
- Badiou, A. Le concept de modèle. Maspero, 1969.
- Bateson, G. Steps to an Ecology of Mind. Chandler, 1972.
- DeLanda, M. A New Philosophy of Society. Continuum, 2006.
- Dennett, D. Darwin's Dangerous Idea. Simon & Schuster, 1995.
- Floridi, L. The Ethics of Information. Oxford UP, 2013.
- Kaufmann, S. The Origins of Order. Oxford UP, 1993.
- Prigogine, I., Stengers, I. La nouvelle alliance. Gallimard, 1979.
- Stengers, I. Cosmopolitiques. La Découverte, 2003.
Annexes
Annexe A — Code Python
Voir les implémentations détaillées dans les sections précédentes.
Annexe B — Glossaire
- Perduction
- Processus par lequel un réseau inférentiel évolue par application locale de règles jusqu'à stabilisation.
- Diktyologisme
- Règle de transformation locale sur un voisinage.
- Diktyorithme
- Processus d'évolution d'un réseau par diktyologismes.
- Configuration
- État stabilisé d'un réseau.
- Émergence
- Propriété globale non réductible aux propriétés locales.
Catégorie:Logique Catégorie:Épistémologie Catégorie:Philosophie du processus Catégorie:Systèmes complexes Catégorie:Cognition distribuée