JACQUELINE CASTAING

A Logical framework for the Motivic Analysis of Music

Abstract

In this paper, we propose to use Ruet's non-commutative logic (coming from Girard's linear logic), to build a logical framework in order to carry out the motivic analysis of music in terms of proofs. With the help of an appropriate set of connectives, next and times - those we are particularly interested in -, we can formalize any rhythmicized succession of motes (or basic motive) as a propositional formula in our system.

Biography of Jacqueline Castaing