Guerino Mazzola U & ETH Zürich L ES FLÈCHES GESTES ATOMIQUES DE LA CHIMIE DIAGRAMMATIQUE DES CONCEPTS

Birkhäuser pages, hardcover incl. CD-ROM ISBN English

Encyclopédies Encyclopédies Dénotateurs Dénotateurs Circularité Circularité

Encyclopédies Encyclopédies Dénotateurs Circularité

alphabétique passif Und so kam es, dass man sich eines Tages entsinnte, dass alles so, wie es da stand für mmer so sein würde und dies ohne je etwas daran ändern zu könnenstatique encyclopédie traditionnelle: le modèle du spectateur (Hans Blumenberg)

de nature topologique! Sylvain Auroux: La sémiotique des encyclopédistes (1979) Trois caractéristiques encyclopédique de validité générale: unitégrammaire de discours synthétiquephilosophie unitégrammaire de discours synthétiquephilosophie intégralité tous les faitsdictionnaire intégralité tous les faitsdictionnaire discoursordre encyclopédiquereprésentation discoursordre encyclopédiquereprésentation

Johann Heinrich Alsted encyclopaedia (1630): (suivant lars magna de Raymundus Lullus)...enim bibliotheca universalis locorum communium Walter Schmidt-Biggemann: Topica universalis (1983) Lullus fournit une topologie de la totalité du savoir.

dynamique hypermédia interactif ConceptSpace, InterSpace, EncycloSpace,

Niklas Luhmann: Die Wissenschaft der Gesellschaft (1990): So, wie Wissen gewusst werden soll, muss es immer wieder neu vollzogen werden. (...) Daher kann Wissen nicht nach der Art eines zeitbeständigen Vorrats begriffen werden, sondern nur nach der Art einer komplexen Prüfoperation. Dans la manière que le savoir doit être su, il doit être exécuté à chaque occasion. (...) Par conséquent, le savoir ne peut pas être conçu dans la manière dun stock extra-temporel, mais dans la façon dune opération complexe de vérification. Le savoir est un accès ordonné à linformation.

(Kritik der reinen Vernunft, B 324) Man kann einen jeden Begriff, einen jeden Titel, darunter viele Erkenntnisse gehören, einen logischen Ort nennen. On peu appeler chaque concept, chaque titre qui comprend une multitude de connaissances, un lieu logique. Immanuel Kant

Euclide dAlexandrie: punctus est cuius pars nulla est Alexandre Grothendieck introduction du renvoi au prix dune récurrence infinie (?)

Philosophie de Yoneda

Encyclopédies Dénotateurs Dénotateurs Circularité

unitéintégralitédiscours combinatoire ordonnée récurrence infinie ramification universelle concept conceptconceptconcept

supernotesupernote – – tempstempsintensitéintensitéduréeduréehauteurhauteur notenote STRG Ÿ– – duréedurée tempstemps pausepause

macromacro macromacro satellitessatellites ornaments ornaments analyse schenkerienne analyse schenkerienne supernotesupernote – – tempstempsintensitéintensitéduréeduréehauteurhauteur notenote STRG Ÿ – – duréeduréetempstemps pausepause

synthèse modulation de fréquence (FM) synthèse modulation de fréquence (FM)

noeudnoeud FM-ObjetFM-Objet – – amplitudeamplitudephasephasefréquencefréquence synthèse FM synthèse FM – supportsupport modulateurmodulateur FM-ObjetFM-Objet

macromacro macromacro satellitessatellites supernotesupernote – – tempstempsintensitéintensitéduréeduréehauteurhauteur notenote STRG Ÿ – – duréeduréetempstemps pausepause conjonction produit cartésien limite séléction ensemble ensemble des parties disjonction somme disjointe colimite représentation espace algébrique groupe, module, etc. 4 types de récurrence

F:id.type( ) D point espace F dénotateur forme forme nom de la forme nom du dénotateur coordonnées type de référence diagramme de formes de référence géométrie des concepts

Cadre( ) > id: Espace(F) F:id.type( ) E -dénotateurs D = nom du dénotateur F = nom de la forme de D A adresse A R C R E sous-catégorie des objets représentables dans le topos E = diagramme de F = diagramme de F Espace(F) E coordonnée CA Espace(F) C A Espace(F) E = préfaisceaux R

Types despaces cadre: Simple = un objet R de R Cadre( ) = R représentationreprésentation Limite = diagramme noms de formes E Cadre( ) = lim(diagr. n/f E ) conjonctionconjonction Colimite = diagramme noms de formes E Cadre( ) = colim(diagr. n/f E ) disjonctiondisjonction Puissance = fn = un nom dune forme Cadre( ) = Espace( fn ) Cadre( ) = Espace( fn ) collectioncollection

E E Mono( E ) R Dénotateurs Formes Dén. E Diagrammes( Dén./ E ) coordonnée identificateur D-nom F-nom forme Type diagramme Types Sémiotique de formes Sémiotique de formes

Encyclopédies Dénotateurs Circularité Circularité

nomtype/diagrammeid nomformecoordonnée dénotateur topos

sémiotique de formes sémiotique de formes type H FHF G type F G H type G

Théorie de Galois corps S f S (X) = 0 Sémiotique de formes Sémiotique de formes Sémiotique de formes F F Équation algébrique Équation diagrammatique x2x2x2x2 x1x1x1x1 xnxnxnxn x3x3x3x3 F2F2F2F2 FrFrFrFr F1F1F1F1 Guerino Mazzola: Towards a Galois Theory of Concepts Guerino Mazzola: Towards a Galois Theory of Concepts Osnabrück 2004

Définition: Pour un préfaisceau H dans, soit fin(H) le sous-préfaisceau avec = {Q card(Q) < } Définition: Pour un préfaisceau H dans soit fin(H) le sous-préfaisceau avec = {Q card(Q) < } Théorème: Pour tout préfaisceau H dans, ils existent deux préfaisceaux X, Y tels que Théorème: Pour tout préfaisceau H dans ils existent deux préfaisceaux X, Y tels que fin(H x X) H x fin(Y) Mariana Montiel ToM ch. G Mariana Montiel ToM ch. G Corollaire:Existence de formes telles que: macro, FM-Objet, Fourier-Objet, etc.

macro 1 satellites 1 1 macro 2 satellites 2 2 tempstempsintensitéintensitéduréeduréehauteurhauteur supernotesupernote U