Logic and music in Plato's 'Phaedo'