Common nouns | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Index Berger's Works
Proper nouns A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z| HOME DICCAN

Truth

1. Bases

There is that (now) : true or false ?

Truth is here a particular case or Good. Its basic definition, transposed for the classical "adaequation intellectus et rei", is the correspondence between a representation and the object represented.

Truth impacts L when contradictions induce doubt, or threats on P. But, in a large way, virtual beings contribute strongly to L, even if they do not correspond to a "reality". Besides, a quantitative evaluation of truth may be pertinent. From this point, the "consistency" of truth is a major contribution to the efficiency inside S as well as to its relations with other beings.

How far does truth contributes to L ?

Indeed, as long as no contradiction appears, the problem of truth does not surge. Beings, images, texts, other beings ... all are a priori taken for their contribution to P or H. Value could be something as the Google ranking and contribution to the present operations of S.

Contradiction, lack of truth, appears when S meets two contradictory assertions, of the type "there is that". These assertions may come
- from inputs (possibly after a reading order on S output),
- from internal "data", analyzed,
- from logical operations using internal and external data.

If the external world is supposed to be reliable, and the address is an absolute one, then a reading at the address may clear up the doubt. In a lot of cases, the address is indirectly or abstractedly given, or the external being is not accessible, and the doubt will remain. S may deal with it either by destroying both the contradictory assertions (with loss of knowledge), or by assigning probabilities into the alternative.

At first sight, doubt augments the unpredictability, then H and hence L. But then it puts a doubt, the risk of contradiction, on any construct using this assertion, and hence reduces its interest.

Then, the doubt, or loss of information, may impact negatively P, if the assertions relate more or less to favourable or threatening beings. It is dangerous also if it bears upon critical parts of S itself, for instance its own position related to the other beings. Or some parts of it infected by a virus.

In other cases, the conformity with the external world does not matter : S may develop full universes on fictive addresses. That is virtual reality, with its pros and cons.

Coherence and verisimility may take over "truth"

2. A "truth" metrics

With some caution, we can also draw a sketch for a sort of "truth metrics".

Basically, we have a truth atom : "this bit has this value". And may be valued as one bit also. But that does not go farther, but perhaps in logic, where truth stays binary and passes from assertions to other assertions through the graces of logic. Better, let's outline some facts around :
- "this" is in fact an address ; if its value is of only one bit, the system will have at most a two position address system ; then, normally, even a "bit of truth" will actually have at least log2(N) bits for the address, if N is the size of the memory (here taken as synonym of the "world" ; we could add something like sensor addresses, to have a more encompassing notion);
- "this value" will generally be larger than a Boolean or a unique binary digit ; it will more generally a variable, or even an array, a text assertion, an image, a (possibly complex) being;
- correlatively, the address will point not on a bit, but on a byte, page, or larger "record".

- truth is interesting only if it is "falsifiable", i.e. tested as true or false. This implies that we have a truth saying process, which has access to that assertion/being/address in the "real", or "objective" world, and can apply to it a truth criterion ; "adaequatio intellectus et rei", said the scholastic philosophers ;

- here we can distinguish several cases
. the inquiring system has in memory a "concrete" description of "the world", where the value of "this bit" is stored, and may be compared to the described world ; this description is supposed to be the result of a previous inquiry
. the inquiring system has a set of rules giving an "abstract" description or the world, out of which the value of "this bit" may be computed and compared. ; the rules result also from a previous inquiry, but completed by some kind of generalization, theorization, etc.
. a combination of the two kinds of descriptions.

- in elaborate cases, addresses themselves are complex, indirect, depend on a sophisticated model...

- as soon as representations become large enough, the truth test will cease to be Boolean ; the representation/model will be more or less true ; for instance, a numerical value may is approximate to the nth ; a model will be valid in a limited domain ; a portrait will be "rather true to life"... (sometimes, the truth test itself will be approximate, if not inexistent).

Hence we can talk about error, and of error rating/measuring. We can use, for instance, the digital distances (Hamming distance).

3. Consistency

This metrics leads us to a major advantage of truth : it is always the same, when errors are possibly multiple. If S may rely on the truth of some assertion, it may safely use it over and over in any context. Still more useful may be the possibility of sharing this truth with other beings, hereby affording the possibility of communicating efficiently.

4. Limits

Digital relativity. Thesis : beyond some addresses, there is no possible truth test. ( "There is that" points on too far off).

It is nteresting to elaborate on "there" (address), because it is the "geographical" structure of DU.
absolute address exist in physical world. + relativity problems.

Auto-truth. Coherence. Then global plausibility. And the possibility to navigate inside it. At limit, Anselmian God's proof.

5. Fiction

Real as friction.
Internal, theoretical development vs. verification through O/I (the inversed Skinner box...)
Transpose the Kantian a priori/a posteriori, and Vienna positivism

Now, "société du spectacle" (Debord). Constructivism. The important is no longer to discover new unknown territories, but to build new territories. There is here some contradiction : how an artefact can be unknown, even to its creators ? That I discovered first in the beginning of powerful Information systems, in the 1970’s: special devices, the monitors, had to be build in order to understand how the computers spent their time!

To be tried: a Kantian analysis, a priori and a posteriori in our DU model. And foundational aspects (Bailly-Longo)

6. Model yield

If, in a model with fixed length sequences, predictio gives a better result than random
basically, if sequences are 12 long, probability to be right
but other models must be looked at
ex. prediction of the correct nature of an object at a given location, with correct representations of the object but a small error on position
We could have a yield function : cost of a model vs. efficiency/precision/utility
Or still, look for the optimal model for a given domain, with limites resources for the model (bit number, processor power)

A domain is said to be explained if one has a model describing it (perfectly or no). The length of the model is its KC.
But we could mare recurrence, trying to explain the model, with a shorter model. Or a metal model
We can admit, in general, that a model longer than the explained domain is useless. But that is true only if the domain is unique and looked at once only. If a domain is presented an undefinitne number of times, in this case, a finite length model may be interesting, if it lessens the processing lod.
Defined simply, the yield would be the ratio : domain length/model length, taking into account the quality of prediction.
>.

Acquire bits about the environment, have a series of behaviours using these bits.
One bit, 2 behaviours
If a series of bits ex. a numerical value) has a numerically adaptaed behaviour (eg heart frequency adapted to tempreature)
then part of the adaptatison is explicit (cold blood animals)
part of the adaptations is not voluntary, even for a conscious subject (heart rythm, intestinal moves)

7. Perceived real

Représentation que le système de décision se construit pour son usage, en se repérant par rapport à ses finalités, de l'activité de l'organisation au sein de son environnemnet... est exprimée en langage courant. Tardieu 1/36
REEL PERCU. Concrètemnet, il se traduit par une liste d'informations élémentaires (appelés aussi données, caractéristiques, data, items, rubriques), complétée par une liste de contraintes d'intégrité qui en précisent le sens, ainsi que des règles de gestion. Tardieu 1/67
REEL PERCU MACHINABLE. Le réel perçu machinable contient toutes les informations élémentaires, que l'on veut mémoriser, sous une forme "machinable".
- la liste de propriétés doit être propre ou épurée
- vocabulaire et orthographe normalisés
- codification déterminée ou esquissée plus les contraintes d'intégrité et les règles de gestion
Tardieu/Nanci/Pascot. Conception d'un système d'information page 68

O60_PERS\AYFRE.DOC Notes cours du Père Ayfre (Cours de philosophie de l'Homme, Première année de philosophie, à Saint Sulpice). Spécialiste de cinéma, hémophile. Très ouvert sur la littérature moderne. Faisait dialectique avec le cours du père Harang (Critique de la connaissance), très "scolastique classique".
CRITIQUE (de la connaissance)
O17_VAL\CRITIQU.HTM
et voir : Vrai, vérité

8. Descartes

Descartes seen by Le Moigne
in La Théorie du système général, Puf 1977
Pertinence
Convenir que tout objet que nous considérons se définit par rapport aux intentions implicites ou explicites du modélisateur. Ne jamais s'interdire de mettre en doute cette définition si, nos intentions se modifiant, la perception que nous avons de cet objet se modifie.
Globalisme
Considérer toujours l'objet à connaître par notre intelligence comme une partie immergée et active au sein d'un plus grand tout. Le percevoir d'abord globalement, dans sa relation fonctionnelle avec son environnement sans se soucier outre mesure d'établir une image fidèle de sa structure interne, dont l'existence et l'unicité ne seront jamais tenues pour acquises.
Téléologique
Interpréter l'objet non pas en lui-même, mais par son comportemnet, sans chercher à expliquer a priori ce comportement par quelque loi impliquée dans une éventuelle structure. Comprendre en revanche ce comportement et les ressources qu'il mobilise par rapport aux projets que, librement, le modélisateur attribue à l'objet. Tenir l'identification de ces hypothétiques projets pour un acte rationnel de l'intelligence et convenir que leur démonstration sera bien rarement possible.
Agrégativité
Convenir que toute représentation est simplificatrice, non pas par oubli du modélisateur, mais délibérément. Chercher en conséquence quelques recettes susceptibles de guider la sélection d'agrégats tenus pour pertinents et exclure l'illusore objectivité d'un recensement exhaustif des éléments à considéreer.

9. Quotations

Avant donc que d'écrire, apprenez à penser.
Selon que notre idée est plus ou moins obscure,
L'expression la suit, ou moins nette ou plure.
Ce que l'on conçoit bien s'énonce clairement
Et les mots pour le dire arrivent aisément
(Boileau)

La réalité sera toujours transcendante à nos modèles qui, s'ils peuvent prétendre à la rigueur expliquer "comment" les choses se passent, n'expliciteront jamais "pourquuoi" elles se passent ainsi et pas autrement. Naslin, 1971, préface à RRO

Recipe

Le va et vient de la culture à la recette n'est sans doute pas aisé: surprendra-t-on les managers en leur disant que c'est précisément ce va et vient qui caractérise leur activité et peut-être lui donne son sens. Le Moigne 1974 p. 40

Narration

 Barthes, in Communications, no 8
- le récit s'offre au résumé (l'argument)
- le récit est traductible sans dommage fondamental
- la créativité du récit se situe entre deux codes, celui de la linguistique et celui de la translinguistique

Notes BR> commercial as a form of realism the better the market, the better the proof. if the market is free of interference, domination situations, well fitted with data instruments, with a sufficient umber and sellers and buyers to ensure fluidity then succes on the market proves really that the product, he corporation responds to a real need. And success may really e taken as a valuable criterium.

10. Maths (Bailly-Longo)

Or, il ne fait pas de doute que les mathématiques ont un fondement logique ainsi que formel (il faudra faire là une distinction), mais elles sont en fait une construcion à trois dimensions conceptuelles. Elles se constituent dans l'interaction entre des "si... alors" logiques tout à fait essentiels (1ere dimension), des calculs parfaitemnt formels, voire mécaniques (2ème dimension), mais aussi dans une troisième dimension, ces constructions (dans et) de l'espace et du temps, à partir des "gestalt" minimales dont on reparlera, qui l'entremêlent, encore plus que les deux autres, aux différentes formes de connaissance...

...ces invariants que nous appelons "logique" et "systèmes formels", de même que des invariants de l'espace, et du temps, sur lequel nous construisons nos géométries, ces "constructions humaines... dans nos espaces d'humanité", comme dit Husserl.

Mathématiques et sciences de la nature. Francis Bailly et Giuseppe Longo. Hermann 2006

In Longo-Bailly

- differenciate construction principles and proof principles
- meaning constrution

- je nie que l'on puisse identifier la notion de structure mathématique avec sa présentation axiomatique

- fondements, les plus simples et les plus intuitivs
- construction de concepts

- chaque état du calcul n'a pas nécessairement de corrélat "externe"

- mathématiques, statut central pour toute pensée rigroureuse

- toute information est une brisure (relative de symétrie) et réciproquemnet, toute brisure relative de symétrie constitue un élément d'information

catégories abstraite (voire absolues) telles que celes de "vérité"... doivent être remplacées par la description d'un processus opérationnel

- processus/objectivité ; c'est cela que je disais quand un journaliste poursuit l'objectivité ; attitude, processus de contrôle
- mais aussi, sur vie/mort, le processus décisionnel
- la démocratie comme processus plus que comme vérité (Voltaire, je me battrai)

- le réel, c'est ce qui résiste

- analyse scientifique du suje cognitif,et ensuite... unité vivante de corps et de cerveau
une explicitation du sujet cognitif, unité vivante de corps et cerveau, vivant dans l'intersubjectivité...

la langue, fonction référenciante, gouverne l'activité objectivante
puis, les emres "ces structure mathématiques dongt elle déclenché qu'elle a contribué à mettre en place et dont elle a déclenché la générativité propre

11. An objectivation of epistemology

Pierre BERGER, aout 1992

Pour mieux comprendre et maîtriser le monde oderne, marqué par la montée de l'informationnel et de a médiatisation technologique, nous avons besoin d'une épistémologie revue, adaptée. Capable notamment de déboucher sur des résultats quantitatifs et si possible sur un minimum de prévisions datées, nécessaires à l'action politique comme à la direction des entreprises.

Cette épistémologie sera objectivée, externalisée. Son centre se déplace de l'homme vers les médiations, et en pratique vers les machines informatisées.

Cette évolution remonte aux origines de l'humanité. L'homme est non seulement faber, mais faiseur d'outils, en particulier pour s'aider à connaître le monde. Il marque les objets, il représente le monde dans les cavernes, les stèles, les pyramides. Il matérialise le langage par l'écriture. Le texte supplante le sage comme référence du savoir: c'est la Bible. Au moyen-âge, une fois brûlées les bibliothèques de l'antiquité, la cathédrale reprend temporairement le flambeau. Mais Hugo annonce la fin de son rôle ("Ceci tuera cela", chapitre de Notre Dame de Paris, qu'il aurait ajouté après coup, influencé par Hegel).

Actuellement le livre, et la presse écrite, sont peu à peu relayés par l'audiovisuel et plus généralement l'informatique. La science, comme le bureau, se fait de plus en plus "sans papier", à coups de calculateurs, de bases de données, de réseaux.

Cette montée progressive du support matériel s'accompagne d'une mouvement intellectuel (conceptuel...) plus important encore.

Au départ, l'information matérialisée sur un support n'est considérée que une prothèse, une assitance à l'écriture, une capacité de transmettre la connaissance depuis un auteur jusqu'à des lecteurs. (Cet auteur pouvant être Dieu lui-même, relayé par les rédacteurs des textes sacrés).

La conviction naît de l'autorité de l'auteur (deux mots de la même famille...) et, pour l'auditeur, de l'évidence et de la cohérence avec son expérience.

Mais, au fil des temps, l'autorité et l'évidence cèdent le pas à la solidité du texte, de sa structure, de sa méthode: logique du syllogisme, cohérence des "sommes" scolastiques. Peu à peu, le raisonnement mathématique devient le type même de la connaissance solide.

Parallèlement, la connaissance du monde physique compte de moins en moins sur la perspicacité de l'auteur et de plus en plus sur la solidité du montage exéprimental, de sa précision, de sa reproductibilité.

En histoire même, Voltaire travaille la méthode (et la pluralité des sources), comme Descartes en philosophie.

Le succès universel des technologies dans les trois derniers siècles valide cette confiance dans les machines à connaître, répondant au désir de Bacon: "Restat unica salus ac sanitas,ut opus mentis universum de integro resumatur; ac mens, jam ab ipso principio, nullo modi sibi permittatur, ad perpetuo regatur; ac res veluti per machinas conficiatur".

On n'en sortira sain et sauf qu'en reprenant à la base tout le travail de l'esprit, que l'esprit dès le départ ne soit pas laissé à lui-même, mais qu'il soit toujours guidé, et que la chose se fasse comme par une machine.".(Préface du Novum Organum)

Ainsi la science devient construction de systèmes cohérents, d'une logique sans faille, et prenant appui soit sur des axiomes, acceptés pour leur évidence, soit sur la cohérence avec la réalité expérimentale.

Mais, peu à peu, les systèmes revendiquenet leur autonomie par rapport aux uns comme aux autres. Tout en prouvant leur efficacité.

Le fait est que la construction mathématique va conduire à nombre de résultats inattendus, voire contre-intuitifs, et parfois incompréhensibles à la plupart des mortels, mais bien confirmés par l'expérience: découverte de Neptune par Leverrier, énergie nucléaire, etc.

La philosophie elle aussi s'organise en systèmes La cohérence, de forme plus que de fond, de la scolastique, s'approndit. Kant fonde plus solidement la notion de système, en partie sous l'influence de la physique newtonienne. Mais les philosophes rencontrent des difficultés particulières. Pour eux, la vérification expérimentale est sans objet, sous réserve d'une cohérence avec le bon sens. Et l'évidence des principes premiers se fait de plus en plus aléatoire.

En fait, notamment avec Hegel, la consistance des systèmes finit par l'emporter sur la valeur des fondements. On va vers des systèmes sans fondement. De grandes théries cosmologiques comme l'évolution darwinienne convainquent bien plus par leur cohérence grandiose que par leur solidité expérimentale, contestée encore aujourd'hui.

Les mathématiques se mettent de la partie. Peu importe la vérité de leurs axiomes, d'aileurs fort éloignés de l'évidence comme de l'expérience. C'est la construction qui compte.

Après la guerre, sous l'influence de la cybernétique et de la recherche opérationnelle, le modèle va prendre le dessus. Porté par l'ordinateur, le modèle s'anime.

Une part croissance de nos données, de nos modes de raisonnement, de nos savoirs, passent dans la machine. Les syndicats, un temps, se sont émus de ce transfert du "savoir ouvrier" vers kes ribits. Les systèmes experts vont dans le même sens, de même que l'audio-visuel pour l'ensemble des fonds musicaux et maintenant graphiques. La culture même!

Notre façon de concevoir, de penser, devrait se transformer radicalement sous l'influence de ces nouveaux moyens, montre Pierre Lévy dans "L'idéographie dynamique, vers une imagination artificielle" (La Découverte, Paris 1991).

Mais surtout, la connaissance allège chaque jour sa dépendance par rapport aux humains. Bertalanffy écrivait déjà en 1968: "Un système symbolique, un algorithme comme ceux de la physique mathématique, finit par vivre de lui-même. Il devient une machine pensante, et si on lui donne de bonnes instructions, la machine marche seule, fournissant des résultats inattendus qui dépassent les faits apportés initialement".

L'ordinateur peut-il devenir créatif. L'idée nous choque, mais progresse doucement. Des informaticiens comme D. Michie et R. Johnston pulbient "L'ordinateur créatif" (Traduction française, Eyrolles 1987). Un peintre comme Harold Cohen, déjà connu dans les milieux spécialisés, s'oriente vers la création automatique (Pamela McCorduck : "Aaron's code. Meta-art, artificial intelligence and the work of Harold Cohen", Freeman 1991).

De toutes façons, l'homme ne peut revendiquer le monopole de la création de nouveauté: la nature, ou Dieu, ne l'a pas attendu pour créer les atomes, les plantes, les animaux... et lui-même. Pourquoi ne continuerait-elle pas?

Il est donc temps de débarasser l'épistémologie de son cordon ombilical. La question n'est plus de savoir si notre esprit se conforme au réel, si nous pouvons avoir des certitudes, si le monde tel que nous le percevons existe réellement ou n'set qu'une illusion de nos sens.

Désormais, les modèles tiennent par eux-mêmes. Pour un temps, ils ont encore besoin des humains, soit pour les réparer quand ils se mettent en panne, soit pour leur permettre de dépasse leurs limites. Mais ce n'est peut-être plus qu'une question de temps, et déjà sans doute ce n'est plus l'essentiel.

L'homme, mis au monde "pour cultiver le jardin", dit La Genèse, est désormais au service, ou en communauté avec, un arbre de la connaissance dont il n'est ni le maître ni le consommateur exclusif.

Ainsi externalisée, l'épistémologie appelle une théorie. Elle se la construira peut-être elle même. mais en attendant, tentons quelques approches, sous forme d'une sorte de "thermo-dynamique".

Une telle théorie nous est en effet nécessaire pour évaluer notre avenir, définir notre rôle, organiser nos activités individuelles et collectives, et, très immédiatement, prévoir les marchés rentables de la fin de la décennie.

12. Lyotard

Lyotard, postmoderne p77.

Ainsi prend forme la légitimation par la puissance. Celle-ci n'est pas seulemnet la bonne performativité, mais aussi la bonne vérification et le bon verdict. Elle légitime la science et le droit par leur efficience, et celle-ci par ceux-là. Elle s'autolégitime comme semble le faire un système réglé sur l'optimisation des performances. Or c'est précisémen ce contrôle sur le contexte que doit fournir l'informatisation généralisée. La performativité d'un énoncé, qu'il soit dénotatif ou prescriptif, s'accroit à proportion des informations dont on dispose concernant son référent. Ainsi, l'accroissemnet de la puissance, et son autolégitimation, passe à présent par la production, la mise en mémoire, l'accessibilité et l'opérationalité des informations.

PHILOSOPHIE
Platon, dans une lettre à Anébon, cité par Théorodoret de Cyr (Thérapeutique des maladies hélléniques).
"Il y a chez nous (les philosophes) de nombreuses discussions, parce que nous nous représentons le bien d'après des raisonnements humains ; mais à ceux qui s'efforcent de s'unir au Parfait, se présente toujours l'opportunité de le rechercher". "

et Théodoret de Cyr poursuit :

Si donc les systèmes philosophiques sont contestables , si les philosophes de leur côté sont toujours aux prises dans des luttes et discussions sans trève, et si c'est à d'autres hommes qu'il a été donné de s'unir à Dieu dans des relations intimes , selon le témoignage de Porphyre, pourquoi donc vous, mes chers amis, vous attachez-vous à des paroles humaines et discutables et n'acceptez-vous pas les enseignements des amis de Dieu ?

13. Science

le paradoxe : marche trop et pas assez bien à la fois

continuité animal/home, états dégradés

Je ne peux savoir si tu es conscient, impénétrable
la conscience totalement respectable, transcendante
bouclage/bords réflexe/cons ience, récurfis, méta-confgiance
même le droit d'expérimenter
non réductible/imotel/ineffable

Qu'apporte l'expérience ? Mode à la fois pratique mais aussi théorie de la mesur
On en sait de plus en plus.

Deviens ce que tu es : conscience comme objectif, comme devoir

Raisonnable :
1- d'un côté on vuet montre la rupture, binaire, l'homme fondamentalement opposé au non heumme, on cherche les critèes de défférenciation entre l'homme et l'animal ; ratio thomiste, liberum arbitrium, . En génétique, le code, le père
2- d'un ature co^té on ne veut pas décomposer, réduire l'ineffable, holsiem, ici plutôt revendiquer l'animalité et sa continuité/animalité, se différencier de la machine. mystique et théoloqie apophatique, méthode scientifique de Goethe. En génétique le cytoplasme, la mère

Mais on bute, paradoxe de la science :

sur 1 : plus on essaye de chercher les critères, plus on bute sur la continuité. La seicne ne trouve pas de bonens réposnes

sur 2; plus on défend la continuité, plus on bute sur les capacités croissantes de la modélisation, la science marche tropbien

L'expérience comme distanciation
le montage expérimental
supposé parfaitement connu
derrière, le rééel, supposé inconnu
sur lequel on va pouvoir l
- vérifier des hypothèses (binaire)
- faire des mesures (qq bits/bytes)
- voir émerger des patterns (combien de bits ? )

Il y a la une décomposition radicale entre deux objectivations
- le modèle boite, machine
- le monde par différence

la rupture scientifique, par constructino, rend la répose impossible
si on trouvait la conscience sous le bistouri, il n'y aurait plus décomposition

14. Paradigm

Le paradigme peut être défini comme une matrice disciplinaire qui encadre littéralement les recherches et donne aux chercheurs rassemblés sous ce paradigme "... des problèmes types et des solutions" "... définir le champ d'étude, trace couloirs dans l'ensemble des possibilités de recherche". La mesure du social. Informations sociales 1-2/79. CNAF, 23 rue Daviel, 75634 Paris Cedex 13 <
 "L'ensemble des relations fondamentales d'association et/ou d'opposition entre un nombre restreint de notions maîtresses, relations qui vont commander/contrôler toute pensée, tout discours, toute théorie". Circularité constructrice Tout/partie. Morin, Afcet 1/44 <


La notion de "système" est un nouveau "paradigme" de la science, face à l'approche élémentaliste et aux conceptions qui prédominent dans la pensée scientifique. Bertalanffy 1968