Bonjour à tous !
Suite à des interrogations sur le fait de savoir si la relation de causalité était du domaine de la Foi ou de la Raison [entres autres il y a le problème de Hume pour ceux qui connaissent un peu] j'ai décidé d'en faire la démonstration (ou du moins d'essayer). Et je vous serais énormément reconnaissant de bien vouloir me consacrer un peu de votre temps.
I - La causalité dans l'abstrait.
Soit l'ensemble des booléens. Les objets de cet ensemble ont deux états possible VRAI ou FAUX.
Soit deux booléens A et B, et la relation implication tel que :
- si A = VRAI, B = VRAI alors A => B est VRAI
- si A = VRAI, B = FAUX alors A => B est FAUX
- si A = FAUX, B = VRAI alors A => B est VRAI
- si A = FAUX, B = FAUX alors A => B est VRAI
La relation d'implication est nommée relation de Causalité, A est alors la cause et B la conséquence.
Dans le cas où A => B on peut alors affirmer que si A est VRAI alors B est VRAI et que si B est FAUX alors A est FAUX.
La relation de causalité dans l'abstrait n'est basée que sur deux définitions : la notion de booléen et la relation d'implication.
Ces deux notions ont été définies de façon arbitraire de façon à modéliser certaines formes d'abstractions (le binaire) et donc sont issue d'axiomes raisonnés et non de principes de coeur.
La loi est donc bien issue de la raison.
II - La causalité dans le concret
1/ Limitations du concret
On remarque en premier lieu l'absence de possibilités de prouver l'existence du réel.
On en conclus logiquement que :
(1) : Il est impossible de prouver quoi que ce soit de façon absolu dans le concret
Et ce parce que celui n'étant justement pas assuré dans l'absolu.
2/ Absence de science infuse
On remarque une deuxième limitation du concret, les lois régissant le concret, potentiellement au nombre de zéro à cet état d'avancement, ne sont pas accessibles de façon absolue de part ne serait ce que l'impossibilité d'assurer l'existence du réel (propriété (1)).
De part cette limitation on peut en conclure :
(2) : Il est impossible de connaitre absolument ces lois.
En prenant (1) comme hypothèse de travail (hypothèse nécessaire pour rechercher une causalité dans le concret) on peut aussi conclure que :
(3) : Nous avons à disposition une base de faits approximés par mesure sensitive et indentés selon un facteur temporel
Et donc de là on peut déduire par projection sur les mathématiques probabilistes que :
(4) : Il est possible par apprentissage d'approcher les lois.
Et ce via la loi des grands nombres (sur un nombre très grand de test partant des même conditions initiales, le rapport entre le nombre d'occurence d'un évènement et le nombre total de test tend vers la probabilité d'apparition dudit évènement depuis ces conditions).
Une conséquence directe de (2) est alors :
(5) : Il est impossible de faire une prédiction assurée d'un état futur.
Qui peut aussi être énoncé :
(5') : Toute prédiction d'un état futur est forcément une estimation dépendant de différents paramètres dont certains peuvent être inconnus.
3/ Causalité concrète
Par (4) on lance donc une fonction d'apprentissage. Par exemple on cherche à repérer un comportement B défini.
Grâce à (3) on repère les occurences de l'évènement B et on recherche les potentielles causes de cet évènement en remontant temporellement dans l'indentation temporelle.
En reliant les évènements entre eux on obtient une suite Ai de causes potentielles de B avec i entier.
On reproduit alors les évènements Ai jusqu'à trouver le ou les indices i tel quel la probabilité Ai => B soit proche de 1 à un epsilon près, epsilon calculé en fonction de l'approximation des connaissances possédées sur les Ai et B.
Nous venons de construire une loi de causalité concrète correspondant à la propriété (5') déterminée à partir des conditions initiales d'expérience.
Cette loi étant construite par apprentissage sur une base ouverte de jeu de test elle ne peut être finalisée et continue à se construire à chaque nouveau test permettant de s'adapter à des cas rarement observables.
Cette loi de causalité dépend de :
- L'existence du réel, admise comme hypothèse raisonnable de travail (1)
- L'existence des booléens, axiomes de la raison présenté en I
- L'existence d'une loi d'implication causale booléenne, présentée en I
- L'existence de fonctions d'apprentissage
- L'existence des mathématiques probabilistes
Soit deux propriétés purement raisonnées et une hypothèse de travail considérée vrai par nécessitée raisonnable (il n'est pas possible de montrer une loi de causalité dans le concret si le concret n'est pas) et deux domaine de raison pure (mathématiques).
III - Limites
Il y a une part non raisonnée qui est l'utilisation de données sensibles et mesurées de faits, mais cette limitation est outrepassée par l'hypothèse de travail qui leur donne leur légitimité et permet ainsi de les projeter dans l'abstrait mathématique (la projection fait certes par nature perdre des données, mais la propriété (5') ne nécessite pas que tous les paramètres soient connus).
J'aimerais votre avis sur cette démonstration (faiblesses, limites, prédicats oubliés, etc.).
Merci beaucoup.
-----