Recherche

Note : PXKR3R4Q

"La sensation n'est pas moins cerveau que le concept." p. 199

Note : PWWTWTMR

Jean-Yves Girard inventeur de la logique linéaire

"dans de nombreux contextes et en particulier dans le cadre du Web Sémantique dont le défi est d'offrir la possibilité d'automatiser la mise en oeuvre de raisonnements, il s'avère de plus en plus indispensable de considérer des ontologies denses, i. e. des ontologies intégrant l'ensemble des axiomes permettant de fixer toute la sémantique du domaine considéré, en comparaison aux ontologies dites légères qui, elles, n'incluent pas d'axiomes et sont uniquement fondées sur les hiérarchies de concepts et de relations" p. 23

Note : PWNT8JN2

"l'essence du "formalisme hilbertien : considérer que l'on peut manipuler les symboles mathématiques de manière purement formelle c'est-à-dire uniquement en fonction de leur forme syntaxique et indépendamment de leur signification sémantique." p. 30

Note : PVI9TGPA

"La question principale que nous avons posée en introduction de ce chapitre consiste à se demander comment thématiser les liens entre des humains en train de mener une activité informatiquement médiée, et les représentations numériques impliquées par cette activité. La théorie du support nous amène une manière générale stimulante de penser le lien entre inscriptions techniques et humain, en visant essentiellement le support technique et ses formes en lien avec l’action comme interprétation" p. 27

Note : PV6B62IS

« … la connaissance est un processus sans fin de participation à une individuation collective plus vaste, où le préindividuel, porteur de potentiels qu'actualisent des individus psychiques ou sociaux, ne s'individue qu'à travers les stades d'un processus d'indidividuation où s'enchainent des équilibres métastables toujours à la limite du déséquilibre. » p. IX

Note : PTQGMXGP

"Une des conséquences de la théorie mathématique des catégories est que la logique est déterminée par le topologique. Ce qui compte désormais n’est pas la proposition, mais le lieu, le topos qui a sa propre vie organique et qui impose ses modes de raisonnement. Par défaut, la logique immanente d’un topos est intuitionniste : le tiers exclu n’est plus valable, ni le mode de démonstration par l’absurde. Lorsque l’axiome du choix est vériﬁé, ou de manière équivalente lorsqu’il existe une structure topologique particulière des ensembles inﬁnis, alors le théorème de Diaconescu pose que le topos est booléen et que sa logique est classique. Cette logique aboutit le plus souvent à un partage sans autres perspectives entre des propositions qui se résolvent par tautologies pour prolonger des axiomes initiaux et des propositions fausses qui les contredisent. Dans tous les cas, classique ou non, le topologique précède le logique. L’ontologie n’est plus placée sous la dépendance de la logique, mais du topologique. Cette instance ouvre la voie à une nouvelle description de la topologie de l’Être ou onto-(po)-logie. Le but de toute ontologie est une théorie des catégories" p. 183

Note : PTI9J6JV

"Premièrement, le sens est le résultat d’interactions centrées autour de formes symboliques qui transitent par des acteurs qui n’en sont pas directement eux-mêmes les auteurs dans la mesure où ils commencent par en hériter. Le cas du langage est, de ce point de vue, exemplaire, lui qui exige d’abord d’être répété avant de pouvoir être réélaboré de façon originale. Ces formes symboliques orientent alors les anticipations réciproques." p. 24

Note : PTFZN5IN

"Parce que la connaissance implique une interprétation, on ne peut la modéliser sans se préoccuper de son contexte d'utilisation, des interactions et coopérations d'acteurs dans lesquels elle est utilisée, et des contextes organisationnels de ceux-ci." p.15

Note : PT6XUVTC

"Le dictionnaire fonctionne comme un "programme sémantique" de tissage de sphère" p. 50

Note : PS3ZHJTI

"l'expression, en effet, a ce double aspect : d'une part elle est miroir, modèle et ressemblance ; d'autre part germe, arbre et rameau [...] L'immanence est précisément le vertige philosophique, inséparable du concept d'expression (double immanence de l'expression dans ce qui s'exprime, et de l'exprimé dans l'expression)." p. 163

Note : PS2FJQ8X

"Quand on fait référence à la mise en place de la perspective formelle telle qu’elle fut progressivement constituée par Hilbert au début du 20e siècle, on s’en tient généralement à l’idée que la formalisation axiomatique des mathématiques a consisté à écarter toute interprétation sémantique des notions fondamentales rencontrées dans les axiomatiques dites « à contenu », c’est-à-dire les axiomatiques qui définissent les notions fondamentales d’un champ en exhibant une liste minimale d’axiomes." p. 58

Note : PRWQ93S2

"l’histoire nous montre que ce sont surtout des mathématiciens et physico-mathématiciens qui proposèrent de nouveaux modèles théoriques de croissance des êtres vivants et des plantes. Et parmi ces derniers, ce sont tout spécialement des mathématiciens versés dans des problèmes concrets de calculabilité (comme Turing, von Neumann et Ulam), à la lisière entre le développement d’un nouvel objet technique et celui de ses usages : l’ordinateur." p. 172

Note : PRVECW6U

"... l'allégorie est un exercice de purification de l'intellect par le dévoilement de vérités philosophiques cachées dans les récits et les paroles" p. 110

Note : PRHIRNQF

"En définitive, les paradigmes symboliques et connexionnistes semblent non antagonistes mais complémentaires. Les modèles connexionnistes pourraient gérer la cognition au niveau inférieur (exemple : reconnaissance de motifs visuels, reconnaissance de la parole,…) et devraient fournir un substrat pour les processus symboliques au niveau supérieur." p. 33

Note : PR4ZW45N

"Se connaître soi-même est un premier pas vers l'autonomie : c'est en prenant conscience de son moi personnel, de ses forces, de ses pouvoirs, que l'individu peut s’affirmer en tant que personne singulière, et renforcer son identité. C'est aussi en prenant conscience de son mode de fonctionnement et de son style d'apprentissage, qu'il peut mieux se connaître en tant qu'apprenant : développer une meilleure compréhension de sa manière d'apprendre lui permet de mieux contrôler les techniques qu'il emploie pour percevoir, chercher, se développer, et d'acquérir une vision positive de lui-même, car mieux informé de ses points forts et de ses limites. " p. 146

Note : PQRTM5H6

"dès que se fait jour ce qu’il est convenu d’appeler une « sensibilité aux conditions initiales », c’est-à-dire la possibilité de perturbations physiques sous le seuil de la mesure, le principe laplacien selon lequel des petites perturbations à un moment donné resteront également petites à un moment ultérieur peut ne plus être vérifié, ce qui empêche toute prévision au-delà d’un certain temps. Tout en étant déterministe dans les équations qui le décrit, l’évolution du système physique devient alors non-prédictible." p. 9

Note : PQRSD6X9

<div data-schema-version="8">“L’éthique classique, comme d’ailleurs les théories modernes, partent de la question qui s’impose à un individu ayant besoin d’orientation lorsque dans une certaine situation, il se trouve, indécis, devant une tâche à maîtriser pratiquement : comment dois-je me comporter, que dois-je faire ?” p. 96 </div>

Note : PQJNG7EQ

"Ces paysages de données procurent une approche plus intime de la logique et du cadre spatio-temporel qui président au focntionnement interne de l'objet étudié et aux intéractions entres ses différents composants. Faire appel aux capacités tridimensionnelles de l'esprit humain en le confrontant à des références multiples et à des modifications d'échelle favorise une compréhension nouvelle." p. 98

Note : PQBWEZ8M

"La conception d’un écosystème, certes s’enracine dans les approches systémiques, notamment celle des organisations et celle des communications, mais tente de mettre la lumière sur les interactions effectives entre ce système et les environnements humains, techniques et organisationnels à sa disposition." p. 69

Note : PN9BBIEA

"La logique de l'imagination n'est pas une logique qui extrait les enchaînements conceptuels des images; mais une logique qui s'appuie sur des différences et des similitudes données dans l'imagination pour déployer le réseau des inférences." p. 76

Note : PMWQ3Z9F

"1) La première phase est la génération, par un fonctionnement-conscience, de « l’entité-objet », c’est-à-dire la capture de fragments de substance purement factuels, encore a-conceptuels, obtenus par une découpe volontaire dans la densité du réel, et qui par la suite sont traités comme une matière première pour des sémantisations progressives. 2) Emergent ensuite des aspects, ou dimensions de qualification, au travers desquels s’élaborent des vues-aspect de l’entité-objet. 3) Alors, une grille de qualification qui consiste en un nombre arbitrairement grand, mais fini, de vues-aspect, est dénommée un regard ou une vue, qui définit une représentation (parmi une infinité de possibles) de l’entité-objet dans le volume du conceptualisé, comme indiqué dans la figure ci-dessous." p. 6

Note : PKM7NBJF

“S’il s’agit d’écologiser et non plus de moderniser, il va peut-être devenir possible de faire cohabiter un plus grand nombre de valeurs dans un écosystème plus riche.” p. 23

Note : PJXBJ4C7

Un état de l'art des techniques de recherche d'information très complet avec tout plein d'équations et de concept pour la recherche documentaire... Mais aucune présentation d'interface... Il faudrait peut-être faire une analyse complète du bouquin si y'a le temps...

Note : PJTAGM5V

"Et, là encore, il nous appartient de redécouvrir une façon d'être de l'Être - avant, après, ici et partout ailleurs -, sans être cependant identique à lui-même ; un Être processuel, polyphonique, singularisable aux textures infiniment complexifiables, au grè des vitesses infinies qui animent ses compositions virtuelles." p. 77

Fiches

2644 items