In proving for the immateriality of the soul, Augustine gives an argument which, if formalized, makes a jewel of a syllogism:
All the the truths in the mind depend on the mind, and presuppose its life.
Some truths in the mind are eternal.
So some eternal things depend on mind, and presuppose its life.
Said another way, the eternal life of the mind must go along with the eternal truth of its knowledge.
The syllogism is simply radiant, but for lovers of Logic, it is also a rare instance of a third figure AI syllogism. Remember its name? Datisti. If one makes the minor universal (which is easy to do) we have a rare sighting of darapti in the wild.
– Augustine defines music as the science of modulating well- and he defines “modulation” as the power of moving someone. Music then becomes the science of moving people well. It would be good to include some account of the matter here too- like a reference to sounds, say, but I don’t know exactly wha I woul add to the definition.