This paper proposes mathematical foundations for music theory and composition. While mathematical methods have proven effective in music theory, a deficiency in rigorous mathematical foundations often leads to ad-hoc constructions and a reliance on intuitive notions with inexplicit definitions. The proposal introduces a comprehensive environment for encoding musical phenomena, as well as a theory of musical parameter. Drawing from the methodologies of (Mazzola, Guerino. 2002. The Topos of Music: Geometric Logic of Concepts, Theory, and Performance. Basel: Birkhäuser Verlag), the proposed framework aims to extend his theory of forms to accommodate a wider class of musical structures. Additionally, I advocate for a framework characterized by “comprehensive comprehension” (accommodating a broad class of musical objects), “explicit encoding” (capturing essential features of objects), and “limited ontological commitments” (minimizing posited ontological primitives). These three aspects aim to ensure the framework's generality, explicit representation of structure, and economic efficiency in theoretical constructions. Minimizing ontological commitments also has the benefit of facilitating easier comparisons between entities. This approach is motivated by the desire for a highly versatile framework that enables systematic and standardized construction methods without constraining the intended domain of discourse. To achieve these goals, the paper introduces a mathematical theory of structure grounded in topos theory. By offering a unified and systematic approach, this work contributes to establishing a more rigorous and standardized basis for mathematical music theory. This, in turn, fosters a deeper understanding of musical phenomena and enables more robust theoretical constructions and compositional applications.
Read full abstract