CASTAING, JACQUELINE

Un cadre logique pour l'analyse motivique de la musique

Résumé

Dans cet article, nous proposons d'utiliser la logique non-commutative de Ruet (dérivée de la logique linéaire de Girard), pour construire un cadre logique qui nous semble convenir à l'analyse musicale en termes de preuves. A l'aide d'un jeu de connecteurs appropriés - ceux qui nous intéressent particulièrement -, nous pouvons introduire un thème ou toute succession de notes dans une pièce musicale par une formule propositionnelle.

Biographie de Jacqueline Castaing