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