«Critique de la raison pure» pour les programmeurs

Tous ceux qui, pour une raison ou une autre, ont lu ou essayé de lire la «Critique de la raison pure» d'Emmanuel Kant, ont noté que cet ouvrage peut difficilement être qualifié de facile à lire. Parcourant des phrases complexes d'une demi-page, il n'est pas facile de saisir l'esprit de son système, et même de comprendre souvent ce qui est en jeu. Ce qui est remarquable, Kant lui-même a parfaitement compris les défauts littéraires de son travail, mais dans un effort pour exposer systématiquement le résultat de nombreuses années de réflexion, comme il l'écrit: " ... J'ai dû omettre ou raccourcir beaucoup de choses qui ne sont pas essentielles pour l'exhaustivité de l'ensemble, même si cela pourrait être souhaitable pour certains lecteurs . " Cet article est une tentative pour esquisser une analogie liée aux principes des systèmes informatiques, qui m'aide à relier les concepts de Kant.

Pour comprendre les motifs de la rédaction de critiques, vous devez faire une brève digression dans l'histoire des discussions philosophiques sur les possibilités de la connaissance humaine. La question de savoir ce qu'est la vérité et à quel point l'esprit humain peut prétendre le savoir a excité les meilleurs esprits humains depuis les temps anciens. Les systèmes antiques originaux, tout d'abord, introduisaient une distinction importante entre les concepts de «vérité» et «d'opinion», et jetaient également les bases d'une approche méthodologique telle que l'analyse.

Au Moyen Âge, l'analyse d'Aristote a été développée de manière significative dans le cadre de la justification des concepts théologiques scolastiques. Une tentative d'utiliser l'esprit humain pour prouver l'existence de Dieu a conduit au fait que tout ce qui était «illogique» est devenu «dogmatique».

La philosophie du New Age a apporté une vague de foi dans l'esprit humain et il est devenu vrai qu'elle était rationnelle, si c'est logique, c'est la vérité. Mais à la suite du succès de l'utilisation de cette approche dans la science, des tentatives ont été faites pour justifier rationnellement des concepts superconnaissables: l'existence de Dieu, l'immortalité de l'âme, le libre arbitre. Le problème des systèmes conceptuels déductifs proclamant des vérités éternelles basées sur des "preuves pour la raison", dans l'utilisation de concepts apparemment inébranlables comme les relations causales.

Le fameux "de X, il est facile de voir que Y " est très sensible à la substitution de X et Y, qui ne sont pas valides pour cette loi, en lui. Il est possible de vérifier en pratique que la proposition «force d'action est égale à force d'opposition» et que «s'il y a une raison à toutes les conséquences, alors il doit y avoir une cause profonde» n'existe plus.

La vérification expérimentale des jugements est devenue la base d'une autre tendance de la pensée philosophique - l'empirisme. L'absolutisation de l'expérience et la diminution du rôle des théories et des concepts universels ont conduit à douter de l'induction comme approche de la construction des lois. Le philosophe britannique David Hume a déclaré le plus clairement sur le problème de la corrélation de l'expérience individuelle avec les lois universelles. En fait, l'habitude d'associer phénomène A avec phénomène B (objets tombent vers le bas , les cygnes ne sont que blanc ) ne veut pas dire qu'il est « nécessaireest le seul moyen « et » vseobschno tous les cygnes et les choses. »

Kant dit que cette critique de la causalité le réveilla de son sommeil dogmatique et forcé de parler dans la défense des capacités cognitives de l' homme, dans la capacité à générer des connaissances qui seront nécessaires et universelle .

Pour de comprendre le chemin parcouru par Kant dans son travail, je propose d'introduire une analogie et d'envisager un système informatique ( BC ) qui enregistre les signaux du monde extérieur ( VM ) à l'aide d'un récepteur de données ( PD ) pour le traitement dans le bloc Traitement des données ( AML ) et entrée dans la base de connaissances ( KB ).



En termes de philosophie critique, c'est respectivement:

  • Système informatique - l'appareil humain de la pensée
  • Le récepteur de données est l'appareil sensoriel, nos cinq sens
  • Unité de traitement des données - Mind
  • Base de connaissances - connaissances accumulées
  • Le monde extérieur est le monde des choses en soi

Nous présenterons notre interaction avec le monde extérieur, un seul acte de cognition sous la forme d'une certaine transaction de données et son traitement dans notre système informatique. La tâche générale de cette approche est d'expliquer comment il est possible de remplir notre base de connaissances avec de vrais jugements, et maintenant cela devient la vérité, ce qui est vrai pour chacune de ces transactions.

Selon Kant, le remplissage de la base de connaissances commence lors de l'interaction avec le monde extérieur et le suit, mais non seulement la machine virtuelle est la source de ces connaissances, les caractéristiques de nos forces armées affectent également le contenu de la base de connaissances .

L'idée est assez simple, malgré le fait que les systèmes informatiques sont différents, si vous sélectionnez les principes communs à la construction de tous les VS, vous pouvez l'utiliser comme invariant pour toute transaction possible.

Qu'est-ce qui est si universel et si nécessaire dans notre système ?

Voyons comment vous pouvez organiser les composants de notre système informatique.
Notre récepteur de données est un bloc (pas tout à fait un ADC, mais une telle analogie descendra dans notre circuit), qui fournit les informations traitées sous une sorte de forme compréhensible:



Nous ne savons rien d'un ensemble spécifique de bits de signal, mais nous savons avec certitude qu'ils sont en quelque sorte «positionnés» et agissent comme des ensembles de données changeants dans le temps. Les schémas d'interprétation de ces données (profondeur de bits, fréquence de traitement) peuvent être différents, mais à la fin, nous devrions obtenir les caractéristiques de ces informations - le nombre de bits dans un certain groupe, leur présence en général, les modèles dans les messages consécutifs, etc.

Transformer cet ensemble de données en streaming en une image complète est la base de notre tâche principale de remplissage ou de mise à jour de notre base de connaissances. Puisqu'un simple thread ne donne aucune image globale, à un moment donné, nous devrions commencer à associer l'ensemble actuel avec un certain nombre de précédents.

Cette capacité de base de notre système est assurée par la capacité de l'unité de traitement des données à sauvegarder l'état du système, dans une représentation très approximative, en effectuant une opération algorithmique aussi simple:

if (previousContext.hasDependency(current)) { 
    updatePreviousContext();
}

Dans la terminologie de Kant, cette capacité de base à «maintenir un état de conscience» concernant les données sensorielles est appelée l'unité de l'aperception (perception consciente) et est la base de tous les jugements rationnels ultérieurs.

Sans cette conservation du «je pense» dans chaque acte de perception, la synthèse de la connaissance elle-même est impossible, elle est la base de toute transaction possible avec le monde extérieur.

La transformation des sensations (données) en concepts (types de données) et, enfin, en fondations (constructions logicielles) est la chaîne qui repose sur l' unité transcendantale de l'aperception.

Il est important de comprendre que ce principe de liaison ne peut pas être appliqué indépendamment des transactions, de l'interaction avec le monde extérieur, de l'expérience possible.

Ce qui est à la base de la connaissance du monde des phénomènes ne peut être librement appliqué à des concepts surexpérimentés (Dieu, liberté, âme).

Mais il est très difficile pour l'esprit de limiter ce «vol de conscience» et une personne franchit souvent très simplement la frontière de ses «capacités de calcul» et commence à «programmer des concepts» sans référence au récepteur de données, sur la base des concepts de traitement de données accumulés ( catégories de Kant).
De tels jugements qui surviennent sans être liés au monde extérieur par Kant sont appelés a priori , et la question est de savoir s'il est possible de remplir (non seulement d'interpréter les enregistrements existants dans la base de connaissances, analytiquement, sur la base de la loi de la contradiction), mais de les développer ( synthétiser) le contenu de notre base de connaissances sans utiliser de données du monde extérieur est essentiel pour lui - comment des jugements synthétiques a priori sont-ils possibles?

Kant dit que puisque nous savons que les principes du récepteur de données fonctionnent et qu'ils sont toujours appliqués pour chaque transaction, alors pour chaque transaction suivante, ils seront justes.

Si nous savons que le récepteur de données a des caractéristiques spatiales (positions des bits sur la grille) et temporelles (changements de bits dans chaque cellule), nous pouvons créer des lois basées sur cette caractéristique de ces données.

Kant croyait à la vérité des mathématiques et à ses constructions spatiales géométriques qui utilisent l'espace abstrait et les procédures de construction abstraite (une ligne doit être tracée pour être comprise intuitivement comme une entité infinie sans dimension). De telles constructions a priori, à son avis, sont vraies précisément parce qu'elles n'utilisent pas plus que la «base de toute transaction possible» avec le monde.

Même si nous ne savons pas «comment c'est vraiment», les limites du récepteur de données, notre sensualité fonctionnera pour nous à chaque fois, et c'est la chose commune entre nous et le monde extérieur, dont les propriétés permettent de produire des jugements synthétiques a priori souhaités , universels et nécessaires .

Si pour les mathématiques pures, les propriétés du récepteur de données sont suffisantes (l'espace pour construire la géométrie et le temps pour le calcul en arithmétique), alors les sciences naturelles nécessitent déjà un support algorithmique, au moins une relation causale comme base pour construire des jugements, tels que les lois de conservation de l'énergie. Partant du même besoin d'utiliser l' unité d'aperception pour chaque acte de cognition, Kant utilise un appareil catégorique (quantité, qualité, causalité, possibilité) pour expliquer la possibilité des sciences de la nature.
Cette relation causale peut ne pas être une situation objective dans le monde (qui sait s'il y a eu des interruptions dans le signal, si tout a été traité par le récepteur de données), mais plutôt la propriété subjective de notre bloc d'algorithme, sans lequel la procédure de création de connaissances est impossible.

Les problèmes liés à l'utilisation de formes de sensualité a priori (espace et temps) et de formes de raison a priori (catégories de quantité, qualité, attitude et modalité) commencent là où ils sont utilisés indépendamment d'une éventuelle transaction ( expérience possible ) avec le monde extérieur.

Par exemple, notre «programmeur interne» a un désir brûlant d'explorer, sur la base de la «logique» et des «sentiments», sa structure interne, la façon dont il organise son système informatique.

Étant donné que notre «cycle de traitement des événements» nous semble, d'une part, être unique et, d'autre part, absolument réel, nous essayons d'attribuer la même structure au Soleil et à d'autres entités. De plus, nous ne sommes pas limités au temps de la session informatique (alors que le Soleiln'ont pas été débranchés) et nous pensons que même au-delà des limites de l'expérience possible (qui se termine par la mort du système), nos avions peuvent continuer d'exister. Malheureusement, de tels paralogismes de l' esprit dans le contexte de jugements sur l'immortalité et la substantivité de l'âme dépassent le cadre de la «transaction possible» et de l'expérience possible. Notre système informatique est la base du traitement des transactions et rien de plus, il est aussi méconnaissable selon Kant que le monde extérieur (en fait, le «programme ne connaît pas» les détails de son exécution, dans le cloud, distribué ou en quelque sorte).

Quant au monde extérieur, alors si nous commençons à penser en termes de «bande» infinie d' AP ou de capacités de calcul infinies d' AMLnous pouvons obtenir des jugements tout aussi logiques ( antinomies ), par exemple:

  • "Le monde est fini, le monde est infini" (théoriquement, le PD peut avoir une profondeur de bits arbitraire)
  • «Le monde est prévisible, le monde est aléatoire» (nous ne pouvons tout simplement pas calculer cela, ou il y a une liberté fondamentale)
  • «Il y a une cause racine de tout, il n'y a pas une telle cause racine» (quelque chose de tout aussi puissant en termes de calcul et qui contourne les limites de notre DP ).

Selon Kant, l'idée de tels concepts absolus (en taille, en durée ou en «pouvoir») ne sert pas en soi de source de données, elle ne permet que d'aller dans le sens de l'expansion des connaissances existantes.

En résumé, nous pouvons dire qu'une telle étude critique des capacités du "système informatique" d'une personne a donné à Kant la base pour protéger les connaissances mathématiques et naturelles déjà accumulées et pour mettre en garde contre l'utilisation de l'esprit dans des cas super-expérimentaux.

Source: https://habr.com/ru/post/undefined/


All Articles