[1]

À la lumière des mathématiques et à l'ombre de la philosophie

Dix ans de séminaires Mamuphi

Sous la direction de Moreno Andreatta, François Nicolas, Charles Alunni

mamuphi : le nom d'un lieu singulier où mathématiques, musique et philosophie viennent se frotter, s'entrechoquer, se pincer, se faire résonner comme si chacune de ces disciplines devenait ici un instrument susceptible d'être frotté, frappé, pincé ou soufflé par les deux autres.

Ce lieu, suscité à l'Ircam en 1999 par des mathématiciens soucieux de « logique musicale », progressivement stabilisé et diversifié autour d'un séminaire qui se tient depuis dix ans à l'École normale supérieure (Ulm, Paris), voit collaborer musiciens et musicologues, mathématiciens et philosophes.

Ce livre voudrait présenter un bouquet significatif des voix qui viennent s'y exposer. Autant de réflexions foisonnantes plutôt que convergentes : chacun y parle en son nom propre de son travail le plus exigeant pour l'adresser à des gens d'une toute autre discipline. Certains usent de la métaphore pour mieux se faire comprendre, d'autres de l'analogie ou de la fiction ; certains théorisent, d'autres conjecturent ; quelques-uns laissent plutôt à leur auditoire le soin de décider ce qui de leur propos pourra ou non raisonner ailleurs.
Il ne s'agit pas ici à proprement parler de synthèse, ou d'application, moins encore de mélanger les formes de pensée. Il s'agit de rapprocher pour stimuler, de confronter pour distinguer, d'éprouver au plus près l'écart irréductible qui relie en séparant mathématiques, musique et philosophie.

Au total, un lieu de pensée dont le seul équivalent ne s'est peut-être jamais trouvé en France que dans « la saine émulation » qui y prévalut au siècle des Lumières.

Textes de Charles Alunni, Emmanuel Amiot, Yves André, Moreno Andreatta, Jean Bénabou, Francis Borceux, Andrea Cavazzini, Nancy Diguerher, Stéphane Dugowson, René Guitart, Xavier Hascher, Yves Hellegouarch, Franck Jedrzejewski, Julien Junod, Ralf Krömer, Pierre Lochak, Guerino Mazzola, François Nicolas, Joomi Park, Thierry Paul.

Éditions Delatour France / Ircam-Centre Pompidou

Avec la participation de l'Ircam et de l'École normale supérieure et le soutien du CNRS et de la SFAM.

Année d'édition : 2012

Prix : 28 €

[2]

De sept moments « mamuphiques » dans l’histoire de la pensée

(Séminaire mamuphi, 13 octobre 2012)

François Nicolas (Ens-Cirphles)

Peut-on déduire du nom propre mamuphi (désignant une initiative singulière engagée à Paris en 1999, dont un séminaire éditant les actes de ses dix premières années d’existence) un adjectif apte à qualifier d’autres moments équivalents dans l’histoire de la pensée ?

« Théorisons » pour cela les principales caractéristiques de notre moment mamuphi actuel.

Ce moment procède de la conjonction inattendue de trois circonstances indépendantes :

—      en mathématique, le développement de la géométrie algébrique (Grothendieck…) et de la théorie des catégories (pour la France, Ehresmann…) ;

—      la relance d’une philosophie française du concept attachée à la pensée des sciences (dont la généalogie va de Brunschvicg à Badiou en passant par Bachelard, Cavaillès et Lautman, ainsi que – en un certain sens - Althusser et Desanti) ;

—      en musique, la nécessité compositionnelle d’échapper, en une époque nihiliste du « post » (post-sérialisme, post-spectralisme, post-modernisme…), à la dualité obscurantiste d’un néo-romantisme (lyrisme néo-tonal…) et d’un néo-positivisme (technique informatique…).

Dans ce contexte, mamuphi a noué des rapports entre mathématiques, musique et philosophie sous le signe de la logique pour se demander : comment, dans la situation de pensée caractérisée ci-dessus, les logiques respectivement mathématique, musicale et philosophique entrent-elles ou non en raisonance ?

Pour cela mamuphi a pu tirer parti d’une quatrième circonstance : une transformation interne à la logique mathématisée (voir les travaux de Girard) qui a remis sur ses pieds le rapport mathématique/logique, en fondant désormais la logique sur les avancées mathématiques les plus contemporaines, abandonnant ainsi la prétention logiciste de fonder (puis réduire) la rationalité mathématique sur la logique.

On propose alors de qualifier de mamuphique des moments où d’une part mathématiques, musique et philosophie connaissent séparément de significatives transformations internes, et où, d’autre part, ces trois transformations entrent temporairement en raisonances réciproques, se confrontant et se fécondant les unes les autres.

On propose alors de discerner au moins sept moments mamuphiques de ce type ; successivement :

1.      un moment grec originaire (VI° av. J.-C.),

2.      un moment du quadrivium qu’on dira celui de Boèce (VI° ap. J.-C.),

3.      un moment arabe (Bagdad, IX°-XI°) qu’on dira celui d’Al-Khayyâmi (XI°),

4.      un moment Descartes (XVII°),

5.      un moment des Lumières (XVIII°) qu’on dira celui de Rameau,

6.      un moment « Music Theory » (aux États-Unis, après 1950),

7.      et notre moment mamuphi en cours (à Paris, à partir de 1999).

A contrario, on ne semble pas pouvoir déceler de tels moments, ni durant l’histoire de Rome, ni pendant le Moyen Âge européen (spécialement à partir de la scolastique : XIII°…) ou la Renaissance (XVI°), ni au cours du XIX° (partagé entre romantisme et positivisme), ni même dans la plupart du XX° (et ce malgré l’important constructivisme de ce siècle et, après-guerre, le structuralisme).

On entreprendra de caractériser spécifiquement chacun des six moments mamuphiques qui nous ont précédés : que s’est-il passé, dans chaque cas, en mathématiques, en musique, en philosophie puis dans leurs rapports ?

On débouchera sur un examen de notre futur possible : comment poursuivre notre moment mamuphi ?

On proposera, pour ce faire, de compléter nos activités de théorisation (théoriser la musique à la lumière de la mathématique et à l’ombre de la philosophie) d’une perspective légèrement déplacée : examiner comment les différents « faire » (faire des mathématiques, de la musique, de la philosophie) peuvent résonner directement entre leurs acteurs respectifs (plutôt qu’entre les disciplines) en une sorte de fraternité d’intellectualité entre working mathématicians, musicians and philosophers.

*

[3]

Composed 1964–65, Antagonisme I sits at the start of Xavier Darasse’s compositional career and between Alain Badiou’s first novelistic and philosophical texts. Drawing on letters, drafts and manuscript scores, this seminar attempts to untangle these various projects and understand the literary, philosophical and musical stakes of the project. Through a blow-by-blow account of the work’s composition it becomes evident that Antagonisme I marks a shift in both collaborators’ understanding of composition from the deployment of musical languages to engagement in a musical process. Speaking more broadly, the seminar will ask whether Antagonisme I can help to clarify the vague concept of “influence” employed in musicological writing when attempting to link the works of philosophers and musicians.

[4]

La « théorie de la n-opposition » (2004), qui généralise les notions d’« hexagone logique » (1950) et de « tétrahexaèdre logique » (1968) – eux-mêmes généralisant la notion traditionnelle de « carré logique » ou « carré des oppositions » (2ème siècle) – est-elle, comme le prétendent certains, une « géométrie oppositionnelle », à savoir l’embryon d’une nouvelle branche des mathématiques (les mathématiques de l’objet théorique « opposition ») ? Dans cet exposé nous suggérons de répondre à cela par l’affirmative en nous basant sur un résultat nouveau que nous allons exposer et qui est qu’il est possible de mettre à jour, pour les structures oppositionnelles de ladite géométrie, des opérations de « somme » et de « produit ». Nous allons plus précisément présenter et expliquer ces opérations sur les hexagones logiques, première étape vers l’établissement futur en bonne et due forme d’une somme et d’un produit oppositionnels, résultat ouvrant à son tour à une reformulation de la géométrie oppositionnelle dans les termes mathématiquement généraux de la « théorie des catégories ».

Présentation plus détaillée

L’hexagone logique est connu depuis 1950 comme étant une structure mathématique étrange mais puissante, qui contient en plusieurs exemplaires symétriques le mystérieux « carré logique ». Depuis 2004 une théorie formelle renouvelée de l’opposition fournit un algorithme général tel que le carré et l’hexagone logiques ne sont que deux cas particuliers (pour n=2 et n=3) d’une « théorie de la n-opposition ». Suite à la mise à jour de plusieurs autres résultats (comme les notions de « clôture » et de « générateur » oppositionnels) l’idée semble se faire jour qu’une telle théorie pourrait en fait n’être rien moins qu’une nouvelle jeune branche des mathématiques : la notion d’« opposition » pourrait dès lors être mise sur le même plan prestigieux que les notions, déjà mathématisées avec succès, de « nœud », « graphe », « catégorie », etc. Les conséquences philosophiques et épistémologiques de cela semblent être considérables : d’une part une telle notion d’opposition est un concept bien plus puissant et naturel que celui logico-mathématique de « négation » (qu’il inclut comme un cas particulier) ; d’autre part cela pourrait sonner le glas de la « philosophie analytique », dans sa prétention hégémonique comme base des formalisations des sciences humaines, et signaler la « résurrection » (au sens technique que Badiou donne à ce terme spirituel) du paradigme transdisciplinaire « structuraliste » (celui qui va de Saussure à Greimas). Toutefois, ce qui manque à ce jour pour que l’on puisse parler de manière convaincante d’émergence d’une nouvelle branche des mathématiques c’est un analogue, pour les structures oppositionnelles, des notions de « somme » et de « produit », qui sont transversales à toutes les mathématiques connues. Les obtenir pour des structures oppositionnelles ouvrirait enfin la voie à l’expression de la géométrie oppositionnelle dans la lingua franca mathématique de la « théorie des catégories » (la théorie qui a pris la place fondationnelle de la « théorie des ensembles »). Dans cet exposé nous proposons une première série de résultats formels qui montrent que de telles opérations de somme et de produit existent bel et bien pour les hexagones logiques pris comme opérandes. Nous allons essayer d’expliquer le sens spécifique que ces opérations prennent dans le domaine oppositionnel, ainsi que ce que l’on peut pour l’heure imaginer de leur probable généralisation future.

[5] Dans un système cognitif, le développement d'une mémoire robuste mais flexible repose sur la formation de combinaisons d'objets ou processus plus ou moins complexes. Cette situation est étudiée dans le cadre des "Système Evolutifs à Mémoire", un modèle, basé sur la théorie des catégories, pour des systèmes complexes auto-organisés multi-niveaux et multi-agents, en particulier des systèmes neuro-cognitifs ou sociaux. Les 'combinaisons' sont alors traduites en termes de limites inductives ou projectives. Nous montrerons que les limites projectives jouent un rôle essentiel dans le fonctionnement de la mémoire procédurale, et aussi dans la formation d'une mémoire sémantique où les objets sont classifiés en classes d'invariance. 

[6]

Cette intervention en duo portera sur les rapports entre des outils conceptuels issus des structures d'ordre en mathématiques et des paradigmes émergents en informatique. On évoquera les deux origines indépendantes de l’analyse formelle des concepts, l’une autour de Rudolf Wille et son « école de Darmstadt » et l’autre centrée sur les travaux du CAMS (le Centre d’Analyse et de Mathématique Sociales) de l’EHESS de Paris. Après avoir introduit quelques outils préliminaires issus des structures d’ordre (opérateurs de dérivation, correspondance de Galois, échelle de Guttman, base de Duquenne-Guigues, …) on donnera les premiers exemples d’application de la CFA au problème de la classification paradigmatique des structures musicales (i.e. une classification où les classes sont des orbites par rapport à l’action d’un groupe sur un espace). 

Si l'analyse des concepts formels se fonde sur la structure de treillis, celle-ci peut s'interpréter comme une structure topologique combinatoire. Les travaux dans ce domaine se rapprochent alors de la Q-analyse introduite par R. Atkin dans les années 70 dans une tentative d’analyse des relations binaires dans les sciences sociales. Nous introduirons les notions de base de la Q-analyse à travers quelques exemples puis nous montrerons comment ces idées peuvent se généraliser et être mise en œuvre de manière calculatoire grâce à la programmation spatiale. La programmation spatiale vise à expliciter les structures topologiques dans la programmation et nous présenterons deux exemples d'utilisations de ces outils pour modéliser les structures narratives et l’analogie aristotélicienne. Ces travaux se retrouvent dans les tentatives récentes d'associer de nouveaux objets topologiques à des processus musicaux.

On conclura en ouvrant quelques perspectives philosophiques sur les rapports entre mathématique, musique et informatique à partir des problématiques posées par l’application de l’analyse formelle des concepts et la Q-analyse à l’informatique musicale.

Références :

- Sur l’analyse formelle des concepts : http://repmus.ircam.fr/moreno/afcm

- Sur la Q-analyse : http://repmus.ircam.fr/giavitto/q-analyse

- Sur la programmation spatiale : http://repmus.ircam.fr/giavitto/q-analyse#programmat

[7]

Comment l’invention de l’algèbre redistribue ce que calculer, théoriser et démontrer veulent dire…

(mamuphi, 23 mars 2013)

François Nicolas

Le Bagdad arabe et musulman du Haut Moyen-Âge (à partir du IX° siècle) invente une technique de calcul (par « réduction » et « comparaison ») qui, sous le nouveau nom d’algèbre (réduction = « al-jabr »), s’avère constituer un calcul de type nouveau : « une arithmétique de l’inconnu ».

Comment cette nouvelle discipline va affecter une mathématique antiquement partagée entre arithmétique des nombres et géométrie des figures ? Comment l’algèbre, émergeant comme greffe latérale des mathématiques (telle notre informatique contemporaine), va-t-elle se déployer en une nouvelle discipline mathématique à part entière ? Ajouter ainsi une troisième discipline à la diversité mathématique existante impliquait d’établir l’autonomie relative de l’algèbre tout en assurant son unification à l’arborescence mathématique. Cette vaste entreprise va nécessiter un remaniement d’ensemble de ce que calculer, théoriser et démontrer voulaient alors mathématiquement dire.

L’enjeu de cet exposé sera de présenter cette émergence et cette recomposition mathématiques, leurs conditions de possibilité et leurs effets idéologico-philosophiques. Où l’on découvrira que cette épopée mathématique (IX°-XII°… siècles) n’est pas, mille ans plus tard, exempte de raisonances en matière d’intellectualité musicale contemporaine.

*

I. Calculer, théoriser, démontrer ?

·       L’audace fondatrice d’Al-Khawârizmî (825) est de renverser l’ordre ancestral des raisons (qui circulait naturellement du connu vers l’inconnu) pour calculer désormais en partant de l’inconnu. L’idée directrice va être de calculer sur le réseau des relations connaissables (« équation ») qui enserrent l’inconnu en question ; le calcul mathématique s’en trouve engagé sur une nouvelle voie, circulant désormais de l’obscur vers la clarté (et non plus par extension prudente d’une zone clairement balisée) par opérations réglées sur des signifiants opaques (la « chose » inconnue - chay’ - et ses acolytes également inconnus configurant « un calcul de la poussière ») qui deviendront ultérieurement (XVI° siècle) le calcul sur la lettre aveugle x. Il s’agira ici de prendre mesure du courage de pensée qu’a impliqué cette décision : sauter à pieds joints dans l’obscurité pour mieux y tresser les enchaînements d’une nouvelle raison calculatrice.

·       De quelle manière ce calcul d’un type nouveau autorise-t-il de nouvelles manières de théoriser mathématiquement ? On associera cette extension au nom d’Al-Khayyâmî (1048-1131). Si l’invention de l’algèbre vise initialement à théoriser mathématiquement des problèmes non mathématiques du monde (problèmes d’arpentage, d’astronomie, de fiscalité, etc.), l’algèbre va devoir ensuite recourir à la géométrie pour solutionner ceux des nouveaux problèmes algébriques qui s’avèrent alors algébriquement insolubles. Il s’agira ici de prendre mesure de la nouvelle stratification ainsi engagée (algèbre géométrisée) où la géométrie vient seconder théoriquement une algèbre embourbée dans sa formalisation de problèmes non mathématiques.

·       Enfin, on examinera les transformations de la notion même de preuve mathématique auxquelles cette invention va donner lieu : les résultats algébriquement produits sont-ils en effet mathématiquement démontrables et pas seulement empiriquement vérifiables ? La nouvelle rationalité algébrique, qui fait ses preuves en matière de calcul (fidélité créatrice à l’arithmétique et à ses opérations), saura-t-elle également faire ses preuves en matière de démonstration (fidélité créatrice cette fois à la géométrie et à son axiomatique déductive) ? D’où deux voies, l’une produisant des démonstrations hybrides, circulant librement entre arithmétique, géométrie et algèbre (Al-Karajî, 953-1029), l’autre s’attachant à inventer des démonstrations proprement algébriques (Al-Samaw’al, 1130-1175). On rehaussera en particulier le défi que constitue la première voie en remarquant qu’il brave l’antique interdit dressé par Aristote dans les Seconds analytiques : « On ne peut prouver une proposition géométrique par l’arithmétique ! ».

II. Raisonances mamuphiques ?

S’agissant d’un séminaire s’intéressant aux raisonances entre pensées mathématiques, musicales et philosophiques, on se demandera d’abord à quelles conditions tout ceci a-t-il été rendu possible : conditions linguistiques, idéologiques, politiques, etc.

On se demandera ensuite ce que cette glorieuse épopée peut nous aider à réfléchir en matière de musique.

·       Calculer sur l’inconnu en l’enserrant dans un réseau connaissable de relations, n’est-ce pas là une ressource essentielle  de tout travail précompositionnel ?

·       Géométriser l’algèbrisation d’un modèle non mathématique, n’est-ce pas en partie analogue à mathématiser la théorisation (musicologique ou musicienne) d’un modèle musical (même si, bien sûr, la première disposition opère au sein de mathématiques intérieurement unifiées quand la seconde circule entre disciplines - mathématique et musicale - essentiellement hétérogènes) ?

·       Prouver mathématiquement en faisant feu de tout bois sans crainte de mettre à mal l’antique impératif aristotélicien en matière de démonstration mathématique n’équivaut-il pas à développer musicalement sans crainte de mettre à mal les traditionnels interdits néopositivistes en matière de déduction musicale ?

·       Plus largement, si l’émergence d’une nouvelle figure de la raison (ici algébrique) au sein d’un monde de pensée (ici mathématique) repose sur le courage de braver des interdits (traditionnellement travestis en présumées impossibilités : « on ne peut… »), tout de même le monde de la musique ne se trouve-t-il pas globalement réinterrogé chaque fois qu’une nouvelle figure de la sensibilité sonore vient à émerger ? On avancera ici deux exemples opposés :

-   D’un côté l’échec de Pierre Schaeffer à traiter ses nouveaux « objets sonores » en discipline proprement musicale a courageusement conduit Michel Chion à fonder un « art des sons fixés » explicitement hétérogène à la logique musicale et exogène donc au monde de la musique (tout comme informatique et logique mathématisées restent finalement aux frontières du monde propre des mathématiques).

-   D’un autre côté l’émergence du jazz au cours du XX° siècle a conduit le monde-Musique à des effets intramusicaux d’ensemble ; on ouvrira ce faisant à la séance ultérieure du séminaire mamuphi (Fréderic Maintenant et François Tusques, 6 avril 2013) qui examinera comment l’aventure d’un « jazz sériel » a pu, elle aussi, braver quelques cloisonnements néo-aristotéliciens.

[8]

Je vais présenter quelques résultats de recherches obtenus durant ces derniers 18 mois dans le but de formaliser des travaux antérieurs mais aussi de plus récents, en physique, en particulier pour les développements instrumentaux de la radioastronomie.

Pour ce faire, j’utilise les catégories, sensibilisé à cette approche grâce à l’école mamuphi et aux cours 2011/12 de René Guitart mais aussi par le fait qu’il me semblait que cela pouvait s’appliquer à des réalisations très concrètes effectuées sur le terrain. De plus, en avançant dans ce travail, j’ai pris conscience que ceci offrait une nouvelle manière de pratiquer la recherche en physique et d’en cerner ses fondements.

Enfin j’ai aussi vu un lien fort avec l’informatique telle que je la pratique, du développement de codes en programmation générique, une technique reposant sur l’usage du polymorphisme paramétrique.

Je vais montrer qu’il existe un diagramme générique assez fondamental car il permet de formaliser de nombreux concepts dans des domaines très différents. Ce diagramme, à plat une structure hexagonale à l’intérieur d’un triangle, fait bien entendu penser à l’hexagone des contraires et à la logique borroméenne associée (cf. René Guitart : mamuphi, oct. 2011). Cela dit, je suis arrivé à cette structure sans l’usage d’une géométrie de la logique des oppositions, étant d’abord guidé par la manière de décrire un système physique mais aussi par l’adoption d’une figuration géométrique en 3D, un complexe de simpliciaux, celle-ci me permettant de mettre en relief des relations porteuses de sens en les associant par trois (une algèbre de groupe, signature espace-fréquence-temps en physique).

Par le biais d’une connexion avec le langage en informatique (résultat obtenu en développant un générateur de code ayant pour source un langage de typage et pour destination un langage objet, l’usage du lemme traductif) et la théorie des types en mathématiques et à l’occasion de la lecture d’un article sur le boson de Higgs, j’ai alors réalisé, à partir de la logique, qu’on retrouve l’ensemble des relations du modèle standard des particules élémentaires. Dans ce cheminement, les mots clef sont partition et composition.

Ceci me conduit à regarder les groupes de symétrie, en particulier S3 et S4, et me suggère de rajouter un troisième mot-clef : pulsation, terme dont nous avons déjà entendu parler sans trop de précision. Adoptant ce terme, je lui associe la pulsation à trois phases d’un objet géométrique dans notre espace 3D, ceci pour comprendre cet hexagone en utilisant la catégorie des modèles.

Ceci me permet alors de comprendre pourquoi ces hexagones ont tendance à se présenter par paires - en termes informatiques : des diagrammes d’activité et d’état. Ces diagrammes sont caractérisés par une invariance dans les positions de concepts qui, bien que très génériques, sont suffisamment précis pour guider les recherches si l’on veut utiliser cette approche diagrammatique comme outils pour analyser un domaine ou développer des concepts.

De façon assez magique, ce diagramme aide à la conceptualisation. J’illustrerai son usage dans le contexte de la radioastronomie et montrerai en particulier que les objets qui le constituent, des concepts du domaine de métier, sont eux-mêmes de semblables diagrammes. Ce diagramme fermé dans son langage interne, la partie constituée de l’hexagone semble donc n’avoir ni début ni fin en ‘profondeur’, l’axe sémantique s’engendrant par la définition des types et termes à l’extérieur. Parmi ces concepts très génériques se trouve l’émergence. Je montrerai qu’en physique expérimentale, cette émergence s’identifie le plus souvent à la calibration de l’instrument de mesure.

Au niveau informatique ce diagramme se retrouve dans la conception de ce qu’est un type. Il transparait donc au niveau même de la grammaire des langages. On se retrouve donc dans la situation de formaliser des concepts à l’aide d’un langage qui, dans sa grammaire, est bâti sur ces mêmes concepts. De façon plus philosophique, nous pourrions nous poser la question du pourquoi de cette connivence entre la forme (qu’elle soit au niveau du langage, des signes ou d’une simple géométrie) et cette matière ou le rayonnement, des éléments a priori tangibles de la physique au moins au niveau macroscopique!

J’utiliserai ce diagramme pour poser cette question.

[9]

« Annoncer Égalité ’68 »

(Séance mamuphi du 2 février 2013)

Il s’agit de présenter, sous cet intitulé générique, le travail en cours pour composer, à l’horizon du cinquantième anniversaire de Mai 68, une vaste œuvre musicale en quatre parties (disons : une tétralogie). Il s’agit ce faisant d’annoncer au présent un projet, autant dire l’actualité d’un futur : une possibilité ébréchant le moment en cours.

Cette séance portera plus spécifiquement sur le travail prosodique et musical engagé sur les six langues destinées à opérer comme personnages à l’œuvre : l’anglais, l’allemand, le russe, l’arabe (littéraire), le latin (d’Église) et le français.

D’où trois questions :

1.     Qu’est-ce qui, dans ce contexte d’une œuvre musicale composite, spécifiera chacune des six langues, au fil d’une juste violence musicalement exercée sur leur génie propre ?

On appellera brutalité son contraire : une violence injuste.

2.     Quels rapports ces individualités spécifiques sont-elles susceptibles de nouer entre elles ?

3.     Comment composer un collectif-Babel à partir de ces langues individuelles ?

L’examen de ces questions nous amènera à formaliser notre ensemble de six langues selon cet hexagone logique des oppositions :

On présentera alors les œuvres littéraires qui donneront corps à ces différentes langues : celles de George Oppen [spécifiquement Of being numerous (1968)] d’Ingeborg Bachmann [spécifiquement Die Wahrheit ist dem Menschen zumutbar (1959) - On peut exiger de l’homme qu’il affronte la vérité], de Nadejda [spécifiquement ses mémoires : Воспоминания (1970) – en français : Contre tout espoir] et Ossip Mandelstam, d’Adonis [spécifiquement son Manifeste du 5 juin 1967] et de Salvien de Marseille [spécifiquement De gubernatione Dei (milieu du V° siècle)] ; la langue française, au statut spécifique, sera portée par différents auteurs.

On examinera ensuite comment dialectiser égalité individuelle et liberté collective relativement à ces six langues-personnages.

On appellera liberté-Pentecôte cette conquête du collectif-Babel.

En particulier, comment ces acteurs singuliers peuvent-ils être aptes à composer successivement une libre manifestation (I : le 21 février 1968), un libre rassemblement (II : le 1° mai 1968), de libres lieux idéologico-politiques (III : usines et facultés en grève pendant le mois de mai 1968), une libre réunion politique (IV : au cours du mois de juin 1968).

On esquissera enfin le dispositif instrumental et vocal prévu pour cette entreprise compositionnelle au long cours.

[10]

Sur le corps à quatre éléments se combinent, suivant un dispositif hexagonal, 12 logiques booléennes isomorphes et distinctes, dont les algèbres de fonctions logiques sont donc isomorphes à l'algèbre de Post-Malcev $P_2$, pour produire une logique dont l'algèbre des fonctions est l'algèbre de Post-Malcev $P_4$, que l'on comprendra comme borroméenne de quatre façons ou modes. De surcroît il existe 12 spéculations où points de vues (ou notes) dont on peut jouer pour annoter des formules classiques, et qui engendrent encore la même logique borroméenne. On dispose ainsi d'un outil détaillé en un formulaire explicite pour rompre les paradoxes logiques et pour faire entendre leurs sens. Dès lors se pose la question de comprendre le sens comme une composition sur ces 12 notes.

[11]

La généralisation de la sextine du troubadour Arnaut Daniel par Antoine Tavera et Raymond Queneau a donné lieu à une vaste exploration d'un petit morceau du groupe des permutations sur n lettres et a donné naissance à de nombreuses formes poétiques originales. On essayera d'interpréter cette stratégie de composition poétique et on posera une question aux  musiciens.

[12]

De l’hexagone logique en matière d’œuvre musicale composite

(mamuphi, Ens - 7 janvier 2012)

François Nicolas

De quelle manière l’hexagone logique des contraires dégagé par Robert Blanché et développé par Jean-Yves Beziau peut-il orienter une formalisation de la logique propre au discours musical, y compris au discours si spécifique de l’œuvre musicale composite (ou mixte) ?

On examinera ces points mamuphiques à l’ombre de l’orientation philosophique suivante : les véritables décisions sont d’ordre ontologique (et non pas logique), et les délibérations logiques qui les suivent (nullement qui les précèdent) s’attachent alors à en évaluer les conséquences phénoménologiques dans une situation ontique donnée.

I

On montrera d’abord de quelles manières cet hexagone

1.      met en scène trois figures distinctes de la négation logique :

—      la négation classique des contradictoires [rouge] ;

—      la négation intuitionniste des contraires [bleue] ;

—      la négation paraconsistante des sub-contraires [verte] ;

2.      restitue ce faisant les trois types philosophiques de synthèse distingués par Deleuze :

—      la synthèse connective (celle d’un « donc »),

—      la synthèse conjonctive (celle d’un « et »),

—      la synthèse disjonctive (celle d’un « ou » exclusif) ;

3.      articule, par son système d’implication, deux types d’objets :

—      des produits (dotés d’un contradictoire et de deux contraires) ;

—      des sommes (dotées d’un contradictoire et de deux subcontraires).

Hexagone logique (sa syntaxe & une sémantique possible)

II

On entreprendra d’approprier cette structure logique à la discursivité proprement musicale en posant qu’en musique, la négation est essentiellement une altération (Veränderung).

On spécifiera ainsi le travail du négatif en musique selon trois principes, venant contraposer logique musicale et logique aristotélicienne :