Re: Définir les mots

Pour continuer sur Kant, ses écrits sur le droit et sa philosophie critique (Critique de la Raison Pure, Critique de la raison pratique, Critique de la faculté de juger) cherchent les bases solides qui permetront de fonder "scientifiquement" (le mot est un anachronisme), des domaines séparés : le juridique, la morale, la connaissance du monde (elle-même subdivisée), le fonctionnement de l'esprit, etc.

Pourquoi le qualificatif « scientifiquement » serait anachronique ? C'était bel et bien son intention et, de mon point de vue, il a atteint son objectif. :-)

Ces prolégomènes ne sont pas à l’usage des élèves ; ils s’adressent aux maîtres futurs, auxquels même ils doivent servir, non pas pour l’exposition méthodique d’une science toute faite, mais uniquement pour l’invention de cette science.

Il y a des savants pour lesquels l’histoire de la philosophie (tant ancienne que moderne) est la philosophie même. Ces prolégomènes ne sont pas à leur adresse ; ceux-là doivent attendre que ceux qui s’efforcent de puiser aux sources de la raison même aient fait leur œuvre ; alors leur tour sera venu de dire au monde ce qui s’est fait. Rien au contraire, suivant eux, ne peut être dit qui ne soit une répétition ; c’est même là de leur part une prédiction immanquable pour tout ce qui peut désormais s’écrire en philosophie. L’entendement humain ayant extravagué de toute façon sur une infinité de sujets depuis tant de siècles, il doit arriver difficilement que le nouveau ne ressemble pas en quelque point à l’ancien.

Je me propose de persuader à tous ceux qui s’occupent sérieusement de métaphysique, qu’il est absolument nécessaire de suspendre leur travail, de considérer tout ce qui s’est fait jusqu’ici comme non avenu, et de se poser avant tout la question de savoir « si quelque chose de pareil à ce qu’on appelle la métaphysique est seulement possible absolument. »

Si c’est une science, d’où vient qu’elle ne peut, comme les autres sciences, obtenir un assentiment universel et durable ? Si ce n’en est pas une, comment se fait-il qu’elle en affecte toujours l’apparence, et qu’elle nourrit l’esprit humain d’un espoir incessant et jamais satisfait ? Qu’on démontre que la métaphysique est ou n’est pas une science, il est en tout cas nécessaire d’établir quelque chose de certain sur cette prétendue science ; il est impossible de rester plus longtemps dans une pareille situation à cet égard. Il est presque ridicule en effet, quand toute autre science marche d’un pas incessant, de tourner toujours à la même place dans la métaphysique qui veut néanmoins être la sagesse même, que chacun consulte comme un oracle, et de ne pas faire le moindre progrès. Déjà le nombre de ses partisans diminue, et l’on ne voit pas que ceux qui se sentent assez forts pour briller dans les autres sciences soient tentés de compromettre leur réputation dans celle-ci, où chacun, fût-il ignorant dans tout le reste, prétend juger d’une manière décisive, parce qu’en réalité il n’y a dans ces régions ni poids ni mesures propres à faire distinguer la fondamentalité d’un stérile verbiage.

Kant, Prolégomènes à toute métaphysique (qui pourra se présenter comme science)

Je n'ai pas le temps de développer les résultats de la philosophie critique, ce serait bien trop long, mais il est certain qu'on ne peut lui reprocher de ne point avoir été scrupuleux et rigoureux dans la délimitation de la sémantique de sa terminologie; à tel point que Mme de Staël lui reprochait de prendre les mots pour des nombres. Pour reprendre l'exemple discuté, est qualifié de transcendantal tout ce qui a trait à la possibilité de la connaissance pure et a priori comme, par exemple, l'esthétique transcendantale qui, avec les formes pures et a priori de la sensibilité que sont l'espace et le temps¹ , rend possible la mathématique pure. Ça c'est pour les sens.

Maintenant, si on regarde du côté de la pensée et des concepts, les lois de la logique générale deviennent les principes d'une logique transcendantale lorsqu'il s'agit de déterminer les pures lois formelles de la connaissance des objets. Ce dernier point est fondamentalement analogue à l'usage de la logique formelle dans la théorie des types pour les langages de programmation. Par exemple, le raisonnement dit du double modus ponens (si A alors B et si B alors C donc si A alors C) est le type de la composition de fonction dans les langages fonctionnels (comme Haskell ou OCaml). Son pendant, dans les langages impératifs, est la règle de composition dans la logique de Hoare :

 {P} S {Q} , {Q} T {R}
 ---------------------
 {P} S ; T {R}

La règle a deux prémisses : la première dit que l'instruction S fait passer de l'état P à l'état Q et la deuxième que l'instruction T fait passer de l'état Q à l'état R, puis la règle conclue que dans ces conditions la séquence des instructions S ; T fait passer de l'état P à l'état R.

Ici on parle des états d'une machine réelle et physique, or qui dit changement d'état dit cause agissante (principe de base de la physique). Que le principe de causalité est, pour fondement, la forme logique des jugements dits hypothétiques (si A alors B) et pour loi un analogue du modus ponens (si A alors B, or A, donc B), c'est justement ce que Kant affirmait dans la logique transcendantale de la Critique de la raison Pure (voir la table des catégories, on voit bien dans les deux tables la démarche identique à celle de la correspondance de Curry-Howard). C'est d'ailleurs parce qu'il voulait réfuter la conception de la causalité de David Hume qu'il a fait cette découverte.

Après, là où ça devient marrant, c'est que ces principes mènent à des problèmes dialectiques en apparence insolubles où thèse et antithèse s'affrontent sans fin : la métaphysique étant le champ de ces querelles qui n'ont jamais de fin. Dans le cas de la causalité, se pose la question d'une cause inconditionnée qui ne présuppose plus une autre cause qui la précéderait et dont elle serait l'effet; autrement dit, peut-on admettre une causalité par liberté dans l'ordre de la nature ? Soit : l'homme est-il libre ? Cette antinomie dialectique est plus connue sous sa forme populaire : qui de l'œuf et de la poule est venu en premier ? Et la réponse kantienne est : ni l'un ni l'autre, mais l'homme est libre! :-P

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.